[논문 리뷰] The classifying space of the 1+1 dimensional free $G$-cobordism category

Carlos Segovia|arXiv (Cornell University)|2012. 11. 09.

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 범주의 부분범주를 연구함으로써, 그 분류 공간과 관련 불변량에 대한 추가적인 구조적 통찰을 확보할 수 있다.