Transversal volumes of foliations definable in \(o\)-minimal structures (Q1884091)

The main result of the paper is as follows: Let \({\mathcal F}\) be a foliation of codimension \(p\), with closed leaves, on the \({\mathcal C}^2\) submanifold \(M\subset {\mathbb R}^n\), and let \(X\) be a compact subset of \(M\). Let \(\Omega\) be a differential form of degree \(p\) on \(M\), such that \(i_Z\Omega=0\) for every vector field \(Z\) tangent to \({\mathcal F}\). Let us suppose that \(M\), \(X\), \({\mathcal F}\) and \(\Omega\) are \({\mathcal A}\)-definable objects, for some given \(o\)-minimal structure \({\mathcal A}\) on \({\mathbb R}^n\) [see \textit{L. van den Dries} and \textit{C. Miller}, Duke Math. J. 84, No. 2, 497--540 (1996; Zbl 0889.03025)]. Then there exists a definable subset \(\Gamma\subset X\), of dimension \(p\), which satisfies the following property: if \(C\subset X\) is a submanifold of dimension \(p\) such that \[ \int_C{| \Omega |} > \int_\Gamma{| \Omega |} \] then \(C\) cuts some leaf of \({\mathcal F}\) in at least two points.