Quantitative Morse-Sard theorem via the algebraic lemma (Q533986)

The classical Morse-Sard theorem states that the set of critical values of a sufficiently smooth map \(f: \mathbb R^n\rightarrow \mathbb R^m\) has zero Lebesgue measure. Making use of polynomial approximation and considerations from semi-algebraic geometry, \textit{Y. Yomdin} proved a quantitative version of this result [Math. Ann. 264, 495--515 (1983; Zbl 0507.57019)]. In particular, he obtained an upper bound on the upper box dimension of the set of critical values. The main goal of the paper under review is to give a short proof of Yomdin's theorem based on Gromov's algebraic lemma [\textit{M. Gromov}, Sémin. Bourbaki, Vol. 1985/86, 38ème année, Astérisque 145--146, 225--240, Exp. No. 663 (1987; Zbl 0611.58041)].