[论文解读] Galois comodules

Tomasz Brzeziński|arXiv (Cornell University)|Dec 8, 2003

Algebraic structures and combinatorial models被引用 24

一句话总结

本文引入并表征了余代数系上的伽罗瓦余模和主余模，特别是在域上的情况，表明若一个有限生成的投影右余模的提升典范映射在左余模范畴中是分裂满射，则该余模为主余模。本文建立了一类具有群状元素且提升典范映射为满射的缠绕结构可产生主扩张，从而将该理论与非交换主丛联系起来。

ABSTRACT

Galois comodules of a coring are studied. The conditions for a simple comodule to be a Galois comodule are found. A special class of Galois comodules termed principal comodules is introduced. These are defined as Galois comodules that are projective over their comodule endomorphism rings. A complete description of principal comodules in the case a background ring is a field is found. In particular it is shown that a (finitely generated and projective) right comodule of an $A$-coring $\mathcal C$ is principal provided a lifting of the canonical map is a split epimorphism in the category of left $\mathcal C$-comodules. This description is then used to characterise principal extensions or non-commutative principal bundles. Specifically, it is proven that, over a field, any entwining structure consisting of an algebra $A$, a coseparable coalgebra $C$ and a bijective entwining map $\psi$ together with a group-like element in $C$ give rise to a principal extension provided the lifted canonical map is surjective. Induction of Galois and principal comodules via morphisms of corings is described. A connection between the relative injectivity of a Galois comodule and the properties of the extension of endomorphism rings associated to this comodule is revealed.

研究动机与目标

• 在余代数系的背景下定义并研究伽罗瓦余模。
• 引入并表征一类特殊的伽罗瓦余模——主余模，定义为在自身余模自同态环上投影的余模。
• 当基环为域时，对主余模提供完整的描述。
• 通过缠绕结构和提升典范映射的满射性，表征主扩张与非交换主丛。
• 研究伽罗瓦余模的相对内射性与自同态环扩张之间的关系。

提出的方法

• 通过余模范畴中典范映射及其提升来定义伽罗瓦余模。
• 将主余模定义为在自同态环上投影的伽罗瓦余模。
• 利用典范映射的提升在左余模范畴中为分裂满射的条件，来表征域上主余模。
• 分析由代数 A、余可分余代数 C 和双射缠绕映射 ψ 构成的缠绕结构，其中 C 中包含一个群状元素。
• 通过余代数同态应用诱导函子于伽罗瓦余模与主余模。
• 建立伽罗瓦余模的相对内射性与相关自同态环扩张性质之间的联系。

实验结果

研究问题

• RQ1 在何种条件下，一个简单余模是余代数系上的伽罗瓦余模？
• RQ2 何时一个伽罗瓦余模也是主余模，即在其自同态环上投影？
• RQ3 当基环为域时，主余模的特征是什么？
• RQ4 具有群状元素且提升典范映射为满射的缠绕结构如何产生主扩张？
• RQ5 伽罗瓦余模的相对内射性与其实自同态环扩张之间存在何种关系？

主要发现

• 一个 A-余代数 𝒞 的有限生成且投影的右余模是主余模，当且仅当其典范映射的提升在左 𝒞-余模范畴中是分裂满射。
• 在域上，若缠绕结构具有双射缠绕映射 ψ、余可分余代数 C，且 C 中含有群状元素，则只要提升典范映射是满射，即可产生主扩张。
• 主余模类在通过余代数同态的诱导下是封闭的。
• 伽罗瓦余模是相对内射的，当且仅当其相关自同态环扩张满足特定同调性质。
• 该理论通过缠绕结构和典范映射的分裂满射性，对非交换主丛提供了表征。
• 本文在基为域的情况下，建立了主余模的完整结构描述，将代数性质与范畴性质联系起来。