メインメニューを開く

数学において、基本類(fundamental class)は、向きづけられた多様体 M に付随するホモロジー類 [M] であり、ホモロジー群 の生成子に対応する。基本類は、多様体の適切な三角分割の最高次数の単体向きと考えることができる。

定義編集

閉多様体、向き付け可能多様体編集

M が次元 n連結な向き付け可能閉多様体とすると、最高次のホモロジー群は無限巡回群   であり、この多様体 M向きは生成子を選ぶこと、つまり、同型   を選ぶことである。この生成子を基本類(fundamental class)と呼ぶ。

M が単連結でなければ、基本類は、(各々の成分の向き付けに対応した)各々の連結成分の基本類の直和である。

ド・ラームコホモロジーとの関係では、基本類は「M 上の積分」を表現する。すなわち、滑らかな多様体 M に対して、n-形式 ω は、基本類とペア

 

ととることができる。これは M 上の ω の積分であり、ω のコホモロジー類のみに依存する。

スティーフェル・ホイットニー類編集

M が向き付け不能であれば、ホモロジー群は無限巡回群ではなく:  M向き付けを定義できない。実際、向き付け不能多様体上の微分 n-形式を積分することはできない。

すべての閉多様体は  -向き付け可能であり、(M が連結であれば、)  である。このように、すべての閉多様体は、 -向きつけられ、(一意に向き付けが決定でき) -基本類を持つ。

この  -基本類は、スティーフェル・ホイットニー数を定義することに使われる。

境界のある場合編集

M が境界を持つコンパクトな向きつけ可能多様体であれば、最高次相対ホモロジー群は、再び、無限巡回群   となり、閉多様体であれば基本類の考え方が相対的な場合へも拡張できる。

ポアンカレ双対性編集

任意のアーベル群   と非負である整数   に対し、基本類と   -次ホモロジー群のキャップ積をとることにより、同型

 

を得る。この同型は、ポアンカレ双対性

 

をもたらす。また、ポアンカレ双対性は相対的な場合にも拡張される。

応用編集

リー群旗多様体英語版(flag variety)のブリュア分解において、基本類は最高次元シューベルト胞体英語版(Schubert cell)、あるいは、同じことであるが、コクセター群の最低元英語版(longest element of a Coxeter group)に対応する。

参照項目編集

外部リンク編集