[논문 리뷰] Reshetikhin-Turaev TQFTs close under generalised orbifolds

Nils Carqueville, Vincentas Mulevičius외 3명|arXiv (Cornell University)|2021. 09. 10.

Algebraic structures and combinatorial models참고 문헌 18인용 수 7

한 줄 요약

이 논문은 모듈라 융합 분류에서 유도된 Reshetikhin–Turaev 위상적 양자장 이론(TQFT)이 일반화된 오르비폴드 구조에 대해 닫혀 있음을 증명한다. [3]의 오르비폴드 그래프 TQFT 프레임워크를 Reshetikhin–Turaev 결함 TQFT에 적용함으로써, 결과적으로 얻어진 오르비폴드 TQFT가 오르비폴드 데이터 $\mathcal{A}$에 대응하는 모듈라 분류 $\pi_{\mathcal{A}}$로부터 직접 구성된 Reshetikhin–Turaev TQFT와 동치임을 증명함으로써, RT 구성 방식이 일반화된 오르비폴딩에 대해 유지됨을 보여준다.

ABSTRACT

We specialise the construction of orbifold graph TQFTs introduced in Carqueville et al., arXiv:2101.02482 to Reshetikhin-Turaev defect TQFTs. We explain that the modular fusion category ${\mathcal{C}}_{\mathcal{A}}$ constructed in Mulevičius-Runkel, arXiv:2002.00663 from an orbifold datum $\mathcal{A}$ in a given modular fusion category $\mathcal{C}$ is a special case of the Wilson line ribbon categories introduced as part of the general theory of orbifold graph TQFTs. Using this, we prove that the Reshetikhin-Turaev TQFT obtained from ${\mathcal{C}}_{\mathcal{A}}$ is equivalent to the orbifold of the TQFT for $\mathcal{C}$ with respect to the orbifold datum $\mathcal{A}$.

연구 동기 및 목표

• Reshetikhin–Turaev TQFT가 일반화된 오르비폴드 구조에 대해 닫혀 있음을 입증하는 것.
• 모듈라 융합 분류 $\mathcal{C}$에서 오르비폴드 데이터 $\mathcal{A}$로부터 유도되는 월리언 라인 뱀형 분류 $\mathcal{W}_{\mathcal{A}}$의 카테고리적 구조를 명확히 하는 것.
• 일반적 프레임워크 [3]를 통해 얻어진 오르비폴드 TQFT $\mathcal{Z}^{\mathcal{C}}_{\mathcal{A}}$가 오르비폴드 분류 $\mathcal{C}_{\mathcal{A}}$로부터 직접 구성된 표준 Reshetikhin–Turaev TQFT $\mathcal{Z}^{\text{RT},\mathcal{C}_{\mathcal{A}}}$와 동형임을 증명하는 것.
• 논문 [18]에서 구성된 모듈라 융합 분류 $\mathcal{C}_{\mathcal{A}}$가 오르비폴드 그래프 TQFT 형식론에서의 월리언 라인 분류 $\mathcal{W}_{\mathcal{A}}$와 정확히 일치함을 보여주는 것.
• 상태합 접근과 결함 TQFT 접근을 통합하기 위해, $\mathcal{C}$를 바탕으로 한 결함 TQFT에 오르비폴딩을 적용하면 결과 분류 $\mathcal{C}_{\mathcal{A}}$에서의 RT TQFT와 동치인 TQFT를 얻는다는 것을 보여주는 것.

제안 방법

