[논문 리뷰] Categorical Aspects of Topological Quantum Field Theories

Bruce Bartlett|ArXiv.org|2005. 12. 05.

Algebraic structures and combinatorial models참고 문헌 29인용 수 64

한 줄 요약

이 학위논문은 코버디즘 분류에서 벡터 공간으로의 대칭 모노이드 함자로써 위상적 양자장이론(TQFT)을 위한 범주론적 프레임워크를 개발한다. 2차원 TQFT는 프로푸스 대수로 분류되고, 3차원 TQFT는 모듈러 카테고리로 분류되며, 이는 파인만 도표를 일반화한 그림적 계산 기법을 사용하여 증명된다. 또한 유한 게이지 이론이 차원을 거쳐 범주화를 통해 대수적 구조의 계층을 생성함을 보여준다.

ABSTRACT

This thesis provides an introduction to the various category theory ideas employed in topological quantum field theory. These theories are viewed as symmetric monoidal functors from topological cobordism categories into the category of vector spaces. In two dimensions, they are classified by Frobenius algebras. In three dimensions, and under certain conditions, they are classified by modular categories. These are special kinds of categories in which topological notions such as braidings and twists play a prominent role. There is a powerful graphical calculus available for working in such categories, which may be regarded as a generalization of the Feynman diagrams method familiar in physics. This method is introduced and the necessary algebraic structure is graphically motivated step by step. A large subclass of two-dimensional topological field theories can be obtained from a lattice gauge theory construction using triangulations. In these theories, the gauge group is finite. This construction is reviewed, from both the original algebraic perspective as well as using the graphical calculus developed in the earlier chapters. This finite gauge group toy model can be defined in all dimensions, and has a claim to being the simplest non-trivial quantum field theory. We take the opportunity to show explicitly the calculation of the modular category arising from this model in three dimensions, and compare this algebraic data with the corresponding data in two dimensions, computed both geometrically and from triangulations. We use this as an example to introduce the idea of a quantum field theory as producing a tower of algebraic structures, each dimension related to the previous by the process of categorification.

연구 동기 및 목표

• 위상적 양자장이론의 기초가 되는 범주론에 대한 종합적인 소개를 제공하기 위해.
• 프로푸스 대수를 통한 2차원 TQFT의 분류와 모듈러 카테고리를 통한 3차원 TQFT의 분류를 명확히 하기 위해.
• 대칭 모노이드 카테고리에서의 추론을 위한 그림적 계산 기법을 개발하고 적용하기 위해, 이는 파인만 도표를 일반화한 것이다.
• 유한 게이지 이론이 차원을 거쳐 대수적 구조의 계층을 어떻게 생성하는지 보여주기 위해.
• 3차원 유한 게이지 이론에서 유도되는 모듈러 카테고리의 구체적 계산을 수행하고, 이를 2차원 대응체와 비교하기 위해.

제안 방법

• 코버디즘 분류에서 벡터 공간의 카테고리로의 대칭 모노이드 함자로서 TQFT를 형식화하기 위해.
• 모노이드 카테고리 내의 사상과 자연변환을 표현하기 위해 스트링 다이어그램 기반의 그림적 계산을 사용하기 위해.
• 삼각분할과 유한 게이지 군 구성 기법을 활용하여 명시적인 대수적 구조를 가진 2차원 TQFT의 클래스를 정의하기 위해.
• 유한 게이지 이론의 구성 기법을 임의의 차원으로 확장하여 대수적 불변량의 계층을 생성하기 위해.
• 기하학적 방법과 삼각분할 기반 방법을 모두 사용하여 3차원 유한 게이지 이론으로부터 모듈러 카테고리 데이터(예: R-행렬, F-행렬, 휠)를 계산하기 위해.
• 3차원 모듈러 카테고리의 대수적 자료를 2차원 프로푸스 대수의 구조와 비교하여 범주화의 과정을 설명하기 위해.

실험 결과

연구 질문

• RQ1 2차원 위상적 양자장이론은 어떤 대수적 구조로 분류되는가?
• RQ2 기본적인 가정 하에 3차원 TQFT를 뒷받침하는 범주론적 구조는 무엇인가?
• RQ3 대칭 모노이드 카테고리에서 TQFT의 추론을 위해 체계적으로 개발할 수 있는 그림적 계산 기법은 무엇인가?
• RQ4 유한 게이지 이론과 유도되는 다양한 차원의 대수적 구조 사이의 관계는 무엇인가?
• RQ5 범주화 과정이 2차원 프로푸스 대수에서 3차원 모듈러 카테고리로의 전이에서 어떻게 나타나는가?

주요 결과

• 2차원 TQFT는 모두 가환 프로푸스 대수로 완전히 분류되며, 대수적 구조는 쌍대화 및 쌍대쌍대화 사상에 의해 결정된다.
• 적절한 조건 하에서 3차원 TQFT는 모듈러 카테고리로 분류되며, 이는 위상적 불변성에 필수적인 끈 밀도와 비틀림 자료를 포함한다.
• 제안된 그림적 계산 기법은 대칭 모노이드 카테고리 내에서 계산하는 데 강력하고 직관적인 방법을 제공하며, 양자장이론에서 파인만 도표와 유사하다.
• 유한 게이지 군을 가진 유한 게이지 이론은 모든 차원에서 잘 정의된 TQFT를 제공하며, 양자장이론의 최소 비자명한 예시로 기능한다.
• 3차원 유한 게이지 이론에서 유도된 모듈러 카테고리는 명시적으로 계산되었으며, 게이지 군의 표현 카테고리의 드리놀드 중심 구성과 동치임을 보였다.
• 2차원 및 3차원 자료의 비교를 통해 3차원 모듈러 카테고리가 2차원 프로푸스 대수를 범주화함을 확인하였으며, 이는 범주화를 통한 대수적 구조의 계층을 실증적으로 보여준다.