Computing persistent Stiefel-Whitney classes of line bundles

We propose a definition of persistent Stiefel-Whitney classes of vector bundle filtrations. It relies on seeing vector bundles as subsets of some Euclidean spaces. The usual Cech filtration of such a subset can be endowed with a vector bundle structure, that we call a Cech bundle filtration. We show that this construction is stable and consistent. When the dataset is a finite sample of a line bundle, we implement an effective algorithm to compute its persistent Stiefel-Whitney classes. In order to use simplicial approximation techniques in practice, we develop a notion of weak simplicial approximation. As a theoretical example, we give an in-depth study of the normal bundle of the circle, which reduces to understanding the persistent cohomology of the torus knot (1,2).

[1]  W. Kühnel,et al.  Minimal triangulations of Kummer varieties , 1987 .

[2]  Frédéric Chazal,et al.  A Sampling Theory for Compact Sets in Euclidean Space , 2009, Discret. Comput. Geom..

[3]  Mariette Yvinec,et al.  Geometric and Topological Inference , 2018 .

[4]  Clifford D. Smyth,et al.  Weighted persistent homology , 2017, Involve, a Journal of Mathematics.

[5]  A. Hb Persistent Cohomology Operations , 2011 .

[6]  W. Marzantowicz,et al.  How many simplices are needed to triangulate a Grassmannian? , 2020, 2001.08292.

[7]  Recovering the homology of immersed manifolds , 2019, ArXiv.

[8]  James R. Munkres,et al.  Elements of algebraic topology , 1984 .

[9]  Volume 57 , 1988, Environmental Biology of Fishes.

[10]  Jose A. Perea Multiscale Projective Coordinates via Persistent Cohomology of Sparse Filtrations , 2016, Discrete & Computational Geometry.

[11]  Jose A. Perea,et al.  Approximate and discrete Euclidean vector bundles , 2021, Forum of Mathematics, Sigma.

[12]  Ulrich Bauer,et al.  The Morse theory of Čech and Delaunay complexes , 2013, 1312.1231.

[13]  Herbert Edelsbrunner,et al.  The union of balls and its dual shape , 1993, SCG '93.

[14]  Alessandro Rinaldo,et al.  Estimating the reach of a manifold , 2017, Electronic Journal of Statistics.

[15]  Steve Oudot,et al.  Towards persistence-based reconstruction in euclidean spaces , 2007, SCG '08.

[16]  W. Crawley-Boevey,et al.  Decomposition of persistence modules , 2018, Proceedings of the American Mathematical Society.

[17]  R. Ho Algebraic Topology , 2022 .

[18]  Steve Oudot,et al.  The Structure and Stability of Persistence Modules , 2012, Springer Briefs in Mathematics.

[19]  Takuya Kon-no,et al.  Transactions of the American Mathematical Society , 1996 .