[论文解读] The Samelson Product and the Connecting Homomorphism for Gauge Groups

Christoph Wockel|arXiv (Cornell University)|Nov 16, 2005

Homotopy and Cohomology in Algebraic Topology被引用 1

一句话总结

本论文证明了在闭可定向曲面或球面上的主丛的规范群的评价纤维丛的长正合同伦序列中，连接同态通过塞默尔森积实现。作为关键结果，它利用这种代数拓扑对应关系，推导出 π₂(Gau(Pₖ)) 和 πₙ(Gau(P))⊗ℚ 的显式公式。

ABSTRACT

This paper is on the connecting homomorphism in the long exact homotopy sequence of the evaluation fibration $ev_{p_0}:C(P,K)^K o K$, where $C(P,K)^K \cong Gau(P)$ is the gauge group of a continuous principal $K$-bundle $P$ over a closed orientable surface or a sphere. We show that in this cases the connecting homomorphism in the corresponding long exact homotopy sequence is given in terms of the Samelson product. As applications, we exploit this correspondence to get an explicit formula for $\pi_2 (Gau(P_k))$, where $P_k$ denotes the principal $S^3$-bundle over $S^4$ of Chern number $k$ and derive explicit formulae for the rational homotopy groups $\pi_n (Gau(P)) \otimes \Q$.

研究动机与目标

• 理解评价纤维丛的长正合同伦序列中规范群的连接同态的结构。
• 阐明塞默尔森积在特定几何设定下描述该连接同态的作用。
• 将此表征应用于计算主 S³-丛上 S⁴ 的规范群的显式同伦群。
• 利用塞默尔森积表征推导出球面和曲面上一般主丛的规范群的有理同伦群公式。

提出的方法

• 使用评价纤维丛 ev_{p₀}: C(P,K)^K → K，其中 C(P,K)^K 被识别为规范群 Gau(P)。
• 应用与此纤维丛相关的长正合同伦序列，以分析连接同态。
• 确立在基空间为闭可定向曲面或球面的情况下，连接同态由塞默尔森积给出。
• 运用代数拓扑工具，包括同伦群和规范群的结构，计算主 S³-丛上 S⁴ 且陈类为 k 的 π₂(Gau(Pₖ))。
• 利用塞默尔森积表征推导出 πₙ(Gau(P))⊗ℚ 的有理同伦群公式。
• 依赖于规范群结构和环路空间与分类空间同伦理论的已知结果。

实验结果

研究问题

• RQ1 规范群的评价纤维丛同伦序列中的连接同态如何与塞默尔森积相关？
• RQ2 对于陈类为 k 的 S⁴ 上的主 S³-丛 Pₖ，π₂(Gau(Pₖ)) 的显式公式是什么？
• RQ3 能否利用连接同态的塞默尔森积描述来计算有理同伦群 πₙ(Gau(P))⊗ℚ？
• RQ4 连接同态与塞默尔森积之间的对应关系是否对闭可定向曲面和球面上的规范群成立？
• RQ5 从这种代数拓扑识别中，规范群同伦的结构洞见是什么？

主要发现

• 在闭可定向曲面或球面上的规范群的长正合同伦序列中，连接同态被显式实现为塞默尔森积。
• 推导出主 S³-丛 Pₖ（其陈类为 k）的 π₂(Gau(Pₖ)) 的显式公式。
• 本文为这些基空间上的规范群的 πₙ(Gau(P))⊗ℚ 提供了显式有理同伦群公式。
• 塞默尔森积为连接同态提供了可计算的代数模型，从而实现了具体的同伦群计算。
• 结果适用于球面和曲面基空间，表明通过塞默尔森积实现了统一的描述。
• 研究结果建立了规范群拓扑与塞默尔森积等经典同伦论构造之间的深刻联系。