[论文解读] Rational Modules for Corings

Jawad Abuhlail|ArXiv.org|Oct 6, 2002

Structural Analysis of Composite Materials被引用 6

一句话总结

本文为任意环上的余代数发展了一般性的有理模理论，扩展了此前关于余代数有理模的研究。当余代数满足局部投射性且满足α条件时，证明了有理模的范畴与一个群乘积代数上的模范畴等价，推广了Doi-Koppinen与耦合模的结果，并表明这些范畴属于σ[M]型。

ABSTRACT

In this paper we lay the basis of the theory of rational modules of corings extending results on rational modules for coalgebras to the case of arbitrary ground rings. We apply these results mainly to categories of entwined modules (e.g. Doi-Koppinen modules, alternative Doi-Koppinen modules) generalizing results of Y. Doi, M. Koppinen and C. Menini et al. on the categries of Doi-Hopf moduels and categories of relative Hopf modules.

研究动机与目标

• 将有理模理论从余代数推广至任意环上的余代数。
• 通过将投射性假设弱化为局部投射性，推广Doi-Koppinen与耦合模的结果。
• 证明耦合模的范畴属于σ[M]型，这是模论中已充分理解的一类范畴。
• 在统一框架下，整合并推广此前关于有理模的研究成果，包括Doi、Koppinen与Menini的工作。
• 利用线性拓扑与α条件，建立有理模的拓扑与代数刻画。

提出的方法

• 引入测量左、右R-配对，并在代数上定义两种线性拓扑：弱线性拓扑与C-Adic拓扑。
• 证明对于测量配对，弱线性拓扑与C-Adic拓扑一致，从而实现对有理模的拓扑刻画。
• 应用α条件，刻画测量左（相应地右）配对，使得有理模范畴与σ[C_A]（相应地σ[C_{*C}]]）等价。
• 利用有限性定理（定理2.24）证明：在α条件下，测量左α-配对的有理模是有限生成的。
• 将一般理论应用于耦合结构、Doi-Koppinen结构及替代Doi-Koppinen结构，表明有理模对应于群乘积代数上的模。
• 运用σ[M]理论证明，所得的有理模范畴是具有足够内射对象的格罗滕迪克范畴。

实验结果

研究问题

• RQ1 对于环R上的余代数C，在何种条件下，有理模范畴与群乘积代数上的模范畴等价？
• RQ2 α条件如何与余代数的局部投射性及配对映射像的余稠密性相关联？
• RQ3 在比C的投射性更弱的假设下，Doi-Koppinen模范畴能否嵌入群乘积代数上的模范畴？
• RQ4 有理模在余代数上的结果在多大程度上可推广至非交换基环上的余代数？
• RQ5 代数上的线性拓扑（弱拓扑与C-Adic拓扑）如何与有理模的结构相关联？

主要发现

• 对于测量左α-配对(A,C)，其有理模范畴与σ[C_A]等价，即由C-模A生成的范畴。
• 当余代数C满足局部投射性且α条件成立时，有理模范畴与σ[C_{*C}]等价。
• 有限性定理（定理2.24）保证了在α条件下，有理模是有限生成的。
• 对于右-右Doi-Koppinen结构(H,A,C)，若C是局部投射的，则Doi-Koppinen模范畴与σ[(A⊗C)_{#^{op}(C,A)}]等价。
• 若C是有限生成且投射的，则Doi-Koppinen模范畴与群乘积代数A#^{op}C*上的模范畴等价。
• 本研究结果推广了Doi、Koppinen与Menini的早期成果，将它们从投射余代数推广至局部投射余代数。