[論文レビュー] The Yang-Mills stratification for surfaces revisited

Daniel A. Ramras|arXiv (Cornell University)|May 16, 2008

Homotopy and Cohomology in Algebraic Topology参考文献 15被引用数 5

ひとこと要約

この論文は、リーマン面におけるアティヤとボットのYang–Mills層構造を再考し、可換な場合と非可換な場合の両方において、非安定層の最小余次元に対する正確な公式を提供する。ホモトピー軌道空間の連結性が、 genus 1 では $2\gcd(n,k)-2$、$g>1$ では $2(\min([k]_n,[-k]_n)+(g-1)(n-1))-2$ に正確に一致することを確立する。非可換な曲面に対しても、ホーとリウの理論を用いて類似の結果が得られ、低次元のゲージ同変コホモロジーにおいて同型が得られる。

ABSTRACT

We revisit Atiyah and Bott's study of Morse theory for the Yang-Mills functional over a Riemann surface, and establish new formulas for the minimum codimension of a (non-semi-stable) stratum. These results yield the exact connectivity of the natural map (C_{min} E)//G(E) --> Map^E (M, BU(n)) from the homotopy orbits of the space of central Yang-Mills connections to the classifying space of the gauge group G(E). All of these results carry over to non-orientable surfaces via Ho and Liu's non-orientable Yang-Mills theory. A somewhat less detailed version of this paper (titled "On the Yang-Mills stratification for surfaces") will appear in the Proceedings of the AMS.

研究の動機と目的

• アティヤとボットのYang–Mills汎関数に対するモース理論的アプローチを、非安定層の最小余次元を正確に計算することで精緻化・拡張すること。
• 中心Yang–Mills接続のホモトピー軌道空間からゲージ群の分類空間への自然な写像の正確な連結性を特定すること。
• ホーとリウの非可換Yang–Mills理論を用いて、これらの結果を非可換な曲面へ拡張すること。
• 計算された連結性を活用して、低次元のゲージ同変コホモロジーにおける同型を確立すること。

提案手法

• 論文は、非可換曲面の二重被覆における対称層を分類することでYang–Mills層構造を分析し、対合の固定点集合に注目する。
• 接続空間 $\widetilde{E}$ における対称層 $\mu$ の複素余次元 $c(\mu)$ の公式を導出し、これが元の空間 $\mathcal{A}(E)$ における実余次元を決定する。
• 適切な対称列 $\mu = ((n_1,k_1),(n_0,0),(n_1,-k_1))$ の範囲で $c(\mu)$ を最小化することで、最小余次元を計算する。この問題は $i=1,\dots,\lfloor n/2\rfloor$ の範囲での最小化に帰着される。
• 余次元関数 $c(i) = 2n - 2i + (2ni - 3i^2)(\widetilde{g}-1)$ の2次計画法を用いて最小化点を同定する。
• genus 1 の場合、$n$ が奇数のとき最小余次元は $2n - 2$、$n$ が偶数のとき $2n - 4$ であり、これにより連結性がそれぞれ $n-1$ または $n-2$ であることが示される。
• 非可換曲面への拡張は、対合下での層の固定点構造を分析することで行われ、特にクラインの瓶における非自明なバンドル $E^{-}$ と自明なバンドル $E^{+}$ に注目する。

実験結果

リサーチクエスチョン

• RQ1 ランク $n$ と Chern 数 $k$ を持つ、$g>1$ の genus のリーマン面における非安定Yang–Mills層の正確な最小余次元は何か？
• RQ2 ホモトピー軌道空間 $\mathcal{C}_{\textrm{min}}(E)_{h\mathcal{G}(E)}$ の連結性は、分類空間 $\mathrm{Map}^E(M,BU(n))$ の位相とどのように関係するか？
• RQ3 特にクラインの瓶において、中心Yang–Mills接続の空間の正確な連結性の上限は何か？
• RQ4 アティヤとボットの理論に基づく可換曲面からの結果は、ホーとリウの非可換Yang–Mills理論を用いて非可換曲面へどのように拡張できるか？
• RQ5 二重被覆における対称層の役割は、非可換曲面における固定点層の余次元を決定する上で果たすか？

主な発見

• genus $g=1$ およびランク $n$、Chern 数 $k$ のバンドル $E$ に対して、ホモトピー軌道空間 $\mathcal{C}_{\textrm{min}}(E)_{h\mathcal{G}(E)}$ の連結性は正確に $2\gcd(n,k)-2$ である。
• genus $g>1$ の場合、連結性は正確に $2(\min([k]_n,[-k]_n)+(g-1)(n-1))-2$ であり、ここで $[r]_n$ は $r$ を $n$ で割った余りとして $\{1,\dots,n\}$ の中で一意に定まる整数を表す。
• クラインの瓶（$\widetilde{g}=1$）において、$n$ が奇数のとき、$\mathcal{A}_{\mathrm{flat}}(E)$ の連結性は正確に $n-1$ である。$n$ が偶数で $E=E^{-}$ のとき、連結性は $n-2$ である。
• $n$ が偶数の自明なバンドル $E^{+}$ に対して、非空の層の最小余次元は $n+2$ であるため、$\mathcal{A}_{\mathrm{flat}}(E^{+})$ は正確に $n$-連結である。
• これらの結果から、低次元において $H^{*}_{\mathcal{G}(E)}(\mathcal{C}_{\textrm{min}}(E);\mathbb{Z}) \cong H^{*}(B\mathcal{G}(E);\mathbb{Z})$ および $H^{*}_{\mathcal{G}_0(E)}(\mathcal{C}_{\textrm{min}}(E);\mathbb{Z}) \cong H^{*}(B\mathcal{G}_0(E);\mathbb{Z})$ の同型が導かれる。
• genus $g>1$ の場合、$\mathcal{A}(E)$ における非空の層の最小余次元は、$i=1$ のみで達成され、$\mu_i = ((i,1),(n-i,0),(i,-1))$ の形の層であり、余次元は $c(1) = 2n\widetilde{g} - 3\widetilde{g} + 1$ に等しい。