arXivDaily arXiv每日学术速递 周一至周五更新
arXiv 2008.00063math.ATmath.ACmath.AGmath.COmath.RT
收藏

偏序集上模的同调代数

Homological algebra of modules over posets

Ezra Miller

摘要:

在有限表示和分解的方向上,发展了偏序集上模的同调代数,它与Noether交换环上的有限生成模的同调代数尽可能地平行.争论的中心是如何定义有限性以取代失败的诺特假设。为此目的引入的驯服条件捕获有限性的变化在家庭的向量空间索引的偏序集的方式,其特征在于等价的不同的拓扑,代数,组合,和同调的表现。驯服服务于理论和计算的目的:它保证有限的陈述和各种各样的决议,所有相关的一个syzygy定理,服从算法操作。即使在$\mathbb{N}^n$ -分级的离散环境中,驯服和它的同调理论也是新的,在那里驯服实质上比诺特弱。在过滤拓扑空间的持久同调的背景下,特别是与多个实参数,代数理论的驯服产生拓扑可解释的数据结构的诞生和死亡的同源类。

英文摘要:

Homological algebra of modules over posets is developed, as closely parallel as possible to that of finitely generated modules over noetherian commutative rings, in the direction of finite presentations and resolutions. Centrally at issue is how to define finiteness to replace the noetherian hypothesis which fails. The tameness condition introduced for this purpose captures finiteness for variation in families of vector spaces indexed by posets in a way that is characterized equivalently by distinct topological, algebraic, combinatorial, and homological manifestations. Tameness serves both theoretical and computational purposes: it guarantees finite presentations and resolutions of various sorts, all related by a syzygy theorem, amenable to algorithmic manipulation. Tameness and its homological theory are new even in the finitely generated discrete setting of $\mathbb{N}^n$-gradings, where tame is materially weaker than noetherian. In the context of persistent homology of filtered topological spaces, especially with multiple real parameters, the algebraic theory of tameness yields topologically interpretable data structures in terms of birth and death of homology classes.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