[论文解读] On some properties of the category of cocommutative Hopf algebras

Christine Vespa, Marc Wambst|arXiv (Cornell University)|Feb 13, 2015

Algebraic structures and combinatorial models参考文献 8被引用 6

一句话总结

本文证明了在特征零域上的余交换霍普夫代数范畴是半阿贝尔的，并确定其阿贝尔核心为交换与余交换霍普夫代数的范畴。利用半阿贝尔范畴理论中的范畴工具——特别是 Hartl 与 Loiseau 的公理——作者证明该核心是最大的阿贝尔子范畴，从而确认整个余交换霍普夫代数范畴并非阿贝尔的。

ABSTRACT

By a recent work of Gran-Kadjo-Vercruysse, the category of cocommutative Hopf algebras over a field of characteristic zero is semi-abelian. In this paper, we explore some properties of this categoy, in particular we show that its abelian core is the category of commutative and cocommutative Hopf algebras.

研究动机与目标

• 研究在特征零域上的余交换霍普夫代数范畴的范畴结构。
• 确定该范畴是否满足半阿贝尔范畴的公理，基于 Gran、Kadjo 与 Vercruysse 的近期工作。
• 识别该半阿贝尔范畴的阿贝尔核心，即最大的全满阿贝尔子范畴。
• 证明交换与余交换霍普夫代数的范畴即为该阿贝尔核心，从而证明整个范畴并非阿贝尔的。

提出的方法

• 采用 Hartl 与 Loiseau 提出的半阿贝尔范畴的公理化表征，验证公理 A1–A4。
• 通过该范畴中核、余核以及有限极限与余极限的存在性，证明有限完备性与余完备性（A1）。
• 基于 Newman 关于子霍普夫代数与同时为双边理想与余理想的对应关系，证明分裂满射的箭图 $<\kappa, s>: K \amalg Y \to X$ 具有余核性质（A2）。
• 利用霍普夫代数商的性质与核的结构，验证余核的上拉像仍是余核（A3）。
• 基于 Gran、Kadjo 与 Vercruysse（2020）的结果，确认余核下核的像仍是核（A4）。
• 利用半阿贝尔范畴中阿贝尔对象的表征，证明阿贝尔核心恰好由同时为交换与余交换的霍普夫代数组成。

实验结果

研究问题

• RQ1 在特征零域上的余交换霍普夫代数范畴是否为半阿贝尔范畴？
• RQ2 在特征零下，余交换霍普夫代数范畴的阿贝尔核心是什么？
• RQ3 为何余交换霍普夫代数范畴并非阿贝尔的，尽管其阿贝尔核心是阿贝尔的？
• RQ4 霍普夫代数的范畴性质——尤其是代数与余代数结构之间的对偶性——如何影响其在半阿贝尔范畴中的行为？
• RQ5 交换性与余交换性在确定霍普夫代数半阿贝尔范畴的阿贝尔核心中起什么作用？

主要发现

• 在特征零域上的余交换霍普夫代数范畴满足半阿贝尔范畴的所有公理，从而确认了 Gran、Kadjo 与 Vercruysse 的定理 0.1。
• 余交换霍普夫代数范畴的阿贝尔核心恰好是交换与余交换霍普夫代数的范畴。
• 该结果意味着余交换霍普夫代数范畴并非阿贝尔的，因为其阿贝尔核心是其真子范畴。
• 经典结果——即交换与余交换霍普夫代数的范畴是阿贝尔的——作为推论被重新获得。
• 证明依赖于 Newman 关于子霍普夫代数与同时为双边理想与余理想的对应关系，该关系对验证余核与上拉公理至关重要。
• 范畴中的半直积构造被实现为 $K \# Y$，与标准霍普夫代数理论及核函子的单子结构一致。