[论文解读] Limits of Coalgebras, Bialgebras and Hopf Algebras

A. L. Agore|arXiv (Cornell University)|Mar 1, 2010

Advanced Topics in Algebra参考文献 4被引用 5

一句话总结

本文通过余自由余代数函子和子余代数的和，显式构造了任意家族的余代数、双代数和霍普夫代数的积与等化子。证明了余代数、双代数和霍普夫代数的范畴是完备的，通过展示其包含所有小极限，从而填补了文献中关于这些范畴中任意积与等化子的存在性与构造的空白。

ABSTRACT

We give the explicit construction of the product of an arbitrary family of coalgebras, bialgebras and Hopf algebras: it turns out that the product of an arbitrary family of coalgebras (resp. bialgebras, Hopf algebras) is the sum of a family of coalgebras (resp. bialgebras, Hopf algebras). The equalizers of two morphisms of coalgebras (resp. bialgebras, Hopf algebras) are also described explicitly. As a consequence the categories of coalgebras, bialgebras and Hopf algebras are shown to be complete and a explicit description for limits in the above categories is given.

研究动机与目标

• 通过显式构造余代数、双代数和霍普夫代数范畴中任意积与等化子，填补文献中的空白。
• 通过证明所有小极限的存在性，证明这些范畴是完备的。
• 通过余自由余代数函子和满足相容性条件的子余代数和，提供显式构造。
• 通过利用各自范畴中积的普遍性质，将构造从余代数扩展到双代数和霍普夫代数。
• 阐明从霍普夫代数到双代数的遗忘函子在保持积方面的作用，并确保极限中反极结构得以保持。

提出的方法

• 任意家族余代数的积被构造为底层向量空间积上余自由余代数 K(∏ᵢ Cᵢ) 的一个子余代数 D。
• D 定义为所有满足 πᵢ ∘ p ∘ j_E 是余代数同态（对所有 i ∈ I）的子余代数 E ⊆ K(∏ᵢ Cᵢ) 的和。
• 两个余代数同态 f, g: C → D 的等化子是 C 中所有包含于 {c ∈ C | f(c) = g(c)} 的子余代数的和。
• 对于双代数和霍普夫代数，积被构造为双代数范畴中积的子双代数（相应地，子霍普夫代数），并通过普遍性质保持反极。
• 该构造依赖于从 k-CoAlg 到 k-Mod 的遗忘函子具有右伴随（即余自由余代数函子），从而实现极限的显式构造。
• 证明使用了向量空间中积的普遍性质，并通过将态射提升至余自由余代数，确保与共乘法和单位元结构的相容性。

实验结果

研究问题

• RQ1 在域 k 上，余代数范畴是否包含任意积与等化子？
• RQ2 能否显式构造任意家族双代数或霍普夫代数的积？
• RQ3 在霍普夫代数极限中，如何保持反极以确保极限本身仍是霍普夫代数？
• RQ4 余自由余代数函子在余代数及其相关结构范畴中构造极限的过程中起什么作用？
• RQ5 霍普夫代数范畴是否完备？如果是，其极限如何表征？

主要发现

• 任意家族余代数的积被显式构造为底层向量空间积上余自由余代数的子余代数 D。
• 两个余代数同态 f, g: C → D 的等化子是 C 中所有包含于等化子集 {c ∈ C | f(c) = g(c)} 的子余代数的和。
• 余代数范畴是完备的，因为它包含所有小极限，包括任意积与等化子。
• 任意家族双代数的积被构造为双代数范畴中积的子双代数，共乘法与乘法均被保持。
• 任意家族霍普夫代数的积被构造为双代数范畴中积的子霍普夫代数，反极通过普遍性质保持。
• 从霍普夫代数到双代数的遗忘函子保持积，且极限中的反极被证明是良定义的，并与普遍映射相容。