[论文解读] Higher Dimensional Homology Algebra II:Projectivity

Fang Huang, Shao-Han Chen+2 more|arXiv (Cornell University)|Jun 24, 2010

Homotopy and Cohomology in Algebraic Topology参考文献 5被引用 3

一句话总结

本文证明了对称2-群（2-SGp）与R-2-模（R-2-Mod）的2-范畴均具有足够多的投射对象，将经典同调代数推广至高阶维度。通过利用R-Mod已知的投射化解析性质，并从R-模构造离散对称2-群，作者借助π₀函子与本质满射性建立提升机制，从而证实了Bourn与Vitale关于2-SGp中投射性的猜想。

ABSTRACT

In this paper, we will prove that the 2-category (2-SGp) of symmetric 2-groups and 2-category ($\cR$-2-Mod) of $\cR$-2-modules(\cite{5}) have enough projective objects, respectively.

研究动机与目标

• 解决Bourn与Vitale关于对称2-群（2-SGp）2-范畴中存在足够多投射对象的猜想。
• 将一维同调代数（R-Mod）中的基础投射化解析性质推广至高阶范畴结构。
• 确立R-2-Mod 2-范畴也具有足够多的投射对象，从而支持高阶同调代数中导出范畴的构造。
• 为发展二维同调代数中的（上）同调理论提供范畴论框架。

提出的方法

• 从R-模M构造离散对称2-群M_dis，其中对象为M的元素，且仅存在恒等态射。
• 利用π₀函子提取对称2-群中对象的同构类所构成的阿贝尔群，建立与经典模理论的桥梁。
• 利用R-Mod具有足够多投射对象的事实，将投射R-模P提升为投射R_dis-2-模P_dis。
• 确立任意本质满射的R_dis-同态F: M_dis → N_dis均诱导出满的群同态π₀(F): π₀(M_dis) → π₀(N_dis)。
• 对于任意给定的G: P_dis → N及本质满射F: M → N，利用R-Mod中P的投射性与同构提升性质，构造出提升映射G': P_dis → M。
• 通过比较函子H: M → (π₀(M))_dis的满性及同构的复合，验证所构造的映射F: P_dis → M为本质满射。

实验结果

研究问题

• RQ1 对称2-群（2-SGp）的2-范畴是否具有足够多的投射对象，如Bourn与Vitale所猜想？
• RQ2 R-Mod的投射化解析性质能否被提升至R-2-模的2-范畴设定中？
• RQ3 π₀函子与离散构造（·)_dis如何将对称2-群与R-2-模与经典阿贝尔群及R-模联系起来？
• RQ4 在R-2-Mod中，何种条件可确保一个态射是本质满射？该性质如何用于构造投射化解析？
• RQ5 经典同调代数中的导出范畴框架能否通过投射对象推广至2-范畴？

主要发现

• 对称2-群（2-SGp）的2-范畴具有足够多的投射对象，证实了Bourn与Vitale的猜想。
• 对任意R-模M，其离散对称2-群M_dis是R_dis-2-模，建立了1维与2维代数之间的范畴桥梁。
• 任意满射的R-模同态f: M → N均诱导出本质满射的R_dis-同态F: M_dis → N_dis。
• 对任意在(R-2-Mod)中本质满射的F: M → N，π₀函子诱导出满的群同态π₀(F): π₀(M) → π₀(N)。
• 若P是投射R-模，则P_dis是(R_dis-2-Mod)中的投射对象，通过态射的提升与同构数据实现。
• 2-范畴(R-2-Mod)具有足够多的投射对象：对任意M ∈ (R-2-Mod)，存在投射P_dis及本质满射的R_dis-同态F: P_dis → M。