[论文解读] Automorphisms of Regular Algebras

Todor Popov|ArXiv.org|Jan 11, 2006

Algebraic structures and combinatorial models参考文献 7被引用 3

一句话总结

本文将马宁的量子矩阵群构造方法推广至三维非二次正则阿廷-施莱尔曼代数，为二次与三次情形均构造了自同构的霍普夫代数。对于三次代数，其结果为先前分类中未涵盖的新量子群，且对于 $S_2$ 等特定类型，量子群的盖法尔德-基里洛夫维数为 7，而非预期的 9。

ABSTRACT

Manin associated to a quadratic algebra (quantum space) the quantum matrix group of its automorphisms. This Talk aims to demonstrate that Manin's construction can be extended for quantum spaces which are non-quadratic homogeneous algebras. Here given a regular Artin-Schelter algebra of dimension 3 we construct the quantum group of its symmetries, i.e., the Hopf algebra of its automorphisms. For quadratic Artin-Schelter algebras these quantum groups are contained in the the classification of the GL(3) quantum matrix groups due to Ewen and Ogievetsky. For cubic Artin-Schelter algebras we obtain new quantum groups which are automorphisms of cubic quantum spaces.

研究动机与目标

• 将马宁关于量子矩阵群的构造从二次代数推广至三维非二次（具体为三次）正则阿廷-施莱尔曼代数。
• 证明正则代数的自同态双代数可通过添加逆关系扩展为霍普夫代数，从而定义对称量子群。
• 对三次正则代数进行分类并构造新量子群，这些量子群未包含在埃文-奥吉耶夫茨基对 $GL(3)$-型量子群的分类中。
• 计算自同构量子群的盖法尔德-基里洛夫维数，并表明对于某些三次代数，其值可为 7 而非预期的 9。

提出的方法

• 通过代数与其对偶的张量积定义自同态双代数 $e( ext{A}) = \text{A}^! \bullet \text{A}$，关系由定义关系的零化子导出。
• 将双代数 $e(\text{A})$ 构造为 $A(E^* \bigotimes E, r \bigoplus \bar{r})$ 的商代数，通过度量 $g^{ij} = \bar{\rho}^{ij}$ 将 $\text{A}$ 和 $\text{A}^!$ 的生成元联系起来。
• 引入准行列式 ${\rm D} = {\rm D}(\text{A})$ 作为拟中心元素，满足 ${\rm D} u_j^i = h_{(j)}^{(i)} u_j^i {\rm D}$，其中 $h_{(j)}^{(i)}$ 由不变张量 $\tilde{\rho}$ 确定。
• 定义反向算子 $S(u_j^i) = {\rm D}^{-1} {\rm S}_L(u_j^i) = {\rm S}_R(u_j^i) {\rm D}^{-1}$，通过 $\rm D$ 的逆将双代数扩展为霍普夫代数 $H(\text{A})$。
• 利用克雷默伴随映射 ${\rm S}_L$ 和 ${\rm S}_R$ 验证反向算子公理，确保 $m \big( \text{Id} \bigotimes S \big) \bigcirc \triangle = m \big( S \bigotimes \text{Id} \big) \bigcirc \triangle = \rho \bigcirc \rho$。
• 利用不变张量 $\rho$ 的循环性推导 $h_{(j)}^{(i)}$ 的结构，从而确定 ${\rm D}$ 的拟中心作用。

实验结果

研究问题

• RQ1 马宁的量子矩阵群构造能否推广至非二次代数，包括非二次正则代数？
• RQ2 三维三次正则阿廷-施莱尔曼代数的自同构量子群的结构如何？
• RQ3 自同构量子群的盖法尔德-基里洛夫维数与三维代数的经典情形 $gk\text{-}\text{dim} = 9$ 相比如何？
• RQ4 准行列式 ${\rm D}$ 在定义反向算子并确保霍普夫代数结构中起什么作用？
• RQ5 由三次正则代数产生的量子群是否为新构造，还是存在于埃文与奥吉耶夫茨基的 $GL(3)$-型量子群分类中？

主要发现

• 该构造为任意通用的三维正则阿廷-施莱尔曼代数生成了自同构霍普夫代数 $H(\text{A})$，将马宁的框架扩展至二次情形之外。
• 对于三次正则代数，所得量子群为新构造，且未包含在埃文-奥吉耶夫茨基对 $GL(3)$-型量子矩阵群的分类中。
• 对于 $S_2$ 类型的某些三次代数，$H(\text{A})$ 的盖法尔德-基里洛夫维数为 7，与预期的 $gk\text{-}\text{dim} = 9$ 相矛盾。
• 准行列式 ${\rm D}$ 为拟中心元素，满足 ${\rm D} u_j^i = h_{(j)}^{(i)} u_j^i {\rm D}$，其中 $h_{(j)}^{(i)} = h^{j-i}$ 且 $h = -1$ 对于 $S_2$ 类型代数成立。
• 反向算子通过 $S(u_j^i) = {\rm D}^{-1} {\rm S}_L(u_j^i)$ 显式构造，并满足反向算子公理，确认 $H(\text{A})$ 为霍普夫代数。
• 准行列式的逆满足 $S({\rm D}) = {\rm D}^{-1}$，与霍普夫代数公理及余单位性质 $\rho({\rm D}) = 1$ 一致。