[論文レビュー] The singularities of Yang-Mills connections for bundles on a surface. I. The local model

Johannes Huebschmann|ArXiv.org|Nov 22, 1994

Homotopy and Cohomology in Algebraic Topology参考文献 10被引用数 6

ひとこと要約

本稿では、閉じた曲面上の主 bundle 上の中心Yang-Mills接続のモジュライ空間の局所的モデルを、ゼロ近傍のMarsden-Weinstein簡約空間と与えられた接続近傍のモジュライ空間を同定するKuranishi写像を構成することによって確立する。主な貢献は、接続の安定化部分群に対する表現論および運動量写像を用いた、モジュライ空間の局所構造の幾何的実現である。

ABSTRACT

Let $Σ$ be a closed surface, $G$ a compact Lie group, not necessarily connected, with Lie algebra $g$, endowed with an adjoint action invariant scalar product, let $ξ\colon P o Σ$ be a principal $G$-bundle, and pick a Riemannian metric and orientation on $Σ$, so that the corresponding Yang-Mills equations $$d_A*K_A = 0$$ are defined, where $K_A$ refers to the curvature of a connection $A$. For every central Yang-Mills connection $A$, the data induce a structure of unitary representation of the stabilizer $Z_A$ on the first cohomology group $ oman H^1_A(Σ, oman{ad}(ξ))$ with coefficients in the adjoint bundle $ oman{ad}(ξ)$, with reference to $A$, with momentum mapping $Θ_A$ from $ oman H^1_A(Σ, oman{ad}(ξ))$ to the dual $z^*_A$ of the Lie algebra $z_A$ of $Z_A$. We show that, for every central Yang-Mills connection $A$, a suitable Kuranishi map identifies a neighborhood of zero in the Marsden-Weinstein reduced space $ oman H_A$ for $Θ_A$ with a neighborhood of the point $[A]$ in the moduli space of central Yang-Mills connections on $ξ$.

研究の動機と目的

• 閉じた曲面上の主 bundle 上の中心Yang-Mills接続のモジュライ空間の局所構造を理解すること。
• ゲージ群が必ずしも連結でない場合に生じるモジュライ空間内の特異性を分析すること。
• 第一コホモロジー群のMarsden-Weinstein簡約空間と中心Yang-Mills接続近傍でのモジュライ空間との間の対応関係を確立すること。
• 表現論と運動量写像を用いた幾何的枠組みを、Yang-Mills接続の局所的挙動に提供すること。

提案手法

• 閉じた曲面 $ \Sigma $ 上の主 $ G $-bundle 上の中心接続を定義するために、Yang-Mills方程式 $ d_A^* K_A = 0 $ を用いる。
• 接続 $ A $ の安定化部分群 $ Z_A $ による第一コホモロジー群 $ H^1_A(\Sigma, \text{ad}(\xi)) $ に自然なユニタリ表現を導入する。
• $ H^1_A(\Sigma, \text{ad}(\xi)) $ から $ Z_A $ のリー代数の双対 $ z_A^* $ への運動量写像 $ \Theta_A $ を構成する。
• Kuranishi写像を適用して、簡約空間 $ H_A $ のゼロ近傍とモジュライ空間内での $[A]$ の近傍を同定する。
• Marsden-Weinstein簡約手順を用いて、特異点近傍におけるモジュライ空間のシンプレクティック構造を分析する。
• リー代数 $ \mathfrak{g} $ 上に $ \text{Ad}_G $-不変な内積を導入し、$ \Sigma $ 上のリーマン計量と整合させる。

実験結果

リサーチクエスチョン

• RQ1 特異点近傍における中心Yang-Mills接続のモジュライ空間の局所構造は、どのように記述できるか？
• RQ2 安定化部分群 $ Z_A $ はモジュライ空間の幾何にどのような役割を果たすか？
• RQ3 コホモロジー群上の運動量写像 $ \Theta_A $ は、モジュライ空間の局所トポロジーとどのように関係するか？
• RQ4 Kuranishi写像は、簡約空間とモジュライ空間との間にどのように局所微分同相写像を提供するか？
• RQ5 ゲージ群 $ G $ の非連結性は、モジュライ空間内の特異性にどのような影響を与えるか？

主な発見

• Kuranishi写像は、Marsden-Weinstein簡約空間 $ H_A $ のゼロ近傍と中心Yang-Mills接続のモジュライ空間内での $[A]$ の近傍との間で局所微分同相写像を誘導する。
• 第一コホモロジー群 $ H^1_A(\Sigma, \text{ad}(\xi)) $ は、簡約プロセスに不可欠な安定化部分群 $ Z_A $ による自然なユニタリ表現を備えている。
• 運動量写像 $ \Theta_A $ は、$[A]$ 近傍におけるモジュライ空間の局所幾何を符号化するシンプレクティック商構造を提供する。
• ゲージ群 $ G $ が連結でない場合でもこの構成は有効であり、特異ケースへの局所モデルの適用範囲を拡張する。
• 局所モデルは補助的選択に依存せず、接続およびバンドルの内在的幾何にのみ依存するため、標準的である。
• この結果により、コホモロジー的データとモジュライ空間の局所構造との間の明確な対応関係が確立され、特異性のより深い分析が可能になる。