[論文レビュー] Monopoles and Four-Manifolds

Edward Witten|arXiv (Cornell University)|Nov 15, 1994

Black Holes and Theoretical Physics参考文献 8被引用数 58

ひとこと要約

この論文は、非可換インスタントンの代わりにアーベルゲージ理論とモノポールを用いて、4次元多様体のドナルドソン不変量の二重形式を提案する。これは、N=2超対称ヤン・ミルズ理論におけるセイバーグ＝ワトソン双対性を利用したものである。主な結果は、ドナルドソン不変量がモノポール方程式の解の数え上げによって計算可能であるということであり、古典的結果や消滅定理の新しい証明、および非自明な H^{2,0} を持つケーラー多様体に対する不変量の完全な決定を可能にする。

ABSTRACT

Recent developments in the understanding of $N=2$ supersymmetric Yang-Mills theory in four dimensions suggest a new point of view about Donaldson theory of four manifolds: instead of defining four-manifold invariants by counting $SU(2)$ instantons, one can define equivalent four-manifold invariants by counting solutions of a non-linear equation with an abelian gauge group. This is a ``dual'' equation in which the gauge group is the dual of the maximal torus of $SU(2)$. The new viewpoint suggests many new results about the Donaldson invariants.

研究の動機と目的

• 4次元多様体のドナルドソン不変量を計算するための新しい物理的・数学的枠組みを提供すること。この枠組みでは、双対なアーベルゲージ理論とモノポールを用いる。
• N=2超対称ヤン・ミルズ理論の赤外行動と、4次元多様体不変量に与える影響を理解すること。
• SU(2)インスタントンの数え上げとU(1)モノポール解との間に双対性を確立し、位相的不変量の計算を簡略化すること。
• 正のスカラー曲率を持つ4次元多様体に対するドナルドソン不変量の新しい消滅定理を導出し、モノポール数え上げによって既知の結果を再導出すること。
• H^{2,0}≠0 を持つケーラー4次元多様体のドナルドソン不変量を、以前の研究で仮定されていたものとは異なる前提なしに完全に決定すること。

提案手法

• N=2超対称ヤン・ミルズ理論におけるセイバーグ＝ワトソン双対性を用い、強い結合の赤外固定点が、ダイオン的モノポールを伴うアーベルゲージ理論で記述されることを活用する。
• w₂(X)=0 を満たすスピン4次元多様体 X 上に、ラインバンドル L 上のU(1)接続 A と正のスピノルバンドル S⁺ の断面 M を含むモノポール方程式を導入する。
• N=2理論のトポロジカルなトランスフォームを適用し、計量に依存しない相関関数を定義し、ドナルドソン不変量を導出する。
• 計量 g_t = t g のスケーリングによるレノルム群フローの挙動を分析し、大 t（赤外）極限では u = ±Λ² の近傍のみが寄与することを示す。
• 赤外領域での相関関数を、モノポール有効理論における演算子の展開によって計算し、最低次元（c数）の項のみを保持する。これらはモノポール方程式に対応する。
• 一般計量においてモノポール方程式の解の空間が0次元であるという事実に依拠し、解の符号付き数え上げによって不変量を計算可能とする。

実験結果

リサーチクエスチョン

• RQ1 ドナルドソン不変量は、非可換インスタントンの代わりに、アーベルモノポール方程式の解によって同等に計算可能か？
• RQ2 セイバーグ＝ワトソン双対性は、N=2超対称ゲージ理論における4次元多様体不変量の構造にどのような意味を持つか？
• RQ3 正のスカラー曲率を持つ多様体上では、モノポール記述からどのようにドナルドソン不変量の消滅定理が生じるか？
• RQ4 H^{2,0}≠0 を持つケーラー4次元多様体の完全なドナルドソン不変量は、canonical divisor に関する仮定なしに決定可能か？
• RQ5 モノポール有効理論における高次元演算子はどのような条件下で寄与し、標準的な不変量の公式をどのように修正するか？

主な発見

• b₂⁺ > 1 を持つ4次元多様体のドナルドソン不変量は、モノポール場を伴うU(1)ゲージ理論に定義されたモノポール方程式の解の数え上げによって、同等に計算可能である。
• モノポール方程式は、クロノイマーとムロワの基本的クラス定理の新しい証明を提供し、基本的クラスがモノポール解のモジュライ空間から自然に生じることを示している。
• 新しい消滅定理が導出された：正のスカラー曲率をもつ4次元多様体では、ドナルドソン不変量が消える。これは、モノポール方程式に非自明な解が存在しないことによる。
• H^{2,0}≠0 を持つケーラー4次元多様体に対しては、canonical divisor に関する事前の仮定なしにドナルドソン不変量が完全に決定可能であり、以前の結果を拡張している。
• 4次元多様体の単純型条件はモノポール像によって自然に説明される：有効作用のc数項のみが寄与し、符号付き数え上げによる0次元モジュライ空間の公式が得られる。
• モノポール有効理論における高次元演算子が寄与する場合（例：W≠0 のとき）、不変量の公式は (u²−Λ⁴)^{s+1}=0 に一般化される。ここで s は寄与する W の最大値の半分であり、以前にクロノイマーとムロワが分析した通りである。