[論文レビュー] Semisimple Reflection Hopf Algebras of Dimension Sixteen

Luigi Ferraro, Ellen Kirkman+2 more|arXiv (Cornell University)|Jul 15, 2019

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

ひとこと要約

この論文は、複素数体上での次元16の半単純反射的ホップ代数を、二次のアーティン–シュレーダー正則代数（AS正則代数）の次元2または3に内包的かつ忠実に作用するものとして分類し、不変部分環が再びAS正則となる場合を特定することで行っている。主な結果として、次元16の非自明な半単純ホップ代数16個のうち、10個が最小の内包的忠実作用に関して反射的ホップ代数であることが判明し、非可換不変理論へのチェヴァレ–シーファード–トッドの定理の一般化が達成された。

ABSTRACT

For each nontrivial semisimple Hopf algebra $H$ of dimension sixteen over $\mathbb{C}$, the smallest dimension inner-faithful representation of $H$ acting on a quadratic AS regular algebra $A$ of dimension 2 or 3, homogeneously and preserving the grading, is determined. Each invariant subring $A^H$ is determined. When $A^H$ is also AS regular, thus providing a generalization of the Chevalley-Shephard-Todd Theorem, we say that $H$ is a reflection Hopf algebra for $A$.

研究の動機と目的

• アーティン–シュレーダー正則代数上で『反射』をなすホップ代数を同定することで、非可換不変理論へのチェヴァレ–シーファード–トッドの定理の拡張を図ること。
• 次元16の非自明な半単純ホップ代数16個のそれぞれについて、二次のAS正則代数の次元2または3への最小次元の内包的忠実表現を特定すること。
• これらの作用における不変部分環を計算し、それが再びAS正則となるかどうかを特定することで、反射的ホップ代数を同定すること。
• 次元16における反射的ホップ代数の包括的分類を提供し、より小さい次元や既存の族の間のギャップを埋めること。

提案手法

• 次元16の非自明な半単純ホップ代数16個のそれぞれについて、定理2.4を用いて最小次元の内包的忠実表現を分類する。
• 各ホップ代数Hが、次元2または3の二次的AS正則代数Aに対して同次的かつ内包的忠実に作用するような二次的AS正則代数Aを構成する。
• トレース関数および群的元の作用性質を用いて、H作用における不変部分環A^Hを計算する。
• 補題6.1を適用して不変量の次数を制限し、潜在的な不変量の形を簡略化する。
• 生成元の単項式への作用の明示的公式を用いて、指数に関するmod 4の条件を導出し、不変量の構造に制約を加える。
• 既知のAS正則性の基準、特に[10]におけるオーレ拡張と可換多項式部分環に関する結果を用いて、得られた不変環を比較する。

実験結果

リサーチクエスチョン

• RQ1 次元16の非自明な半単純ホップ代数16個のうち、二次のAS正則代数の次元2または3に作用する反射的ホップ代数はどれか？
• RQ2 それぞれのホップ代数が二次のAS正則代数上で作用する最小次元の内包的忠実表現は何か？
• RQ3 どの作用に対して不変部分環A^Hが再びAS正則となるか。これにより、チェヴァレ–シーファード–トッドの定理の非可換版が満たされる。
• RQ4 カシナ#14、#15、#16（Kac–Paljutkin型ホップ代数）の不変量の構造と正則性にはどのような相違があるか？
• RQ5 トレース関数および固有値に類似した条件は、非可換設定における反射的作用を特徴付ける際に果たす役割は何か？

主な発見

• 次元16の非自明な半単純ホップ代数16個のうち、10個が、次元2または3の二次的AS正則代数への最小の内包的忠実作用に関して反射的ホップ代数である。
• カシナ#15は、関係式uv±vuを満たす代数とu²±iv²を満たす代数の2つの族に対して反射的ホップ代数として作用し、3つの場合でAS正則な不変量を得る。
• カシナ#15では、作用がp≡q mod 2を満たし、代数が可換多項式環のオーレ拡張である場合、不変環がAS正則となる。
• カシナ#14（A₁₆）は2次元の内包的忠実表現をもたないが、5つの3次元AS正則オーレ拡張のうち3つに対して反射的ホップ代数として作用する。
• カシナ#16（B₁₆）は8つの内包的忠実2次元表現をもち、そのうち4つに対して反射的ホップ代数として作用し、非可換反射理論におけるその役割を裏付ける。
• AS正則となる場合の不変環は、可換多項式環のオーレ拡張であることが示され、これにより補題2.2によりAS正則性が保証される。