⟐ 数学の作り方 How to make Mathematics

第12章 コボルディズムとエキゾチック球面

最終章では視点をもう一段上げます。これまで「一つの多様体の中」で写像や関数を調べてきました。今度は 多様体そのものを分類する。二つの多様体が「一緒に一つの高次元多様体の境界になる」とき同じ——という 大胆に粗い同値関係コボルディズムです。これがホモトピー論と結びつき（ポントリャーギン–トム）、 高次元ポアンカレ予想を解き（h同境定理）、そして「77 次元球面には 2828 通りの異なる微分構造がある」という ミルナーの衝撃——エキゾチック球面——へ至ります。微分位相幾何の到達点です。

コボルディズム：境界を共有する多様体は同じ

定義 コボルディズム

コンパクト境界なし nn 次元多様体 M0,M1M_0, M_1 がコボルダントとは、ある (n+1)(n+1) 次元コンパクト多様体 WW が存在して、その境界がちょうど ∂W=M0⊔M1\partial W=M_0\sqcup M_1（両者の非交和）になること。WW を コボルディズムという。この同値類全体は、非交和を和・直積を積として環 Ωn\Omega_n をなす。

「M0M_0 と M1M_1 が、一本の“ズボン”WW の上下の裾になっている」イメージです。円周二つは、ズボン型の曲面 （パンツ・ペア・オブ・パンツ）の境界なのでコボルダント。一点は、円板の境界が円周なので「円周は 00 に コボルダント」…ではなく、円周は一点とはコボルダントでない（次元が違う）が、円周は空にコボルダント （円板 D2D^2 の境界だから、∂D2=S1⊔∅\partial D^2=S^1\sqcup\varnothing）。コボルディズムは同次元の閉多様体を、 「一緒に何かの縁になれるか」で束ねる、非常に粗い分類です。

なぜこんな粗い同値が有用なのか。粗いからこそ計算可能で、しかも豊かな不変量（後述のスティーフェル– ホイットニー数・ポントリャーギン数）で完全に決まるからです。トム（19541954）は、この Ωn\Omega_n を完全に 決定し、フィールズ賞を受けました。その鍵が、幾何をホモトピーに翻訳する構成です。

ポントリャーギン–トム構成

コボルディズムの深さは、それが球面のホモトピー群——代数トポロジー最大の難問——と直結することにあります。 橋渡しが、第1–3章の横断性・法束・埋め込みを総動員するポントリャーギン–トム構成です。

定理 ポントリャーギン–トム構成（枠付きコボルディズム）

Rn+k\mathbb{R}^{n+k}（あるいは Sn+kS^{n+k}）の中の、法束が自明化された（枠付き）nn 次元部分多様体の コボルディズム類の集合 Ωnfr\Omega_n^{\mathrm{fr}} は、球面のホモトピー群と同型：

Ωnfr ≅ πn+k(Sk)(k≫n).\Omega_n^{\mathrm{fr}}\ \cong\ \pi_{n+k}(S^k)\qquad(k\gg n).

証明 （構成の心）

写像 g ⁣:Sn+k→Skg\colon S^{n+k}\to S^k を与える。SkS^k の一点 yy の正則値の逆像 g−1(y)g^{-1}(y) は nn 次元部分多様体（正則値定理）で、yy の周りの座標を引き戻すと法束の枠が付く。 逆に、枠付き部分多様体 M⊂Sn+kM\subset S^{n+k} が与えられれば、その管状近傍を 枠で M×RkM\times\mathbb{R}^k と同一視し、近傍の外を一点に潰す写像 Sn+k→SkS^{n+k}\to S^k（崩壊写像）を作れる。 ホモトピー ↔ コボルディズム、正則値 ↔ 逆像——横断性の全道具立てが、この対応を両方向に成立させる。

これは目を見張る翻訳です。「球面から球面への写像の分類（ホモトピー）」＝「枠付き多様体の分類 （コボルディズム）」。左辺は πn+k(Sk)\pi_{n+k}(S^k) という、いまだに完全には分かっていない巨大な対象。それを 幾何的な多様体の言葉で捉え直せる。第1章の正則値定理が「一点の逆像」だったのが、ここで 「ホモトピー群を幾何化する装置」にまで育ちました。微分位相幾何とホモトピー論が、 横断性を蝶番に一枚に折り重なります。

h同境定理と高次元ポアンカレ予想

コボルディズムに「間の WW が単純（両端への変形レトラクト）」という条件を課すと、驚くほど強い結論—— 両端が微分同相——が出ます。スメール（19611961）の h同境定理です。

定理 h同境定理（スメール）

