On the definition of homological critical value

Abstract

We point out that there is a problem with the definition of homological critical value (as defined in the widely cited paper \cite{stability} by Cohen-Steiner, Edelsbrunner and Harer). Under that definition, the critical value lemma of \cite{stability} in fact fails. We provide several counterexamples and a definition (due to Bubenik and Scott \cite{categorification}) we feel should be preferred and under which the critical value lemma does indeed hold. One of the counterexamples we have found is a height function on a compact smooth manifold. In the end we prove that, despite all this, a modified version of the critical value lemma remains valid under the original definition.

14 pages, 9 figures

Cited by in corpus (4)

• Persistent Magnitude
• Homological eigenvalues of graph $p$-Laplacians
• PL Morse theory in low dimensions
• Critical edges in Rips complexes and persistence