[論文レビュー] The Representation Theory of Co-triangular Semisimple Hopf Algebras

Pavel Etingof, Shlomo Gelaki|ArXiv.org|Dec 18, 1998

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

ひとこと要約

この論文は、C[G]^J がねじれた群代数であるような、co-三角的で半単純なホップ代数 A* = (C[G]^J)* の表現理論を、関連する有限群の表現に帰着させることで明示的に記述する。主な結果は、A* に対してカプランスキーの第6予想が成り立つことの証明であり、すなわち、A* の任意の既約表現の次元は A の次元を割り切ることである。

ABSTRACT

In a previous paper we prove that any semisimple triangular Hopf algebra A over an algebraically closed field of characteristic 0 (say the field of complex numbers C) is obtained from a finite group after twisting the ordinary comultiplication of its group algebra in the sense of Drinfeld; that is A=C[G]^J for some finite group G and a twist J\in C[G]\ot C[G]. In this paper we explicitly describe the representation theory of co-triangular semisimple Hopf algebras A^*=(C[G]^J)^* in terms of representations of some associated groups. As a corollary we prove that Kaplansky's 6th conjecture from 1975 holds for A^*; that is that the dimension of any irreducible representation of A^* divides the dimension of A.

研究の動機と目的

• C[G]^J がねじれた群代数であるような、co-三角的で半単純なホップ代数 A* = (C[G]^J)* の表現理論を、有限群の表現に基づいて記述すること。
• ねじれ J から生じる関連する有限群の既約表現と、A* の既約表現との間の明確な関係を確立すること。
• カプランスキーの第6予想が A* に対して成り立つかどうかを検証すること、すなわち、A* の任意の既約表現の次元が A の次元を割り切ることを示すこと。
• 既存の半単純三角的ホップ代数に関する結果を、特に co-三角的の場合にその双対に拡張すること。

提案手法

• A = C[G]^J と A* = (C[G]^J)* の双対性を用いる。ここで A はねじれた群代数である。
• ドリンフェルトのねじれ理論を適用して、ねじれた群代数の双対としてのホップ代数 A* の構造を分析する。
• 群論的構成を用いて、A* の表現理論を有限群の表現理論に還元する。
• A* の既約表現が、ねじれ J によって修正された群 G の特定の表現に対応することを用いる。
• 先行研究で知られている半単純三角的ホップ代数の構造を応用し、双対の co-三角的ケースを分析する。
• 特性 0 の代数的に閉じた体（例えば複素数体）では、半単純ホップ代数はその表現圏によって決定されることを活用し、群データによる分類を可能にする。

実験結果

リサーチクエスチョン

• RQ1 co-三角的で半単純なホップ代数の表現理論は、どのように有限群の表現に基づいて記述できるか？
• RQ2 ねじれた群代数 (C[G]^J)* の双対の構造は何か？ そして、それはどのように群論的データに関連するか？
• RQ3 カプランスキーの第6予想——任意の既約表現の次元が代数の次元を割り切る——は A* に対して成り立つか？
• RQ4 ドリンフェルトのねじれ J は、双対ホップ代数 A* の表現理論にどのように影響を与えるか？
• RQ5 A* の既約表現は、もとの群 G の表現から明示的に構成可能か？

主な発見

• A* = (C[G]^J)* の表現理論は、ねじれ J に関連する有限群の表現に基づいて完全に記述可能である。
• A* の既約表現は、ねじれ J によって修正された群 G の特定の既約表現と一対一対応する。
• A* のすべての既約表現の次元は A の次元を割り切る。これは、このクラスのホップ代数に対してカプランスキーの第6予想が成立することを確認する。
• この結果は、複素数体などの特性 0 の代数的に閉じた体上で成り立つ。
• 構成法により、群論的データを用いて A* の既約表現の完全な分類が得られる。
• A = C[G]^J と A* = (C[G]^J)* の双対性は、半単純性を保ち、表現論的性質の移行を可能にする。