⟐ 数学の作り方 How to make Mathematics

第11章 モースホモロジー

前章のモース不等式は、臨界点の個数とベッチ数を結びました。でも、まだ CW 構造を経由していました。もっと 直接に——臨界点そのものを基底とし、臨界点をつなぐ勾配の流れ線を境界写像として、ホモロジーを組み立て られないか。それがモースホモロジーです。関数の山谷峠と、それらを結ぶ「水の流れ」だけから、 多様体のホモロジーが復元される。この視点は無限次元へ一般化され（フレアー理論）、現代幾何の一大分野の源に なりました。この分野の締めくくりにふさわしい、微分と位相の最も深い握手です。

勾配の流れで臨界点をつなぐ

モース関数 ff と、その勾配ベクトル場 −∇f-\nabla f（水が低い方へ流れる向き）を考えます。ほとんどの点は、 時間を遡れば（上流へ）ある臨界点から湧き出し、時間を進めれば（下流へ）別の臨界点へ吸い込まれます。 臨界点 pp（指数 λp\lambda_p）から出る流れの全体は、λp\lambda_p 次元の不安定多様体 Wu(p)W^u(p)、 qq へ吸い込まれる流れは (n−λq)(n-\lambda_q) 次元の安定多様体 Ws(q)W^s(q) をなします。

定義 モース・スメール条件と流れ線

勾配（を適当な計量で調整したもの）がモース・スメール条件を満たすとは、すべての不安定多様体と 安定多様体が横断的に交わること。このとき、指数差が 11 の臨界点 pp（指数 λ\lambda）と qq（指数 λ−1\lambda-1）を結ぶ流れ線（pp から qq への勾配の軌道）は有限本で、各々に向きから 符号 ±1\pm1 が付く。その符号付き本数を n(p,q)n(p,q) とする。

横断性がまた要になります。Wu(p)W^u(p) と Ws(q)W^s(q) が横断的なら、その交わり（pp から qq への流れ線の集まり）は 次元 λp−λq\lambda_p-\lambda_q。指数差が 11 なら 11 次元——ただし流れは時間方向に自由に動かせるので、 「流れ線の本質的な本数」は 00 次元＝有限個の点。相補次元で交わりが有限個になる、第2章・第6章の主題が、 ここでも「臨界点をつなぐ流れ線は有限本」として現れます。第2–3章のサード・横断性で、モース・スメール条件は 摂動でいつでも満たせます。

モース複体と ∂²＝0

定義 モース複体

指数 kk の臨界点で張られる自由加群を CkMorse=Z⟨指数 k の臨界点⟩C_k^{\mathrm{Morse}}=\mathbb{Z}\langle\text{指数 }k\text{ の臨界点}\rangle とし、 境界写像を「一つ下の指数の臨界点への流れ線の符号付き本数」で定める：

∂k(p)=∑λq=λp−1n(p,q) q.\partial_k(p)=\sum_{\lambda_q=\lambda_p-1} n(p,q)\,q.

この (C∙Morse,∂)(C_\bullet^{\mathrm{Morse}},\partial) をモース複体という。

複体であるためには、∂2=0\partial^2=0 が要ります。これが幾何的に成り立つのが、モースホモロジーの美しさです。

定理 ∂²＝0（流れ線の折れ線の勘定）

モース・スメール条件のもとで ∂∘∂=0\partial\circ\partial=0。

証明 （着想：折れ線の両端勘定）

∂2(p)\partial^2(p) の rr 成分（λr=λp−2\lambda_r=\lambda_p-2）は、pp から中間の qq（指数 λp−1\lambda_p-1）を経て rr へ至る 「二段の流れ線（折れ線）」の符号付き総数。指数差 22 なので、pp から rr への流れ線の集まりは 11 次元多様体 ＝弧の集まりで、その両端がちょうどこの折れ線（中間の臨界点でカクッと折れた極限）に対応する。 第4章の端点勘定——「コンパクト 11 次元多様体の（符号付き）境界は 00」——より、 折れ線は符号が逆の対で現れて相殺し、総和 00。ゆえに ∂2=0\partial^2=0。

