[論文レビュー] 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³ バンドル Pₖ に対するゲージ群の明示的ホモトピー群を計算すること。
• 球面および曲面上の一般の主バンドルに対するゲージ群の有理ホモトピー群の公式 πₙ(Gau(P))⊗ℚ を導出すること。

提案手法

• C(P,K)^K がゲージ群 Gau(P) と同一視される評価ファイブレーション ev_{p₀}: C(P,K)^K → K を用いる。
• このファイブレーションに関連する長大なホモトピー完全列を用いて接続写像を分析する。
• 基底空間が閉じた向き付け可能な曲面または球面である場合、接続写像がサマエルソン積によって与えられることを確立する。
• ホモトピー群およびゲージ群の構造を用いた代数的位相の道具を用いて、チャーン数 k を持つ S⁴ 上の主 S³ バンドル Pₖ に対する π₂(Gau(Pₖ)) を計算する。
• サマエルソン積の特徴付けを用いて、πₙ(Gau(P))⊗ℚ の有理ホモトピー群の公式を導出する。
• ゲージ群の構造およびループ空間と分類空間のホモトピー論に関する既知の結果に依拠する。

実験結果

リサーチクエスチョン

• RQ1 ゲージ群の評価ファイブレーションのホモトピー完全列における接続写像は、サマエルソン積とどのように関係しているか？
• RQ2 チャーン数 k を持つ S⁴ 上の主 S³ バンドル Pₖ に対して、π₂(Gau(Pₖ)) の明示的公式はどのように導出可能か？
• RQ3 接続写像のサマエルソン積による記述を用いて、有理ホモトピー群 πₙ(Gau(P))⊗ℚ を計算できるか？
• RQ4 接続写像とサマエルソン積の対応関係は、閉じた向き付け可能な曲面および球面上のゲージ群に対しても成り立つか？
• RQ5 この代数的位相的同定から、ゲージ群ホモトピーの構造的洞察はどのようなものが得られるか？

主な発見

• 閉じた向き付け可能な曲面または球面上のゲージ群の長大なホモトピー完全列における接続写像は、明示的にサマエルソン積として実現される。
• チャーン数 k を持つ S⁴ 上の主 S³ バンドル Pₖ に対する π₂(Gau(Pₖ)) の明示的公式が導出される。
• このような基底空間上のゲージ群に対して、πₙ(Gau(P))⊗ℚ の明示的有理ホモトピー群の公式が提供される。
• サマエルソン積は、接続写像の計算可能な代数的モデルを提供し、具体的なホモトピー群の計算を可能にする。
• 結果は球面および曲面の両方の基底空間に適用可能であり、サマエルソン積による統一的記述が得られる。
• これらの発見は、ゲージ群の位相と古典的ホモトピー論的構成（たとえばサマエルソン積）との深い関係を確立する。