[논문 리뷰] Turaev-Viro invariants as an extended TQFT II

Benjamin Balsam|arXiv (Cornell University)|2010. 10. 06.

Geometric and Algebraic Topology인용 수 4

한 줄 요약

이 논문은 닫힌 3차원 다중체에 링크가 포함된 Turaev-Viro TQFT 불변량이 입력 분류가 원형 융합 분류의 Drinfeld 중심일 경우 Reshetikhin-Turaev 불변량과 동치임을 증명한다. 확장된 TQFT 프레임워크를 사용하여, 구조 블록으로의 분해, 매핑 클래스 군 작용, 수술 공식을 통해 등식을 증명함으로써, TV 이론과 RT 이론이 닫힌 3차원 다중체에 대해 동일한 불변량을 계산함을 확인한다.

ABSTRACT

In this paper, we present the next step in the proof that $Z_{TV,\C} = Z_{RT, Z(\C)}$, namely that the theories give the same 3-manifold invariants. In future papers we will show that this equality extends to an equivalence of TQFTs.

연구 동기 및 목표

• 입력 분류가 원형 융합 분류의 Drinfeld 중심일 경우, 닫힌 3차원 다중체에 대한 Turaev-Viro 불변량이 Reshetikhin-Turaev 불변량과 일치함을 증명하는 것.
• Lurie의 프레임워크와 호환되는 3-2-1 TQFT 구조로 TV TQFT를 확장하는 것.
• 확장된 TV 이론이 닫힌 3차원 다중체, 특히 링크가 포함된 경우에도 RT 이론과 동일한 불변량을 계산함을 보여주는 것.
• 토러스에서의 매핑 클래스 군 작용이 휘감김과 S-행렬을 통해 실현되며, RT 이론과 일치함을 보이는 것.
• 확장된 TV 이론에 대해 수술 공식을 수립하여, 주 불변량 결과가 이를 따르는 것으로 확인하는 것.

제안 방법

• 3차원 구면에 링크가 포함된 경우를 유한한 구조 블록으로 분해하고, 상태 합 계산을 통해 각 블록에서 TV 이론과 RT 이론이 일치함을 검증하는 것.
• RT 이론의 입력으로 원형 융합 분류 $ \ncal C $의 Drinfeld 중심 $ Z(\ncal C) $를 사용하며, 그 모듈라리티와 브레이드 구조를 활용하는 것.
• 직접 합 분해를 통해 토러스에 할당된 힐버트 공간을 $ \bigoplus_Z \langle Z, Z^* \rangle_{\ncal C} $로 계산하여, RT 이론과의 호환성을 보이는 것.
• 접합 공리를 적용하여 블록에서의 일치를 전체 닫힌 3차원 다중체로 확장함으로써, 위상적 접합에 대한 불변성을 확보하는 것.
• 매핑 클래스 군의 생성자 $ T $ 와 $ S $ 가 각각 휘감김과 S-행렬을 곱하는 것으로 작용함을 검증하여, TV 이론에서의 작용을 확인하는 것.
• 확장된 TV 이론에 대해 수술 공식을 유도하여, 주 불변량 진술을 표준 수술 표현에서의 계산으로 환원하는 것.

실험 결과

연구 질문

• RQ1 입력 분류가 원형 융합 분류의 Drinfeld 중심일 경우, 확장된 Turaev-Viro TQFT와 Reshetikhin-Turaev TQFT가 임의의 닫힌 3차원 다중체에 대해 동일한 불변량을 할당하는가?
• RQ2 TV 이론에서 토러스에서의 매핑 클래스 군 작용이 S-행렬과 T-행렬 측면에서 RT 이론과 어떻게 비교되는가?
• RQ3 확장된 TV TQFT가 RT 이론의 수술 불변성과 일치하는 수술 공식을 만족함을 보일 수 있는가?
• RQ4 TV 이론에서 토러스에 할당된 힐버트 공간이 RT 이론과 동일하게 $ \bigoplus_Z \operatorname{Hom}_{Z(\ncal C)}(\mathbf{1}, Z \otimes Z^*) $ 와 동형임을 보일 수 있는가?
• RQ5 분해된 3차원 다중체에서의 상태 합 계산이 접합 및 복합 맵을 통해 RT 불변량과 동일한 결과를 도출하는가?

주요 결과

• 입력 분류가 원형 융합 분류 $ \ncal C $의 Drinfeld 중심인 $ Z(\ncal C) $일 경우, 확장된 Turaev-Viro TQFT는 링크가 포함된 $ S^3 $ 에 대해 Reshetikhin-Turaev TQFT와 동일한 불변량을 할당한다.
• TV 이론에서 토러스에 할당된 힐버트 공간은 $ \bigoplus_{Z \in \operatorname{Irr}(Z(\ncal C))} \langle Z, Z^* \rangle_{\ncal C} $ 와 동형이며, 이는 RT 이론의 할당과 일치한다.
• 매핑 클래스 군 생성자 $ T $ 와 $ S $ 는 각각 휘감김과 S-행렬을 곱하는 방식으로 토러스 힐버트 공간에 작용하며, RT 이론과 일치한다.
• 확장된 TV 이론은 임의의 닫힌 3차원 다중체의 불변량을 표준 수술 표현에서의 상태 합 계산으로 환원하는 수술 공식을 만족한다.
• $ \mathbb{T}^2 \times I $ 에서의 상태 합 계산은 $ \bigoplus_Z \operatorname{Hom}_{Z(\ncal C)}(\mathbf{1}, Z \otimes Z^*) $ 에로의 프로젝터를 도출하며, 이는 RT 이론과의 일관성을 확인한다.
• $ S^2 \times S^1 $ 에 대해 두 개의 분리된 튜브가 $ Z $ 와 $ W $ 라고 표기된 경우의 불변량은 $ \delta_{Z,W} $ 와 일치하며, 이는 서로 다른 anyon의 수직성과 일치함을 확인한다.