[论文解读] Pertinency of Hopf actions and quotient categories of Cohen-Macaulay algebras

Yan-Hong Bao, J.-W. He+1 more|arXiv (Cornell University)|Mar 8, 2016

Algebraic structures and combinatorial models参考文献 43被引用 11

一句话总结

本文引入了霍普夫代数作用于阿廷-施莱尔正则、科恩-麦克aul伊代数时的关联性不变量，建立了非交换版本的奥尔施泰因定理。证明了关联性 ≥ 2 等价于同调小型性，以及对不变子代数的端射代数与群半直积代数之间的自然同构存在性，推广了非交换代数几何与 McKay 对应理论中的经典结果。

ABSTRACT

We study invariants and quotient categories of fixed subrings of Artin-Schelter regular algebras under Hopf algebra actions.

研究动机与目标

• 将经典奥尔施泰因定理推广至非交换设定，利用霍普夫代数作用。
• 定义并研究关联性不变量，作为霍普夫代数作用于阿廷-施莱尔正则代数的同调度量。
• 建立群半直积代数同构于不变子代数的端射代数的条件。
• 研究非交换商奇点中关联性、同调小型性与科恩-麦克aul伊性质之间的相互作用。
• 通过商范畴与霍普夫作用，将 McKay 对应框架扩展至非交换代数。

提出的方法

• 引入关联性不变量 $\mathsf{p}(R,H) = \operatorname{GKdim} R - \operatorname{GKdim}((R\#H)/I)$，其中 $I$ 是由 $1\#\int$ 生成的双边理想，$\int$ 是半单霍普夫代数 $H$ 的积分。
• 利用 Gelfand-Kirillov 维数度量代数的增长性，并通过商代数 $R\#H/I$ 的阶定义同调小型性。
• 将科恩-麦克aul伊性质作为关键同调条件，以确保非交换奥尔施泰因定理的有效性。
• 建立 $\mathsf{p}(R,H) \geq 2$、同调小型性与同构 $R\#H \cong \operatorname{End}_{R^H}(R)$ 之间的等价性。
• 利用斜多项式环与对称群作用的结构，在特定情形下（特别是 $\Bbbk_{-1}[x_1,\dots,x_n]$）计算关联性。
• 利用迹函数与单位根构造分析商环的维数，并推导出素商环 GK-维数的界。

实验结果

研究问题

• RQ1 在何种条件下，对于作用于科恩-麦克aul伊、AS 正则代数 $R$ 的霍普夫代数 $H$，群半直积 $R\#H$ 同构于 $\operatorname{End}_{R^H}(R)$？
• RQ2 关联性不变量 $\mathsf{p}(R,H)$ 与 $R\#H/I$ 的阶等同调性质有何关系？
• RQ3 对于对称群在斜多项式代数上的作用，关联性能否进行组合计算？
• RQ4 在商奇点背景下，关联性与非交换 McKay 对应关系有何联系？
• RQ5 科恩-麦克aul伊性质在多大程度上确保了非交换奥尔施泰因定理的有效性？

主要发现

• 当且仅当 $H$-作用为同调小型且自然映射 $R\#H \to \operatorname{End}_{R^H}(R)$ 是同构时，关联性 $\mathsf{p}(R,H) \geq 2$。
• 对于奇数 $n$ 的斜多项式环 $\Bbbk_{-1}[x_1,\dots,x_n]$，对称群 $G = S_n$ 通过置换作用的关联性 $\mathsf{p}(R,G)$ 为 $n - n/p$，其中 $p$ 是 $n$ 的最小奇素因子。
• 当 $n = 2^d$ 时，关联性 $\mathsf{p}(R,G) = n$，因为迹函数在 $t=1$ 处极点的阶为零。
• 关联性 $\mathsf{p}(R,G)$ 上界为 $n - N_n$，其中 $N_n$ 是满足 $\gcd(i,n)=1$ 的不同 $Y_{2i}$ 的数量，且当 $4 \nmid n$ 时 $N_n = \phi(n)$，当 $4 \mid n$ 时 $N_n = \phi(n)/2$。
• 对于作用于 $\Bbbk_{-1}[x_1,\dots,x_n]$ 的威莱群 $W$，有 $\mathsf{p}(R,W) \geq 2$，且非交换奥尔施泰因定理成立。
• 关联性不变量可检测 $R/R^H$ 是否为右 $H^*$-稠密伽罗瓦扩张，当且仅当 $\mathsf{p}(R,H) = \operatorname{GKdim} R$ 时该条件成立。