∂2=0\partial^2=0 が「弧の両端が対で打ち消す」という、この分野を貫く端点勘定の原理からまた出てくる。 写像度・交叉数・モース複体——すべての不変性が、「11 次元多様体の境界は偶数個／符号付きで 00」という 一つの事実に還元されます。複体ができたので、ホモロジーが定義できます： HkMorse=ker⁡∂k/im⁡∂k+1H_k^{\mathrm{Morse}}=\ker\partial_k/\operatorname{im}\partial_{k+1}。

モースホモロジー ＝ 特異ホモロジー

定理 モースホモロジーの一致定理

モースホモロジー HkMorse(M,f)H_k^{\mathrm{Morse}}(M,f) は、モース関数 ff にも計量にも依らず、MM の 特異ホモロジー Hk(M;Z)H_k(M;\mathbb{Z}) に同型である。

「山谷峠と水の流れだけから作ったホモロジーが、位相幾何の特異ホモロジーとぴったり一致する」。証明は、 前章のハンドル分解の CW 構造の境界写像が、まさに流れ線の勘定 n(p,q)n(p,q) で与えられることを確かめる（あるいは、 ff を動かしたときモースホモロジーが不変なことを連続法で示す）ことによります。この一致は、モース不等式を 再証明します：bk=rank⁡HkMorse≤ckb_k=\operatorname{rank}H_k^{\mathrm{Morse}}\le c_k。前章では CW 経由で示した不等式が、いまや 臨界点だけの複体から直接出る。しかも境界写像 ∂\partial の情報まで込みなので、ねじれも含めた完全な ホモロジーが臨界点から復元されます。

注意 無限次元へ：フレアー理論の芽

モースホモロジーの真価は、その発想が無限次元に持ち上がることにある。「作用汎関数」の臨界点 （＝運動方程式の解）を基底、その間の勾配流（＝ある偏微分方程式の解）を境界写像とすると、 シンプレクティック幾何やゲージ理論でフレアーホモロジーが構成できる。 臨界点が無限個・指数も無限大になりうる中で、指数差と流れ線の勘定だけは意味を保つ——この一般化が、 アーノルド予想や 44 次元トポロジー（ドナルドソン・サイバーグ–ウィッテン理論）を切り拓いた。有限次元の モース理論は、その最も透明な原型なのです。

注意 つまずきポイント

  • 境界写像は「指数差 11 の臨界点をつなぐ流れ線の符号付き本数」。 指数差が 11 でこそ流れ線が有限個 （本質的に 00 次元）。差が 00 や 22 以上では境界写像に寄与しない。
  • ∂2=0\partial^2=0 は幾何的事実。 代数的な公理でなく、「二段の流れ線＝ 11 次元モジュライの端点が対で相殺」という 横断性の帰結。第4章の端点勘定と同じ原理。
  • モース・スメール条件（横断性）が前提。 一般の勾配では流れ線が退化しうる。摂動（サード・横断性）で 条件を満たすようにしてから複体を組む——第2章の一般の位置の原理がここでも命。

この章のまとめ

  • モース複体：指数 kk の臨界点を基底、境界写像 ∂(p)=∑n(p,q) q\partial(p)=\sum n(p,q)\,q を指数差 11 の臨界点をつなぐ 勾配流れ線の符号付き本数で定める。前提は横断性（モース・スメール条件）。
  • ∂2=0\partial^2=0 は「二段の流れ線＝ 11 次元モジュライの端点が対で相殺」という幾何的事実（端点勘定の原理）。
  • モースホモロジー ≅ 特異ホモロジー：関数にも計量にも依らず MM の不変量。モース不等式を境界写像込みで 再証明。発想は無限次元へ持ち上がりフレアー理論を生む。

臨界点と流れだけから多様体のホモロジーが出ました。最終章は視点をさらに上げ、「多様体そのものを、 境界を共有するかどうかで分類する」——コボルディズムと、微分構造の驚異エキゾチック球面で この分野を締めくくります。