On the additive image of 0th persistent homology
Ulrich Bauer, Magnus Bakke Botnan, Steffen Oppermann, Johan Steen

TL;DR
This paper characterizes the additive image of 0th persistent homology functors over finite categories, providing structural insights, algorithms, and examples relevant to topological data analysis.
Contribution
It offers a complete characterization of indecomposables in the additive image for finite categories and develops an algorithm to identify representations in this image.
Findings
Indecomposables in the additive image coincide with indicator representations for certain categories.
Finite grids of infinite representation type have infinitely many indecomposables in the additive image.
An algorithm is provided to determine if a representation lies in the additive image.
Abstract
For a finite category and a finite field, we study the additive image of the functor , or equivalently, of the free functor . We characterize all finite categories for which the indecomposables in the additive image coincide with the indecomposable indicator representations and provide examples of quivers of wild representation type where the additive image contains only finitely many indecomposables. Motivated by questions in topological data analysis, we conduct a detailed analysis of the additive image for finite grids. In particular, we show that for grids of infinite representation type, there exist infinitely many indecomposables both within and outside the additive image. We…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Code & Models
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsTopological and Geometric Data Analysis · Homotopy and Cohomology in Algebraic Topology · Commutative Algebra and Its Applications
