[論文レビュー] Hopf algebras of dimension 14

Margaret Beattie, S. Dǎscǎlescu|ArXiv.org|May 23, 2002

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

ひとこと要約

この論文は、特性 0 の代数的閉体上の次元 14 のすべての有限次元ホップ代数が半単純であることを証明しており、したがって群代数または群代数の双対に同型である。非自明なスケュー原始的元を持たないホップ代数における第二コラジカルフィルトレーション成分の次元に関する境界を用いて、次元 14 のような代数が半単純でなければならないことを確立した。これにより、この次元における分類が解決され、非半単純で、非ポイント型でも、双対ポイント型でもないホップ代数が現れる最小の次元は少なくとも 16 であることが示された。

ABSTRACT

Let H be a finite dimensional non-semisimple Hopf algebra over an algebraically closed field k of characteristic 0. If H has no nontrivial skew-primitive elements, we find some bounds for the dimension of H_1, the second term in the coradical filtration of H. Using these results, we are able to show that every Hopf algebra of dimension 14 is semisimple and thus isomorphic to a group algebra or the dual of a group algebra. Also a Hopf algebra of dimension pq where p and q are odd primes with p

研究の動機と目的

• 代数的閉体の特性 0 における次元 14 のすべての有限次元ホップ代数を分類すること。
• 非自明なスケュー原始的元を持たないホップ代数におけるコラジカルフィルトレーションの第二項の次元に関する境界を確立すること。
• p と q を奇素数として、p < q ≤ 1 + 3p かつ q ≤ 13 を満たす次元 pq のホップ代数がすべて半単純であることを証明すること。
• 特に、非半単純で非ポイント型のホップ代数で、コラジカルがホップ部分代数でないものについて、次元 16 における部分的な分類結果を提供すること。
• 非半単純で、非ポイント型でも、双対ポイント型でもないホップ代数が初めて現れる最小の次元が 16 以上であることを示すこと。

提案手法

• 非自明なスケュー原始的元を持たない有限次元ホップ代数における dim(H₁)、すなわちコラジカルフィルトレーションの第二項の次元に関する境界を構築した。
• ニコルズの双モジュールフィルトレーションと余代数射影技術を用いて、ρL および ρR マップを通じて H₁ の構造を分析した。
• カック＝ズーの定理およびニコルズ＝ツォーラーの定理を適用して、可能な次元や群的構造を制約した。
• 単純な余代数部分代数への反対作用 S の作用を分析し、次元の不等式を導出した。
• 行列余代数上での反対作用のサイクル分解に基づく背理法を用いて、非半単純構造を除外した。
• 既知の次元 16 のポイント型および半単純ホップ代数の分類を活用して、可能なコラジカル構造を除外した。

実験結果

リサーチクエスチョン

• RQ1 代数的閉体の特性 0 における次元 14 のホップ代数はすべて半単純か？
• RQ2 非自明なスケュー原始的元を持たない有限次元ホップ代数における H₁ の次元にどのような制約を課すことができるか？
• RQ3 p と q を奇素数として、p < q ≤ 1 + 3p かつ q ≤ 13 を満たす次元 pq のホップ代数はすべて半単純か？
• RQ4 次元 16 の非半単純ホップ代数で、コラジカルがホップ部分代数でないものがあるか？
• RQ5 非半単純で、非ポイント型でも、双対ポイント型でもないホップ代数が初めて現れる最小の次元は何か？

主な発見

• 代数的閉体の特性 0 における次元 14 のすべてのホップ代数は半単純であり、k[C₁₄]、k[D₇]、または k[D₇]* に同型である。
• p と q を奇素数として、p < q ≤ 1 + 3p かつ q ≤ 13 を満たすとき、次元 pq の任意のホップ代数は半単純であり、したがって群代数またはその双対に同型である。
• 次元 15, 21, 35, 55, 77, 65, 91, 143 では、すべてのホップ代数が半単純であり、群代数またはその双対に同型である。
• 次元 16 の非半単純ホップ代数では、コラジカルが k·1 ⊕ Mᶜ(2,k)、k·1 ⊕ Mᶜ(2,k)⊕³、k·1 ⊕ Mᶜ(3,k)、または k·1 ⊕ Mᶜ(2,k) ⊕ Mᶜ(3,k) に同型であってはならない。
• この論文は、非半単純で、非ポイント型でも、双対ポイント型でもないホップ代数が現れる最小の次元が少なくとも 16 であることを示した。
• 次元 16 の分類は完全には解決していないが、すべての既知のクラス（ポイント型、半単純型、コラジカルがホップ部分代数でない非ポイント型）が現在分類済みである。