Search

Fix an o-minimal structure expanding the ordered field of real numbers. Let $(W_y)_{y\in\mathbb{R}^s}$ be a definable family of closed subsets of $\mathbb{R}^n$ whose total space $W = \cup_y W_y\times y$ is a closed connected $C^2$ definable sub-manifold of $\mathbb{R}^n\times\mathbb{R}^s$. Let $\varphi:W \to\mathbb{R}^s$ be the restriction of the projection to the second factor. After defining $K(\varphi)$, the set of generalized critical values of $\varphi$, showing that they are closed and definable of positive codimension in $\mathbb{R}^s$, contain the bifurcation values of $\varphi$ and are stable under generic plane sections, we prove that all the Lipschitz-Killing curvature densities at infinity $y \mapsto \kappa_i^\infty(W_y)$ are continuous functions over $\mathbb{R}^s\setminus K(\varphi)$. When $W$ is a $C^2$ definable hypersurface of $\mathbb{R}^n\times\mathbb{R}^s$, we further obtain that the symmetric principal curvature densities at infinity $y \mapsto \sigma_i^\infty(W_y)$ are continuous functions over $\mathbb{R}^s\setminus K(\varphi)$.

International audience; In this survey, we remind some fibrations structure theorems (also called Milnor's fibrations) recently proved in the real and complex case, in the local and global settings. We give several Poincaré-Hopf type formulae which relates the Euler-Poincaré characteristic of these fibers (also called Milnor's fibers) and indices (topological degree) of appropriated vector fields defined on spheres of radii small or big enough.

The Euler obstruction of a function can be viewed as a generalization of the Milnor number for functions defined on singular spaces. In this work, using the Euler obstruction of a function, we give a version of the L��-Greuel formula for two germs of analytic functions with isolated singularity at the origin on a singular space. Using this formula and results of Loeser, we also present an integral formula for the Euler obstruction of a function, generalizing a formula of Kennedy.

The radial index of a 1-form on a singular set is a generalization of the classical Poincar��-Hopf index. We consider different classes of closed semi-analytic sets in R^n that contain 0 in their singular locus and we relate the radial index of a 1-form at 0 on these sets to Poincar��-Hopf indices at 0 of vector fiels defined on R^n., 38 pages