[논문 리뷰] Topological Quantum Field Theories from Compact Lie Groups

Daniel S. Freed, Michael J. Hopkins외 2명|ArXiv.org|2009. 05. 06.

Black Holes and Theoretical Physics참고 문헌 18인용 수 17

한 줄 요약

이 논문은 컴팩트 리 군을 바탕으로 확장된 위상적 양자장 이론(TQFT)을 구축하며, 유한군과 토러스에 대한 3차원 초전기 이론(Chern-Simons theory)에 초점을 맞춘다. 오랫동안 남아있던 초전기 이론이 점(point)에 대해 부여하는 바를 해소하기 위해, 이론을 이론의 이상 이론(anomaly theory)으로 향하는 잘린 사상(truncated morphism)으로 해석하고, 고차 카테고리적 구조와 스카이-스크래처 층(sky-scraper sheaves)를 사용하여 정확한 불변량을 갖는 완전히 확장된 0-1-2-3 TQFT를 정의한다. 이 불변량은 평탄한 접속과 Reidemeister 토션으로부터 유도된다.

ABSTRACT

It is a long-standing question to extend the definition of 3-dimensional Chern-Simons theory to one which associates values to 1-manifolds with boundary and to 0-manifolds. We provide a solution in case the gauge group is a torus. We also develop from different points of view an associated 4-dimensional invertible topological field theory which encodes the anomaly of Chern-Simons. Finite gauge groups are also revisited, and we describe a theory of "finite path integrals" as a general construction for a certain class of finite topological field theories. Topological pure gauge theories in lower dimension are presented as a warm-up.

연구 동기 및 목표

• 컴팩트 리 군을 기반으로 하여 초전기 이론에 대한 엄밀하고 완전히 확장된 0-1-2-3 위상적 양자장 이론을 제공하는 것.
• 특히 토러스 게이지 군에 대해 초전기 이론이 점에 대해 부여하는 바를 오랫동안 남아있던 질문으로 해결하는 것.
• 초전기 이론의 프레임링 이상(anomaly)을 가역적인 4차원 TQFT로 해석하고, 이를 통해 이론을 잘린 사상으로 정의하는 것.
• Baez-Dolan 코버드יזם 가설의 프레임워크를 확장하기 위해 고차 카테고리적 극한과 $G$-불변량을 사용하여 유한 경로 적분을 일반화하는 것.
• 이론의 모듈라 텐서 카테고리와 등변 $K$-이론, 게이지 군의 리 대수 위의 스카이-스크래처 층 간의 연결 고리를 밝혀내는 것.

제안 방법

• $H^{n+1}(BG;\mathbb{Z})$의 클래스를 사용하여 다양체 위에서 $G$-_bundle과 접속의 스택인 $BG$로 표현되는 게이지 이론을 정의한다.
• 양자화는 $G$-불변량을 취하는 카테고리적 극한을 통해 달성되며, 이는 고전적 양자화의 가우스 법칙을 일반화한다.
• 토러스 게이지 군의 경우 이론은 자유 $L^2$-초전기 이론으로 해석되며, 불변량은 Reidemeister 토션의 제곱근과 스펙트럴 플로우 위상으로 구성된다.
• 이상은 가역적인 4차원 TQFT $\mathscr{A}$로 모델링되며, 3차원 다양체에 대한 값은 복소수 직선이고, 초전기 이론의 불변량 $Z(X)$는 이 직선의 원소이다.
• 0차원 데이터는 $\mathrm{Sky}^\tau[C]$로 구성되며, 이는 $\mathrm{Sky}^\tau[\mathfrak{t}]$ 위의 브레디 이중모듈러이며, 기저로 $\mathrm{Sky}^\tau[\hat{F}]$를 갖는 자유 모듈러임을 보인다.
• 경계가 있는 표면로의 이론 확장을 위해 심플렉틱 벡터 공간 $S_\Sigma = \Omega^1(\Sigma)/d\Omega^0(\Sigma,\partial\Sigma)$를 사용하며, 와일 대수 $W_\tau(S_\Sigma \otimes \mathfrak{t})$는 브레디 이중대수로 작용하고, 분할 함수 $Z(\Sigma)$는 $\mathfrak{t}^n$ 위의 $L^2$-섹션 번들의로 정의된다.

실험 결과

연구 질문

• RQ1 초전기 이론은 특히 아벨 게이지 군에 대해 점에 대해 무엇을 부여하는가?
• RQ2 초전기 이론의 프레임링 이상을 완전히 확장된 TQFT에 체계적으로 통합할 수 있는가?
• RQ3 토러스에 대한 $L^2$-초전기 이론은 카테고리적이고 기하학적 자료를 사용하여 0-1-2-3 확장 TQFT로 엄밀히 구성할 수 있는가?
• RQ4 토러스의 리 대수 위의 스카이-스크래처 층은 확장된 TQFT 프레임워크에서 모듈라 텐서 카테고리로 어떻게 실현되는가?
• RQ5 베르린데 링, 등변 $K$-이론, 그리고 구축에 사용된 스카이-스크래처 층 카테고리 간의 정확한 관계는 무엇인가?

주요 결과

• 토러스 게이지 군의 경우, 초전기 이론의 0차원 불변량은 $\mathrm{Sky}^\tau[C]$로 주어지며, 이는 $\mathrm{Sky}^\tau[\mathfrak{t}]$ 위의 자유 모듈러이며 기저로 $\mathrm{Sky}^\tau[\hat{F}]$를 갖는다. 이는 점에 대한 부여 문제를 해결한다.
• 이상 이론 $\mathscr{A}$는 가역적인 4차원 TQFT이며, 3차원 다양체 $X$에 대한 값은 복소수 직선 $\mathscr{A}(X)$이고, 초전기 이론의 불변량 $Z(X)$는 이 직선의 원소이다.
• 닫힌 3차원 다양체에 대한 $L^2$-초전기 이론 불변량은 평탄한 접속 공간 위에서 Reidemeister 토션의 제곱근과 스펙트럴 플로우 위상을 곱한 것의 적분으로 표현되며, 총 체적 인자가 포함된다.
• 이론의 2차원 축약은 베르린데 링으로 묘사되며, 이는 등변 $K$-코homology의 변형으로 식별되며, 이는 모듈라 텐서 카테고리의 기초가 된다.
• 경계가 있는 표면 $\Sigma$에 대한 분할 함수 $Z(\Sigma)$는 $\mathfrak{t}^n$ 위의 벡터 번들이며, 그 섬유는 홀로노미 사상 $p: J_T(\Sigma,\partial\Sigma) \to \mathfrak{t}^n$ 沿해 토마 라인 번들 $\Theta(\tau)$ 의 $L^2$-섹션으로 구성된다.
• 분할 함수 $Z(\Sigma)$의 $\hat{F}$-성분은 경계 원환면에서 $F$의 작용에 따른 무게 공간 분해에 의해 결정되며, 이는 기저 카테고리의 퓨전 규칙을 반영한다.