Topology of spaces of smooth functions and gradient-like flows with prescribed singularities on surfaces

The paper states and supports (by prior results and a clear construction) Theorem 1 on the classifying manifold Ms and its stratifications/fibrations, including the explicit dimension formula, the existence of a surjective submersion κ with orbit/stratum correspondence, and a homotopy equivalence F ≃ Ms; it also establishes the normalized submanifold M1s as a strong deformation retract with the stated codimension and dimension, and Theorem 3 on gradient-like flows with a surjective submersion λ, a fibration of dimension |Zβ0|+2s−1, and the four homotopy types of fibres/strata depending on χ(M) and |Zβ0| (all explicitly stated in the PDF) . The paper’s construction of Ms as F/D0_s(M), together with the forgetful maps (Forg1, Forg2) being homotopy equivalences and the free, contractible action of D0_s(M), avoids isotropy issues and yields Ms as a smooth manifold with two transversal fibrations . By contrast, the model’s proof sketch claims a free action of G = D0(R)×D0(M) on a “framed” space of triples and treats the quotient as a principal bundle; this is incorrect because the D0(R) factor has a large stabilizer (any φ∈D0(R) that is the identity on im(f) fixes f), so the action is not free without additional normalization or restrictions. The rest of the model’s conclusions (dimension counts, κ and λ as surjective submersions, homotopy results, and fibre types) match the paper’s statements, but the core freeness claim is a substantive error.