[論文レビュー] 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)$ は明示的に計算される。本研究は、2次元における $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$ の群論的不変量と関連付けること。
• 2次元における $G$-トポロジカル量子場理論を、位相的不変量を用いて分類すること。

提案手法

• オブジェクトが $G$-多様体で、射が $G$-cobordism である1+1次元の自由 $G$-cobordism 圏を構成する。
• 特にホモトピー論および分類空間の構成を用いた代数的位相論的手法を用いて、同カテゴリーの構造を分析する。
• 分類空間の連結成分と $G$ のアーベル化との間に対応関係を確立する。
• 分類空間の基本群が $\mathbb{Z} \oplus H_2(G)$ に同型であることを特定する。ここで $H_2(G)$ は整数係数2次ホモロジー群を表す。
• 有限アーベル群 $G$ に対して、分類空間を $G \times X^G \times T^{r(G)}$ に分解する。ここで $X^G$ は単連結な無限ループ空間であり、$r(G)$ は明示的に決定される。
• 得られた結果を応用し、2次元における $G$-トポロジカル量子場理論を分類する。

実験結果

リサーチクエスチョン

• RQ1 自由 $G$-cobordism 圏の分類空間の連結成分は、$G$ のアーベル化とどのように関係しているか。
• RQ2 自由 $G$-cobordism 圏の分類空間の基本群は何か。また、$H_2(G)$ とどのように関連しているか。
• RQ3 有限アーベル群 $G$ に対して、自由 $G$-cobordism 圏の分類空間のホモトピー型は何か。
• RQ4 ホモトピー分解における $T^{r(G)}$ の円周の個数 $r(G)$ の明示的表現は何か。
• RQ5 cobordism 圏の位相的不変量は、2次元における $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$ は単連結な無限ループ空間であり、$r(G)$ は明示的に計算される。
• $r(G)$ は $G$ のスカール乗数のランクに等しく、これは $H_2(G)$ に一致し、群の構造に基づいて明示的に決定される。
• 本研究の結果により、分類空間のホモトピー型を用いて、2次元における $G$-トポロジカル量子場理論が完全に分類される。
• 自由 $G$-cobordism 圏の部分圏の研究により、その分類空間および関連する不変量に関するさらなる構造的洞察が得られる。