Quantum field theory and four-manifolds: Perspectives from physics and geometry

20世紀半ば、物理学者たちは自然界の基本相互作用を、目に見えない場としてではなく、粒子によって運ばれる相互作用として記述する強力な枠組みを開発しました。ゲージ理論として知られるこの枠組みは、電子やクォークのような粒子がどのように相互作用するかを説明することに成功しました。同時期、数学者たちは、特に我々が経験している4次元（空間の3次元と時間の1次元）の空間の深い形状、すなわち4次元的な形の探索を進めていました。彼らは、これらの4次元的な形、すなわち多様体が極めて複雑になり得ること、そしてその滑らかさが標準的な幾材学では予測不可能な方法で変化し得ることを発見しました。数十年にわたり、これら二つの世界――粒子の相互作用の物理学と、4次元形状の数学――は、それぞれ独自の言語と道具を持ちながら、並行して発展してきました。

両者の間に架け橋が形成され始めたのは、物理学者が、特定の粒子を記述する理論が「超対称性」と呼ばれる隠れた対称性を持っていることに気づいた時でした。この対称性は、力を運ぶ粒子と、物質を構成する粒子を結びつけるものです。物理学者が「トポロジカル・ツイスト」として知られる特定の数学的トリックをこれらの超対称理論に適用したとき、驚くべきことが起こりました。粒子を記述する複雑な方程式が劇的に簡略化されたのです。結果として得られた理論は、もはや空間における特定の距離や角度には関心を持たず、代わりに空間全体の形状や連結性のみに関心を持つようになりました。これは、物理学者が行った物理的な計算が、実は数学者が長年定義と計算に苦心してきた、宇宙の形状を記述する数学的な量（不変量）を計算していたということを意味していました。

この新しい理解は、物理学と幾何学の関係に対する科学者の見方に革命をもたらしました。それは、物理学の法則を用いて困難な数学的問題を解くことができる一方で、数学的構造が物理理論の新たな特性を明らかにできることを示唆していました。しかし、大きな隔たりが残っていました。物理学者は「パス積分」――場のあらゆる可能な構成を足し合わせる手法――を用いてこれらの量を計算できましたが、数学者は、これらの結果が正しいことを証明するために、厳密でステップバイステップの幾何学的な定義を必要としていました。彼らは、これらの物理的計算が正確に何を数えているのかを理解し、物理学の流動的な言語に頼ることなく、それらをどのように定義すべきかを理解する必要があったのです。

オックスフォード大学、ユトレヒト大学、トリニティ・カレッジ・ダブリン、および北京数学科学研究機構の研究者による最近の共同研究は、これら二つの視点を包括的な一連の講義ノートによって統合しました。著者であるニクラス・ガーナー、マルティン・クール、ヤン・マンショット、および田中雄次は、膨大な研究成果を統合し、超対称ゲージ理論の物理的予測が、いかに現代代数幾何学と正確に対応しているかを説明しています。彼らの研究は単に接続を示唆するだけでなく、物理学における抽象的な代数的構造が、特定の方程式の解の空間といった具体的な幾何学的対象としてどのように現れるか、また、それらの対象がいかに厳密な数学的道具を用いて数え上げられるかを示す詳細なロードマップを提供しています。

彼らの説明の核心は、4次元空間を伴う特定の種類の物理理論に焦点を当てています。これらの理論において、物理学者は「インスタントン」と呼ばれる、方程式の特別な解を探します。これらは空間の中を移動する粒子ではなく、空間の織り目における特定の種類の「ねじれ」を表す、場の局所的な構成です。起こりうるすべてのインスタントンの集合は、「モジュライ空間」と呼ばれる複雑な幾何学的形状を形成します。1980年代、数学者のサイモン・ドナルドソンは、これらの空間を用いて、4次元多様体の形状を記述する新しい不変量を作成しました。その後、物理学者のカムラン・ヴァファとエドワード・ウィッテンは、同じ理論の異なるツイストを提案し、それが現在「ヴァファ・ウィッテン不変量」として知られる新しい一連の不変量へとつながりました。これらの新しい不変量は、「モジュラリティ」と呼ばれる特別な性質を持つと予測されており、これは音楽の音階におけるリズムのように、特定の規則に従って繰り返されるパターンの中に整理できることを意味します。

本研究の研究者たちは、これらの物理的予測がどのように代数幾何学の言語へと翻訳されるかを説明しています。彼らは、もともと微分方程式と微積分を用いて定義されていたインスタントンのモジュライ空間が、「層（sheaf）」の空間として再解釈できることを示しています。簡単に言えば、層とは、地図が国の中の異なる地域に関する情報を整理する方法と同様に、幾何学的空間の上にデータを整理する方法のことです。数学者たちはすでに、これらの層の空間（それらがしばしば滑らかではなく、ギザギザとした特異点を持つ場合も含めて）を研究する方法を開発していました。著者らは、「仮想サイクル（virtual cycles）」と呼ばれる手法を用いることで、数学者がこれらのギザギザした空間に対して意味のある大きさや数を割り当てることを実証し、物理的なパス積分が、これらの層の空間における数学的な交差数と正確に等価であることを示しています。

