[论文解读] Hopf actions and Nakayama automorphisms

Kenneth Chan, Chelsea Walton+1 more|arXiv (Cornell University)|Oct 24, 2012

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

一句话总结

该论文建立了N-Koszul Artin-Schelter正则代数A的Nakayama自同构与共作用于A的Hopf代数H的对合平方S²之间的深刻联系。在内忠实共作用和有限维性条件下，证明了通过同调余行列式D的共轭满足η_D ∘ S² = η_{μ_A^τ}，将A的同调不变量与Hopf代数结构联系起来。该结果刻画了作用于此类代数的Hopf代数，特别是表明在char(k)=0时，有限维Hopf代数对二维非PI AS正则代数的作用必为群代数。

ABSTRACT

Let H be a Hopf algebra with antipode S, and let A be an N-Koszul Artin-Schelter regular algebra. We study connections between the Nakayama automorphism of A and S^2 of H when H coacts on A inner-faithfully. Several applications pertaining to Hopf actions on Artin-Schelter regular algebras are given.

研究动机与目标

• 理解非交换代数的Nakayama自同构与共作用Hopf代数的对合之间的关系。
• 将Frobenius代数和AS正则代数中已知的Nakayama自同构结果推广到Hopf共作用的设定中。
• 对全局维数为二的Artin-Schelter正则代数上内忠实作用的有限维Hopf代数进行分类。
• 探索S²与Nakayama自同构之间的联系是否可在不同代数设定中统一。
• 确定共作用于特定非PI AS正则代数（如斜多项式代数）的Hopf代数的结构。

提出的方法

• 利用Manin的量子线性群构造，将Hopf代数H在分次代数A上的共作用与H的结构联系起来。
• 将H在A上的共作用的同调余行列式D定义为H中的中心元素，其控制自同构关系中的扭曲。
• 通过D的共轭和Nakayama自同构μ_A的矩阵的转置，分别在H上构造自同构η_D和η_{μ_A^τ}。
• 利用Ext代数的共作用和Hopf代数中的矩阵坐标计算，建立关键恒等式η_D ∘ S² = η_{μ_A^τ}。
• 应用Radford定理关于S²的阶，并利用特征为0的条件迫使余元为零，从而得出群代数结构。
• 利用内忠实共作用条件，确保H的生成元张成整个代数，从而实现结构分类。

实验结果

研究问题

• RQ1 N-Koszul AS正则代数的Nakayama自同构如何与共作用Hopf代数的对合平方S²相关联？
• RQ2 恒等式η_D ∘ S² = η_{μ_A^τ}是否可超越N-Koszul代数，推广到一般AS正则代数？
• RQ3 共作用于全局维数为二的非PI AS正则代数的有限维Hopf代数的结构是什么？
• RQ4 是否存在Gelfand-Kirillov维数为1的有限维非交换Hopf代数，内忠实共作用于斜多项式代数k_J[x₁,x₂]？
• RQ5 S²与Nakayama自同构之间的关系是否能与AS正则Hopf代数中已知的公式μ_K = S² ∘ Ξ^{l}_{∫^l}统一？

主要发现

• 对于任意有限维Hopf代数H，若其内忠实共作用于具有双射对合的N-Koszul AS正则代数A，则关键恒等式η_D ∘ S² = η_{μ_A^τ}成立。
• 当char(k) = 0时，任何有限维Hopf代数内忠实共作用于非PI代数A_J = k_J[x₁,x₂]，必同构于某个循环群G的群代数kG。
• H的结构受Nakayama自同构μ_A的矩阵和同调余行列式D的约束，其中η_D ∘ S²作为μ_A矩阵转置的共轭作用。
• 当A = k_p[x₁,x₂]且p不是单位根时，同样结论成立：H必为群代数，如定理0.4所示。
• 在特征0域上，有限维Hopf代数中不存在非平凡余元，迫使生成元为群元素，从而得出群代数结论。
• 该结果证实，在特征0下，二维非PI AS正则代数在内忠实、有限维Hopf共作用下，仅允许群代数共作用。