[论文解读] Modules over posets: commutative and homological algebra

Ezra Miller|arXiv (Cornell University)|Aug 26, 2019

Topological and Geometric Data Analysis参考文献 36被引用 4

一句话总结

本文为偏序集上的模发展了一种类诺特性条件——驯服性（tameness），使得能够实现有限的初等分解、解析式与同调理论，其形式与诺特诺射交换代数中的相应理论类似。通过利用子解析构造层的导出范畴来解释驯服性，本文证明了柏原与夏普拉关于微局部支持在锥中的构造层的两个猜想，从而为任意偏序集上的持久同调提供了可计算、具有拓扑解释性的数据结构。

ABSTRACT

The commutative and homological algebra of modules over posets is developed, as closely parallel as possible to the algebra of finitely generated modules over noetherian commutative rings, in the direction of finite presentations, primary decompositions, and resolutions. Interpreting this finiteness in the language of derived categories of subanalytically constructible sheaves proves two conjectures due to Kashiwara and Schapira concerning sheaves with microsupport in a given cone. The motivating case is persistent homology of arbitrary filtered topological spaces, especially the case of multiple real parameters. The algebraic theory yields computationally feasible, topologically interpretable data structures, in terms of birth and death of homology classes, for persistent homology indexed by arbitrary posets. The exposition focuses on the nature and ramifications of a suitable finiteness condition to replace the noetherian hypothesis. 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 the theoretical and computational purposes: it guarantees finite primary decompositions, as well as various finite presentations and resolutions all related by a syzygy theorem, and the data structures thus produced are computable in addition to being interpretable. The tameness condition and its resulting theory are new even in the finitely generated discrete setting, where being tame is materially weaker than being noetherian.

研究动机与目标

• 为偏序集上的模发展一种替代诺特性假设的有限性条件，以在持久同调中实现有限代数结构。
• 在新的驯服性条件下，建立偏序集模的初等分解、表示式与解析式的理论。
• 利用导出范畴方法，证明柏原与夏普拉关于微局部支持在给定锥中的层的两个猜想。
• 为以任意偏序集为索引的持久同调提供可计算、具有拓扑解释性的数据结构，尤其适用于多参数情形。
• 通过驯服性的概念，统一偏序集模中拓扑、代数、组合与同调方面的有限性表现。

提出的方法

• 将驯服性条件定义为偏序集模的有限性假设，其特征由等价的拓扑、代数、组合与同调性质刻画。
• 利用上集与下集构造边界表示式，当驯服性成立时，以有限方式编码模。
• 在导出范畴中利用子解析或PL结构构造指标解析式——具体为上集与下集解析式。
• 通过将紧支集情形约化为有限剖分（定理8.22），将理论应用于构造层。
• 利用偏序集模的同调关系定理，将驯服情形下的有限表示式、解析式与初等分解联系起来。
• 证明驯服性意味着可通过常数剖分与上紧偏序集有限编码模，从而实现计算。

实验结果

研究问题

• RQ1 能否在偏序集模的代数中以某种有限性条件替代诺特性假设，以实现有限表示式与解析式？
• RQ2 如何基于同调类的出生与死亡，以可计算、可解释的数据结构表示任意偏序集上的持久同量？
• RQ3 驯服性与偏序集模中有限初等分解的存在性之间有何关系？
• RQ4 导出范畴框架能否用于证明关于微局部支持在锥中的构造层的猜想？
• RQ5 驯服性如何统一偏序集模中拓扑、代数、组合与同调方面的有限性？

主要发现

• 驯服性条件保证了偏序集模的有限初等分解、边界表示式与解析式，即使在缺乏诺特性时亦成立。
• 同调关系定理在偏序集模的驯服情形下成立，将有限表示式、解析式与初等分解在一致的代数框架中联系起来。
• 该理论证明了柏原与夏普拉的猜想3.20，表明微局部支持在负极锥中的紧支集PL层是紧有界多面体上常值层的有限直和。
• 该理论证明了柏原与夏普拉的猜想3.17，确立了微局部支持在负极锥中的子解析构造层具有从属的锥状分层。
• 导出范畴方法为构造层提供了子解析指标解析式，从而导致一个有限划分，划分为局部闭的子解析层，其同调为常数。
• 在离散情形下，驯服性严格弱于诺特性，使得该理论可应用于更广泛的模类，包括多参数持久同调中出现的模。