SearcharxivSearch

arXiv · 2410.08323

Algebraic and Topological Persistence

Abstract

This thesis addresses the theory of topological spaces and the foundations of persistence theory. We will discuss chain complexes and the associated simplicial homology groups, as well as their relationship with singular homology theory. Moreover, we present the fundamental concepts of algebraic topology, including exact and short exact sequences and relative homology groups derived from quotienting with subspaces of a topological space. These tools are used to prove the Excision Theorem in algebraic topology. Subsequently, the theorem is applied to demonstrate the equivalence of simplicial and singular homology for triangulable topological spaces, i.e. those topological spaces which admit a simplicial structure. This enables a more general theory of homology to be adopted in the study of filtrations of point clouds. The chapter on homological persistence makes use of these tools throughout. We develop the theory of persistent homology, the homology of filtrations of topological spaces, and the corresponding dual concept of persistent cohomology. This work aims to provide mathematicians with a robust foundation for productive engagement with the aforementioned theories. The majority of the proofs have been rewritten to clarify the relationships between the techniques discussed. The novel aspect of this contribution is the canonical presentation of persistence theory and the associated ideas through a rigorous mathematical treatment for triangulable topological spaces and closing some gaps in the existing literature.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Luciano Melodia. 2024-10-10. Algebraic and Topological Persistence. https://arxiv.org/abs/2410.08323

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Homogeneous Milnor fibers and Kato--Matsumoto bounds via simplicial multiwedges

For every $n\geq 3$ and $s\geq 2$, we construct a homogeneous polynomial of degree $n(n+1)/2$ whose Milnor fiber is exactly $2s$-connected and whose rational cohomology contains a strictly defined nontrivial $n$-fold Massey product on classes of degree $2s+1$, implying that the Milnor fiber is non-formal, while attaining the Kato--Matsumoto connectivity bound. Our construction is based on the simplicial multiwedges of the nerve complexes of simple polytopes introduced by Limonchenko, combined with Suciu's realization of weighted homogeneous Milnor fibers. We thereby answer two problems posed by Suciu.

math.AT

The homotopy types of directed path and trace spaces

We construct a saturated directed space with a Hausdorff $\Delta$-generated underlying space and two distinct points such that the trace space between them is homeomorphic to a square, whereas the directed path space has a nontrivial fundamental group. In particular, the canonical quotient map is not a weak homotopy equivalence. The same conclusion holds for regular directed paths modulo increasing homeomorphisms.

math.AT

Moduli spaces of geometric functorial field theories

We develop tools to compute moduli spaces of geometric functorial field theories as mapping spaces of equivariant simplicial presheaves. Given a d-dimensional geometric structure F, presented as a presheaf on the site of smooth families of d-manifolds, we define its Cartesian realization, which is an O(d)-equivariant simplicial presheaf on the site of Cartesian spaces. We use Cartesian realizations to present the moduli space of functorial field theories with geometric structure F as a mapping space between O(d)-equivariant simplicial presheaves. In a companion paper, we use this result to compute the moduli space of smooth one-dimensional oriented Riemannian functorial field theories valued in an arbitrary smooth symmetric monoidal infinity-category.

math.AT