⟐ 数学の作り方 How to make Mathematics

第12章 不変量の全体像と曲面の分類

「幾何を代数に翻訳する」という思想の全景

ここまで、空間から代数的な指紋を取り出す道具を次々に作ってきました。この最終章では、それらを俯瞰し、 この分野の思想の全景を描きます。そして、これらの不変量が実際に「形を完全に分類する」力をもつことを、 閉曲面の分類定理——22 次元の閉じた曲面は、球面・種数 gg のトーラス・向きづけ不可能面のリストで尽くされる——で 示します。

トポロジーの夢は「すべての空間を不変量で分類する」ことでした。曲面（22 次元）では、この夢が完全に実現します。 33 次元ではポアンカレ予想（ペレルマンが解決）が象徴するように格段に難しく、44 次元以上では 群の同型判定が決定不能なため一般には不可能。それでも、ホモトピー・ホモロジー・コホモロジーという 道具は、幾何のあらゆる場面で「形を区別し、計算する」言語として生き続けます。微分幾何・代数幾何・ 数論・物理へと広がる、その全景で分野を締めくくります。

位相不変量の階層（π0→π1→πn→Hn→H∗\pi_0\to\pi_1\to\pi_n\to H_n\to H^*）で幾何を代数に翻訳する。閉曲面は完全に分類できる。

不変量の階層

これまで作った不変量を、精密さの順に整理します。

注意 位相不変量の階層

不変量捉えるもの性質
π0\pi_0（連結成分）00 次元（塊の数）集合
π1\pi_1（基本群）11 次元の穴（ループ）群（非可換）
πn\pi_n（高次ホモトピー群）nn 次元の穴（球面の写像）群（可換、n≥2n\ge2）
HnH_n（ホモロジー）各次元の穴アーベル群（計算しやすい）
H∗H^*（コホモロジー環）穴＋積構造（交わり）次数つき環

上ほど幾何に忠実（πn\pi_n）だが計算が難しく、下ほど計算しやすい（HnH_n）が情報が減る。目的に応じて使い分ける。

定義 高次ホモトピー群

πn(X,x0)\pi_n(X,x_0) を、球面 SnS^n から XX への（基点を保つ）写像のホモトピー類の群と定める（π1\pi_1 の高次元版）。 n≥2n\ge2 でアーベル。πn(Sn)=Z\pi_n(S^n)=\mathbb Z（写像の次数）。だが πn(Sk)\pi_n(S^k)（n>kn>k）は非常に複雑で、 π3(S2)=Z\pi_3(S^2)=\mathbb Z（ホップ写像）など、球面の高次ホモトピー群の完全な決定は今も未解決——ホモロジーが計算しやすいのと 対照的に、高次ホモトピー群は現代トポロジーの最難問。

閉曲面の分類

22 次元では、不変量が形を完全に決定します。これがトポロジーの分類の夢の、最も見事な達成です。

定理 閉曲面の分類定理

連結な閉曲面（境界のないコンパクト 22 次元多様体）は、次のいずれかにちょうど一つ同相：

  1. 向きづけ可能：球面 S2S^2、種数 gg のトーラス Σg\Sigma_g（gg 個の穴、g=1,2,…g=1,2,\dots）。
  2. 向きづけ不可能：実射影平面 RP2\mathbb{RP}^2、クラインの壺、…（kk 個のRP2\mathbb{RP}^2 の連結和）。 これらはオイラー標数と向きづけ可能性で完全に区別される。

証明

（要点。）任意の閉曲面は三角形分割でき、それを「多角形の辺の貼り合わせ」（基本多角形）に標準化できる。 辺の貼り合わせパターンを、基本変形で標準形（∏[ai,bi]\prod[a_i,b_i] または ∏cj2\prod c_j^2）に整理すると、上のリストに帰着する。 不変量：向きづけ可能なら χ=2−2g\chi=2-2g（種数 gg を決める）、向きづけ不可能なら χ=2−k\chi=2-k。χ\chi と向きづけ可能性で 一意に決まる。∎

「22 次元閉曲面は、χ\chi（＝穴の数）と向きづけ可能性のたった 22 つの数で完全に決まる」——オイラー標数と 向きづけ可能性という、これまで作った不変量が、形を余さず分類しきる。トポロジーの分類の夢が、 22 次元で完璧に実現した瞬間です。π1\pi_1（基本群）も曲面を完全に区別します（π1(Σg)\pi_1(\Sigma_g) が種数ごとに非同型）。

注意 高次元の分類の難しさ

33 次元ではポアンカレ予想（単連結な閉 33 次元多様体は S3S^3）がペレルマンにより 20032003 年に解決され、 サーストンの幾何化予想として一般化された——リッチフロー（微分方程式＋リーマン幾何）を 使う、2121 世紀の金字塔。だが 44 次元以上の閉多様体は、基本群の同型判定が決定不能なため、 アルゴリズム的な完全分類は不可能。次元が上がるほど、トポロジーは深く難しくなる。

他分野への広がり

この分野の道具は、数学と物理のあらゆる場所に現れます。締めくくりに、その広がりを俯瞰します。

注意 トポロジーが流れ込む先

「ドーナツとコーヒーカップは同じ」という素朴な出発点から、∂2=0\partial^2=0（境界の境界は無い＝ベクトル解析の rot⁡grad⁡=0\operatorname{rot}\operatorname{grad}=0） という一つの等式を核に、群・環・完全系列という代数の言葉で幾何を捉える壮大な体系が育ちました。「連続変形で 変わらないもの」を代数で数える——このトポロジーの思想は、現代数学の共通言語です。

この章のまとめ

  • 位相不変量の階層：π0\pi_0（成分）→ π1\pi_1（基本群）→ πn\pi_n（高次ホモトピー、難）→ HnH_n（ホモロジー、計算しやすい）→ H∗H^*（環）。目的に応じて使い分ける。
  • 閉曲面の分類定理：連結閉曲面は S2S^2・種数 gg のトーラス・向きづけ不可能面で尽くされ、オイラー標数と向きづけ可能性で完全に区別される。22 次元で分類の夢が実現。33 次元はポアンカレ予想（解決）、44 次元以上は分類不能。
  • 道具は微分幾何（ド・ラーム・ガウス–ボンネ）・微分位相・代数幾何・数論・物理へ広がる。∂2=0\partial^2=0 を核に幾何を代数で捉える思想。

これで位相幾何学は一区切りです。ホモトピー・基本群・被覆・ホモロジー・コホモロジーと辿り、「連続変形で変わらない 形の本質を、代数で捉える」というトポロジーの全体像を見ました。ここで培った不変量・完全系列・双対性の視点は、 多様体論・微分幾何・代数幾何へと受け継がれていきます。おつかれさまでした。