[论文解读] 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) $ 定义为一个通用余模代数映射的核。
• 构造通用映射 $ u: T o S times A $，其中 $ T $ 为自由代数，$ S $ 为 $ H $ 的对偶，以检测所有 H-恒等式。
• 对于塔夫特代数 $ 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) $，推导出两组四次多项式恒等式：$ (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-恒等式。
• 证明若两个伽罗瓦对象具有相同的恒等式 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) $，共 $ 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 \neq 0 $，从而确保了参数可被检测。