[论文解读] Flatness and freeness properties of the generic Hopf Galois extensions

Christian Kassel, Akira Masuoka|arXiv (Cornell University)|Nov 19, 2009

Algebraic structures and combinatorial models参考文献 12被引用 8

一句话总结

本文建立了在何种充分条件下，自由交换霍普夫代数 $ S(t_H)_\Theta $ 在余不变子代数 $ \mathcal{B}_H^\alpha $ 上是忠实平坦或自由的，这些条件出现在典型霍普夫伽罗瓦扩张中。本文证明了 $ \mathcal{B}_H^\alpha $ 由来自霍普夫模代数的多项式恒等式导出的元素生成，并在有限维性、余交换性或 $ H $ 的特定结构性质下展示了自由性与平坦性。其主要贡献在于将典型伽罗瓦扩张的整性与平坦性结果进行了广泛推广。

ABSTRACT

In previous work, to each Hopf algebra H and each invertible right two-cocycle on H, Eli Aljadeff and the first-named author attached a subalgebra B of the free commutative Hopf algebra S generated by the coalgebra underlying H; the algebra B is the subalgebra of coinvariants of a generic Hopf Galois extension. In this paper we give conditions under which S is faithfully flat, or even free, as a B-module. We also show that B is generated as an algebra by certain elements arising from the theory of polynomial identities for comodule algebras developped jointly with Aljadeff.

研究动机与目标

• 确定 $ S(t_H)_\Theta $ 作为 $ \mathcal{B}_H^\alpha $-模是忠实平坦或自由的充分条件。
• 解决先前工作中关于 $ S(t_H)_\Theta $ 在 $ \mathcal{B}_H^\alpha $ 上整性的开放问题，表明忠实平坦性是比整性更弱但更一般的充分条件。
• 证明子代数 $ \mathcal{B}_H^\alpha $ 由来自 $ H $-模代数多项式恒等式理论的元素生成。
• 将先前关于整性与平坦性的结果推广至更广泛的霍普夫代数类，包括有限维、余交换和 pointed 霍普夫代数。

提出的方法

• 作者通过分析 $ \mathcal{B}_H^\alpha $ 的结构及其与典型上循环 $ \sigma $ 的关系，将问题约化到 $ \alpha = \varepsilon $（平凡上循环）的情形。
• 他们将 $ S(t_H)_\Theta $ 定义为对称代数 $ S(t_H) $ 的分式域的子代数，由 $ t_x $ 和 $ t_x^{-1} $ 生成，其双代数结构由 $ H $ 导出。
• 他们引入了来自典型上循环及其逆的 $ \mathcal{B}_H $ 中的关键元素 $ p_x, p_x', q_{x,y}, q_{x,y}' $，并使用 Heyneman-Sweedler 记号表示余乘积。
• 他们用这些元素表达 $ \sigma(x,y) $ 和 $ \sigma^{-1}(x,y) $，并证明 $ \mathcal{B}_H $ 由 $ p_x, p_x', q_{x,y}, q_{x,y}' $ 生成。
• 他们应用模论结果：有限维性蕴含投影性，余交换性蕴含忠实平坦性，特定有限性条件蕴含自由性。
• 他们利用 $ H $-模代数的多项式恒等式理论来定义并关联 $ \mathcal{B}_H $ 的生成元，证明了其代数独立性与生成能力。

实验结果

研究问题

• RQ1 在何种条件下，$ S(t_H)_\Theta $ 在 $ \mathcal{B}_H^\alpha $ 上是忠实平坦的？这一条件弱于整性，但能确保从代数同态到 $ {}^\alpha H $ 的 $ K $-形式的满射性？
• RQ2 子代数 $ \mathcal{B}_H^\alpha $ 是否由来自 $ H $-模代数多项式恒等式理论的元素（特别是 $ p_x, p_x', q_{x,y}, q_{x,y}' $）生成？
• RQ3 能否在有限维霍普夫代数之外的更广泛霍普夫代数类中，建立 $ S(t_H)_\Theta $ 在 $ \mathcal{B}_H^\alpha $ 上的自由性与忠实平坦性？
• RQ4 元素 $ p_x, p_x', q_{x,y}, q_{x,y}' $ 如何与典型上循环 $ \sigma $ 相关联？它们能否作为 $ \mathcal{B}_H $ 的自然生成元？
• RQ5 哪些 $ H $ 的结构性质——如余交换性、pointed 性或群点元素的有限生成性——能保证 $ S(t_H)_\Theta $ 在 $ \mathcal{B}_H^\alpha $ 上是自由或忠实平坦的？

主要发现

• 对于有限维 $ H $，$ S(t_H)_\Theta $ 是 $ \mathcal{B}_H $-模的有限生成投射生成元，从而蕴含忠实平坦性。
• 若 $ H $ 是余交换的，则 $ S(t_H)_\Theta $ 在 $ \mathcal{B}_H $ 上是忠实平坦的，将先前结果推广至更广泛的霍普夫代数类。
• 当 $ H $ 是具有有限个群点元素的 pointed 霍普夫代数时，$ S(t_H)_\Theta $ 在 $ \mathcal{B}_H $ 上是自由的，为自由性提供了强有限性条件。
• 若 $ H $ 是交换的或 pointed 余交换的，则 $ S(t_H)_\Theta $ 在 $ \mathcal{B}_H $ 上是自由的，推广了早期关于整性的结果。
• 代数 $ \mathcal{B}_H $ 由所有 $ x,y \in H $ 的元素 $ p_x, p_x', q_{x,y}, q_{x,y}' $ 生成，解决了关于自然生成元的长期悬而未决问题。
• 对于余交换的 $ H $，$ \mathcal{B}_H $ 由 $ p_x, q_{x,y} $ 及其对合元生成，简化了生成集。