A Counter-Example to Hausmann’s Conjecture
Žiga Virk
DOI: https://doi.org/10.1007/s10208-021-09510-2
IF: 3.4388
2021-05-04
Foundations of Computational Mathematics
Abstract:In 1995 Jean-Claude Hausmann proved that a compact Riemannian manifold <i>X</i> is homotopy equivalent to its Rips complex <span class="mathjax-tex">\({\text {Rips}}(X,r)\)</span> for small values of parameter <i>r</i>. He then conjectured that the connectivity of Rips complexes is a monotone function in <i>r</i>, a statement which has been supported by all known examples up to present. In this paper, we prove that <span class="mathjax-tex">\(S^3\)</span> equipped with a certain Riemannian metric is a counter-example to Hausmann's conjecture. Our proof combines the Stability Theorem of persistent homology, a persistent version of Hausmann's Theorem, and an approximation theorem of Ferry and Okun.
mathematics, applied,computer science, theory & methods