• 저자들은 모듈라 융합 분류 $\mathcal{C}$와 관련된 결함 TQFT $\mathcal{Z}^{\mathcal{C}}$에 대해 [3]의 일반 오르비폴드 그래프 TQFT 구성 방식을 적용하며, 오르비폴드 데이터 $\mathcal{A}$를 입력으로 사용한다.
• 결과적으로 얻어진 월리언 라인 뱀형 분류 $\mathcal{W}_{\mathcal{A}}$를 이전에 [18]에서 구성된 모듈라 융합 분류 $\mathcal{C}_{\mathcal{A}}$로 식별함으로써, $\mathcal{C}_{\mathcal{A}}$가 오르비폴드 프레임워크에서 자연스럽게 유도됨을 보여준다.
• 3차원 다양체와 임베디드 뱀형 그래프를 포함하는 적합한 스켈레톤 분해를 통해 구성이 진행되며, 오르비폴드 데이터 $\mathcal{A}$로 장식되고 원래 TQFT $\mathcal{Z}^{\mathcal{C}}$를 통해 평가된다.
• 동형성 증명은 스켈레톤에 대한 코리미트 구성에 기반하며, 분해의 선택에 대한 독립성을 보장하고, 호환성 제약 조건을 사용하여 $\mathcal{W}_{\mathcal{A}}$ 위의 뱀형 구조를 정의한다.
• 저자들은 잊혀진 함자 $U: \mathcal{W}_{\mathcal{A}} \to \mathcal{W}$에 대한 이중수반 함자로 파이프 함자 $P_1$과 $P_2$를 정의하고, 이중수반 데이터를 유지하는 자연 동형사상 $\varphi: P_1 \to P_2$를 구성한다.
• 그들은 동형사상 $\varphi_X$가 오르비폴드 데이터를 포함하는 특정 그래픽형 사상으로 주어지고, 그 역은 거울 이미지임을 확인함으로써 $\mathcal{W}_{\mathcal{A}}$ 내에서의 일관성 보장을 한다.

실험 결과

연구 질문

• RQ1 일반화된 오르비폴드 구조 [3]는 결함 TQFT에 적용되었을 때 Reshetikhin–Turaev TQFT 구성과 호환되는가?
• RQ2 오르비폴드 그래프 TQFT 형식론에서 유도된 월리언 라인 뱀형 분류 $\mathcal{W}_{\mathcal{A}}$는 [18]에서 구성된 모듈라 분류 $\mathcal{C}_{\mathcal{A}}$와 일치하는가?
• RQ3 일반적 프레임워크 [3]를 통해 얻어진 오르비폴드 TQFT $\mathcal{Z}^{\mathcal{C}}_{\mathcal{A}}$는 분류 $\mathcal{C}_{\mathcal{A}}$로부터 직접 구성된 표준 Reshetikhin–Turaev TQFT $\mathcal{Z}^{\text{RT},\mathcal{C}_{\mathcal{A}}}$와 동치인가?
• RQ4 오르비폴드 구성은 RT TQFT의 구조를 유지하는 카테고리적 몫으로 해석될 수 있는가?
• RQ5 오르비폴드된 TQFT의 맥락에서 두 반파이프 함자 $P_1$과 $P_2$ 사이의 정확한 카테고리적 관계는 무엇인가?

주요 결과

• 일반적 프레임워크 [3]를 통해 구성된 오르비폴드 TQFT $\mathcal{Z}^{\mathcal{C}}_{\mathcal{A}}$는 표준 Reshetikhin–Turaev TQFT $\mathcal{Z}^{\text{RT},\mathcal{C}_{\mathcal{A}}}$와 동형임을 보여, RT TQFT가 일반화된 오르비폴딩에 대해 닫혀 있음을 입증한다.
• 오르비폴드 그래프 TQFT에서의 월리언 라인 뱀형 분류 $\mathcal{W}_{\mathcal{A}}$는 [18]에서 구성된 모듈라 융합 분류 $\mathcal{C}_{\mathcal{A}}$와 정확히 일치함을 확인하여, $\mathcal{C}_{\mathcal{A}}$가 일반 오르비폴드 프레임워크의 특수한 경우임을 확인한다.
• 분해의 선택에 영향을 받지 않는 코리미트 구성에 기반하여 $\mathcal{Z}^{\mathcal{C}}_{\mathcal{A}}$와 $\mathcal{Z}^{\text{RT},\mathcal{C}_{\mathcal{A}}}$ 간의 동형성이 확립된다.
• 두 반파이프 함자 $P_1$과 $P_2$ 사이의 자연 동형사상 $\varphi: P_1 \to P_2$는 오르비폴드 데이터를 포함하는 그래픽형 사상으로 명시적으로 주어지고, 그 역은 거울 이미지이므로 $\mathcal{W}_{\mathcal{A}}$ 내에서 일관성이 보장된다.
• 구성은 모듈라 분류 $\mathcal{C}_{\mathcal{A}}$가 형식적 몫이 아니라 오르비폴드된 TQFT 내의 월리언 라인 분류로서 카테고리적으로 자연스럽게 유도됨을 확인하며, 결함 접근과 상태합 접근을 연결한다.
• 결과적으로 RT TQFT 구성 방식이 일반화된 오르비폴드 절차에 대해 안정적임을 보여주며, Turaev–Viro와 RT TQFT 간의 알려진 이중성 관계가 오르비폴드 설정으로까지 확장됨을 보여준다.