[论文解读] The Yang-Mills stratification for surfaces revisited

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

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

一句话总结

本文重新探討了 Atiyah 與 Bott 在黎曼曲面上對 Yang–Mills 分層的構造，針對可定向與不可定向情形，提供了非半穩定分層最小余維數的精確公式。研究確立了：當虧格為 1 時，中心 Yang–Mills 連接的同倫軌道空間的連通性精確為 $2\gcd(n,k)-2$；當 $g>1$ 時，則為 $2(\min([k]_n,[-k]_n)+(g-1)(n-1))-2$，並透過 Ho 與 Liu 的理論將結果推廣至不可定向曲面，進而得出低維度規範等變上同調中的同構關係。

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.

研究动机与目标

• 透過計算非半穩定分層的最小余維數，精煉並拓展 Atiyah 與 Bott 對黎曼曲面上 Yang–Mills 泛函的 Morse 理論方法。
• 確立從中心 Yang–Mills 連接的同倫軌道空間到規範群分類空間的自然映射的精確連通性。
• 利用 Ho 與 Liu 的不可定向 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)$ 的二次優化分析，識別出最小化點。
• 對於虧格 1 的情形，證明最小餘維數在 $n$ 為奇數時為 $2n - 2$，在 $n$ 為偶數時為 $2n - 4$，進而得出連通性分別為 $n-1$ 或 $n-2$。
• 透過分析分層在對合作用下的不動點結構，將結果推廣至不可定向曲面，特別關注克萊因瓶上的非平凡叢 $E^{-}$ 與平凡叢 $E^{+}$。

实验结果

研究问题

• RQ1 對於虧格 $g>1$、秩為 $n$、陳類數為 $k$ 的黎曼曲面，非半穩定 Yang–Mills 分層的最小餘維數的精確值為何？
• RQ2 同倫軌道空間 $\mathcal{C}_{\textrm{min}}(E)_{h\mathcal{G}(E)}$ 的連通性與分類空間 $\mathrm{Map}^E(M,BU(n))$ 的拓撲之間有何關係？
• RQ3 在不可定向曲面（特別是克萊因瓶）上，中心 Yang–Mills 連接空間的精確連通性邊界為何？
• RQ4 如何利用 Ho 與 Liu 的不可定向 Yang–Mills 理論，將可定向曲面的結果推廣至不可定向曲面？
• RQ5 在二覆蓋中，對稱分層在決定不可定向曲面上不動點分層的餘維數中扮演何種角色？

主要发现

• 對於虧格 $g=1$、秩為 $n$、陳類數為 $k$ 的叢 $E$，同倫軌道空間 $\mathcal{C}_{\textrm{min}}(E)_{h\mathcal{G}(E)}$ 的連通性精確為 $2\gcd(n,k)-2$。
• 對於 $g>1$，連通性精確為 $2(\min([k]_n,[-k]_n)+(g-1)(n-1))-2$，其中 $[r]_n$ 表示模 $n$ 下與 $r$ 同餘且在 $\{1,\dots,n\}$ 中的唯一整數。
• 在克萊因瓶（$\widetilde{g}=1$）上，若 $n$ 為奇數，則 $\mathcal{A}_{\mathrm{flat}}(E)$ 的連通性精確為 $n-1$；若 $n$ 為偶數且 $E=E^{-}$，則連通性為 $n-2$。
• 對於克萊因瓶上的平凡叢 $E^{+}$，當 $n$ 為偶數時，非空分層的最小餘維數為 $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})$。
• 對於 $g>1$，$\mathcal{A}(E)$ 中非空分層的最小餘維數僅由形如 $\mu_i = ((i,1),(n-i,0),(i,-1))$（$i=1$）的分層實現，其餘維數為 $c(1) = 2n\widetilde{g} - 3\widetilde{g} + 1$。