On the definition of homological critical value

We point out that there is a problem with the definition of homological critical value (as defined in the widely cited paper [2] by Cohen-Steiner, Edelsbrunner and Harer). Under that definition, the critical value lemma of [2] in fact fails. We provide several counterexamples and a definition (due to Bubenik and Scott [1]) 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.