Persistent Manifold Theory

• Persistent Manifold Theory is a framework that defines how topological invariants and geometric structures persist under perturbation and filtration.
• It unifies classical dynamical systems, such as normally hyperbolic invariant manifolds, with modern sheaf-theoretic methods and topological data analysis.
• The approach enables efficient computation of stable invariants like barcodes and characteristic classes, with applications in geometry, machine learning, and imaging.

Persistent manifold theory is the body of results, constructions, and algorithms that describe how manifold- and fiber-bundle-valued topological invariants, geometric structures, and invariant submanifolds persist under perturbation and filtration. The subject integrates classical dynamical systems—specifically, normally hyperbolic invariant manifolds under perturbation—with modern topological data analysis (TDA), sheaf-theoretic and spectral constructions over manifolds, and the persistent extension of characteristic classes. Recent advances subsume classical persistence (sublevel/barcode invariants), extend the setting to maps or filtrations over higher-dimensional, possibly noncompact manifolds, and yield robust, computable, and stable invariants for use in geometry, analysis, and machine learning.

1. Persistence of Invariant Manifolds in Dynamical Systems

The classical context for persistence of manifolds arises in geometric dynamical systems. For a $C^1$ diffeomorphism $f: M \to M$ with a compact, $C^1$ invariant submanifold $N \subset M$, normal hyperbolicity is defined via a continuous, $Df$-invariant splitting of the tangent bundle: $TM|_N = E^s \oplus TN \oplus E^u$ with contraction/expansion rates in $E^s$ and $E^u$ dominating tangent dynamics in $TN$. The persistence theorem (Hirsch–Pugh–Shub, Fenichel, Berger–Bounemoura) asserts that if $f$ is normally hyperbolic at $f: M \to M$0, then for all $f: M \to M$1-small perturbations $f: M \to M$2 there exists a unique $f: M \to M$3 invariant submanifold $f: M \to M$4 diffeomorphic and close to $f: M \to M$5 which persists as a normally hyperbolic manifold for $f: M \to M$6 (Berger et al., 2011).

In a noncompact setting, normal hyperbolicity and its persistence remain valid if the ambient manifold has $f: M \to M$7-th order bounded geometry: uniform injectivity radius, uniform bounds on curvature and its derivatives. Under these conditions, uniform tubular neighborhood and smooth approximation theorems permit global control and extend persistence results to noncompact NHIMs with explicit $f: M \to M$8 regularity determined by the spectral gap (Eldering, 2012, Eldering, 2012).

Methods include graph transform (invariant graph fixed point construction in Lipschitz or $f: M \to M$9 Banach spaces), cone-field geometries, and uniform estimates on derivatives and curvature, all of which generalize to Banach bundles and parameterized settings.

2. Topological Persistence via Sheaf and Local System Frameworks

Modern persistent manifold theory generalizes persistent homology to mappings and filtrations over arbitrary base manifolds. Given a continuous map $C^1$0 where $C^1$1 is an oriented $C^1$2-manifold and $C^1$3 a fibered space, one constructs two key objects:

• The Leray homology cosheaf $C^1$4 for open $C^1$5.
• The Leray relative homology sheaf $C^1$6.

These are functorial on the poset of open sets and are constructible with respect to any suitable stratification. The cap product with the pullback of the orientation class $C^1$7 yields a natural bisheaf map $C^1$8. Processing through canonically defined "epification" and "monofication" truncations produces an isobisheaf, whose image defines a persistent local system $C^1$9—a local system on each path-connected open $N \subset M$0.

The main invariants are $N \subset M$1, which generalize the rank invariant ("barcode") of classical persistence to arbitrary base manifolds, all homological degrees, and with local system structure rather than mere vector-space stalks. Two fundamental theorems govern this structure:

• $N \subset M$2 (Lower bound),
• $N \subset M$3 (Stability under perturbation) (MacPherson et al., 2018).

This framework recovers ordinary persistence for $N \subset M$4, circle-valued persistence for $N \subset M$5, and general multiparameter persistence for $N \subset M$6. The persistent local system acts as a robust, locally constant, and computable invariant of maps into manifolds.

3. Categorical and Characteristic-Class Extensions

Persistence has been extended beyond homology to the category of vector bundles, classifying maps, and characteristic classes, notably in the computation of persistent Stiefel–Whitney classes. For a point-cloud approximation $N \subset M$7 of an $N \subset M$8-manifold $N \subset M$9 and an associated Čech or alpha filtration $Df$0, one constructs a persistent vector bundle whose fibers are homotopically equivalent to the tangent bundle of $Df$1; the sequence of classifying maps $Df$2 induces a coherent filtration of characteristic classes.

Via the persistent Wu formula and persistent cohomology operations (cup product, Steenrod squares), one computes at each filtration step the Wu classes $Df$3 as persistent cohomology classes solved by $Df$4 (for all $Df$5), and assembles the persistent Stiefel–Whitney class $Df$6 by $Df$7.