彼らが詳述している最も重要な発見の一つは、「S双対性（S-duality）」として知られる深い対称性の確認です。物理理論において、この対称性は、系が非常に強い結合（相互作用が激しい状態）にあるときの振る舞いが、ゲージ群をその数学的双対なものと入れ替えることで、非常に弱い結合（相互作用が穏やかな状態）にあるときの振る舞いと同一であることを示唆しています。著者らは、この物理的な対称性が、不変量の生成関数を変換することとして数学の世界に反映されていることを示しています。これらの生成関数（異なる構成に対する解の数をリストアップするもの）は、「モジュラー形式」であることが判明しています。これは、理論によって生成される数値が、数学者が数世紀にわたって研究してきた厳格で繰り返されるパターンに従っていることを意味します。この研究は、物理学者が予測した謎めいたモジュラー特性が偶然ではなく、これらの空間の幾何学的な構造そのものに組み込まれていることを裏付けています。

著者らはまた、「ウォール・クロッシング（壁越え）」という現象についても取り上げています。これは、理論のパラメータを変化させると、方程式の解の数が急激に変化する現象です。物理的な図式では、これは可能な解の空間が突然の変化を起こすときに発生します。講義ノートは、数学者がこれらのジャンプを予測する方法を説明しています。そこでは、変化の前後の不変量を関連付ける公式が用いられます。この公式には、解が既約であったり退化していたりする領域を含む、空間の異なる部分からの寄与が含まれています。これらの寄与を注意深く分析することにより、研究者たちは、総計が物理的な予測と一致することを示し、これらの不変量が異なるタイプの4次元曲面上においてどのように振る舞うかという長年の疑問を解決しました。

彼らの研究の鍵となる部分は、「局在化（localization）」技術の使用です。これは、対称性の作用によってシステムが変化しない点だけに焦点を当てることで、複雑な計算を簡略化する手法です。これらの理論の文脈において、研究者たちは、モジュライ空間全体にわたる複雑な積分が、より単純な部分空間への和へと還元できることを示しています。この還元により、以前は不可能であった明示的な計算が可能になります。例えば、彼らは、複素射影平面やK3曲面のような特定の曲面に対して、問題を扱いやすい断片へと分解することで、不変量を計算する方法を実証しています。これらの計算は、物理的な予測を検証するだけでなく、これまで計算されたことのない幾何学的対象を数え上げるための新しい数学的公式を提供しています。

ノートはまた、これらの4次元理論と5次元物理学との接続についても探求しています。空間に余剰の円環次元を含めることで、研究者たちは、これらの不変量が5次元系の状態を数えていると解釈できることを示しています。この視点は、不変量の構造を理解するための新しい方法を提供し、それらを特定の代数的構造の表現論へと結びつけます。著者らは、状態の数をエンコードするこれらの5次元理論の分割関数が、4次元の場合に見られるモジュラー形式と関連していることを説明しています。この接続は、物理理論の異なる次元の間、およびそれらの数学的対応物の間の、より深い統一性を示唆しています。

テキスト全体を通して、著者らは「安定条件」の役割を強調しています。物理学と数学の両方において、解の空間が適切に振る舞い、有限であることを保証するために、特定の基準を課さなければなりません。物理理論において、これらの条件は系のエネルギーを最小化するという要求から自然に生じます。数学的な定式化においては、これらは層の安定条件に対応し、層がより単純で不安定な成分へと崩壊しないことを保証します。研究者たちは、これら二つの安定性の概念が等価であることを示し、物理的記述と数学的記述の間の対応関係に厳密な基礎を与えています。彼らはまた、これらの安定条件が理論のパラメータが変化するときにどのように変化するかについても議論しており、これが前述のウォール・クロッシング現象につながります。

提示されたノートは、量子場理論と代数幾何学の交差点に興味を持つすべての人にとっての包括的なガイドとして機能します。それは、物理学者の直感的でしばしばヘウリスティック（経験則的）な手法と、数学者の厳密で公理的なアプローチとの間の溝を埋めるものです。パス積分や超対称性を、層、モジュライ空間、および仮想サイクルの言語へと翻訳することで、著者らは、現代代数幾何学の全能力を用いて物理学の問題を解決することを可能にしました。逆に、彼らは物理的な直観がいかに数学者を未知の構造や不変量へと導き得るかを明らかにしました。

この研究の意義は、ここで議論されている特定の不変量にとどまりません。ここで開発された手法、特に仮想サイクルと局在化の使用は、広範な計数幾何学（enumerative geometry）の問題に適用可能です。これらは、伝統的な手法が通用しない状況において、幾何学的対象を数え上げるためのツールキットを提供します。著者らはまた、これらの技術が高次ランクのゲージ群やより複雑な曲面の研究に使用できることを指摘しており、研究の新たな道を切り開いています。これらの不変量に対するS双対性の予想の確認は、大きな前進であり、数学と物理学の異なる領域間の深い結びつきを裏付ける強力な証拠となっています。

要約すれば、この共同研究は、トポロジカル・ツイストと超対称性という物理的概念がいかにして深遠な数学的結果へと導かれるかについて、明確かつ詳細な説明を提供しています。それは、かつては純粋に数学的な構成物と考えられていた4次元多様体の不変量が、量子場理論の構造に深く根ざしていることを示しています。著者らは、物理学者が行った予測が単に数値的に正しいだけでなく、数学的に厳密であり、構造的に健全であることを実証することに成功しました。これらの理論の統一的な視点を提供することで、彼らは、自然の法則と空間の構造の間のより深い統一性を明らかにするであろう、将来の発見への道を切り拓いたのです。