[논문 리뷰] Modular categories as representations of the 3-dimensional bordism 2-category

Bruce Bartlett, Christopher L. Douglas외 2명|arXiv (Cornell University)|2015. 09. 22.

Homotopy and Cohomology in Algebraic Topology참고 문헌 33인용 수 69

한 줄 요약

이 논문은 k-선형 범주로 구성된 2범주에 값이 있는 한 번 확장된 선형 3차원 위상적 양자장 이론(TQFT)의 표준 분류를 수립한다. 이는 이러한 TQFT가 방향, 성분별 서명, 서명 또는 p1-구조에 따라 다르게 구성된 다양체의 경계 구조에 따라, 각 성분에서 이상성의 제곱근(또는 전반적 차원)을 갖춘 모듈라 텐서 범주(MTC)와 추가 데이터를 갖춘 일대일 대응 관계에 있음을 보여준다. 이 분류는 임의의 특성수에서 유효하며, TQFT와 이러한 구조화된 MTC 사이에 명시적이고 표준적인 전단사 사상이 존재한다.

ABSTRACT

We show that once-extended anomalous 3-dimensional topological quantum field theories valued in the 2-category of k-linear categories are in canonical bijection with modular tensor categories equipped with a square root of the global dimension in each factor.

연구 동기 및 목표

• k-선형 범주의 2범주에 값이 있는 한 번 확장된 선형 3차원 위상적 양자장 이론(TQFT)을 분류하는 것.
• 다양체의 경계에 다른 기하적 구조(방향, 성분별 서명, 서명, p1-구조)가 부여되었을 때, 이러한 TQFT를 분류하는 데 필요한, 모듈라 텐서 범주(MTC)를 초월한 정확한 대수적 데이터를 규명하는 것.
• 넓은 범주의 목표 2범주에 대해, 구조화된 경계 2범주에서의 모든 대칭 모노이드 함수가 유한 차원의 반단순 k-선형 범주의 2범주를 통해 인수화됨을 보이는 것.
• 확장된 TQFT와 모듈라 함수 사이의 관계를 통합된 고차 범주론적 프레임워크를 제공함으로써 명확히 하는 것.

제안 방법

• 고차 범주론을 사용하여 방향, 성분별 서명, p1-구조 등의 기하적 구조를 갖춘 3차원 경계 2범주를 모델링한다.
• 경계 2범주에서 2Vectk(카우치 완비 k-선형 범주의 2범주)로의 대칭 모노이드 2함수의 프레임워크를 적용한다.
• 내부적 스트링 다이어그램과 경계 범주의 표현을 활용하여 TQFT의 대수적 구조를 분석한다.
• 모듈라 텐서 범주의 각 단순 성분의 이상성을 가우스 합과 양자 차원을 통해 분석한다.
• 2Vectk에서의 델레인 텐서 곱과 쌍대성을 사용하여 목표 범주가 잘 정의되고 반단순가 되도록 보장한다.
• 모든 TQFT가 유한 반단순 k-선형 범주를 통해 인수화됨을 확립함으로써, 분류 문제를 유한한 대수적 문제로 환원한다.

실험 결과

연구 질문

• RQ1 한 번 확장된 선형 3D TQFT를 분류하기 위해 모듈라 텐서 범주(MTC)를 초월해 어떤 추가 데이터가 필요한가?
• RQ2 3차원 다양체에 부여된 다양한 기하적 구조(방향, 서명, p1-구조)가 TQFT의 분류에 어떻게 영향을 미치는가?
• RQ3 왜 분류 과정에서 이상성의 제곱근(또는 전반적 차원)이 필요하며, 이는 각 경계 구조에 따라 어떻게 달라지는가?
• RQ4 일반적인 목표 2범주로의 구조화된 경계 2범주에서의 모든 대칭 모노이드 함수가 2Vectk로의 함수로 환원될 수 있는가?
• RQ5 고차 범주론의 맥락에서 모듈라 함수와 확장된 TQFT의 개념은 어떻게 관련되어 있는가?

주요 결과

• 성분별 서명 경계 2범주에 대한 선형 표현은 각 성분에서 이상성의 제곱근을 갖춘 모듈라 텐서 범주와 일대일 대응된다.
• 방향성 있는 3D TQFT는 각 성분에서 이상성이 1인 모듈라 텐서 범주에 의해 분류된다.
• 서명이 부여된 TQFT는 모든 성분에서 동일한 이상성을 갖는 모듈라 텐서 범주와 함께, 그 이상성의 단일 제곱근 선택이 추가된 경우에 의해 분류된다.
• p1-구조 TQFT는 각 성분에서 이상성의 6제곱근을 갖춘 모듈라 텐서 범주에 의해 분류된다.
• 이 분류 결과는 유한 특성수를 포함한 임의의 특성수에서 유효하며, 전통적인 의미에서 반단순가 아닌 모듈라 텐서 범주에도 적용된다.
• 이러한 경계 2범주에서의 모든 대칭 모노이드 함수는 광범위한 목표 2범주로 가는 경우, 유한 차원의 반단순 k-선형 범주의 전체 부분 2범주를 통해 인수화된다.