[논문 리뷰] Remarks on Chern-Simons Theory

Daniel S. Freed|ArXiv.org|2008. 08. 19.

Homotopy and Cohomology in Algebraic Topology참고 문헌 8인용 수 6

한 줄 요약

이 논문은 토폴로지적 양자장이론(TQFT)의 기초적인 예로서 체른-시무슨 이론에 대한 종합적인 개요를 제공한다. 고전적 체른-시무슨 형식은 체른-바일 형식의 전이(transgression)로부터 유도되며, 위튼의 경로 적분 구축 방식을 통해 위상적 성질을 가지며 존스 다항식과 관련된 양자 불변량을 도출한다. 이는 기하학, 위상수학, 양자장 이론에 깊은 영향을 미친다.

ABSTRACT

In the late 1980s Witten used the Chern-Simons form of a connection to construct new invariants of 3-manifolds and knots, recovering in particular the Jones invariants. Since then the associated topological quantum field theory (TQFT) has served as a key example in understanding the structure of TQFTs in general. We survey some of that structure with a particular focus on the "multi-tier" aspects. We discuss general axioms, generators-and-relations theorems, a priori constructions, dimensional reduction and K-theory, and Chern-Simons as a 0-1-2-3 theory. An appendix gives a lightening treatment of the Chern-Simons-Weil theory of connections. The paper concludes with general remarks about the Geometry-QFT-Strings interaction.

연구 동기 및 목표

• 체른-시무슨 이론의 수학적 구조를 고전적 및 양자적 관점에서 명확히 하기.
• 체른-시무슨 불변량이 체른-바일 형식의 전이를 통해 두 번째 특성류로서 어떻게 유도되는지 설명하기.
• 위튼의 양자 체른-시무슨 불변량을 토폴로지적 양자장 이론(TQFT)의 공리적 구조 안에서 프레임화하기.
• 엄밀한 측도 구축이 일반적으로 불가능한 상황에서도 경로 적분이 위상 불변량을 어떻게 구성하는지 강조하기.
• 체른-시무슨 이론, 미분 문자, 아티야-파달리-식 심플렉틱 불변량, 존스 다항식과 같은 끈 불변량 간의 연결 고리 설정하기.

제안 방법

• 주기저의 총공간 위에서 대각선 섹션에 沿해 당김을 통해 체른-시무슨 형식을 정의하기 위해 체른-바일 형식의 전이를 사용한다.
• 스토크스 정리를 적용하여 체른-시무슨 형식의 미분이 두 연결의 곡률 형식의 차이와 관련됨을 밝힌다.
• 비자명한 주기저 위의 연결에 대해, 보편적 배럴로의 분류 사상과 분류 공간 내의 코보르디즘 체인을 이용하여 체른-시무슨 불변량을 구성한다.
• 모든 연결의 공간 위에서 지수화된 체른-시무슨 작용을 적분하는 경로 적분 형식을 사용하여 양자 불변량을 정의한다.
• 범주론적 언어를 사용하여 TQFT 공리의 형식화를 시도하며, 호모로지 이론과의 유사성을 제시하지만, 곱셈 구조와 차원에 따라 달라지는 구조를 강조한다.
• 체른-시무슨 형식의 당김에 따른 함자성과 군 작용에 대한 동차성에 기반해, 컴acts 리 군의 경우 1을 모듈로로 한 불변성을 보장한다.

실험 결과

연구 질문

• RQ1 체른-시무슨 형식은 체른-바일 형식의 전이로부터 어떻게 유도되며, 기하학적 의미는 무엇인가?
• RQ2 경로 적분은 양자 체른-시무슨 이론에서 위상 불변량을 어떻게 구성하는가?
• RQ3 체른-시무슨 불변량은 총 곡률과 같은 고전적 기하 불변량을 어떻게 일반화하는가?
• RQ4 체른-시무슨 이론은 토폴로지적 양자장 이론의 일반적 구조를 어떻게 예시로 제시하는가?
• RQ5 비자명한 주기저에 대해 체른-시무슨 불변량은 어떻게 잘 정의되며, 분류 공간은 어떤 역할을 하는가?

주요 결과

• 주기저 G-_bundle의 총공간 P 위의 체른-시무슨 형식 α(Θ)는 닫힌 (2p−1)-형식이며, 기저 위의 형식으로 당김되었을 때 그 미분은 곡률 형식의 당김이 된다.
• ℝ/ℤ에 속하는 체른-시무슨 불변량 S(Θ)는 정수 주기성을 가지는 불변 다항식이면, 섹션 또는 대표 연결의 선택과 무관하게 잘 정의되어 있다.
• 닫힘된 온전한 (2p−1)-다양체 M에 대해, P가 표준화 가능할 경우, 체른-시무슨 불변량 S(Θ)는 섹션 s: M → P의 선택과 무관하다.
• 비자명한 군의 일반적인 경우, 불변량은 P → EG의 분류 사상 γ와 ∂W = N·γ([M])를 만족하는 BG 내의 코보르디즘 W를 이용하여 정의되며, 이는 위상 불변성을 보장한다.
• 경로 적분 구축은 위상적 성질을 가지며 존스 다항식과 관련된 양자 불변량을 도출하며, 3차원 TQFT의 전체 구조를 갖는다.
• 체른-시무슨 이론에 기반한 TQFT의 공리적 프레임워크는 호모로지 이론과 유사하지만, 곱셈 구조와 차원에 따라 달라지는 공리들을 포함한다.