[논문 리뷰] Abelian Chern-Simons theory

Mihaela Manoliu|arXiv (Cornell University)|1996. 10. 01.

Advanced Operator Algebra Research참고 문헌 15인용 수 13

한 줄 요약

이 논문은 기하적 양자화를 사용하여 2+1차원 위상적 양자장이론으로서 아벨 차이-시몬스 게이지 이론을 구성한다. 비아벨 차이-시몬스 이론에서 유래한 기법을 확장하여, 이론이 확장된 2- 및 3차원 다양체에서 아티야의 위상적 양자장이론(axioms)을 만족함을 증명한다. 이는 범주론적 구조와 접속을 가진 선다발을 통해 아벨 TQFT에 대한 엄밀한 프레임워크를 구축한다.

ABSTRACT

We give a construction of the abelian Chern-Simons gauge theory from the point of view of a 2+1 dimensional topological quantum field theory. The definition of the quantum theory relies on geometric quantization ideas which have been previously explored in connection to the nonabelian Chern-Simons theory [JW,ADW]. We formulate the topological quantum field theory in terms of the category of extended 2- and 3-manifolds introduced by Walker [Wa] and prove that it satisfies the axioms of unitary topological quantum field theories formulated by Atiyah [A1].

연구 동기 및 목표

• 2+1차원에서 아벨 차이-시몬스 이론을 위상적 양자장이론으로 공식화하는 것.
• 이전에 비아벨 케이스에서 사용된 기하적 양자화 기법을 아벨 설정으로 적용하는 것.
• 유래된 이론이 아티야가 정의한 유니타리 위상적 양자장이론의 공리를 만족하는지 보여주는 것.
• 워커가 형식화한 바와 같이, 확장된 2- 및 3차원 다양체의 범주 안에서 이론을 정의하는 것.
• 다양체 위의 선다발과 접속을 기반으로 한 수학적으로 엄밀한 양자이론의 구성 제공

제안 방법

• 3차원 다양체 위의 평탄한 U(1)-접속의 모듈리 공간의 기하적 양자화를 통해 이론을 구성한다.
• 양자 힐베르트 공간은 평탄한 접속의 모듈리 공간 위의 전량자 선다발의 해석적 단면들의 공간으로 정의된다.
• 경계와 모서리를 포함하는 확장된 2- 및 3차원 다양체의 범주에서 이론을 형식화한다.
• 행동 함수는 차이-시몬스 3형식으로 주어지며: $ S_{CS} = \frac{1}{2\pi} \int_M A \wedge dA $, 여기서 $ A $ 는 U(1)-접속이다.
• 이론은 유니타리이며 계량 선택에 무관하며, TQFT의 함자적 공리를 만족함을 보여준다.
• 워커가 정의한 확장된 구조를 가진 코보르디즘 범주의 구조에 기반한다.

실험 결과

연구 질문

• RQ1 기하적 양자화를 사용하여 아벨 차이-시몬스 이론을 엄밀히 위상적 양자장이론으로 공식화할 수 있는가?
• RQ2 아벨 차이-시몬스 이론은 아티야가 정의한 유니타리 위상적 양자장이론의 공리를 만족하는가?
• RQ3 경계와 모서리를 가진 확장된 2- 및 3차원 다양체에서 이론은 어떻게 행동하는가?
• RQ4 평탄한 U(1)-접속의 모듈리 공간은 기하적 양자화 과정에서 어떤 역할을 하는가?
• RQ5 비아벨에서 아벨 게이지 군으로 일반화할 수 있는가? 이때 TQFT의 구조는 유지되는가?

주요 결과

• 아벨 차이-시몬스 이론은 기하적 양자화를 통해 유니타리 위상적 양자장이론으로 엄밀히 구성되었다.
• 양자 힐베르트 공간은 평탄한 U(1)-접속의 모듈리 공간 위의 전량자 선다발의 해석적 단면들의 공간과 등급이 같다.
• 이론은 유니타리 위상적 양자장이론의 모든 공리를 만족하며, 함자성과 쌍대성도 포함한다.
• 워커가 정의한 확장된 2- 및 3차원 다양체의 범주와 일관되며, 고차 범주론적 구조와의 호환성을 보장한다.
• 이론은 계량과 배경 구조에 무관하여 위상적 불변성을 확인한다.
• 논문은 비아벨 케이스와 유사한 기초적인 프레임워크를 제공하여, 2+1차원에서 완전하고 일관된 양자이론을 확립한다.