Homological algebra for persistence modules (Q2052717)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Homological algebra for persistence modules
scientific article

    Statements

    Homological algebra for persistence modules (English)
    0 references
    0 references
    0 references
    26 November 2021
    0 references
    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.
    0 references
    persistent homology
    0 references
    homological algebra
    0 references
    graded modules
    0 references
    sheaves
    0 references
    Grothendieck categories
    0 references
    Künneth theorems
    0 references
    universal coefficient theorems
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references