[論文レビュー] An analogue of Radford's S^4 formula for finite tensor categories

Pavel Etingof, Dmitri Nikshych+1 more|arXiv (Cornell University)|Apr 27, 2004

Algebraic structures and combinatorial models参考文献 16被引用数 14

ひとこと要約

この論文は、有限テンソル圏におけるRadfordの$S^4$公式の圏論的一般化を確立する。特徴的な可逆対象$D$を導入し、自然なテンソル同型$ \delta: 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$-写像の圏論的類似を提供すること。
• 因子分解可能なbraidedテンソル圏がユニモジュラルである、すなわち$D \cong \mathbf{1}$であることを証明することにより、(準)ホップ代数に対する既知の結果を拡張すること。
• 純代数的手段を用いて、融合圏のpivotal化が球面的であることを示すこと。

提案手法

• 圏$\mathcal{C} \boxtimes \mathcal{C}^{\text{op}}$における代数$A = \underline{\text{Hom}}(\mathbf{1}, \mathbf{1})$の右加群として、$\mathcal{C}$上のホップバイモジュラの圏$\mathcal{H}$を定義する。
• $\mathcal{H}$にテンソル圏構造を導入し、一般化されたホップバイモジュラの基本定理に類似したテンソル同値$\mathcal{C} \cong \mathcal{H}$を確立する。
• 準ホップ代数理論で用いられる手法に従い、同型$A^* \cong (D \boxtimes \mathbf{1}) \otimes A$を用いて、特徴的な可逆対象$D$を定義する。
• ホップバイモジュラ理論およびテンソル関手論を用いて、自然同型$\delta: ?^{**} \cong D \otimes ?^{**} \otimes D^{-1}$を構成する。
• braided圏の場合、$\delta$をドリンフェルト同型$u: ? \cong ?^{**}$と関連づけ、ユニモジュラルな場合に$\delta = u^{-1} \circ u^*$が成り立つことを示す。
• 単純対象のミューゲルの二乗ノルムを用いて、半単純な場合に$\delta$を数値的に表現し、その特徴づけを可能にする。

実験結果

リサーチクエスチョン

• RQ1 ホップ代数のような代数的構造が存在しない有限テンソル圏において、Radfordの$S^4$公式は一般化可能か？
• RQ2 有限テンソル圏における特徴的なグロープロパティ要素に相当する圏論的対象は何か？
• RQ3 双対関手$**$の4乗が、特徴的な可逆対象$D$とのテンソル積とどのように関係するか？
• RQ4 因子分解可能なbraidedテンソル圏は、必然的にユニモジュラルか、すなわちこの場合$D \cong \mathbf{1}$が成り立つか？
• RQ5 融合圏のpivotal化は球面的であり、特徴的仮定なしに代数的手段でこれを示せるか？

主な発見

• 論文は[EO]の予想2.15を、有限テンソル圏における特徴的な可逆対象$D$を用いた自然なテンソル同型$ \delta: V^{**} \cong D \otimes V^{**} \otimes D^{-1}$の構成により証明し、Radfordの$S^4$公式を有限テンソル圏に一般化した。
• ここで定義された特徴的な対象$D$は、[EO, 定義2.12]のものと一致し、先行する圏論的定義と整合性を保つ。
• braided有限テンソル圏において、$\mathcal{C}$が因子分解可能であれば、$D \cong \mathbf{1}$となり、$\mathcal{C}$はユニモジュラルである。これは(弱、準)ホップ代数に対する既知の結果を拡張する。
• ユニモジュラルな$\mathcal{C}$において、同型$\delta$は$\delta = u^{-1} \circ u^*$を満たす。ここで$u: ? \cong ?^{**}$はドリンフェルト同型である。
• 半単純な場合、$\delta$は単純対象のミューゲルの二乗ノルムを用いて数値的に特徴づけられ、この特徴づけは$\mathcal{C}$のpivotal化が球面的であることを示唆する。
• 論文は、正確なモジュール圏の代数的特徴づけを提供する：圏$\mathcal{C}$上のモジュール圏$\mathcal{M}$は、$\mathcal{M} \cong B$-modを実現する代数$B$に対して、$H = \text{End}(\bar{F})$が$B \otimes B^\circ$-加群として射影的であることと同値である。