[논문 리뷰] Categorical centers and Reshetikhin-Turaev invariants

Alain Bruguières, Alexis Virelizier|ArXiv.org|2008. 12. 12.

Algebraic structures and combinatorial models참고 문헌 19인용 수 10

한 줄 요약

이 논문은 카테고리 중심의 모듈라리티에 대한 Müger의 정리를 임의의 가환환으로 일반화하며, 카테고리의 차원이 가역적이지 않은 것을 요구하지 않는다. Reshetikhin-Turaev 불변량 $\mathrm{RT}_{\mathcal{Z}(\mathcal{C})}(M)$을 원래의 구면 카테고리 $\mathcal{C}$ 내에서 히프 다이어그램과 구조적 사상으로 직접 계산할 수 있는 명시적 알고리즘을 구축하여, $\mathcal{Z}(\mathcal{C})$의 단순 객체에 대한 지식 없이도 계산이 가능하게 한다. 핵심 기여는 $\mathcal{Z}(\mathcal{C})$의 코엔드에 대한 정규화된 적분을 통해 $\mathrm{RT}_{\mathcal{Z}(\mathcal{C})}(M)$을 직접 $\mathcal{C}$에서 계산할 수 있는 방법을 제공하며, Lyubashenko 불변량 프레임워크를 확장한다.

ABSTRACT

The center Z(C) of a spherical fusion category C (over an arbitrary commutative ring) is modular. We give an algorithm for computing the Reshetikhin-Turaev invariant defined with Z(C). It is based on Hopf diagrams and an explicit description of the structure of the coend of Z(C).

연구 동기 및 목표

• 임의의 가환환에서 카테고리 중심의 모듈라리티에 대한 Müger의 결과를 일반화하여, 대수적으로 닫혀 있지 않거나 차원이 가역적이지 않은 경우에도 적용 가능하도록 한다.
• 원래 카테고리 $\mathcal{C}$ 내에서 $\mathcal{Z}(\mathcal{C})$의 단순 객체에 대한 지식 없이도 $\mathrm{RT}_{\mathcal{Z}(\mathcal{C})}(M)$을 직접 계산할 수 있는 알고리즘을 제공한다.
• $\mathcal{Z}(\mathcal{C})$의 코엔드를 통해 3차원 다각형의 양자 불변량을 계산 가능한 프레임워크를 구축한다. 이는 히프 다이어그램과 구조적 사상에 기반한다.

제안 방법

• 리본 카테고리에서 양자 불변량의 Lyubashenko의 코엔드 구성 기법을 활용하며, $\mathcal{Z}(\mathcal{C})$ 내에서 히프 대수로 작용하는 코엔드 $C = \int^{X \in \mathcal{Z}(\mathcal{C})} \leftidx{{}^\vee}{\!X}{} \otimes X$ 를 사용한다.
• 히프 다이어그램에 기반한 명시적 알고리즘을 적용하여, $\mathcal{C}$ 내의 사상으로 $\tau_{\mathcal{Z}(\mathcal{C})}(M; \Lambda)$ 불변량을 계산하며, 테이글의 구조를 대수적으로 표현한다.
• $\mathcal{Z}(\mathcal{C})$를 카테고리 $\mathcal{C}$ 위의 히프 모나드 $Z$ 의 모듈러스로 구성함으로써, 카테고리 중심의 대수적 해석을 제공한다.
• 히프 모나드에 대한 일반화된 Drinfeld 듀얼 개념을 도입하여, $\mathcal{C}$ 에서 $\mathcal{Z}(\mathcal{C})$ 의 코엔드를 명시적으로 기술한다.
• $\mathcal{Z}(\mathcal{C})$ 의 코엔드 $C$ 에 대한 표준적인 $S_C$-불변 적분 $\Lambda$ 를 식별하며, 이는 불변량을 계산하기 위한 정규화된 Kirby 원소로 기능한다.
• $\mathcal{Z}(\mathcal{C})$ 의 코엔드에서의 비퇴도성 히프 쌍선 $\omega_C$ 를 사용하여 모듈라리티를 정의하며, 이는 비단순 및 대수적으로 닫히지 않은 설정으로 고전적 개념을 일반화한다.

