[论文解读] Auslander's Theorem for group coactions on noetherian graded down-up algebras

Jiangxi Chen, Ellen Kirkman+1 more|arXiv (Cornell University)|Jan 27, 2018

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

一句话总结

本文为诺etherian分次下降-上升代数上的有限群余作用建立了非交换版本的Auslander定理。通过在同调行列式平凡的条件下证明关联性 invariant 至少为2，确认了群 smash 积代数 $A\#H$ 与自同态代数 $\operatorname{End}_{A^H}(A)$ 之间的同构，从而将非交换 McKay 对应关系推广到此类代数。

ABSTRACT

We prove a version of a theorem of Auslander for finite group coactions on noetherian graded down-up algebras.

研究动机与目标

• 将Auslander定理推广至诺etherian分次下降-上升代数上的有限群余作用设置。
• 验证全局维数为三的Artin-Schelter正则下降-上升代数的非交换Auslander猜想。
• 建立自然映射 $A\#H \to \operatorname{End}_{A^H}(A)$ 为同构的条件。
• 证明当同调行列式平凡时，关联性条件 $\mathsf{p}(A,H) \geq 2$ 成立。

提出的方法

• 使用关联性不变量 $\mathsf{p}(A,H) = \operatorname{GKdim} A - \operatorname{GKdim}((A\#H)/I)$，其中 $I$ 是由 $1\#\int$ 生成的理想，来分析霍普夫代数 $H = \Bbb{k}^G$ 的作用。
• 应用左 $H$-作用与右 $K$-余作用之间的等价性，其中 $K = \Bbb{k}G$ 对于有限群 $G$，将问题重新表述为余作用形式。
• 利用 $A = \mathbb{D}(\alpha,\beta)$ 在 $\beta \neq 0$ 时为全局维数三的Artin-Schelter正则且诺etherian的性质，确保适当的同调性质。
• 将同调行列式的平凡性作为关键条件，以确保 $\mathsf{p}(A,H) \geq 2$，这通过 [4, 定理 0.3] 推出同构 $A\#H \cong \operatorname{End}_{A^H}(A)$。
• 通过验证在给定条件下，典范映射 $\phi: A\#H \to \operatorname{End}_{A^H}(A)$ 是分次代数同构，来确认同构关系。
• 分析具体例子，如 $D_{2n}$-余作用于代数 $\mathbb{H}$，以表明不变子代数是迭代Ore扩张中的超曲面，从而确认不变子代数的结构。

实验结果

研究问题

• RQ1 当同调行列式平凡时，Auslander定理是否对诺etherian分次下降-上升代数上的有限群余作用成立？
• RQ2 在何种条件下，此类余作用的关联性 $\mathsf{p}(A,H)$ 至少为2？
• RQ3 在下降-上升代数的非交换设定下，同构 $A\#H \cong \operatorname{End}_{A^H}(A)$ 是否可建立？
• RQ4 通过此同构，非交换 McKay 对应关系是否可在下降-上升代数上实现？
• RQ5 如注记 1.6(2) 所示，当同调行列式非平凡时，该定理是否失效？

主要发现

• 本文证明：若有限群 $G$ 通过 $H = \Bbb{k}^G$ 作用于诺etherian分次下降-上升代数 $\mathbb{D}(\alpha,\beta)$，且同调行列式平凡，则 $\mathsf{p}(A,H) \geq 2$。
• 这蕴含存在分次代数同构 $A\#H \cong \operatorname{End}_{A^H}(A)$，从而在该设定下确认了非交换Auslander定理。
• 该结果在 $\beta \neq 0$ 时成立，确保代数为诺etherian且为全局维数三的Artin-Schelter正则代数。
• 若缺少同调行列式平凡的条件，该定理不成立，如注记 1.6(2) 所示。
• 证明了固定子代数 $\mathbb{H}^{co\;D_{2n}}$ 是迭代Ore扩张中的超曲面，其Hilbert级数为 $\frac{1-t^{4n}}{(1-t^2)^2(1-t^{2n})^2}$，从而确认其为AS-正则结构。
• 通过生成元 $x^2, y^2, (yx)^n, (xy)^n$ 及涉及 $\sigma$-扭曲导子的关系构造不变子代数，确认其为广义Weyl代数。