4次元ゲージ理論と滑らかな位相
ASD方程式・Donaldson理論・Seiberg-Witten不変量は、なぜ多様体の微分構造を見抜けるのか
この本が答える問い
楕円型ゲージ方程式の解空間は、なぜ4次元多様体の滑らかな構造を検出できるのか。
答えは「Donaldson不変量やSeiberg–Witten不変量を定義できるから」では終わらない。本書は、交点形式という位相的入力が、4次元のHodge分解、Yang–Millsエネルギー、ゲージ商、楕円型変形複体、指数、正則性、コンパクト化、符号付き数え上げを経て滑らかな不変量へ変わるまでを一段ずつ組み立てる。
読者に仮定するのは、線形代数、1変数・多変数の微積分、基礎的な常微分方程式と偏微分方程式である。位相空間、多様体、微分形式、ホモロジー、束、接続、スピノルは既知としない。これらは必要になる場所で、円周・球面・トーラス・メビウスの帯・回転する基底などの例から導入する。
本書は数学科の専門講義を履修済みであることを前提にしない。大学位相、ホモロジー、コホモロジー、微分形式、主束、Hodge理論、Sobolev空間、Fredholm作用素、Spin\(^c\)構造、Kähler幾何、Taubes理論は、すべて本文または付録で必要な範囲を導入してから使う。Freedman分類、Donaldsonの貼り合わせ、Atiyah–Singer指数定理、Uhlenbeckコンパクト性、Taubesの定理のような研究級結果は完全証明しないが、仮定、結論、本書で使う出力、その後の手計算を分けて示す。
読み方は一通りではない。初読では「手で計算できる模型」と「引用定理の入力・出力」を区別して進めればよい。式が重い箇所で止まったときは、付録Bの演習解答と付録Aの解析道具へ戻る。重要な概念は、定義だけでなく、最小例、途中計算、使ってはいけない範囲、後続章での再利用を本文中で回収する。
構成
- 第I部 分類問題の衝突: 多様体と滑らかな構造、穴を測る方法、交点形式、FreedmanとDonaldson。
- 第II部 4次元の方程式: 束、接続、曲率、Hodge分解、Yang–Millsと反自己双対方程式。
- 第III部 モジュライ空間の局所構造: ゲージ商、変形複体、楕円性、指数、横断性。
- 第IV部 コンパクト化とDonaldson理論: 曲率集中、不変量生成、対角化定理、多項式不変量、異種滑らかな構造。
- 第V部 Seiberg–Witten理論: 回転とスピノル、Spin\(^c\)構造、連成方程式、Donaldson理論との比較。
- 第VI部 幾何への帰還: Kähler幾何とシンプレクティック幾何、Taubesの定理、随伴不等式。
読み方
第1章から順に読むことを基本とする。各章は「直前までに分かったこと」「この章で生じる問い」「手で計算できる模型」「定義と導出」「次章へ残る問題」の順に進む。関数解析は付録だけへ追いやらず、必要になる第7章以降で有限次元模型とともに導入し、付録Aで証明上の道具をまとめ直す。本文中の深い結果は、完全証明、本質的証明、証明の骨格、引用定理の四段階を区別し、引用定理でも仮定・結論・難所・用途を明示する。
式の規約は全章で固定する。特に \(F_A^+=0\) をASD、\(\mathrm{YM}(A)=\|F_A\|_{L^2}^2\) と呼び、向き反転時には自己双対成分と反自己双対成分（文献語ではself-dualとanti-self-dual）が交換される。
到達点
読み終えたとき、読者は次を説明できることを目標とする。
- なぜ4次元で曲率2形式・交点形式・臨界尺度が重なるか。
- 方程式の本数ではなく楕円複体がモジュライ空間を有限次元化する理由。
- 指数と実際の次元、局所的な滑らかさとコンパクト性の違い。
- Freedman分類、Donaldson対角化、多項式不変量、異種滑らかな構造の組の論理的役割。
- Seiberg–Witten理論がDonaldson理論と共有する機械と異なる解析。
- ゲージ不変量がシンプレクティック曲線・最小種数・スカラー曲率へ制約を返す仕組み。
証明と引用の読み分け
本文では次の表示を用いる。
- 深度A: 必要な計算と証明を本文内で完結させる。
- 深度B: 核心を証明し、解析的な標準補題だけを明示して借りる。
- 深度C: 定理の仮定・結論に加え、証明を構成する主要補題、難所、論理順序を示す。
- 深度D: 本書の前提を大きく越える定理として、正確な版と本書で使う帰結を出典付きで引用する。
「引用」は「理由を説明しない」という意味ではない。どの入力を定理へ渡し、どの出力を次の議論で使うかは本文で追跡する。