WW を単連結なコボルディズム（dim⁡W=n+1≥6\dim W=n+1\ge6）で、M0↪WM_0\hookrightarrow W と M1↪WM_1\hookrightarrow W がともに ホモトピー同値（h同境）とする。このとき W≅M0×[0,1]W\cong M_0\times[0,1]、特に M0M_0 と M1M_1 は微分同相。

証明はまさに本章までの集大成——WW 上のモース関数をとり（第8–9章）、余分な臨界点を指数の対で相殺して 消していく（ホイットニーのトリック、第3章）。単連結で高次元だと、この相殺が最後まで実行でき、臨界点が 一つも無いモース関数が得られる。臨界点ゼロのモース関数は WW が積 M0×[0,1]M_0\times[0,1] であることを意味する （第9章：臨界点が無ければ劣位集合は変わらない）。「臨界点を対で消す」——第4章から通奏低音のように鳴り続けた 主題の、最終的な結実です。この定理から、幾何トポロジー最大の難問の高次元版が落ちます。

定理 高次元ポアンカレ予想（スメール）

n≥5n\ge5 で、nn 次元球面 SnS^n とホモトピー同値な閉多様体は、SnS^n と同相である。

不思議なことに、難しいはずの高次元（n≥5n\ge5）が先に解けました（スメール 19611961、n=4n=4 はフリードマン 19821982、 n=3n=3 は元祖ポアンカレ予想でペレルマン 20032003）。高次元では「動かす余地」が大きく、ホイットニーのトリックで 臨界点や交点を自由に消せるからです。低次元こそ窮屈で難しい——微分位相幾何の逆説です。

エキゾチック球面：微分構造の驚異

最後に、この分野が発見した最も衝撃的な事実を。上のポアンカレ予想は「同相」を主張しました。では 「微分同相」——なめらかさまで込めて同じ——ではどうか。ミルナー（19561956）の答えは、数学の常識を覆しました。

定理 ミルナーのエキゾチック球面

77 次元球面 S7S^7 には、標準的な S7S^7 と同相だが微分同相でないなめらかな多様体（エキゾチック球面）が 存在する。実際、S7S^7 の微分構造は（向きを込めて）ちょうど 2828 種類ある。

「位相的には同じ球面なのに、なめらかさの入れ方が本質的に違うものが 2828 通りある」。同じ地面に、両立しない 2828 種類の“なめらかさ”が入る——連続の世界（同相）では見えず、微分の世界（微分同相）でだけ見える差異です。 ミルナーはこれを、S3S^3 束として作った 77 次元多様体が、λ\lambda-不変量（ポントリャーギン数と符号数から 作る、まさに本章のコボルディズム不変量）で標準球面と区別されることで示しました。「微分の情報は、連続では 決して見えないものを見る」——この分野の出発点の標語が、最も劇的な形で回収されます。ちなみに R4\mathbb{R}^4 には 非可算無限個のエキゾチックな微分構造があり（44 次元だけの異常）、44 次元の特異さを際立たせています。

微分位相幾何を振り返って

注意 一本の糸：数えて、消して、翻訳する

この分野を貫いたのは三つの技でした。横断性で一般の位置に持ち込み（サードが保証）、交わりや臨界点を 符号付きで数え（写像度・交叉数・指数・モース複体、不変性はすべて「11 次元多様体の端点勘定」）、 符号が逆の対を消し（ホイットニーのトリック、h同境）、幾何をホモトピーへ翻訳する（ポントリャーギン–トム）。 局所的な微分の情報（dfdf・ヘッセ・勾配流）から、大域的な位相（χ\chi・ホモロジー・微分構造）を復元する—— それが微分位相幾何学でした。多様体論で土台を、位相幾何で不変量の言葉を 学んだあなたは、いま「なめらかな世界の形」を読む力を手にしています。

この章のまとめ

  • コボルディズム：閉多様体を「一緒に (n+1)(n+1) 次元多様体の境界になれるか」で分類する粗い同値。環 Ωn\Omega_n を なし、トムが決定。
  • ポントリャーギン–トム構成：枠付きコボルディズム ≅πn+k(Sk)\cong\pi_{n+k}(S^k)。横断性・逆像・管状近傍で幾何を ホモトピーへ翻訳。
  • h同境定理（臨界点を対で消す集大成）→ 高次元ポアンカレ予想（n≥5n\ge5）。そしてエキゾチック球面 （S7S^7 に 2828 通りの微分構造）——微分構造は連続では見えない。この分野の標語の劇的な回収。

局所の微分から大域の形へ。横断性・写像度・モース理論・コボルディズムという道具で、なめらかな多様体の 世界を読み解く旅が完結しました。