[论文解读] 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维复数域上的半单反射H opf代数在2维或3维二次Artin–Schelter正则代数上作用内忠实，且其不变子环亦为AS正则，从而对这些代数进行了分类。关键结果是，在16个非平凡的16维半单H opf代数中，有10个在某些最小内忠实作用下是反射H opf代数，从而将Chevalley–Shephard–Todd定理推广至非交换不变量理论。

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$.

研究动机与目标

• 通过识别在Artin–Schelter正则代数上作用如'反射'的H opf代数，将Chevalley–Shephard–Todd定理推广至非交换不变量理论。
• 对于16个非平凡的16维半单H opf代数中的每一个，确定其在2维或3维二次AS正则代数上的最小维内忠实表示。
• 计算这些作用下的不变子环，并判断其是否自身为AS正则，从而识别出反射H opf代数。
• 在16维中提供反射H opf代数的全面分类，填补较小维数和先前家族之间的空白。

提出的方法

• 对16个非平凡的16维半单H opf代数中的每一个，使用定理2.4对所有最小维内忠实表示进行分类。
• 构造H opf代数H作用于其上且作用为齐次和内忠实的2维或3维二次AS正则代数A。
• 利用迹函数和群可约作用性质，计算H作用下的不变子环A^H。
• 应用引理6.1以限制不变量的次数，并简化潜在不变量的形式。
• 使用生成元在单项式上作用的显式公式，推导出指数模4的条件，从而对不变量的结构施加约束。
• 将所得不变子环与AS正则性的已知判别准则进行比较，特别运用[10]中关于Ore扩张和交换多项式子环的结果。

实验结果

研究问题

• RQ1 在16个非平凡的16维半单H opf代数中，哪些在2维或3维二次AS正则代数上作为反射H opf代数作用？
• RQ2 每个此类H opf代数在二次AS正则代数上作用的最小内忠实表示维数是多少？
• RQ3 在何种作用下，不变子环A^H本身为AS正则，从而满足非交换版本的Chevalley–Shephard–Todd定理？
• RQ4 Kac–Paljutkin型H opf代数#14、#15和#16的不变量在结构和正则性上如何不同？
• RQ5 迹函数和类似特征值的条件在非交换设置中表征类似反射作用时起什么作用？

主要发现

• 在16个非平凡的16维半单H opf代数中，有10个在某个2维或3维二次AS正则代数上的最小内忠实作用下是反射H opf代数。
• Kashina #15在两类代数上作用为反射H opf代数：一类由关系uv±vu定义，另一类由u²±iv²定义，在三种情况下不变量为AS正则。
• 当作用满足p≡q mod 2且代数为交换多项式环的Ore扩张时，Kashina #15的不变子环为AS正则。
• Kashina #14（A₁₆）无内忠实的2维表示，但在五个3维AS正则Ore扩张中的三个上作用为反射H opf代数。
• Kashina #16（B₁₆）有八个内忠实的2维表示，且在其中四个上为反射H opf代数，确认其在非交换反射理论中的角色。
• 在AS正则情形下，不变子环被证明为交换多项式环的Ore扩张，从而由引理2.2可推出其AS正则性。