[论文解读] The Finite Duals of Affine Prime Regular Hopf Algebras of GK-Dimension One

Kangqiao Li, Gongxiang Liu|arXiv (Cornell University)|Feb 28, 2021

Algebraic structures and combinatorial models参考文献 32被引用 6

一句话总结

该论文通过显式计算其有限对偶 $H^\circ$ 并选取合适的霍普夫子代数 $H^\bullet \subseteq H^\circ$，为所有吉尔班德-基里洛夫维数为一的仿射素正则霍普夫代数 $H$ 构造了非退化的、仿射的、诺特的霍普夫配对 $\langle -, - \rangle: H^\bullet \otimes H \to \mathbbm{k}$。关键贡献在于对这类配对的完整分类，表明当且仅当 $H$ 是无限二面体群代数 $\mathbbm{k}\mathbb{D}_\infty$ 时，$H^\bullet$ 是正则的，而其他情况则导致非正则的 $H^\bullet$，从而揭示了在无限维情形下正则性与半单性之间对偶性的失效。

ABSTRACT

This paper is an attempt to construct a special kind of Hopf pairing $\langle-,- angle:H^\bullet\otimes H ightarrow\Bbbk$. Specifically, $H^\bullet$ and $H$ should be both affine, noetherian and of the same GK-dimension. In addition, some properties of them would be dual to each other. We test the ideas in two steps for all the affine prime regular Hopf algebras $H$ of GK-dimension one: 1) We compute the finite duals $H^\circ$ of them, which are given by generators and relations; 2) the Hopf pairings desired are determined by choosing certain Hopf subalgebras $H^\bullet$ of $H^\circ$, where $\langle-,- angle$ becomes the evaluation.

研究动机与目标

• 为吉尔班德-基里洛夫维数为一的仿射素正则霍普夫代数 $H$ 构造非退化的霍普夫配对 $H^\bullet \otimes H \to \mathbbm{k}$，满足有限性与对称性条件。
• 显式计算每个此类 $H$ 的有限对偶 $H^\circ$，以生成元与关系的形式表示。
• 识别一个最小的、唯一的霍普夫子代数 $H^\bullet \subseteq H^\circ$，使得配对非退化，且 $H^\bullet$ 与 $H$ 均为仿射、诺特的，且具有相同的吉尔班德-基里洛夫维数。
• 研究 $H^\bullet$ 的正则性是否能对偶化为 $H$ 的正则性，并确定此类配对存在的条件及其唯一性。

提出的方法

• 通过涉及在有限余维理想上消失的泛函的定义，显式计算每个吉尔班德-基里洛夫维数为一的仿射素正则霍普夫代数 $H$ 的有限对偶 $H^\circ$。
• 利用所有此类 $H$ 均为交换的有限扩张这一事实，从而可运用表示论与组合技术来描述 $H^\circ$。
• 将 $H^\bullet$ 识别为 $H^\circ$ 中由特定元素（如 $\psi_{1,\gamma}, E_1, E_2$）生成的霍普夫子代数，其关系由 $H$ 的结构导出。
• 利用庞加莱-伯克霍夫-维尔定理分析模结构与投射维数，以评估 $H^\bullet$ 的正则性。
• 应用整体维数准则：若 $H^\bullet$ 是正则的，则 $\mathrm{prdim}_{\mathbbm{k}\langle E_1\rangle}(\mathbbm{k}) < \infty$，而当 $\mathbbm{k}\langle E_1\rangle$ 为非域局部代数时该条件不成立。
• 通过在生成元上进行求值，并借助田中框架的量子群三元组 $(A, U, \langle -, - \rangle)$ 验证配对 $\langle -, - \rangle$ 的非退化性。

实验结果

研究问题

• RQ1 对于吉尔班德-基里洛夫维数为一的仿射素正则霍普夫代数 $H$，是否存在一个最小的、非退化的霍普夫配对 $H^\bullet \otimes H \to \mathbbm{k}$，使得 $H^\bullet$ 为仿射、诺特的，且与 $H$ 具有相同的吉尔班德-基里洛夫维数？
• RQ2 在何种条件下，此类 $H$ 的有限对偶 $H^\circ$ 可以用生成元与关系显式计算？
• RQ3 在给定条件下，形成配对的霍普夫子代数 $H^\bullet \subseteq H^\circ$ 是否唯一？
• RQ4 在该配对下，$H^\bullet$ 的正则性是否蕴含 $H$ 的正则性，反之亦然？
• RQ5 此类配对是否能揭示有限维中正则性与半单性之间对偶性的失效现象于无限维霍普夫代数中？

主要发现

• 无限二面体群代数 $\mathbbm{k}\mathbb{D}_\infty$ 的有限对偶 $H^\circ$ 同构于多项式代数 $\mathbbm{k}[\mathbb{Z}_2][E_2]$，其中 $\mathbb{Z}_2$ 是半单的，因此 $\operatorname{gldim}((\mathbbm{k}\mathbb{D}_\infty)^\bullet) = 1 < \infty$，故 $H^\bullet$ 是正则的。
• 对于 $B(n,\omega,\gamma)$ 且 $n \geq 2$ 的情形，其对偶 $B(n,\omega,\gamma)^\bullet$ 不是正则的，因为 $\mathrm{prdim}_{\mathbbm{k}\langle E_1\rangle}(\mathbbm{k}) = \infty$，原因在于 $\mathbbm{k}\langle E_1\rangle$ 是一个非域局部代数。
• 类似地，$T_\infty(n,v,\xi)^\bullet$ 也不是正则的，因为它包含一个与 $B(n,\omega,\gamma)^\bullet$（$n \geq 2$）同构的非正则子代数。
• 当 $m \geq 2$ 时，$D(m,d,\xi)^\bullet$ 不是正则的，因为其包含 $B(m,\omega,\gamma)^\bullet$ 作为直和项，且 $\operatorname{gldim}(B(m,\omega,\gamma)^\bullet) = \infty$。
• 所构造的霍普夫配对 $\langle -, - \rangle: H^\bullet \otimes H \to \mathbbm{k}$ 满足所有要求（HP1）–（HP4），包括非退化性、有限性以及相等的吉尔班德-基里洛夫维数。
• 包含单位的最小霍普夫子代数 $H^\bullet \subseteq H^\circ$ 是唯一的，并形成非退化配对，此结论由命题 6.4 与注记 6.7 确认。