[論文レビュー] On the Classification of Finite-Dimensional Triangular Hopf Algebras

Sholmo Gelaki|ArXiv.org|Jul 26, 2000

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

ひとこと要約

この論文は、代数的に閉じた体上の有限次元三角的ホップ代数を、ドリンフェルトのねじれ、タンナキアン圏に関するデレーヌの定理、およびシェヴァリの性質を用いて包括的に分類する。この研究では、シェヴァリの性質を満たすような代数が、$ R $-行列のランク $ \leq 2 $ を持つ三角的ホップ代数のねじれによって得られることを示し、それらが有限スーパーグループに関連していることを明らかにするとともに、表現のカテゴリカル次元が常に整数であることを証明している。

ABSTRACT

A fundamental problem in the theory of Hopf algebras is the classification and explicit construction of finite-dimensional quasitriangular Hopf algebras over C. These Hopf algebras constitute a very important class of Hopf algebras, introduced by Drinfeld (e.g. the quantum double of a Hopf algebra). However, this intriguing problem turns out to be extremely hard and it is still widely open. One can hope that resolving the problem in the triangular case would contribute to the understanding of the general case. There is no complte classification of finite-dimensional triangular Hopf algebras yet. However, the problem was solved in the semisimple case by Etingof and the author, in the minimal triangular pointed case by the author, and more generally for triangular Hopf algebras with the Chevalley property by Andruskiewitsch, Etingof and the author. The purpose of this paper is to report on all of this progress, and to explain in full details the mathematics and ideas involved in this theory. The classification in the semisimple case relies on Deligne's theorem on Tannakian categories and on Movshev's theory in an essential way. We explian Movshev's theory in details, and refer the reader to math.QA/0007147 for a detailed discussion of the first aspect. We also discuss the existence of grouplike elements in quasitriangular semisimple Hopf algebras, and the representation theory of cotriangular semisimple Hopf algebras. We conclude the paper with a list of related open problems.

研究の動機と目的

• 代数的に閉じた体上の有限次元三角的ホップ代数を体系的に分類すること、特にシェヴァリの性質を満たすものに焦点を当てる。
• ドリンフェルトのねじれおよび $ R $-行列の構造が、このような代数の分類において果たす役割を明確にすること。
• 三角的ホップ代数、有限スーパーグループ、対称テンソルカテゴリの間の関係を確立すること。
• すべての $ \mathbb{C} $ 上の有限次元三角的ホップ代数がシェヴァリの性質を満たすか、またはランクが小さい $ R $-行列から得られるかを調査すること。
• 特にカテゴリカル次元の整数性および対称カテゴリにおけるフロベニウス＝ペルン次元のカテゴリ的側面を検討すること。

提案手法

• ドリンフェルトのねじれを用いて、三角的ホップ代数を群代数およびスーパーグループ代数と関連付ける。
• タンナキアン圏に関するデレーヌの定理を適用し、半単純かつコ半単純な三角的ホップ代数を分類する。
• ムフシェフの群代数におけるねじれ理論を用いて、最小の三角的ポイント付きホップ代数の構造を分析する。
• 表現へのドリンフェルト要素 $ u $ の作用を解析し、カテゴリカル次元の整数性を導出する。
• 正の特性におけるリフト関手および中心型群に関する結果を用いて、分類結果を拡張する。
• コスタントの定理（スーパーグループが有限群と奇数次元ベクトル空間の半直積として表せること）を応用し、双対対象を特徴付ける。

実験結果

リサーチクエスチョン

• RQ1 すべての $ \mathbb{C} $ 上の有限次元三角的ホップ代数は、シェヴァリの性質を満たすのか、すなわち単純モジュールのテンソル積が半単純であるのか？
• RQ2 $ S^4 = \text{id} $ ならばドリンフェルト要素 $ u $ に対して $ u^2 = 1 $ が成り立つのか？また、すべてのこのような代数で $ u^2 = 1 $ が成立するのか？
• RQ3 すべての $ S^4 = \text{id} $ または $ u^2 = 1 $ を満たす有限次元三角的ホップ代数は、$ R $-行列のランク $ \leq 2 $ を持つ三角的ホップ代数のねじれによって得られるか？
• RQ4 $ \mathbb{C} $-線形なアーベル圏で、対称的かつ剛体的で、有限個の単純対象を持つテンソルカテゴリは、$ R $-行列のランク $ \leq 2 $ を持つ有限次元三角的ホップ代数の表現カテゴリと同値か？
• RQ5 有限個の既約対象を持つ対称カテゴリにおいて、フロベニウス＝ペルン次元は常に整数であり、かつ2を法としてカテゴリカル次元と一致するのか？

主な発見

• シェヴァリの性質を満たす任意の有限次元三角的ホップ代数は、$ R $-行列のランク $ \leq 2 $ を持つ三角的ホップ代数のねじれによって得られる。この代数は、有限次元の余可換ホップスーパーアルジュブラの変形である。
• 三角的ホップ代数の任意の有限次元表現 $ V $ のカテゴリカル次元 $ \dim_c(V) $ は、常に整数である。これはドリンフェルト要素 $ u $ のトレースを用いて示される。
• 代数的に閉じた体上の半単純かつコ半単純な三角的ホップ代数は、デレーヌの定理（タンナキアン圏）および正の特性におけるリフト関手を用いて完全に分類されている。
• このような代数にグロープライク要素が存在することは、有限単純群の分類、特に中心型群が可解であるという定理に依存している。
• $ R $-行列のランク $ \leq 2 $ を持つホップ代数では、表現カテゴリは有限スーパーグループの表現カテゴリと同値であり、シェヴァリの性質が成り立つ。
• 有限個の単純対象を持つ対称的剛体テンソルカテゴリにおいて、任意の対象のフロベニウス＝ペルン次元は整数であり、カテゴリが三角的ホップ代数から生じる場合、2を法としてカテゴリカル次元と一致する。