基本類

基本類についての解説

数学の分野において、「基本類」という概念は、向きづけられた多様体に付随するホモロジー類を指します。具体的には、連結かつ向きづけが可能な多様体 M の最高次ホモロジー群は、無限巡回群に同型であり、これは M の向きに関連しています。基本類は、M の適切な三角分割によって得られる最高次の単体の向きとして理解されることができます。

定義

次に、M が次元 n の連結した向きづけ可能な閉多様体であると仮定します。この場合、最高次のホモロジー群は無限巡回群に同型であり、M の向きは、生成子の選択を通じて定義されます。この生成子が、基本類として知られています。

もし M が単連結でなければ、基本類は複数の連結成分に対して各成分の基本類の直和であることになります。ド・ラームコホモロジーとの関連においては、基本類は「M 上の積分」を表現します。具体的には、滑らかな多様体 M に対して n-形式 ω に対する積分は、基本類とのペアで表現されることになります。これは形式のコホモロジー類に依存し、数学的解析において重要な役割を果たします。

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

向きづけ不能な多様体の場合、ホモロジー群は無限巡回群とはならず、M の向き付けを定義することは不可能です。このような多様体では、微分可能な n-形式を積分することができません。そのため、すべての閉多様体は 2-向きづけ可能であり、これにより特定のホモロジー群が構成されます。これにより、すべての閉多様体には、スティーフェル・ホイットニー数を定義するための扱いやさがあります。

境界を持つ多様体

さらに、境界を有するコンパクトな向きづけ可能多様体 M に対しては、最高次の相対ホモロジー群も無限巡回群に同型となります。この場合、閉多様体での基本類の概念が相対的な状況にも適用されます。これにより、ポアンカレ双対性と呼ばれる関係が現れ、基本類とホモロジー群のキャップ積を取る過程が生じ、同型が得られます。

ポアンカレ双対性とその応用

ポアンカレ双対性は、多様体におけるホモロジーとコホモロジーの関係性を示しており、特に多様体 M の基本類と q 次ホモロジー群の間の同型を定義する重要な役割を果たします。この双対性関係は、数学の中でも多くの応用を持ち、特定の条件下で連続的に表現されることができます。具体的には、リー群の旗多様体のブリュア分解においても、基本類が重要な役割を果たします。

まとめ

基本類は、数学的な多様体における重要な概念であり、様々な数学的構造や理論に関連しています。この概念は、ホモロジー、コホモロジー、そして多様体の幾何学的性質に直接的な影響を与えるため、数学の多くの分野で利用されています。今後もこの基本類の理解を深め、様々な応用に展開されることが期待されます。

もう一度検索