[论文解读] Connected Components of The Space of Surface Group Representations

Nan-Kuo Ho, Chiu-Chu Melissa Liu|ArXiv.org|Mar 20, 2003

Advanced Algebra and Geometry参考文献 12被引用 9

一句话总结

该论文在非可定向曲面（微分同胚于 k 个实射影平面的连通和，k ≠ 1,2,4）上，建立了平坦 G-丛模空间的连通分支与商群 π₁(G)/2π₁(G) 之间的双射，推广了 Goldman 在可定向曲面上的结果。通过 q-哈密顿 G-空间与李群值矩映射的理论——特别是共轭映射 μᴳˡ 的满射性与纤维连通性——作者证明了任意固定拓扑 G-丛上平坦联络的模空间非空且连通。

ABSTRACT

Let G be a connected, compact, semisimple Lie group. It is known that for a compact closed orientable surface $Σ$ of genus $l >1$, the order of the group $H^2(Σ,π_1(G))$ is equal to the number of connected components of the space $Hom(π_1(Σ),G)/G$ which can also be identified with the moduli space of gauge equivalence classes of flat G-bundles over $Σ$. We show that the same statement for a closed compact nonorientable surface which is homeomorphic to the connected sum of k copies of the real projective plane, where $k eq 1,2,4$, can be easily derived from a result in A. Alekseev, A.Malkin and E. Meinrenken's recent work on Lie group valued moment maps.

研究动机与目标

• 将 Goldman 对可定向曲面上平坦 G-丛模空间连通分支的分类结果推广至非可定向曲面。
• 利用上同调不变量，解决非可定向曲面上主 G-丛的拓扑分类问题。
• 建立任意固定拓扑 G-丛上平坦联络模空间的非空性与连通性。
• 通过 q-哈密顿 G-空间与李群值矩映射的框架，统一可定向与非可定向情形。
• 阐明在非可定向曲面上平坦联络背景下，障碍映射的几何与代数意义。

提出的方法

• 利用共轭映射 μᴳˡ: G²ˡ → G 是 q-哈密顿 G-空间的李群值矩映射这一事实。
• 应用 Alekseev、Malkin 与 Meinrenken 的结果：当 G 是单连通紧致时，此类矩映射的所有纤维均连通。
• 通过万有覆叠 ρ: ˜G → G 提升表示，并定义障碍映射 o₂: Hom(π₁(Σ), G) → Ker ρ ≅ π₁(G)。
• 应用万有系数定理，计算 H²(Σ; π₁(G)) ≅ Ext(ℤ/2ℤ, π₁(G)) ≅ π₁(G)/2π₁(G)，其中 Σ 为非可定向曲面。
• 通过障碍映射 o₂ 构造模空间连通分支与 H²(Σ; π₁(G)) 之间的双射。
• 利用障碍理论与层上同调，调和拓扑 G-丛的分类与平坦联络模空间的关系。

实验结果

研究问题

• RQ1 当 k ≠ 1,2,4 时，对于微分同胚于 kℝP² 的非可定向曲面 Σ，平坦 G-丛模空间的连通分支数量是多少？
• RQ2 非可定向曲面上主 G-丛的分类如何与上同调群 H²(Σ; π₁(G)) 相关联？
• RQ3 能否通过 q-哈密顿几何证明固定拓扑 G-丛上非可定向曲面上平坦联络模空间的连通性？
• RQ4 障碍映射 o₂ 在非可定向曲面上平坦 G-丛模空间分类中起什么作用？
• RQ5 π₁(G)/2π₁(G) 的结构如何自然地出现在非可定向曲面上平坦 G-丛的分类中？

主要发现

• 对于微分同胚于 k ≥ 3 个 ℝP² 的连通和（k ≠ 1,2,4）的闭合非可定向曲面 Σ，Hom(π₁(Σ), G)/G 的连通分支数量与 π₁(G)/2π₁(G) 之间存在双射。
• 对于每个固定的拓扑 G-丛，此类 Σ 上平坦 G-丛的规范等价类模空间非空且连通。
• 上同调群 H²(Σ; π₁(G)) 同构于 Ext(ℤ/2ℤ, π₁(G)) ≅ π₁(G)/2π₁(G)，该群分类了 Σ 上的拓扑 G-丛。
• 障碍映射 o₂: Hom(π₁(Σ), G) → π₁(G) 通过 π₁(G)/2π₁(G) 因子分解，其像分类了模空间的连通分支。
• 该结果推广了 Goldman 在可定向曲面上的定理，表明相同的上同调不变量在非可定向情形下也控制连通分支。
• 证明依赖于李群值矩映射 μᴳˡ 的纤维连通性，这是 q-哈密顿 G-空间理论的推论，确保了每类丛型下模空间的连通性。