O-minimal \(\Lambda ^{m}\)-regular stratification (Q2370374)

This paper establishes a version of stratification for o-minimal structures useful for applications. A stratification of a set definable in an o-minimal structure is here a partition of the set by a finite family of definable sets which are cells after some coordinate transformation such that the boundary of each set is again partitioned by elements of the family. Cells are recursively defined by graphs of definable functions and bands between graphs of definable functions (see for example [\textit{L. van den Dries}, Tame topology and o-minimal structures. London Mathematical Society Lecture Note Series. 248. Cambridge: Cambridge University Press (1998; Zbl 0953.03045)]). The goal is to control the definable functions involved in the definitions of the cells. This was especially achieved in the subanalytic setting (see for example [\textit{K. Kurdyka}, ``On a subanalytic stratification satisfying a Whitney property with exponent 1'', Lect. Notes Math. 1524, 316--322 (1992; Zbl 0779.32006)] and [\textit{A. Parusiński}, ``Lipschitz stratification of subanalytic sets'', Ann. Sci. Éc. Norm. Supér. (4) 27, No. 6, 661--696 (1994; Zbl 0819.32007)]). In general, unfortunately, these nice results cannot be transferred to arbitrary o-minimal structures on the real field. But there are theorems for stratifications with good properties in the o-minimal setting (see for example [\textit{W. Pawłucki}, ``A decomposition of a set definable in an o-minimal structure into perfectly situated sets'', Ann. Pol. Math. 79, No. 2, 171--184 (2002; Zbl 1024.03036)]). The author shows in this paper a stratification where the functions involved are Lipschitz and their iterated derivatives have controlled size up to a given bound. Given a natural number \(m>0\) and a positive constant \(L>0\) he calls a \(C^{m}\) function \(\varphi:X \rightarrow \mathbb R^{k}\) (with \(X \subset \mathbb R^{n}\) open) \(\Lambda_{L}^{m}\)-regular if, for every \(\alpha \in \mathbb N^{n}\) with \(1 \leq | \alpha| \leq m\), \[ \|D_{\alpha} \varphi(x)\|\leq 2^\binom{| \alpha| +1}{2}\frac{L}{\text{dist}(x,\partial X)^{| \alpha| -1}}. \] In the main theorem the author proves that, given a subset of \(\mathbb R^{n}\) definable in an o-minimal structure on the field \(\mathbb R\) and a natural number \(m > 0\), the set has a stratification where the involved functions are \(L\)-Lipschitz and \(\Lambda_{L}^{m}\)-regular functions, where \(L\) can be chosen independently from the given set as \(2n^{\frac{3}{2}}\). The proofs are done in such a generality that the result holds in o-minimal structures expanding arbitrary real closed fields.