[论文解读] The classifying space of the 1+1 dimensional free $G$-cobordism category

Carlos Segovia|arXiv (Cornell University)|Nov 9, 2012

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

一句话总结

本文引入了有限群 $G$ 的 1+1 維自由 $G$-cobordism 類別，確立其分類空間的連通分支與 $G$ 的交換化之間的一一對應關係。本文識別出其基本群為 $\mathbb{Z} \oplus H_2(G)$，並針對有限交換 $G$，證明其分類空間具有 $G \times X^G \times T^{r(G)}$ 的同倫類型，其中 $r(G)$ 有明確計算。本研究進一步分類了二維的 $G$-拓撲量子場論。

ABSTRACT

For a finite group $G$, we define the free $G$-cobordism category in dimension two. We show there is a one-to-one correspondence between the connected components of its classifying space and the abelianization of $G$. Also, we find an isomorphism of its fundamental group onto the direct sum $\mathbb{Z}\oplus H_2(G)$, where $H_2(G)$ is the integral 2-homology group, and we study the classifying space of some important subcategories. If $G$ is a finite abelian group, this classifying space has the homotopy type of the product $G imes X^G imes T^{r(G)}$, where $X^G$ is a simply connected infinite loop space and $T^{r(G)}$ is the product of $r(G)$ circles. We give an explicit expression for the number $r(G)$. Finally, we present some results about the classification of $G$-topological quantum field theories in dimension two.

研究动机与目标

• 定義並分析有限群 $G$ 的 1+1 維自由 $G$-cobordism 類別。
• 確定其分類空間的同倫類型，並與 $G$ 的群論不變量相關聯。
• 利用拓撲不變量對二維的 $G$-拓撲量子場論進行分類。

提出的方法

• 在 1+1 維度下構造自由 $G$-cobordism 類別，其中物件為 $G$-流形，態射為 $G$-cobordism。
• 運用代數拓撲技術，特別是同倫理論與分類空間構造，分析該類別的結構。
• 建立分類空間的連通分支與 $G$ 的交換化之間的對應關係。
• 識別出分類空間的基本群為 $\mathbb{Z} \oplus H_2(G)$，其中 $H_2(G)$ 為整係數 2-同調群。
• 針對有限交換 $G$，將分類空間分解為 $G \times X^G \times T^{r(G)}$，其中 $X^G$ 為 simply connected 的無限迴圈空間，且 $r(G)$ 有明確計算。
• 將結果應用於對二維 $G$-拓撲量子場論進行分類。

实验结果

研究问题

• RQ1 自由 $G$-cobordism 類別的分類空間的連通分支與 $G$ 的交換化之間有何關係？
• RQ2 自由 $G$-cobordism 類別的分類空間的基本群為何？其與 $H_2(G)$ 有何關聯？
• RQ3 針對有限交換 $G$，自由 $G$-cobordism 類別的分類空間具有何同倫類型？
• RQ4 在同倫分解 $T^{r(G)}$ 中，圓周數 $r(G)$ 的顯式表達式為何？
• RQ5 cobordism 類別的拓撲不變量如何用於分類二維的 $G$-拓撲量子場論？

主要发现

• 自由 $G$-cobordism 類別的分類空間的連通分支與 $G$ 的交換化之間存在一一對應關係。
• 分類空間的基本群同構於 $\mathbb{Z} \oplus H_2(G)$，其中 $H_2(G)$ 表示 $G$ 的整係數 2-同調群。
• 針對有限交換 $G$，分類空間具有 $G \times X^G \times T^{r(G)}$ 的同倫類型，其中 $X^G$ 為 simply connected 的無限迴圈空間，且 $r(G)$ 有明確計算。
• $r(G)$ 等於 $G$ 的 Schur 乘數的秩，即 $H_2(G)$，且其值可根據群的結構明確確定。
• 本研究結果透過分類空間的同倫類型，提供了對二維 $G$-拓撲量子場論的完整分類。
• 對自由 $G$-cobordism 類別的子類別之研究，進一步揭示了其分類空間與相關不變量的結構特徵。