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

Benjamin Balsam|arXiv (Cornell University)|2010. 12. 02.

Geometric and Algebraic Topology인용 수 4

한 줄 요약

이 논문은 닫힌 표면 수준에서 Turaev-Viro와 Reshetikhin-Turaev(topological quantum field theories) 사이의 자연스러운 동형사상( isomorphism)을 확립하며, 표면 매개변수화와 컷 시스템을 통해 그들의 상태 공간이 표준적으로 동형임을 보여준다. 주요 결과는 기존의 3-다양체 불변량 간의 등식을 확장된 TQFT의 동치로 확장하며, 세포 분할과 접합 공리에 기반한 3-다양체에 삽입된 리본 그래프에 대한 상태 합의 명시적 계산을 수행한다.

ABSTRACT

In the third paper in this series, we examine the Reshetikhin-Turaev and Turaev-Viro TQFTs at the level of surfaces. In particular, we show that for a closed surface $Σ$, $Z_{TV, \mathcal{C}}(Σ) \cong Z_{RT, Z(\C)}(Σ)$, thus extending the equality of 3-manifold invariants proved in an earlier paper to an equivalence of TQFTs. We also describe how to compute Turaev-Viro state sums for 3-manifolds with embedded ribbon graphs.

연구 동기 및 목표

• Turaev-Viro와 Reshetikhin-Turaev의 3-다양체 불변량 간 알려진 등식을 표면 수준에서 확장된 TQFT의 동치로 확장한다.
• 모듈라 함수 구성에서 분해 선택에 대한 의존성을 제거하기 위해, 표면 컷 시스템에 의해 유도되는 자연스러운 동형사상으로 인해 TV와 RT 이론이 동일한 상태 공간을 갖는다는 것을 보여준다.
• Turaev-Viro 상태 합을 3-다양체에 삽입된 리본 그래프를 포함한 경우에도 체계적으로 계산할 수 있는 방법을 제공한다. 이는 색이 칠해지지 않은 실이 쿠폰에 연결된 경우도 포함한다.
• TQFT의 동치가 3차원 뿐 아니라 특히 표면 수준에서의 낮은 차원에서도 유지됨을 보이며, 상태 공간 간 자연스러운 식별을 구성함으로써 이를 입증한다.

제안 방법

• Bakalov-Kirillov의 표면 매개변수화를 사용하여, RT의 쌍-팬츠 분할과 TV의 세포 분할을 연결함으로써 국소적이지 않은 구성과 국소적인 구성 간의 비교를 가능하게 한다.
• Lego-Teichmüller 게임의 이동을 적용하여 다양한 컷 시스템을 연결하고, RT 접합 맵과 대응하는 TV 상태 공간 간의 자연스러운 동형사상을 구성한다.
• 접합 공리와 프로젝터 $ H_{TV}(\Sigma) \to Z_{TV}(\Sigma) $를 활용하여, 결과 상태 공간이 분해 선택에 영향을 받지 않음을 보여준다.
• 핸들바디 코버디즘과 실린더 사상( map)을 사용하여 다이어그램의 가환성을 검증하며, 특히 F- 및 S-이동에 대해 일관성을 확보한다.
• 상태 합 공식과 수술 기법을 적용하여 일반적인 리본 그래프를 색이 칠해진 실만 포함한 간단한 경우로 감소시키며, 이러한 감소에 대한 불변성을 증명한다.
• 구면 분할 카테고리 $ \mathcal{C} $의 Drinfeld 중심 $ Z(\mathcal{C}) $를 활용하여 TV 불변량과 모듈라 RT 불변량 간의 관계를 규명한다.

실험 결과

연구 질문

• RQ1 분해 선택에 의존하지 않는 닫힌 표면 수준에서 Turaev-Viro와 Reshetikhin-Turaev TQFT 사이에 자연스러운 동형사상이 존재하는가?
• RQ2 Turaev-Viro 상태 합은 색이 칠해지지 않은 실이 쿠폰에 연결된 경우를 포함한 3-다양체에 삽입된 리본 그래프로 일관되게 확장될 수 있는가?
• RQ3 Lego-Teichmüller 게임의 F- 및 S-이동이 TV 상태 공간 간의 자연스러운 동형사상을 유도하며, 이는 RT 접합 맵과 일치하는가?
• RQ4 모서리가 있고 경계 성분이 $ Z(\mathcal{C}) $의 대상으로 표시된 확장된 다양체로 제한했을 때 TQFT의 동치가 유지되는가?
• RQ5 코버디즘과 수술 기법을 통해 TV 불변량의 상태 합 계산을 표준 형태로 감소시킬 수 있으며, 이 과정에서 불변성이 유지되는가?

주요 결과

• 모든 닫힌 표면 $ \Sigma $에 대해 자연스러운 동형사상 $ Z_{TV,\mathcal{C}}(\Sigma) \cong Z_{RT,Z(\mathcal{C})}(\Sigma) $ 가 존재하며, 이는 표면 수준에서 두 TQFT 간의 동치를 확립한다.
• 생성수 $ g $ 인 표면에서 상태 공간의 차원은 $ \mathcal{D}^{2g-2} \sum_{i \in \mathrm{Irr}(\mathcal{C})} d_i^{2-2g} $ 로서, TV와 RT 이론 모두와 일치한다.
• Lego-Teichmüller 게임의 F-이동과 S-이동은 TV 상태 공간 간의 자연스러운 동형사상을 유도하며, 이는 RT 접합 맵과 호환되어 다양한 분할 간의 일관성을 보장한다.
• 리본 그래프를 포함한 3-다양체에 대한 Turaev-Viro 상태 합은 쿠폰에 연결된 색이 칠해지지 않은 실이 존재하더라도 불변하며, 이러한 구성은 코버디즘을 통해 동치인 색이 칠해진 경우로 감소시킬 수 있다.
• 경계가 있고 모서리가 있는 다양체로 제한된 경우, 확장된 TQFT는 3-2-1 이론으로서 동치이며, 다양체의 유형에 대해 약간의 조건을 부과하면 성립한다.
• 4개의 구멍이 있는 구면의 상태 공간에서 항등사상은 핸들바디 코버디즘 $ \mathcal{H} $를 통해 실현되며, 이러한 코버디즘을 접합함으로써 상태 합 값이 변화하지 않음을 보여주어 불변성이 유지됨을 입증한다.