[논문 리뷰] An analogue of Radford's S^4 formula for finite tensor categories

Pavel Etingof, Dmitri Nikshych외 1명|arXiv (Cornell University)|2004. 04. 27.

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

한 줄 요약

이 논문은 유한 텐서 범주에 대해 Radford의 $S^4$ 공식의 범주론적 일반화를 확립한다. 구체적으로, 구분된 가역 객체 $D$를 도입하고 자연스러운 텐서 동형사상 $δ: V^{**} \cong D \otimes V^{**} \otimes D^{-1}$를 구성함으로써, 텐서 범주 이론에서 오랫동안 남아있던 추측을 증명한다. 이 결과는 힉프 대수 및 쿼티-힉프 대수에 대한 기존 공식을 추상적인 범주론적 설정으로 확장하며, 유일모듈라리티, 인수성, 그리고 브레드된 범주에서의 구면성에 응용된다.

ABSTRACT

We develop the theory of Hopf bimodules for a finite rigid tensor category C. Then we use this theory to define a distinguished invertible object D of C and an isomorphism of tensor functors ?^{**} and D tensor ^{**}? tensor D^{-1}. This provides a categorical generalization of D. Radford's S^4-formula for finite dimensional Hopf algebras and its generalizations for weak Hopf algebras and for quasi-Hopf algebras, and conjectured in general in \cite{EO}. When C is braided, we establish a connection between the above isomorphism and the Drinfeld isomorphism of C. We also show that a factorizable braided tensor category is unimodular (i.e., D=1). Finally, we apply our theory to prove that the pivotalization of a fusion category is spherical, and give a purely algebraic characterization of exact module categories.

연구 동기 및 목표

• 유한 차원 힉프 대수에 대한 Radford의 $S^4$ 공식을 유한 강직 텐서 범주로 일반화하는 것.
• 유한 텐서 범주 $\mathcal{C}$에서, 힉프 대수의 구분된 군원소에 대응하는 구분된 가역 객체 $D$를 정의하고 구성하는 것.
• 자연스러운 텐서 동형사상 $\delta: V^{**} \cong D \otimes V^{**} \otimes D^{-1}$를 확립하여, $S^4$-사상에 대한 범주론적 동치를 제공하는 것.
• 인수성 브레드된 텐서 범주가 유일모듈라리라는 것을 증명하여, 즉 $D \cong \mathbf{1}$임을 보이는 것. 이는 (쿼티)히프 대수에 대한 기존 결과를 확장하는 것임.
• 순수 대수적 방법을 사용하여, 분해 가능 범주의 펄스링화가 구면적임을 보이는 것.

제안 방법

• 범주 $\mathcal{H}$를 $\mathcal{C} \boxtimes \mathcal{C}^{\text{op}}$ 내의 대수 $A = \underline{\text{Hom}}(\mathbf{1}, \mathbf{1})$ 에 대한 오른쪽 모듈로 정의한다.
• $\mathcal{H}$에 텐서 범주 구조를 부여하고, $\mathcal{C} \cong \mathcal{H}$ 라는 텐서 동치를 확립함으로써, 힉프 이중모듈러의 기본 정리의 일반화를 이룬다.
• 쿼티-힉프 대수 이론에서 사용된 접근법에 따라, 등식 $A^* \cong (D \boxtimes \mathbf{1}) \otimes A$ 를 통해 구분된 가역 객체 $D$를 정의한다.
• 힉프 이중모듈러 이론과 텐서 함자를 이용하여, 자연스러운 동형사상 $\delta: ?^{**} \cong D \otimes ?^{**} \otimes D^{-1}$ 를 구성한다.
• 브레드된 범주에 대해서는, $\delta$ 를 드리놀드 동형사상 $u: ? \cong ?^{**}$ 와 관련지어 분석하며, 유일모듈라리 경우에 $\delta = u^{-1} \circ u^*$ 임을 보인다.
• 단순 대수적 경우에선, $\delta$ 를 뮈거의 단순 객체에 대한 제곱 노름을 통해 표현함으로써 수치적 특성화를 가능하게 한다.

실험 결과

연구 질문

• RQ1 히프 대수와 같은 기초 대수적 구조가 없는 유한 텐서 범주에서 Radford의 $S^4$ 공식이 일반화될 수 있는가?
• RQ2 유한 텐서 범주에서, 구분된 군원소의 역할을 하는 범주론적 객체는 무엇인가?
• RQ3 이중화 함자 $**$ 의 네 번째 거듭제곱이, 구분된 가역 객체 $D$ 와의 텐서곱과 어떻게 관련되어 있는가?
• RQ4 인수성 브레드된 텐서 범주가 반드시 유일모듈라리한가, 즉 이 경우에 $D \cong \mathbf{1}$ 이 성립하는가?
• RQ5 분해 가능 범주의 펄스링화가 구면적일 수 있으며, 이는 특성에 대한 가정 없이 순수 대수적 방법으로 증명될 수 있는가?

주요 결과

• 논문은 [EO]의 추측 2.15를 증명한다. 여기서는 $\mathcal{C}$의 구분된 가역 객체 $D$ 에 대해 자연스러운 텐서 동형사상 $\delta: V^{**} \cong D \otimes V^{**} \otimes D^{-1}$ 를 구성함으로써, Radford의 $S^4$ 공식을 유한 텐서 범주로 일반화한다.
• 이 논문에서 정의한 구분된 객체 $D$ 는 [EO, 정의 2.12]와 일치함을 확인하여, 이전의 범주론적 정의와의 일致성을 입증한다.
• 브레드된 유한 텐서 범주에서, $\mathcal{C}$ 가 인수성이라면 $D \cong \mathbf{1}$ 이며, 이는 $\mathcal{C}$ 가 유일모듈라리임을 의미한다. 이는 (약한, 쿼티)-히프 대수에 대한 기존 결과를 확장하는 것이다.
• 유일모듈라리인 $\mathcal{C}$ 에서는 동형사상 $\delta$ 가 $\delta = u^{-1} \circ u^*$ 를 만족함을 보인다. 여기서 $u: ? \cong ?^{**}$ 는 드리놀드 동형사상이다.
• 단순 대수적 경우에선, $\delta$ 는 뮈거의 단순 객체에 대한 제곱 노름을 통해 수치적으로 특성화되며, 이 특성화는 $\mathcal{C}$ 의 펄스링화가 구면적임을 암시한다.
• 논문은 정확한 모듈러 범주에 대한 대수적 특성화를 제공한다: 범주 $\mathcal{C}$ 위의 모듈러 범주 $\mathcal{M}$ 이 정확할 조건은, $H = \text{End}(\bar{F})$ 가 $B \otimes B^\circ$-모듈로서 프로젝티브일 때이다. 여기서 $B$ 는 $\mathcal{M} \cong B$-mod 를 실현하는 대수이다.