[论文解读] Globalizations for partial (co)actions on coalgebras

Felipe Castro, Glauber Rodrigues de Quadros|arXiv (Cornell University)|Oct 5, 2015

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

一句话总结

本文引入了对余代数上部分（co）作用的全局化，证明了每个部分模余代数均可通过一个自然构造获得标准全局化。对于部分余模余代数，在对偶霍普夫代数满足有理条件时，建立了全局化性，将模代数中的已知结果推广至余代数范畴，并给出了明确的对偶性与相容性结果。

ABSTRACT

In this paper, we introduce the notion of globalization for partial module coalgebra and for partial comodule coalgebra. We show that every partial module coalgebra is globalizable exhibiting a standard globalization. We also show the existence of globalization for a partial comodule coalgebra, provided a certain rationality condition. Moreover, we show a relationship between the globalization for the (co)module coalgebra and the usual globalization for the (co)module algebra.

研究动机与目标

• 定义并研究部分模余代数与部分余模余代数的全局化，将部分作用理论扩展至余代数背景。
• 在代数与余代数之间建立部分（co）作用的对偶对应关系，推广模代数中的已知结果。
• 为任意部分模余代数构造标准全局化，确保存在一个包含原始部分作用的完整作用。
• 在对偶霍普夫代数上满足有理模条件时，证明部分余模余代数的全局化性。
• 将（co）模余代数的全局化与（co）模代数的经典全局化联系起来，保持结构对偶性。

提出的方法

• 通过满足特定条件的余乘法投影，引入部分模余代数的全局化概念，推广代数情形。
• 将部分模余代数的标准全局化构造为 $ C times H $，赋予其余代数结构，并扩展部分作用为共作用。
• 通过满足相容性条件的余乘法投影，定义余代数上的诱导部分共作用，类比于模情形。
• 在有限维或稠密性假设下，借助对偶霍普夫代数 $ H^0 $，建立部分模余代数与部分余模余代数之间的对偶性。
• 通过构造 $ C imes H^0 $ 作为全局化对象，证明部分余模余代数的全局化性，假设 $ C imes H^0 $ 是 $ H^0 $-有理模且 $ H^0 $ 分离点。
• 使用斯维德勒记号及 $ H^0 $ 在 $ C imes H^0 $ 上的作用，验证全局化的公理，包括共作用相容性与生成条件。

实验结果

研究问题

• RQ1 每个部分模余代数是否都能通过全局化构造嵌入到一个完整的模余代数中？
• RQ2 在何种条件下，部分余模余代数具有全局化？其与对偶霍普夫代数有何关系？
• RQ3 部分模与余模余代数的全局化概念如何与部分模代数理论中的对应概念相联系？
• RQ4 在确保部分余模余代数全局化性时，$ H^0 $ 的有理性和点分离性质起什么作用？
• RQ5 是否存在部分余模余代数的规范、普遍的全局化构造？其与部分模余代数的标准全局化相比如何？

主要发现

• 每个部分模余代数均存在标准全局化，构造为 $ C times H $，其为一个包含原始部分作用的完整 $ H $-模余代数。
• 对于部分余模余代数，当 $ C imes H^0 $ 是 $ H^0 $-有理模且 $ H^0 $ 分离点时，可实现全局化，确保存在一个全局化共作用。
• 部分余模余代数的标准全局化为 $ C imes H^0 $，其具有明确定义的共作用，且余乘法投影满足所需公理。
• 部分余模余代数的全局化构造与模与余模结构之间的对偶性相容，将模代数中的已知结果推广至余代数范畴。
• 本文建立了部分模余代数全局化与部分模代数全局化之间的直接对应关系，保持结构与范畴性质。
• 在有限维情形下，$ H^0 = H^* $，且由于 $ H^* $ 总是分离点，因此对有限维霍普夫代数，标准全局化 $ C imes H^* $ 无条件存在。