[论文解读] 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

一句话总结

本文通过构造一个库朗希映射，将联络的余同调群的马尔施登-魏斯滕施泰因约化空间中零点附近的一个邻域与给定联络附近的模空间进行识别，从而为闭曲面上主丛上的中心杨-米尔斯联络模空间建立了局部模型。关键贡献在于通过联络稳定子群的表示理论与动量映射，实现了模空间局部结构的几何实现。

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 $ξ$.

研究动机与目标

• 理解闭曲面上主丛上中心杨-米尔斯联络模空间的局部结构。
• 分析当规范群不一定连通时模空间中出现的奇点。
• 建立一阶上同调群的马尔施登-魏斯滕施泰因约化空间与中心杨-米尔斯联络附近模空间之间的对应关系。
• 通过表示理论与动量映射，为杨-米尔斯联络的局部行为提供几何框架。

提出的方法

• 利用杨-米尔斯方程 $ d_A^* K_A = 0 $ 定义闭曲面 $ \Sigma $ 上主 $ G $-丛上的中心联络。
• 赋予联络 $ A $ 的稳定子 $ Z_A $ 的一阶上同调群 $ H^1_A(\Sigma, \text{ad}(\xi)) $ 一个单位酉表示。
• 从 $ H^1_A(\Sigma, \text{ad}(\xi)) $ 构造一个到 $ Z_A $ 的李代数对偶 $ z_A^* $ 的动量映射 $ \Theta_A $。
• 应用库朗希映射，将约化空间 $ H_A $ 中零点附近的一个邻域与模空间中 $[A]$ 附近的一个邻域进行识别。
• 采用马尔施登-魏斯滕施泰因约化程序，分析模空间在奇点附近辛结构。
• 依赖于李代数 $ \mathfrak{g} $ 上存在一个与 $ \Sigma $ 上的黎曼度量相容的 $ \text{Ad}_G $-不变内积。

实验结果

研究问题

• RQ1 如何描述中心杨-米尔斯联络模空间在奇点附近的局部结构？
• RQ2 稳定子群 $ Z_A $ 在模空间几何中起什么作用？
• RQ3 上同调群上的动量映射 $ \Theta_A $ 如何与模空间的局部拓扑相关联？
• RQ4 库朗希映射在何种意义上提供了约化空间与模空间之间的局部微分同胚？
• RQ5 规范群 $ G $ 的非连通性如何影响模空间中的奇点？

主要发现

• 库朗希映射在马尔施登-魏斯滕施泰因约化空间 $ H_A $ 中零点附近的一个邻域与中心杨-米尔斯联络模空间中 $[A]$ 附近的一个邻域之间诱导出一个局部微分同胚。
• 一阶上同调群 $ H^1_A(\Sigma, \text{ad}(\xi)) $ 携带稳定子 $ Z_A $ 的自然单位酉表示，这对约化过程至关重要。
• 动量映射 $ \Theta_A $ 提供了一个辛商结构，编码了模空间在 $[A]$ 附近局部几何。
• 即使规范群 $ G $ 不连通，该构造依然有效，从而将局部模型的应用范围扩展至奇异情形。
• 该局部模型是典范的，且不依赖于辅助选择，仅依赖于联络与丛的内在几何。
• 该结果在上同调数据与模空间的局部结构之间建立了精确对应，使得对奇点的深入分析成为可能。