Groupes linéaires sur le corps de fonctions de courbes réelles.
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 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 , 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 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 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 . We also derive several new and several old results on the topology of ....
In this paper we prove the implicit function theorem for locally blow-analytic functions, and as an interesting application of using blow-analytic homeomorphisms, we describe a very easy way to resolve singularities of analytic curves.
We consider 2-dimensional semialgebraic topological manifolds from the differentialgeometric point of view. Curvatures at singularities are defined and a Gauss-Bonnet formula holds. Moreover, Aleksandrov's axioms for an intrinsic geometry of surfaces are fulfilled.
The aim of this paper is to prove the theorem on invariance of domain in an arbitrary o-minimal structure. We do not make use of the methods of algebraic topology and the proof is based merely on some basic facts about cells and cell decompositions.
We describe the notion of a weakly Lipschitz mapping on a stratification. We also distinguish a class of regularity conditions that are in some sense invariant under definable, locally Lipschitz and weakly bi-Lipschitz homeomorphisms. This class includes the Whitney (B) condition and the Verdier condition.
We construct invariants under deformation of real symplectic four-manifolds. These invariants are obtained by counting three different kinds of real rational -holomorphic curves which realize a given homology class and pass through a given real configuration of (the appropriate number of) points. These curves are cuspidal curves, reducible curves and curves with a prescribed tangent line at some real point of the configuration. They are counted with respect to some sign defined by the parity of...
We prove a sufficient condition for the Jacobian problem in the setting of real, complex and mixed polynomial mappings. This follows from the study of the bifurcation locus of a mapping subject to a new Newton non-degeneracy condition.
We prove rectilinearization and uniformization theorems for K-subanalytic (∝anK-definable) sets and functions using the Lion-Rolin formula. Parallel reasoning gives standard results for the subanalytic case.