In the 70’s, Nekhorochev proved that for an analytic nearly integrable Hamiltonian system, the action variables of the unperturbed Hamiltonian remain nearly constant over an exponentially long time with respect to the size of the perturbation, provided that the unperturbed Hamiltonian satisfies some generic transversality condition known as steepness. Using theorems of real subanalytic geometry, we derive a geometric criterion for steepness: a numerical function $h$ which is real analytic around a...

In questo lavoro si estende il concetto di campo di Hardy [Bou], al contesto dei germi di funzioni in più variabili che sono definite su insiemi semi-algebrici [Br.], [D.] e che risultano essere morfismi di categorie lisce [Pal.]. In tale contesto si dimostra che per ogni campo di Hardy di germi di una fissata categoria liscia $𝒞$, la sua chiusura algebrica relativa nell'anello $G𝒞$, di tutti i germi nella stessa categoria liscia, è un campo di Hardy reale chiuso, che è l'unica chiusura reale del campo...

The h-cobordism theorem is a noted theorem in differential and PL topology. A generalization of the h-cobordism theorem for possibly non simply connected manifolds is the so called s-cobordism theorem. In this paper, we prove semialgebraic and Nash versions of these theorems. That is, starting with semialgebraic or Nash cobordism data, we get a semialgebraic homeomorphism (respectively a Nash diffeomorphism). The main tools used are semialgebraic triangulation and Nash approximation.One aspect of...

There is a large research program focused on comparison between algebraic and topological categories, whose origins go back to 1952 and the celebrated work of J. Nash on real algebraic manifolds. The present paper is a contribution to this program. It investigates the homology and cohomology classes represented by real algebraic sets. In particular, such classes are studied on algebraic models of smooth manifolds.

Let ${ℳ}_0^{ℝ}$ be the moduli space of smooth real cubic surfaces. We show that each of its components admits a real hyperbolic structure. More precisely, one can remove some lower-dimensional geodesic subspaces from a real hyperbolic space $H^4$ and form the quotient by an arithmetic group to obtain an orbifold isomorphic to a component of the moduli space. There are five components. For each we describe the corresponding lattices in $\mathrm{PO}(4,1)$. We also derive several new and several old results on the topology of ${ℳ}_0^{ℝ}$....