The Yomdin-Gromov algebraic lemma revisited (Q823832)

The Yomdin-Gromov algebraic lemma assets that a semialgebraic set \(X \subseteq [0,1]^n\) is covered by the images of finitely many semialgebraic \(\mathcal C^r\) maps \(\phi_1,\ldots, \phi_C:(0,1)^{\dim X} \to X\) whose maximum norms are not greater than one, and the number of the maps are bounded by the number determined of \(n\), \(r\), the dimension of \(X\) and the sum of degrees of polynomials defining \(X\). This paper demonstrates a refined version of the Yomdin-Gromov algebraic lemma for general o-minimal structures using the notion of `cellular parametrization.' A definable set \(X \subseteq [0,1]^n\) is covered by the images of finitely many definable cellular \(\mathcal C^r\) maps \(\phi_\alpha:C_\alpha \to X\) defined on cells \(C_\alpha\) whose maximum norms are not greater than one. Here, a definable function \(f=(f_1,\ldots,f_l):C \to \mathbb R^l\) defined on a cell \(C\) is called cellular if the value of \(f_i(x)\) depends only on the first \(i\) coordinates of \(x\), and \(f_i(x_1,\ldots, x_i)\) is strictly increasing with respect to the last coordinate \(x_i\) when the first \(i-1\) coordinates \(x_1,\ldots, x_{i-1}\) are fixed.