[论文解读] Enrichment of Categories of Algebras and Modules

Christina Vasilakopoulou|arXiv (Cornell University)|May 29, 2012

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

一句话总结

本文证明了：对于交换环 R，R-代数范畴在 R-余代数范畴中是富集的，其富集结构由普遍测量余代数 P(A,B) 给出；同时，R-模的全局范畴在 R-余模的全局范畴中也是富集的，其富集结构由普遍测量余模 Q(M,N) 给出。核心贡献在于对 Wraith 观察的严格范畴论证明，并将其扩展至模与余模，表明这两种富集结构均源于涉及测量结构的自然同构。

ABSTRACT

We study the universal measuring coalgebras P(A,B) of Sweedler and the universal measuring comodules Q(M,N) of Batchelor. We show that these universal objects exist in a very general context. We provide a detailed proof of an observation of Wraith, that the P(A,B) are the hom-objects of an enrichment of algebras in coalgebras. We show also that the Q(M,N) provide an enrichment of the global category of modules in the global category of comodules.

研究动机与目标

• 为 Wraith 观察的严格范畴论证明提供详细说明，即普遍测量余代数 P(A,B) 作为同态对象，使 R-代数范畴在 R-余代数范畴中实现富集。
• 将此富集性扩展至 R-模的全局范畴，证明普遍测量余模 Q(M,N) 使 Mod 在 Comod 中实现富集。
• 在一般范畴论语境下建立 P(A,B) 和 Q(M,N) 的存在性，涵盖 R 为交换环（而不仅限于域）的情形。
• 阐明纤维化与富集之间的关系，表明纤维化 Mod → Alg_R 与纤维化 Comod → Coalg_R 与这些富集结构相容。
• 证明 R-余代数上的余模范畴是张量闭合的，并且存在小的余稠密子范畴，从而可通过伴随函子定理构造内同态。

提出的方法

• 利用 Swei dler 定义的测量余代数 P(A,B) 的普遍性质，其特征由自然同构给出：对所有余代数 C，有 Alg(A, Hom(C,B)) ≅ Coalg(C, P(A,B))。
• 应用富集范畴理论与张量范畴理论的结果，特别是右闭双范畴 W 下，张量范畴与 W-表示之间的等价性。
• 使用格罗滕迪克构造，分别将全局范畴 Mod 和 Comod 定义为在 Alg_R 和 Coalg_R 上的纤维化。
• 通过自然同构 Comod(X, Q(M,N)) ≅ Mod(M, Hom(X,N)) 证明 Q(M,N) 的存在性，利用 Mod 和 Comod 的内部结构及余连续性论证。
• 应用凯利的伴随函子定理，证明定义 Q(M,N) 及 Comod 中内同态的函子具有右伴随，依赖于余完备性及 Comod 中存在小的余稠密子范畴。
• 当 R = k 为域时，构造出有限维余代数上有限维余模的小余稠密子范畴，证明每个余模均为此类对象的典范余极限，从而推出内同态的存在性。

实验结果

研究问题

• RQ1 普遍测量余代数 P(A,B) 是否自然地作为同态对象，使 R-代数范畴在 R-余代数范畴中实现富集？
• RQ2 普遍测量余模 Q(M,N) 是否可用于使 R-模的全局范畴在 R-余模的全局范畴中实现富集？
• RQ3 在一般张量范畴中，哪些范畴条件可确保 P(A,B) 和 Q(M,N) 的存在性，特别是当 R 为交换环时？
• RQ4 纤维化 Mod → Alg_R 与纤维化 Comod → Coalg_R 如何与 Mod 在 Comod 中的富集性及 Alg 在 Coalg 中的富集性相容？
• RQ5 R-余代数上的余模范畴是否为张量闭合的？其内同态是否可通过伴随函子定理构造？

主要发现

• 对任意交换环 R，R-余代数范畴中普遍测量余代数 P(A,B) 存在，且对所有 R-余代数 C 满足自然同构 Coalg(C, P(A,B)) ≅ Alg(A, Hom(C,B))。
• R-代数范畴在 R-余代数范畴中实现富集，其同态对象为 P(A,B)，从而在完全一般的情形下确认了 Wraith 的观察。
• R-模的全局范畴在 R-余模的全局范畴中实现富集，其同态对象 Q(M,N) 由自然同构 Comod(X, Q(M,N)) ≅ Mod(M, Hom(X,N)) 定义。
• 余模范畴 Comod 是张量闭合的，其内同态通过伴随函子定理构造，依赖于存在一个有限维余模的小余稠密子范畴。
• 当 R = k 为域时，Q(M,N) 的存在性可通过更直接的方式建立：证明有限维余代数上的有限维余模范畴是 Comod 中的小余稠密子范畴，从而允许通过余极限论证构造内同态。
• 该小余稠密子范畴的稠密性证明依赖于余代数基本定理与余模基本定理，表明每个余代数与余模均为其有限维子对象的余极限。