Gauss-Kronecker Curvature and equisingularity at infinity of definable families

DOI10.4310/AJM.2021.V25.N6.A2arXiv1903.08001MaRDI QIDQ6315879FDOQ6315879

Authors: Nicolas Dutertre, Vincent Grandjean 

Publication date: 19 March 2019

Abstract: Assume given a polynomially bounded o-minimal structure expanding the real numbers. Let $(T_s{)}_{sinmathbbR}$ be a globally definable one parameter family of $C^2$-hypersurfaces of $mathbb{R}^n$. Upon defining the notion of generalized critical value for such a family we show that the functions $so|K(s)|$ and $soK(s)$, respectively the total absolute Gauss-Kronecker and total Gauss-Kronecker curvature of $T_s$, are continuous in any neighbourhood of any value which is not generalized critical. In particular this provides a necessary criterion of equisingularity for the family of the levels of a real polynomial.

Mathematics Subject Classification ID

Critical points and critical submanifolds in differential topology (57R70) Model theory of ordered structures; o-minimality (03C64) Semialgebraic sets and related spaces (14P10)

This page was built for publication: Gauss-Kronecker Curvature and equisingularity at infinity of definable families

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6315879)