[論文レビュー] Simple Hopf algebras and deformations of finite groups

Cesar N. Galindo, Sonia Natale|ArXiv.org|Aug 30, 2006

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

ひとこと要約

本稿では、超可解群および対称群の特定のねじれ変形が、単純な半単純ホップ代数をもたらすことを示しており、単純性と（半）可解性が圏的不変量であるという考えに挑戦している。群論的構成とコhomological技法を用いて、次元60および36のホップ代数が非単純な群から生じるにもかかわらず、単純であることが示され、ノルム群のねじれが常に半可解であることを証明した。これにより、テンソル圏における圏的性質と構造的性質の区別がなされた。

ABSTRACT

We show that certain twisting deformations of a family of supersolvable groups are simple as Hopf algebras. These groups are direct products of two generalized dihedral groups. Examples of this construction arise in dimensions 60 and p^2q^2, for prime numbers p, q with q dividing p-1. We also show that certain twisting deformation of the symmetric group is simple as a Hopf algebra. On the other hand, we prove that every twisting deformation of a nilpotent group is semisolvable. We conclude that the notions of simplicity and (semi)solvability of a semisimple Hopf algebra are not determined by its tensor category of representations.

研究の動機と目的

• 半単純ホップ代数の単純性および（半）可解性が、その表現のテンソル圏によって決定されるかどうかを調査すること。
• 特に超可解群および対称群を用いた、有限群のねじれ変形から生じる明示的な単純ホップ代数の構成。
• ホップ代数理論における圏的不変量（例えばテンソル同値）と構造的性質（例えば単純性）の違いを明確にすること。
• 小さな次元における単純ホップ代数の存在に関する未解決問題と、それらが群論的性質とどのように関係するかを解明すること。

提案手法

• 群コホモロジーにおける2次コサイクルを用いた有限群のねじれ変形により、既知の群代数から新しいホップ代数を構成する。
• ホップ代数の拡大および双交叉積の理論を応用して、ねじれた群代数の構造を分析する。
• 小さな素数べき次元における半単純ホップ代数の分類を活用して、単純性を検証する。
• ねじれたホップ代数における双対中心的群的要素の分析により、中心性および正規性を特定する。
• アーベル部分群から上昇するねじれの持ち上げを活用して、得られるホップ代数の表現理論を制御する。
• 帰納的構成による上部および下部正規系列を用いて、ノルム群のねじれが常に半可解ホップ代数を生じることを証明する。

実験結果

リサーチクエスチョン

• RQ1 非単純な有限群のねじれ変形が、単純ホップ代数を生じうるか？
• RQ2 半単純ホップ代数における単純性の性質は、その表現圏のテンソル同値に関して不変か？
• RQ3 半単純ホップ代数について、バーンサイドの $p^a q^b$-定理の類似が成り立つか？
• RQ4 半単純ホップ代数が単純であるが、群またはその双対とねじれ同値でないことはありうるか？
• RQ5 次元36に非自明な単純ホップ代数は存在するか？ もし存在するならば、それらの背後にある群は何か？

主な発見

• 次元 $n \geq 5$ の対称群 $\mathbb{S}_n$ は、単純ホップ代数を生じるねじれ変形を許容する。
• 条件 $q \mid p-1$ および $q \mid r-1$ を満たす、$prq^2$ 次の超可解群 $G$ の族は、非自明な単純ホップ代数に変形可能である。
• 次元 $36$ の単純な半単純ホップ代数が存在し、$D_3 \times D_3$ のねじれ変形として得られる。これは最小の例である。
• 次元 $<60$ における唯一の可能な単純ホップ代数は次元 $36$ および $60$ にあり、後者は3つの異なる単純例を含む。
• ノルム群のねじれ変形は常に半可解ホップ代数を生じるため、ノルム性がねじれによる単純ホップ代数の生成と両立しないことが証明された。
• $D_3 \times D_5$ からのねじれ変形で得られる次元60のホップ代数は自己双対的であり、群またはその双対とねじれ同値でない。これは、疑問を否定的に解消した。