基本類
数学において、基本類(fundamental class)は、向きづけられた多様体 M に付随するホモロジー類 [M] であり、ホモロジー群 [math]H_r(M;\mathbf{Z})\cong\mathbf{Z}[/math] の生成子に対応する。基本類は、多様体の適切な三角分割の最高次数の単体の向きと考えることができる。
定義
閉多様体、向き付け可能多様体
M が次元 n の連結な向き付け可能な閉多様体とすると、最高次のホモロジー群は無限巡回群 [math]H_n(M,\mathbf{Z}) \cong \mathbf{Z}[/math] であり、この多様体 M の向きは生成子を選ぶこと、つまり、同型 [math]\mathbf{Z} \to H_n(M,\mathbf{Z})[/math] を選ぶことである。この生成子を基本類(fundamental class)と呼ぶ。
M が単連結でなければ、基本類は、（各々の成分の向き付けに対応した）各々の連結成分の基本類の直和である。
ド・ラームコホモロジーとの関係では、基本類は「M 上の積分」を表現する。すなわち、滑らかな多様体 M に対して、n-形式 ω は、基本類とペア
- [math]\langle\omega, [M]\rangle = \int_M \omega[/math]
ととることができる。これは M 上の ω の積分であり、ω のコホモロジー類のみに依存する。
スティーフェル・ホイットニー類
M が向き付け不能であれば、ホモロジー群は無限巡回群ではなく： [math]H_n(M,\mathbf{Z}) \ncong \mathbf{Z}[/math] 、M の向き付けを定義できない。実際、向き付け不能多様体上の微分 n-形式を積分することはできない。
すべての閉多様体は [math]\mathbf{Z}_2[/math]-向き付け可能であり、（M が連結であれば、）[math]H_n(M;\mathbf{Z}_2)\cong\mathbf{Z}_2[/math] である。このように、すべての閉多様体は、[math]\mathbf{Z}_2[/math]-向きつけられ、（一意に向き付けが決定でき）[math]\mathbf{Z}_2[/math]-基本類を持つ。
この [math]\mathbf{Z}_2[/math]-基本類は、スティーフェル・ホイットニー数を定義することに使われる。
境界のある場合
M が境界を持つコンパクトな向きつけ可能多様体であれば、最高次相対ホモロジー群は、再び、無限巡回群 [math]H_n(M,\partial M)\cong \mathbf{Z}[/math] となり、閉多様体であれば基本類の考え方が相対的な場合へも拡張できる。
ポアンカレ双対性
テンプレート:Expand section 任意のアーベル群 [math]G[/math] と非負である整数 [math]q \ge 0[/math] に対し、基本類と [math]q[/math] -次ホモロジー群のキャップ積をとることにより、同型
- [math][M]\cap:H^q(M;G) \rightarrow H_{n-q}(M;G)[/math]
を得る。この同型は、ポアンカレ双対性
- [math]H^* (M, R) \to H_{n-*}(M, R)[/math]
をもたらす。また、ポアンカレ双対性は相対的な場合にも拡張される。
応用
テンプレート:Expand section リー群の旗多様体(flag variety)のブリュア分解において、基本類は最高次元シューベルト胞体(Schubert cell)、あるいは、同じことであるが、コクセター群の最低元(longest element of a Coxeter group)に対応する。
参照項目
- コクセター群の最低元(longest element of a Coxeter group)
- ポアンカレ双対性
外部リンク
- Fundamental class at the Manifold Atlas.
- The Encyclopedia of Mathematics article on the fundamental class.