[論文レビュー] Hopf Algebras and Congruence Subgroups

Yorck Sommerhaeuser, Yongchang Zhu|arXiv (Cornell University)|Oct 3, 2007

Algebraic structures and combinatorial models参考文献 27被引用数 15

ひとこと要約

この論文は、半単純ホップ代数のドリンフェルト双対の中心におけるモジュラー群作用の核が、ホップ代数の指数に等しいレベルの合同部分群であることを確立する。同著者らは、整合的なモジュラー群作用を持つ同変Frobenius-Schur指標を導入し、この合同部分群定理を証明した。これは、有理的 conformal field theory におけるBantayの結果を半単純ホップ代数の設定に一般化し、高次指標を通じて指数とドリンフェルト要素に結びつける。

ABSTRACT

We prove that the kernel of the natural action of the modular group on the center of the Drinfel'd double of a semisimple Hopf algebra is a congruence subgroup. To do this, we introduce a class of generalized Frobenius-Schur indicators and endow it with an action of the modular group that is compatible with the original one.

研究の動機と目的

• 半単純ホップ代数のドリンフェルト双対の中心におけるモジュラー群作用の合同部分群定理を確立すること。
• 有理的 conformal field theory におけるBantayの合同部分群に関する結果を、半単純ホップ代数の設定に一般化すること。
• モジュラー群の作用と整合的な作用を持つ同変Frobenius-Schur指標を導入し、それらを研究すること。
• 半単純ホップ代数の指数と、ドリンフェルト要素の位数、およびモジュラー群作用から生じる合同部分群のレベルとの関係を特定すること。
• conformal field theory におけるモジュラー群作用と、ホップ代数における指数の有限性という二つの考察を統合すること。

提案手法

• ドリンフェルト双対の中心上で定義される、新たな一般化Frobenius-Schur指標のクラス（同変Frobenius-Schur指標と呼ぶ）を導入する。
• これらの指標に、中心のモジュラー群作用と整合的な、モジュラー群の射影的作用を導入する。
• モジュラー群生成子Sから生じるVerlinde行列を用い、指標の異なる式を関連づけ、重要な恒等式を確立する。
• 誘導関手の双対性および整合性の性質を活用し、ドリンフェルト双対の中心とモジュラー群の表現理論を結びつける。
• 特性の環および中心におけるガロア群作用を適用し、不変性の性質を研究し、それらをモジュラー群作用と結びつける。
• 新しい写像の行列表現およびホップ記号を用いて、核の構造を解析し、合同部分群定理を証明する。

実験結果

リサーチクエスチョン

• RQ1 半単純ホップ代数のドリンフェルト双対の中心におけるモジュラー群作用の核は、合同部分群か？
• RQ2 高次Frobenius-Schur指標は、中心の構造と整合的なモジュラー群作用をどのように一般化できるか？
• RQ3 半単純ホップ代数の指数と、モジュラー群作用から生じる合同部分群のレベルとの関係は何か？
• RQ4 ガロア群とモジュラー群作用は、ドリンフェルト双対の中心上でどのように相互作用するか？
• RQ5 Verlinde行列と指標の相互作用を用いて、合同部分群定理を証明できるか？

主な発見

• 半単純ホップ代数のドリンフェルト双対の中心におけるモジュラー群作用の核は、ホップ代数の指数に等しいレベルの合同部分群である。
• 同変Frobenius-Schur指標の導入により、中心におけるモジュラー群の作用が整合的になり、合同部分群定理の証明が可能になった。
• 半単純ホップ代数の指数は、ドリンフェルト双対におけるドリンフェルト要素の位数に等しく、ホップ代数理論とモジュラー群表現理論を結びつける。
• モジュラー群のS生成子から生じるVerlinde行列は、高次Frobenius-Schur指標の異なる式を関連づけ、証明において核となる。
• 因子的半単純ホップ代数の中心におけるモジュラー群の射影的作用は、指標の同変構造と整合的である。
• ホップ記号がガロア群作用に関して不変であることが示され、合同部分群を特徴付ける上で重要な役割を果たす。