[论文解读] Homological algebra for commutative monoids

Jaret Flores|arXiv (Cornell University)|Jan 1, 2015

Homotopy and Cohomology in Algebraic Topology参考文献 12被引用 6

一句话总结

本文通过引入链条件、正规化和除子理论等基础概念，为交换幺半群发展了同调代数，并在K-理论和扩张理论中建立了关键结果。证明了G₀的Deviassage定理，按秩对投影A-集进行了分类，并构建了双箭头复形与单纯A-集之间的伴随关系，表明正规化可能产生幺半群概形而非幺半群。

ABSTRACT

We first study commutative, pointed monoids providing basic definitions and results in a manner similar commutative ring theory. Included are results on chain conditions, primary decomposition as well as normalization for a special class of monoids which lead to a study monoid schemes, divisors, Picard groups and class groups. It is shown that the normalization of a monoid need not be a monoid, but possibly a monoid scheme. After giving the definition of, and basic results for, A-sets, we classify projective A-sets and show they are completely determine by their rank. Subsequently, for a monoid A, we compute K_0 and K_1 and prove the Devissage Theorem for G_0 . With the definition of short exact sequence for A-sets in hand, we describe the set Ext(X,Y ) of extensions for A-sets X,Y and classify the set of square-zero extensions of a monoid A by an A-set X using the Hochschild cosimplicial set. We also examine the projective model structure on simplicial A-sets showcasing the difficulties involved in computing homotopy groups as well as determining the derived category for a monoid. The author defines the category Da(C) of double-arrow complexes for a class of non-abelian categories C and, in the case of A-sets, shows an adjunction with the category of simplicial A-sets.

研究动机与目标

• 为与交换环理论类比的交换、带基点的幺半群发展同调框架。
• 研究幺半群的正规化，表明其可能产生幺半群概形而非幺半群。
• 按秩对投影A-集进行分类，并计算幺半群的K₀和K₁。
• 使用Hochschild上同调和余单纯集定义并研究A-集的扩张。
• 在幺半群模的导出范畴背景下，建立双箭头复形与单纯A-集之间的伴随关系。

提出的方法

• 将交换环理论中的概念——如链条件和初等分解——适配到交换幺半群上。
• 引入A-集并按其秩对投影A-集进行分类，表明其完全由该不变量决定。
• 将Deviassage定理应用于G₀，将其与A-集的Grothendieck群联系起来。
• 使用Hochschild余单纯集对幺半群A关于A-集X的平方零扩张进行分类。
• 为A-集定义短正合列，并构造A-集扩张的Ext(X,Y)集合。
• 为非交换范畴C引入双箭头复形的范畴Da(C)，并建立其与单纯A-集范畴之间的伴随关系。

实验结果

研究问题

• RQ1 鉴于幺半群的非交换性，如何系统地发展其同调代数？
• RQ2 投影A-集的结构是什么？它们能否通过如秩这样的不变量完全分类？
• RQ3 经典K-理论结果（如Deviassage定理）在幺半群及其A-集上能推广到何种程度？
• RQ4 如何对A-集扩张进行分类？Hochschild上同调在此分类中起什么作用？
• RQ5 在幺半群模的导出范畴中，双箭头复形与单纯A-集之间存在何种关系？

主要发现

• 幺半群的正规化可能不是幺半群，而是幺半群概形，表明其与环理论情形存在根本性差异。
• 投影A-集完全由其秩决定，为该类提供了完整的分类。
• Deviassage定理对幺半群的G₀成立，将Grothendieck群与滤子结构联系起来。
• A-集扩张的集合Ext(X,Y)通过Hochschild余单纯集描述，从而实现了对平方零扩张的分类。
• 在双箭头复形范畴与单纯A-集范畴之间建立了伴随关系，丰富了幺半群的导出范畴框架。
• 尽管计算同伦群存在挑战，但表明幺半群的导出范畴可通过双箭头复形实现访问。