[论文解读] Galois corings applied to partial Galois theory

S. Caenepeel, E. De Groot|ArXiv.org|Jun 9, 2004

Algebraic structures and combinatorial models参考文献 2被引用 27

一句话总结

本文通过Galois余代（Galois corings）发展了偏Galois理论的非交换推广，证明了环上的偏群作用诱导出余代结构，并证明了关联的典范映射是同构当且仅当该扩张是忠实平坦的偏Galois扩张。其主要贡献在于构建了一个统一框架，将偏Galois扩张与余代理论联系起来，通过Moriata上下文和余代同构，将经典Galois理论推广至非交换设定。

ABSTRACT

Partial Galois extensions were recently introduced by Dokuchaev, Ferrero and Paques. We introduce partial Galois extensions for noncommutative rings, using the theory of Galois corings. We associate a Morita context to a partial action on a ring.

研究动机与目标

• 通过Galois余代理论将偏Galois理论从交换环推广至更广范围。
• 在环的偏群作用与理想直和上的余代结构之间建立对应关系。
• 通过典范映射的同构性与忠实平坦性，刻画偏Galois扩张。
• 从偏作用构造Moriata上下文，并证明其严格性刻画了偏Galois扩张。
• 通过余代形式化，将偏Galois理论与现有Galois理论统一起来。

提出的方法

• 从有限群 $G$ 在环 $A$ 上的偏作用构造余代 $\mathcal{C} = \bigoplus_{\sigma \in G} A e_\sigma $，其中 $e_\sigma$ 为幂等元。
• 在 $\mathcal{C}$ 中定义一个群元素 $x = \sum_{\sigma \in G} u_\sigma $，以诱导 $A$ 上的右 $\mathcal{C}$-余作用，使 $A$ 成为右 $\mathcal{C}$-余模。
• 使用典范映射 $\mathrm{can}: A \otimes_B A \to \mathcal{C}$，其中 $B = A^{\mathrm{co}\mathcal{C}}$，以刻画Galois扩张。
• 构造Moriata上下文 $ (T, {}^*\mathcal{C}, A, Q, \tau, \mu) $，其中 $T = A^{\mathrm{co}\mathcal{C}}$，并将其严格性与Galois性质关联。
• 证明典范映射 $\mathrm{can}$ 是同构当且仅当 $A$ 是 $B = T$ 上的忠实平坦模，且Moriata上下文是严格的。
• 利用 $A$ 与 $Q = \mathrm{Hom}_A({}^*\mathcal{C}, A)$ 之间的同构，将Moriata上下文结构转移到 $A$ 上。

实验结果

研究问题

• RQ1 在何种条件下，非交换环上的偏群作用会诱导出Galois余代结构？
• RQ2 如何利用典范映射 $\mathrm{can}: A \otimes_B A \to \mathcal{C}$ 来刻画偏Galois扩张？
• RQ3 何时与偏作用相关的Moriata上下文是严格的？这对其扩张意味着什么？
• RQ4 当 $A$ 关于不变子环 $B = A^{\mathrm{co}\mathcal{C}}$ 是忠实平坦时，与典范映射的同构性之间有何关系？
• RQ5 余代理论方法如何将偏Galois理论与经典及弱H opf-Galois理论统一起来？

主要发现

• 典范映射 $\mathrm{can}: A \otimes_B A \to \mathcal{C}$ 是同构当且仅当 $A$ 作为左 $B$-模是忠实平坦的，且 $\mathrm{can}$ 是同构。
• Moriata上下文 $ (B, {}^*\mathcal{C}, A, A, \tau, \mu) $ 是严格的当且仅当 $B = T$ 且典范映射是同构。
• 连接映射 $\tau: A \otimes_{{}^*\mathcal{C}} A \to T$ 是满射当且仅当存在 $a \in A$ 使得 $\sum_{\sigma \in G} \alpha_\sigma(a e_{\sigma^{-1}}) = 1$。
• 映射 $\mu: A \otimes_T A \to {}^*\mathcal{C}$ 由 $\mu(a \otimes b) = \sum_{\sigma \in G} u_\sigma \alpha_\sigma(a e_{\sigma^{-1}}) b$ 给出，定义了 $A$ 上的双模结构。
• $A$ 与 $Q = \mathrm{Hom}_A({}^*\mathcal{C}, A)$ 之间的同构允许将Moriata上下文结构转移到 $A$ 上，从而得到Moriata上下文 $ (T, {}^*\mathcal{C}, A, A, \tau, \mu) $。
• 定理3.6中四个条件的等价性，确立了偏Galois扩张在余代同构、忠实平坦性、严格Moriata上下文与范畴等价性方面的完整刻画。