Persistent homology for kernels, images, and cokernels

Motivated by the measurement of local homology and of functions on noisy domains, we extend the notion of persistent homology to sequences of kernels, images, and cokernels of maps induced by inclusions in a filtration of pairs of spaces. Specifically, we note that persistence in this context is well defined, we prove that the persistence diagrams are stable, and we explain how to compute them.

[1]  Herbert Edelsbrunner,et al.  Topological persistence and simplification , 2000, Proceedings 41st Annual Symposium on Foundations of Computer Science.

[2]  Afra Zomorodian,et al.  Computing Persistent Homology , 2004, SCG '04.

[3]  L. Vietoris.  Über den höheren Zusammenhang kompakter Räume und eine Klasse von zusammenhangstreuen Abbildungen , 1927 .

[4]  David Cohen-Steiner,et al.  Extending Persistence Using Poincaré and Lefschetz Duality , 2009, Found. Comput. Math..

[5]  H. Edelsbrunner,et al.  Homological illusions of persistence and stability , 2008 .

[6]  Frédéric Chazal,et al.  Stability and Computation of Topological Invariants of Solids in ${\Bbb R}^n$ , 2007, Discret. Comput. Geom..

[7]  Herbert Edelsbrunner,et al.  Alpha-Beta Witness Complexes , 2007, WADS.

[8]  David Cohen-Steiner,et al.  Stability of Persistence Diagrams , 2005, Discret. Comput. Geom..

[9]  Afra Zomorodian,et al.  The Theory of Multidimensional Persistence , 2007, SCG '07.

[10]  David Cohen-Steiner,et al.  Inferring Local Homology from Sampled Stratified Spaces , 2007, 48th Annual IEEE Symposium on Foundations of Computer Science (FOCS'07).

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

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

[13]  David Cohen-Steiner,et al.  Vines and vineyards by updating persistence in linear time , 2006, SCG '06.

[14]  Gunnar E. Carlsson,et al.  Topological estimation using witness complexes , 2004, PBG.