モース理論

微分トポロジーにおけるモース理論は、多様体上の滑らかな関数の解析を通じて、その多様体の位相構造を調べる数学的手法です。関数の臨界点とレベル集合の変化を関連付け、ホモロジー群やCW構造に関する重要な情報を提供します。

モース理論の考え方を理解するために、山や谷のある土地の表面を想像してみましょう。この表面上の各点の「高さ」を表す関数を考えます。ある高さで地面を切った断面、つまり同じ高さの点を集めた線は「等高線」となります。この等高線は、場所によって点の集まりになったり、閉じた曲線になったりします。特に地形が変化する特異な点として、山頂や谷底（ここでは点が集まり）、または稜線と谷間が交わる鞍点（ここでは等高線が交差する二重点）があります。これらの、関数の勾配がゼロとなる点が臨界点と呼ばれます。

多様体 M 上で定義された滑らかな実数値関数 f に対して、f の勾配がゼロになる点を臨界点と呼び、その関数値を臨界値と呼びます。臨界点において、f の二階偏微分からなる行列（ヘッセ行列）が逆行列を持つ場合、その臨界点は非退化であると言われます。ヘッセ行列が逆行列を持たない場合は退化臨界点です。

モース理論の中心的な主張の一つは、「ほとんどすべての」滑らかな関数は非退化な臨界点しか持たない、つまりモース関数であるということです。これは、少しの関数の摂動（微調整）で退化臨界点を解消できるという意味で、数学的に厳密に証明されています。

1. もし区間 [a, b] の中に臨界値が存在しないならば、レベル集合 f⁻¹(−∞, a] のトポロジーは f⁻¹(−∞, b] のトポロジーと基本的に同じです（ホモトピー同値）。つまり、臨界点がない限り、レベル集合の形や繋がり方は変わりません。 2. もし関数値が指数 γ の非退化臨界点を通過すると、レベル集合のトポロジーは、もともとの集合に γ 次元の「セル（cell）」を貼り付けたもののように変化します。

モース理論は、多様体のホモロジー群、すなわち位相的な「穴」の構造を調べる上で非常に有用です。多様体をモース関数によるCW複体として捉えると、指数 γ の臨界点の数が、そのCW複体における γ 次元セルの数に対応します。位相空間のホモロジー群のランク（ベッチ数と呼ばれる）は、このセルの数と関連づけられます。

特に、モース理論はモース不等式と呼ばれる一連の関係式を提供します。これは、指数 γ を持つ臨界点の数 Cγ が、多様体の γ 次ホモロジー群のランク bγ(M) 以上であることを示します (Cγ ≥ bγ(M))。より詳細な不等式も存在し、これらは臨界点の数から多様体の位相構造に強い制限を与えることを意味します。

モース理論は、様々な方向に発展しました。例えば、モースホモロジーは、モース理論を用いて多様体のホモロジー群を直接構成する方法であり、特異ホモロジーと同型になることが示されています。これはモース不等式を厳密に証明する手段となります。

また、臨界点の集合が単なる点ではなく、連結な多様体となるような関数を扱うモース・ボット理論も発展しました。これはラウル・ボットによるボットの周期性定理の証明などに用いられ、対称性を持つ問題などで特に強力なツールとなります。