[논문 리뷰] Construction of the Witten-Reshetikhin-Turaev TQFT from conformal field theory

Jørgen Ellegaard Andersen, Kenji Ueno|arXiv (Cornell University)|2011. 10. 23.

Algebraic structures and combinatorial models참고 문헌 22인용 수 16

한 줄 요약

이 논문은 스케인 이론을 통해 실현된 $\mathrm{SU}(N)$의 수준 $K$에서의 Witten-Reshetikhin-Turaev 위상적 양자장 이론(TQFT)과, 복소구조장 이론에서 '공백의 층' 구성에 의한 모듈러 함수수를 연결하는 명시적 동형사상(은둔사상)을 구축한다. 이 동형사상은 무한 히드라 알제브라 위에서 GNS 구성과 Kanie의 기하적 동형사상에 기반하여 구성되며, 복소구조장 이론으로부터 WRT TQFT의 완전한 기하적 실현을 확립한다.

ABSTRACT

In [AU2] we constructed the vacua modular functor based on the sheaf of vacua theory developed in [TUY] and the abelian analog in [AU1]. We here provide an explicit isomorphism from the modular functor underlying the skein-theoretic model for the Witten-Reshetikhin-Turaev TQFT due to Blanchet, Habbeger, Masbaum and Vogel to the vacua modular functor. This thus provides a geometric construction of the TQFT constructed first by Witten-Reshetikhin-Turaev from the quantum group associated to SL(N).

연구 동기 및 목표

• 복소구조장 이론을 이용하여 $\mathfrak{sl}(N)$의 수준 $K$에서의 '공백의 층'을 통해 Witten-Reshetikhin-Turaev TQFT의 기하적 구성 제공.
• 스케인 이론에 기반한 모듈러 함수수 $\mathcal{V}_{K}^{\mathrm{SU}(N)}$와 공백의 모듈러 함수수 $\mathcal{V}_{N,K}^{\dagger}$ 간의 명시적 동형사상 수립.
• 이 동형사상이 인수분해 및 붙임 구조를 포함한 모든 모듈러 함수수의 구조를 유지함을 입증하여, WRT TQFT의 기하적 실현을 완성.
• 이 동형사상이 레이블에 대한 스칼라 선택에 대해 유일함을 확인하고, 공백의 함수수의 이중성 구조가 이에 따라 유도됨을 확인.

제안 방법

• 복소구조장 이론에서 $\mathfrak{sl}(N)$의 수준 $K$에서의 '공백의 층'과 [33]의 랭크-1 고스트 이론을 이용하여 공백의 모듈러 함수수 $\mathcal{V}_{N,K}^{\dagger}$를 구성.
• Blanchet가 구축한 모듈러 텐서 카테고리 $H^{\mathrm{SU}(N)}_K$를 통해 스케인 이론 기반의 모듈러 함수수 $\mathcal{V}_{K}^{\mathrm{SU}(N)}$를 실현.
• 무한 히드라 알제브라 위에서 마르코프 추적에 대해 GNS 구성 적용을 통해 양측의 표현을 식별.
• Wenzl와 Kanie의 결과를 활용하여 $H^{\mathrm{SU}(N)}_K$의 사상 공간과 공백의 공간 간의 명시적 동형사상 구성.
• 정리 6.4와 보조정리 4.1을 이용하여, 영도수에서의 인수분해 및 붙임 연산에 대한 동형사상의 호환성 입증.
• 정리 7.1을 활용하여 영도수에서의 동형사상이 붙임 및 분리합집합에 대한 호환성 조건을 만족함을 보장함으로써, 모든 영도수로의 확장 수행.

실험 결과

연구 질문

• RQ1 복소구조장 이론을 이용하여 $\mathrm{SU}(N)$의 수준 $K$에서의 Witten-Reshetikhin-Turaev TQFT를 '공백의 층'을 통해 기하적으로 구성할 수 있는가?
• RQ2 스케인 이론 기반의 모듈러 함수수 $\mathcal{V}_{K}^{\mathrm{SU}(N)}$와 공백의 모듈러 함수수 $\mathcal{V}_{N,K}^{\dagger}$ 간에 정규화된 동형사상이 존재하는가?
• RQ3 이 동형사상은 모든 영도수에서 모듈러 함수수의 인수분해 및 붙임 연산의 구조를 유지하는가?
• RQ4 이 맥락에서 GNS 구성은 스케인 이론과 복소구조장 이론을 어떻게 연결하는가?
• RQ5 공백의 모듈러 함수수의 이중성 구조는 이 동형사상으로부터 기하적으로 유도될 수 있는가?

주요 결과

• 모듈러 함수수 간의 명시적 동형사상 $I_{N,K}: \mathcal{V}_{K}^{\mathrm{SU}(N)} \to \mathcal{V}_{N,K}^{\dagger}$ 가 모든 구조적 연산과 호환되도록 구성됨.
• 이 동형사상은 레이블 집합 $\Gamma_{N,K}$에 할당된 비영 복소수 스칼라 곱에 대해 유일하며, 이 불확실성은 완전히 특성화됨.
• 정리 6.4의 인수분해 도형의 교환성에 의해, 동형사상이 인수분해 이sovism을 유지함을 입증.
• 정리 6.9를 통해 영도수에서의 붙임 연산과의 호환성이 검증되어 표면 분해 간의 일관성 확보.
• 정리 7.1을 통해 영도수에서의 동형사상이 모든 영도수로 확장됨으로써, 전체 모듈러 함수수 간의 동형사상이 확립됨.
• 공백의 모듈러 함수수 $\mathcal{V}_{N,K}^{\dagger}$의 이중성 구조가, 이중성을 지닌 $\mathcal{V}_{K}^{\mathrm{SU}(N)}$와의 동형사상에 따른 결과로 존재함이 입증됨.