실험 결과

연구 질문

• RQ1 임의의 가환환에서 $\mathcal{C}$ 의 차원이 가역적이지 않거나 $\Bbbk$ 가 대수적으로 닫혀 있지 않은 경우에도 카테고리 중심 $\mathcal{Z}(\mathcal{C})$ 의 모듈라리티를 확립할 수 있는가?
• RQ2 $\mathcal{Z}(\mathcal{C})$ 를 단순 객체로 분해하지 않고도 원래 카테고리 $\mathcal{C}$ 내에서 $\mathrm{RT}_{\mathcal{Z}(\mathcal{C})}(M)$ 을 계산할 수 있는 계산 가능한 알고리즘이 존재하는가?
• RQ3 $\mathcal{Z}(\mathcal{C})$ 의 코엔드를 $\mathcal{C}$ 내부의 구조, 특히 히프 모나드에 대한 일반화된 Drinfeld 듀얼 구성에 의해 명시적으로 기술할 수 있는가?
• RQ4 $\tau_{\mathcal{Z}(\mathcal{C})}(M; \Lambda)$ 는 히프 다이어그램과 $\mathcal{C}$ 내의 사상으로 계산할 수 있으며, 표준 정규화 하에 $\mathrm{RT}_{\mathcal{Z}(\mathcal{C})}(M)$ 과 일치하는가?
• RQ5 $\dim \mathcal{C}$ 가 가역적이지 않은 경우, $\mathcal{Z}(\mathcal{C})$ 의 코엔드에 대한 적분 $\Lambda$ 가 잘 정의된 3차원 다각형 불변량을 정의하는 데 어떤 역할을 하는가?

주요 결과

• $\Bbbk$ 가 임의의 가환환일 때, 임의의 구면 융합 카테고리 $\mathcal{C}$ 의 중심 $\mathcal{Z}(\mathcal{C})$ 는 모듈라리며, Müger의 결과를 대수적으로 닫히지 않은 체와 가역적이지 않은 차원으로 일반화한다.
• $\mathcal{Z}(\mathcal{C})$ 의 코엔드 $C$ 는 표준적인 $S_C$-불변 적분 $\Lambda$ 를 갖으며, 이는 정규화된 Kirby 원소로 기능하여 불변량 $\tau_{\mathcal{Z}(\mathcal{C})}(M; \Lambda)$ 의 구성에 기여한다.
• $\dim \mathcal{C}$ 가 가역적이지 않은 경우에도 불변량 $\tau_{\mathcal{Z}(\mathcal{C})}(M; \Lambda)$ 는 잘 정의되며, Reshetikhin-Turaev 구성의 적용 범위를 확장한다.
• $M = S^3$ 인 경우, 불변량은 $\tau_{\mathcal{Z}(\mathcal{C})}(S^3; \Lambda) = 1$ 으로 평가되며, $M = S^2 \times S^1$ 인 경우 $\dim \mathcal{C}$ 로 평가되어 명시적인 기저 사례를 제공한다.
• $\Bbbk$ 가 대수적으로 닫혀 있고 $\dim \mathcal{C}$ 가 가역적인 경우, $\tau_{\mathcal{Z}(\mathcal{C})}(M; \Lambda)$ 는 정규화를 제외하고 표준 Reshetikhin-Turaev 불변량 $\mathrm{RT}_{\mathcal{Z}(\mathcal{C})}(M)$ 과 일치한다.
• $\mathrm{RT}_{\mathcal{Z}(\mathcal{C})}(M)$ 의 전체 계산 과정은 $\mathcal{C}$ 내의 명시적 사상, 즉 히프 다이어그램에 의해 표현된 것으로 수행될 수 있으며, $\mathcal{Z}(\mathcal{C})$ 의 단순 객체를 분류할 필요 없이 수행 가능하다.