If the filtration $Df$8 deformation retracts to $Df$9 (guaranteed by sufficient sampling), these persistent classes coincide with the classical topological invariants of the manifold. This approach extends characteristic-class invariants to point-cloud filtrations and demonstrates discriminatory power beyond Betti numbers, for both synthetic complexes (e.g., exotic 4-manifolds) and real data (e.g., image patches, molecular conformation spaces) (Gang, 20 Mar 2025).

4. Morse Theory, Signed Distance, and Persistent Homology of Shapes

Persistent manifold theory subsumes Morse-theoretic approaches to the persistent homology of manifold-embedded functions, particularly those arising from signed distance fields to smooth surfaces. For a smooth compact surface $TM|_N = E^s \oplus TN \oplus E^u$0, the signed distance function $TM|_N = E^s \oplus TN \oplus E^u$1 to $TM|_N = E^s \oplus TN \oplus E^u$2 is not generally $TM|_N = E^s \oplus TN \oplus E^u$3, but can be analyzed as a "Min-type" function comprising minima over smooth branches, allowing the application of topological Morse theory and transversality arguments.

On generic surfaces, only finitely many non-degenerate critical points of $TM|_N = E^s \oplus TN \oplus E^u$4 occur (proved via a transversality argument on embeddings), and each produces a handle attachment in a finite filtration by sublevel sets $TM|_N = E^s \oplus TN \oplus E^u$5. The persistent homology modules thus decompose into a finite sum of interval modules, yielding barcodes that quantify multiscale geometric and topological features (Song et al., 2023). This pipeline is robust under perturbations and is applicable to real data for quantifying vascular, porous, and phase-field structure via shape barcodes.

5. Persistent Homology in Floer-Novikov and Multiparameter Settings

Persistent manifold theory further encompasses generalized chain-level and multiparameter frameworks. In the Floer-Novikov context, chain complexes parametrized by Novikov fields (with valuations tracking action or energy) admit filtered barcodes via non-Archimedean singular value decomposition. These barcodes completely determine the filtered chain homotopy type, encode invariants such as boundary depth and torsion exponents, and are stable under $TM|_N = E^s \oplus TN \oplus E^u$6 perturbations, yielding stability theorems analogous to classical bottleneck stability (Usher et al., 2015).

Multiparameter persistence modules arise from one-parameter families of functions $TM|_N = E^s \oplus TN \oplus E^u$7 on a compact manifold $TM|_N = E^s \oplus TN \oplus E^u$8. The three-parameter module $TM|_N = E^s \oplus TN \oplus E^u$9 captures the evolution of homology under time and value, is stable with respect to supremum perturbations, and may decompose into indecomposable modules of arbitrarily large rank. Cobordism and Cerf theory describe the handle attachments and critical transitions, providing a geometric underpinning for the module's structure (Bubenik et al., 2021).

6. Computational and Algorithmic Aspects

Key computational frameworks include:

• Graph and cone-field fixed point methods for invariant manifold computation under perturbation (Berger et al., 2011, Eldering, 2012).
• Sheaf-theoretic methods for explicit calculation of persistent local systems on stratified or triangulated manifolds (MacPherson et al., 2018).
• Polynomial-time algorithms for computing optimal persistent cycles in levelset-zigzag persistence, especially in (weak) pseudomanifold complexes; dual-graph min-cut formulations yield globally optimal cycle sequences for all four interval types arising in PL levelset barcodes (Dey et al., 2021).
• Discretized de Rham–Hodge Laplacian approaches: persistent Hodge Laplacians computed on Eulerian grids provide joint topological-spectral signatures (track both Betti numbers and geometric Laplace eigenvalues), are numerically stable under grid refinement and Morse function perturbation, and support supervised/unsupervised learning from manifold data (Su et al., 2024).
• Intrinsic persistent homology via density-based Fermat distance, providing robustness to outliers and independence from ambient embeddings. The sample Fermat distance converges (in Gromov–Hausdorff sense) to the intrinsic manifold metric, with the persistence diagram converging exponentially in probability to that of the manifold. This approach is computationally tractable, with provable convergence guarantees, and underpins robust manifold learning from data (Fernández et al., 2020).

7. Broader Significance and Applications

Persistent manifold theory unifies geometric, topological, analytic, and computational techniques for quantifying invariant structure and descriptors on manifolds under perturbation or filtration. Applications are diverse:

• Dynamical systems: persistence of stable/unstable invariant manifolds and their robustness to perturbation, even under loss of rate conditions or non-invertible maps (Capinski et al., 2018).
• Topological data analysis: extraction of multiscale, robust, and discriminative invariants from point cloud or volumetric data, including characteristic classes and Laplacian spectra.
• Learning and inference on manifolds: representation learning, classification, and regression tasks utilizing persistent topological and geometric features, with theoretical guarantees of invariance and stability (Su et al., 2024).
• Symplectic and Morse–Floer theory: stability and computation of analytical invariants (spectral invariants, boundary depth), with barcodes fully capturing the filtered chain types (Usher et al., 2015).
• Computational geometry and imaging: geometric shape quantification, texture and morphometry of biological or synthetic surfaces, with rigorous barcode-based quantifiers (Song et al., 2023).

In all contexts, theory emphasizes the interplay between topological invariance, analytic stability, computational feasibility, and geometric specificity, underpinning both fundamental mathematics and manifold-structured data science.