[論文レビュー] Examples of polynomial identities distinguishing the Galois objects over finite-dimensional Hopf algebras

Christian Kassel|arXiv (Cornell University)|Feb 7, 2013

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

ひとこと要約

本稿では、有限次元ホップ代数 H 上のコモジュール代数に対する多項式 H-恒等式を導入し、代数的に閉じた体上で、タフト代数 $ H_{n^2} $ およびホップ代数 $ E(n) $ に対して、特定の有限個のこのような恒等式がすべてのガロア対象を同型を除いて区別できることを示している。主な結果は、同一の T-理想を有する恒等式は、同型なガロア対象を意味することであり、分類のための完全な代数的不変量を提供する。

ABSTRACT

We define polynomial H-identities for comodule algebras over a Hopf algebra H and establish general properties for the corresponding T-ideals. In the case H is a Taft algebra or the Hopf algebra E(n), we exhibit a finite set of polynomial H-identities which distinguish the Galois objects over H up to isomorphism.

研究の動機と目的

• 有限次元ホップ代数上のコモジュール代数に対する多項式 H-恒等式を定義し、その性質を研究すること。
• このような恒等式が、同型を除いてガロア対象を分類できるかどうかを特定すること。
• $ H_{n^2} $ および $ E(n) $ 上で、ガロア対象を区別する明示的な有限個の恒等式の集合を提供すること。
• ガロア対象の恒等式の T-理想が等しければ、それらの対象は同型であることを確立すること。
• 可換でないホップ代数の設定へ、次数付き代数における多項式恒等式の既知の結果を拡張すること。

提案手法

• H-コモジュール代数に対する多項式 H-恒等式の概念を導入し、普遍コモジュール代数写像の核として T-理想 $ ext{Id}_H(A) $ を定義する。
• すべての H-恒等式を検出するため、$ T $ を自由代数、$ S $ を $ H $ の双対として、写像 $ u: T o S times A $ を構成する。
• タフト代数 $ H_{n^2} $ に対して、次数 $ 2n $ の多項式 $ (YX - qXY)^n - (1-q)^n X^n Y^n + (1-q)^n c E^n X^n $ が、ガロア対象を区別する H-恒等式であることを証明する。
• $ E(n) $ に対して、2つの次数 4 の多項式恒等式の族を導出する：$ (XY_i + Y_iX)^2 - 4X^2Y_i^2 + 4c_i E^2X^2 $ および $ 2(Y_iY_j + Y_jY_i)X^2 - (XY_i + Y_iX)(XY_j + Y_jX) - 2d_{ij} E^2X^2 $。
• 普遍写像 $ u $ の構造を用いて、これらの恒等式が $ A(a,oldsymbol{c},oldsymbol{d}) $ 上で消えることを確認し、それが正当な H-恒等式であることを検証する。
• 2つのガロア対象の恒等式の T-理想が同一であれば、それらのパラメータ $ a, oldsymbol{c}, oldsymbol{d} $ も一致するので、それらは同型であることを証明する。

実験結果

リサーチクエスチョン

• RQ1 有限次元ホップ代数上のガロア対象を、多項式 H-恒等式によって同型を除いて区別できるか？
• RQ2 明示的な有限個の恒等式の集合は、$ H_{n^2} $ や $ E(n) $ 上のガロア対象の T-理想をどのように特徴づけるか？
• RQ3 恒等式における単項式の係数は、ガロア対象のパラメータとどのように関係するか？
• RQ4 E(n) 上のガロア対象に関して、恒等式の T-理想が同型類を完全に回復できるか？
• RQ5 普遍コモジュール代数写像を用いて、与えられたコモジュール代数のすべての H-恒等式を体系的に検出できるか？

主な発見

• タフト代数 $ H_{n^2} $ に対して、多項式 $ (YX - qXY)^n - (1-q)^n X^n Y^n + (1-q)^n c E^n X^n $ は、代数的に閉じた体上でガロア対象を区別する多項式 $ H_{n^2} $-恒等式である。
• E(n) に対しては、次数 4 の $ n(n+3)/2 $ 個の恒等式——具体的には $ (XY_i + Y_iX)^2 - 4X^2Y_i^2 + 4c_i E^2X^2 $ および $ 2(Y_iY_j + Y_jY_i)X^2 - (XY_i + Y_iX)(XY_j + Y_jX) - 2d_{ij} E^2X^2 $——が、それぞれのガロア対象の完全な恒等式集合を構成する。
• T-理想 $ ext{Id}_{E(n)}(A(a,oldsymbol{c},oldsymbol{d})) $ は、これらの $ n(n+3)/2 $ 個の恒等式によって完全に決定される。
• もし $ ext{Id}_{E(n)}(A(a,oldsymbol{c},oldsymbol{d})) = ext{Id}_{E(n)}(A(a',oldsymbol{c}',oldsymbol{d}')) $ であれば、$ A(a,oldsymbol{c},oldsymbol{d}) $ と $ A(a',oldsymbol{c}',oldsymbol{d}') $ はコモジュール代数として同型である。
• 恒等式における $ E^2X^2 $ の係数は、ガロア対象をパラメータ化する $ c_i $ および $ d_{ij} $ に正確に対応する。
• 単項式 $ E^2X^2 $ 自体は恒等式でない。なぜなら、普遍写像におけるその像が $ a t_0^2 t_x^2 eq 0 $ であるため、パラメータが検出可能であることが保証される。