[论文解读] Galois theory for H-extensions

Marcin Szamotulski|arXiv (Cornell University)|Apr 29, 2013

Algebraic structures and combinatorial models参考文献 23被引用 4

一句话总结

该论文在 A 和 H 均为平坦 Mittag-Leffler 模的条件下，建立了 H-余模代数 A 的子代数与 Hopf 代数 H 的广义商之间的伽罗瓦对应。该研究推广了 Schauenburg 的可接受对象理论，证明了 H-Galois 上扩张是闭元素，并利用非交换设定下的余代数理论方法与典范映射，给出了当 A = H 时伽罗瓦对应为双射的充要条件。

ABSTRACT

We show that there exists a Galois correspondence between subalgebras of an H-comodule algebra A over a base ring R and generalised quotients of a Hopf algebra H if both A and H are flat Mittag--Leffler modules. We also provide new criteria for subalgebras and generalised quotients to be closed elements of the Galois connection constructed. We generalise the Schauenburg theory of admissible objects to this more general context. Then we consider coextensions of H-module coalgebras. We construct a Galois connection for them and we prove that H-Galois coextensions are closed. We apply the results obtained to the Hopf algebra itself and we give a simple proof that there is a bijective correspondence between right ideal coideals of H and its left coideal subalgebras when H is finite dimensional. Furthermore, we formulate a necessary and sufficient condition for a bijective Galois correspondence for A=H. We also consider crossed product algebras.

研究动机与目标

• 将 Schauenburg 的可接受对象理论推广至更广泛的范畴论与非交换背景下的 H-余模代数。
• 在 H-余模代数 A 的子代数与 Hopf 代数 H 的广义商之间建立伽罗瓦对应。
• 为子代数与广义商在伽罗瓦联系中成为闭元素提供新的判别准则。
• 将理论扩展至 H-模余代数的上扩张，并证明 H-Galois 上扩张是闭元素。
• 将结果应用于霍普夫代数 H 本身，证明当 H 有限维时，右理想余理想与左余理想子代数之间存在双射对应。

提出的方法

• 在 A 的子代数格与 H 的广义商格之间构造伽罗瓦联系 (Φ, Ψ)。
• 利用典范映射 can: A ⊗_R A → A ⊗ H 定义伽罗瓦扩张并分析其性质。
• 通过 Homk(H, A) 的余代数方法，研究映射 Θ 与 Υ，以分析闭元素。
• 应用 Mittag-Leffler 条件以确保子对象格中交的平坦性与稳定性。
• 利用 H 的子对象与 H* 的商之间的对偶性，将 H-Galois 扩张与 H*-Galois 扩张联系起来。
• 证明：若典范映射是同构，且 A 是整环且 H 作用为单射，则 Homk(K, A) 在商格中是闭元素。

实验结果

研究问题

• RQ1 在何种条件下，H-余模代数 A 的子代数与 Hopf 代数 H 的广义商之间存在伽罗瓦对应？
• RQ2 何种判别准则可确保子代数与广义商在伽罗瓦联系中为闭元素？
• RQ3 如何将 Schauenburg 的可接受对象理论推广至基环 R 上的 H-余模代数设定？
• RQ4 当 A = H 时，伽罗瓦对应在何种条件下为双射？其必要且充分条件为何？
• RQ5 典范映射的性质与 H 在 A 上的作用如何影响子代数与商的闭性？

主要发现

• 若 A 与 H 均为平坦 Mittag-Leffler 模，则 H-余模代数 A 的子代数与 Hopf 代数 H 的广义商之间存在伽罗瓦对应。
• 若 A 是整环且 H 通过单射作用，则子代数 S ⊆ A 在伽罗瓦联系中为闭元素，当且仅当典范映射 canS: A ⊗_S A → A ⊗ Ψ(S) A 是同构。
• H-Galois 上扩张的 H-模余代数是伽罗瓦联系中的闭元素，该结果将经典结果推广至余代数设定。
• 当 H 有限维时，H 的右理想余理想与 H 的左余理想子代数之间存在双射对应，该结果通过 duality 与典范映射证明。
• 若典范映射 canK 对某个子对象 K ⊆ H 是同构，则 Homk(K, A) 是 Quot(Homk(H, A)) 中的闭元素，且 K 是 Subgen(H) 中的闭元素。
• 典范映射 canH 是同构当且仅当 canH* 是同构，且在给定假设下，这意味着对所有子对象 K ⊆ H，canK 均为同构。