[論文レビュー] Gauge Theory in higher dimensions, II

Simon Donaldson, Ed Segal|ArXiv.org|Feb 18, 2009

Geometry and complex manifolds参考文献 11被引用数 50

ひとこと要約

本稿は、ゲージ理論とキャリブレーテッド幾何学を用いて、Calabi-Yau 3-fold のモジュライ空間上の正則バンドルを定義するフレームワークを提案する。$G_2$-インスタントンとアソソシエイティブ部分多様体、モノポールとコアソソシエイティブ部分多様体の関係を提示する。ゲージ理論的方程式の解を数える不変量が、特殊ラグランジュ部分多様体の重み付き数え上げにより計算可能であると予想し、Seiberg-Witten および Gromov 不変量と類似する点を指摘する。

ABSTRACT

The main aim of the paper is to develop the "Floer theory" associated to Calabi-Yau 3-folds, exending the analogy of Thomas' "holomorphic Casson invariant". The treatment in the body of the paper is largely formal, assuming appropriate compactness properties of moduli spaces of $G_{2}$-instantons, but in the last section we make some remarks about these compactness isssues. Section 3 of the paper contains a general dscussion of deformations of the equations, for gauge field and submanifolds, associated to manifolds with exceptional holonomy.

研究の動機と目的

• Calabi-Yau 3-fold に対して、ゲージ理論を用いて、正則カスン不変量の微分幾何的類似物を構築すること。
• 7-次元 $G_2$-ホールノミーを持つ多様体における $G_2$-インスタントン方程式の解とアソソシエイティブ部分多様体との対応を確立すること。
• コアソソシエイティブおよび特殊ラグランジュ部分多様体付近での漸近的挙動を用いた数値不変量の計算メカニズムを提案すること。
• フーテル型方程式とモジュライ空間構成を用いて、ゲージ理論、キャリブレーテッド幾何学、代数的トポロジーを統一すること。
• ゲージ理論的解を数える不変量が、特殊ラグランジュ部分多様体の重み付き数え上げにより定義可能であると示唆する。これは Seiberg-Witten 不変量と類似する。

提案手法

• 次元 6, 7, 8 の幾何的構造を記述するための「たたみ込み形式」を導入し、特に $G_2$-および $Spin(7)$-多様体に適用する。
• チューブ状の端を持つ多様体における $G_2$-インスタントンの挙動を分析し、モノポールのモジュライ空間上のフーテル方程式を用いて漸近的極限をモデル化する。
• 特殊ラグランジュ部分多様体上のバンドルのセクションにフーテル方程式を適用し、ゲージ解の漸近的プロファイルとして解釈する。
• スケーリング極限（$r \to 0$）を用いて、$G_2$-インスタントン方程式からボゴモルニモノポール方程式およびフーテル方程式を導出する。
• Calabi-Yau 3-fold のモジュライ空間上に仮想の正則バンドルを構成し、そのランクは正則カスン不変量（DT 不変量）に等しいとする。
• Seiberg-Witten理論との類似性を示し、バーチャル・バーチャル・モジュライ空間が、提案された構成におけるモノポールモジュライ空間と類似する役割を果たすことを示唆する。

実験結果

リサーチクエスチョン

• RQ1 コアソソシエイティブ部分多様体付近での漸近的データを用いて、$G_2$-インスタントンを数える数値不変量を定義できるか？
• RQ2 Calabi-Yau 3-fold 内の特殊ラグランジュ部分多様体付近での $G_2$-インスタントン方程式の解の挙動はいかなるものか？
• RQ3 モノポールモジュライ空間上のフーテル方程式が、ゲージ理論的解の漸近的構造をどの程度正確にモデル化できるか？
• RQ4 ゲージ理論的不変量と特殊ラグランジュ部分多様体の数え上げとの間に、Seiberg-Witten–Gromov対応に類似した構造的関係が存在するか？
• RQ5 正則カスン不変量が、Calabi-Yau 3-fold のモジュライ空間上の正則バンドルのオイラー特徴量として実現可能か？

主な発見

• 本稿は、ホモロジー類 $\kappa$ に属する $G_2$-インスタントン方程式の解の数 $n_\kappa$ が、特殊ラグランジュ部分多様体 $P_i$ 上の重み付き和として表されると予想している。重み $w(k_i, P_i)$ は、モノポールバンドル上のフーテル解の数え上げを表す。
• 極限 $r \to 0$ において、$G_2$-インスタントン方程式はボゴモルニモノポール方程式およびコアソソシエイティブ部分多様体からモノポールモジュライ空間への写像に対するフーテル方程式に還元される。
• 中心付きモノポール（位荷 $k$）のモジュライ空間は、実次元 $4(k-1)$ のハイパーカイリック多様体であり、$Q$ 上のフーテルセクションは漸近的ゲージ解をモデル化する。
• 提案された構成により、特殊ラグランジュ部分多様体の直接的数え上げよりも、$G_2$-インスタントンを数える不変量を定義するのが容易であると示唆される。これは、Seiberg-Witten 不変量が Gromov 不変量よりも扱いやすいのと同様である。
• このフレームワークは、ゲージ理論、キャリブレーテッド幾何学、代数的幾何学の間の推測的だが体系的な橋渡しを提供する。特にフーテル方程式とたたみ込み形式を通じて。
• 本稿は、正則カスン不変量に等しいランクを持つ、Calabi-Yau 3-fold のモジュライ空間上の正則バンドルが、好都合な解析的条件下で存在すると主張する。