[论文解读] Generalized Hopf Modules for bimonads

Marcelo Aguiar, Stephen U. Chase|arXiv (Cornell University)|Dec 14, 2012

Algebraic structures and combinatorial models参考文献 31被引用 11

一句话总结

本文通过引入余模-单子和余群对象 $ C $，将Sweedler的霍普夫模基本定理与Schneider的结构定理推广至双单子的设定中，建立了霍普夫模与 $ C $-余模之间的范畴等价。主要贡献是一个统一的框架，将经典霍普夫模理论扩展至双单子化与2-单子范畴的语境，其应用涵盖霍普夫伽罗瓦理论与希尔伯特定理90。

ABSTRACT

Bruguières, Lack and Virelizier have recently obtained a vast generalization of Sweedler's Fundamental Theorem of Hopf modules, in which the role of the Hopf algebra is played by a bimonad. We present an extension of this result which involves, in addition to the bimonad, a comodule-monad and a algebra-comonoid over it. As an application we obtain a generalization of another classical theorem from the Hopf algebra literature, due to Schneider, which itself is an extension of Sweedler's result (to the setting of Hopf Galois extensions).

研究动机与目标

• 通过引入余模-单子结构，将霍普夫代数上的霍普夫模基本定理推广至双单子。
• 在双单子框架内推广Schneider对霍普夫伽罗瓦扩张的结构定理。
• 引入余群对象 $ C $ 作为连接广义霍普夫模中单子结构与余模结构的核心结构。
• 建立广义霍普夫模范畴与 $ C $-余模范畴之间的范畴等价，推广经典结果。
• 为2-单子范畴中双幺半群上的霍普夫模提供范畴基础，其动机源于非交换希尔伯特定理90。

提出的方法

• 引入沿伴随关系的共轭共单子，推广Beck的共单子性定理。
• 在双单子 $ T $ 上定义余模-单子，推广霍普夫伽罗瓦理论中的相对霍普夫模。
• 从双单子与余模-单子构造余群对象 $ C $，确保模结构与余模结构之间的相容性。
• 将霍普夫模结构定义为余模-单子上的代数与余群对象 $ C $ 上的余模，满足一个关联公理。
• 证明一个主定理，表明此类广义霍普夫模的范畴与 $ C $-余模的范畴等价。
• 使用伽罗瓦算子及其可逆性作为等价性的判别准则，推广经典霍普夫伽罗瓦条件。

实验结果

研究问题

• RQ1 如何将Sweedler的霍普夫模基本定理从霍普夫代数推广至双单子？
• RQ2 引入余群对象 $ C $ 如何细化双单子上广义霍普夫模的结构？
• RQ3 双单子上余模-单子的理论如何推广Schneider对霍普夫伽罗瓦扩张的结构定理？
• RQ4 共轭共单子在将共单子性定理推广至此设定中起什么作用？
• RQ5 广义霍普夫模与 $ C $-余模之间有何关系？在何种条件下可建立这种等价性？

主要发现

• 本文建立了广义霍普夫模范畴（关于余模-单子与余群对象 $ C $）与 $ C $-余模范畴之间的范畴等价。
• 该等价性由广义伽罗瓦算子的可逆性表征，推广了霍普夫伽罗瓦理论中的关键判别准则。
• 推导出共轭共单子的普遍性质，从而实现对Beck共单子性定理的推广。
• 该理论为非交换希尔伯特定理90提供了范畴框架，其中 $ H^1(G, GL(n,A)) $ 分类了基变换为自由的 $ Bbbk $-模的同构类。
• 当 $ A $ 是 $ Bbbk $-代数的忠实平坦代数且伽罗瓦映射为同构时，第一上同调集 $ H^1(G, Aut_A(N)) $ 分类了满足 $ A ens M isom N $ 作为 $ A $-模的 $ Bbbk $-模 $ M $ 的同构类。
• 当 $ n=1 $ 时，双射成为群同构，导出正合序列 $ 1 \to \tH^1(G,A^\times) \to \tPic(\tBbbk) \to \tPic(A) $，实现了希尔伯特定理90的非交换版本。