Homological algebra for persistence modules (Q2052717)

The ideas of topological persistence and persistent homology have had a fundamental impact on computational geometry and the newly spawned field of applied topology. The algebraic structure of persistence modules has been studied from a number of points of view, as graded modules [\textit{G. Carlsson} and \textit{A. Zomorodian}, Discrete Comput. Geom. 42, No. 1, 71--93 (2009; Zbl 1187.55004)], as functors [\textit{P. Bubenik} and \textit{J. A. Scott}, ibid. 51, No. 3, 600--627 (2014; Zbl 1295.55005)], and as sheaves [\textit{J. M. Curry}, Sheaves, cosheaves and applications. University of Pennsylvania (PhD Thesis) (2014)]. \par The authors develop some aspects of the homological algebra of persistence modules as functors \(M : \mathbb{P}\to \mathbb{A}\) from a category \(\mathbb{P}\) corresponding to a preordered set to a Grothendieck category \(\mathbb{A}\), with an emphasis on the graded module and sheaf-theoretic points of view. From both sheaf theory and graded module theory, tensor product and \(\mbox{Hom}\) bifunctors for persistence modules as well as their derived functors \(\mbox{Tor}\) and \(\mbox{Ext}\) are defined. Künneth theorems and universal coefficient theorems for the homology and cohomology of chain complexes of persistence modules in both the sheaf and graded module settings are stated and a Gabriel-Popescu theorem for persistence modules is presented. Furthermore, categories enriched over persistence modules are examined.