[논문 리뷰] Abelian Chern-Simons theory with toral gauge group, modular tensor categories, and group categories

Spencer D. Stirling|ArXiv.org|2008. 07. 17.

Black Holes and Theoretical Physics참고 문헌 50인용 수 20

한 줄 요약

이 논문은 유클리드 군 $
\mathrm{U}(1)^N$
을 갖는 아벨 초전도체 이론과 유한 아벨 군에 정의된 이차형식과 이중형식을 갖는 모듈러 텐서 범주 사이의 대응을 수립한다. 군 범주에서 비틀린 결합법칙과 브라딩을 사용하여, 양자 토랄 초전도체 이론에서 유도된 매핑 클래스 군의 프로젝티브 표현이 관련된 모듈러 텐서 범주에서 유도된 표현과 동형임을 증명함으로써, 이러한 TQFT의 범주적 분류를 완성한다.

ABSTRACT

Classical and quantum Chern-Simons with gauge group $ ext{U}(1)^N$ were classified by Belov and Moore in \cite{belov_moore}. They studied both ordinary topological quantum field theories as well as spin theories. On the other hand a correspondence is well known between ordinary $(2+1)$-dimensional TQFTs and modular tensor categories. We study group categories and extend them slightly to produce modular tensor categories that correspond to toral Chern-Simons. Group categories have been widely studied in other contexts in the literature \cite{frolich_kerler},\cite{quinn},\cite{joyal_street},\cite{eno},\cite{dgno}. The main result is a proof that the associated projective representation of the mapping class group is isomorphic to the one from toral Chern-Simons. We also remark on an algebraic theorem of Nikulin that is used in this paper.

연구 동기 및 목표

• 유한 아벨 군 $
  \mathcal{D}$
  에 이차형식 $q:\mathcal{D} \to \mathbb{Q}/\mathbb{Z}$와 서명 불변량 $c \in \mathbb{Z}/24\mathbb{Z}$를 갖는 구조를 통해, 토랄 게이지 군 $
  \mathrm{U}(1)^N$
  을 갖는 아벨 초전도체 이론을 모듈러 텐서 범주로 분류하는 것.
• 유한 아벨 군 $
  \mathcal{D}$
  에 이차형식 $q:\mathcal{D} \to \mathbb{Q}/\mathbb{Z}$와 서명 불변량 $c \in \mathbb{Z}/24\mathbb{Z}$를 갖는 구조로부터 모듈러 텐서 범주를 구성하는 것.
• 양자 토랄 초전도체 이론에서 유도된 매핑 클래스 군의 프로젝티브 표현이 구성된 모듈러 텐서 범주에서 유도된 표현과 정확히 일치함을 증명하는 것.
• 짝형격자와 이차형식의 맥락에서 니쿠린의 이행 정리의 역할을 명확히 하고, 반례를 통해 그 한계를 보여주는 것.

제안 방법

• 이차형식 $q$에서 유도된 비틀린 결합법칙과 브라딩을 갖는 $\mathcal{D}$-gradation된 벡터 공간의 범주 $\mathscr{C}_{(\mathcal{D},q)}$를 구성하는 것.
• 이중형식 $b(x,y) = q(x+y) - q(x) - q(y) + q(0)$를 사용하여 $\mathscr{C}_{(\mathcal{D},q)}$에 브라운드 모노이드 구조를 정의하며, 군 구조와의 호환성을 확보하는 것.
• 이차형식 $q$가 비퇴화되고 가우스 합 조건을 만족할 경우 $\mathscr{C}_{(\mathcal{D},q)}$가 모듈러 텐서 범주가 됨을 증명하는 것.
• 초전도체 이론에서 유도된 매핑 클래스 군 $\mathrm{MCG}(\Sigma)$의 프로젝티브 표현과 모듈러 텐서 범주에서 유도된 표현 사이의 동형을 표현 행렬의 명시적 계산을 통해 확립하는 것.
• 짝형격자로의 이차형식의 이행에 관한 니쿠린의 정리를 사용하여 이러한 이행의 장애를 분석하고, 가우스 합 조건이 짝형격자로의 이행으로 이어지지 않는 반례를 구성하는 것.
• 가우스 합 공식 $\frac{1}{\sqrt{|\mathcal{D}|}} \sum_{x \in \mathcal{D}} e^{2\pi i q(x)} = e^{2\pi i \cdot C/8}$이 분열형식의 서명 $C \mod 8$을 정확히 계산함을 검증하는 것.

실험 결과

연구 질문

• RQ1 게이지 군 $
  \mathrm{U}(1)^N$
  을 갖는 아벨 초전도체 이론에 대응하는 모듈러 텐서 범주는 무엇인가?
• RQ2 비틀린 결합법칙과 브라딩을 갖는 군 범주를 어떻게 사용하여 토랄 초전도체 이론을 모델링하는 모듈러 텐서 범주를 구성할 수 있는가?
• RQ3 초전도체 이론에서 유도된 매핑 클래스 군의 프로젝티브 표현은 모듈러 텐서 범주에서 유도된 표현과 동형인가?
• RQ4 유한 아벨 군 위의 일반화된 이차형식이 짝형격자로 이행될 조건은 무엇인가?
• RQ5 니쿠린의 이행 정리 맥락에서 가우스 합이 분열형식의 서명을 결정하는 데 어떤 역할을 하는가?

주요 결과

• 양자 토랄 초전도체 이론에서 유도된 매핑 클래스 군 $\mathrm{MCG}(\Sigma)$의 프로젝티브 표현이 모듈러 텐서 범주 $\mathscr{C}_{(\mathcal{D},q)}$에서 유도된 표현과 동형임을 증명함으로써, 완전한 범주적 대응이 수립된다.
• 반례로, $\mathbb{Z}_4$ 위에 정의된 일반화된 이차형식 $q$가 $q(0) = 0$을 만족하지만 순수하지 않으며, 관련된 가우스 합이 1이 되어 $C \equiv 0 \mod 8$임을 시사하지만, 해당 형식이 짝형격자로 이행되지 않는 경우를 구성하였다.
• 가우스 합 공식 $\frac{1}{\sqrt{|\mathcal{D}|}} \sum_{x \in \mathcal{D}} e^{2\pi i q(x)} = e^{2\pi i C/8}$은 분열형식의 서명 $C \mod 8$을 정확히 계산한다.
• $\mathbb{Z}_4$에서 이중형식 $b(1/4,1/4) = 1/4$에 대해 순수한 이차형식 개선이 오직 두 가지 존재하며, 가우스 합은 각각 $C \equiv 1$ 또는 $5 \mod 8$을 가져, 가상의 짝형격자 이행에 요구되는 $C \equiv 0 \mod 8$과 모순된다.
• 원래의 이차형식이 짝형격자로 이행되지 않는 실패는 $q(nx) = n^2 q(x)$ 조건이 이러한 이행을 위해 필수적임을 보이며, 가우스 합 조건만으로는 이를 보장할 수 없음을 시사한다.
• 논문은 데이터 $(\mathcal{D}, q, c)$에서 $c \in \mathbb{Z}/24\mathbb{Z}$가 양자 토랄 초전도체 이론을 완전히 분류함을 확인하였으며, 관련된 모듈러 텐서 범주는 전체적인 위상적 데이터를 포괄한다.