Related papers: Transversality of smooth definable maps in O-minim…

We prove a general theorem on the persistence of Whitney infinitely smooth families of invariant tori in the reversible context 2 of KAM theory. This context refers to the situation where dim Fix G < (codim T)/2 where Fix G is the fixed…

In this paper we work in an arbitrary o-minimal structure with definable Skolem functions and we prove that definably connected, locally definable manifolds are uniformly definably path connected, have an admissible cover by definably…

We characterize the notion of definable compactness for topological spaces definable in o-minimal structures, answering questions of Peterzil and Steinhorn (1999) and Johnson (2018). Specifically, we prove the equivalence of various…

Perturbations due to round-off errors in computer modeling are discontinuous and therefore one cannot use results like KAM theory about smooth perturbations of twist maps. We elaborate a special approximation scheme to construct two smooth…

These notes focus on the Lipschitz geometry of sets that are definable in o-minimal structures (expanding the real field). We show that every set which is definable in a polynomially bounded o-minimal structure admits a stratification which…

We prove structure theorems for o-minimal definable subsets $S\subset G$ of definable groups containing large multiplicative structures, and show definable groups do not have bounded torsion arbitrarily close to the identity. As an…

Taking an elementary and straightforward approach, we develop the concept of a regular value for a smooth map f: O -> P between smooth orbifolds O and P. We show that Sard's theorem holds and that the inverse image of a regular value is a…

Topologies on algebraic and equational theories are used to define germ determined, near-point determined, and point determined rings of smooth functions, without requiring them to be finitely generated. It is proved, that any commutative…

We establish the first global results for groups definable in tame expansions of o-minimal structures. Let $\mathcal N$ be an expansion of an o-minimal structure $\mathcal M$ that admits a good dimension theory. The setting includes dense…

In this article we study two "strong" topologies for spaces of smooth functions from a finite-dimensional manifold to a (possibly infinite-dimensional) manifold modeled on a locally convex space. Namely, we construct Whitney type topologies…

We prove that every endomorphism which satisfies Axiom A and the strong transversality conditions is $C^1$-inverse limit structurally stable. These conditions were conjectured to be necessary and sufficient. This result is applied to the…

We introduce an information-theoretic framework for smooth structures on topological manifolds, replacing coordinate charts with small-scale entropy data of local probability probes. A concise set of axioms identifies admissible coordinate…

We establish a general version of the Siegel-Sternberg linearization theorem for ultradiffentiable maps which includes the analytic case, the smooth case and the Gevrey case. It may regarded as a small divisior theorem without small divisor…

Let $X\subset\Bbb C^n$ be an affine variety and $f:X\to\Bbb C^m$ be the restriction to $X$ of a polynomial map $\Bbb C^n\to\Bbb C^m$. In this paper, we construct an affine Whitney stratification of $X$. The set $K(f)$ of stratified…

In [MaII] Mather proved that a smooth proper infinitesimally stable map is stable. This result is the key component of the Mather stability theorem [MaV], which can be reformulated as follows: a smooth proper map $f: M\to N$ is stable if…

We study Thom Transversality Theorem using a point of view, suggested by Gromov, which allows to avoid the use of Sard Theorem and gives finer informations on the structure of the set of non-transverse maps.

We first show that the projection image of a discrete definable set is again discrete for an arbitrary definably complete locally o-minimal structure. This fact together with the results in a previous paper implies tame dimension theory and…

In this paper, we prove that infinitesimal automorphisms of an involutive structure are smooth. For this, we build a regularity theory for sections of vector bundles over an involutive structure $(M,V)$ endowed with a connection compatible…

We study directed sets definable in o-minimal structures, showing that in expansions of ordered fields these admit cofinal definable curves, as well as a suitable analogue in expansions of ordered groups, and furthermore that no analogue…

We prove that, for general cost functions on $\mathbb{R}^n$, or for the cost $d^2/2$ on a Riemannian manifold, optimal transport maps between smooth densities are always smooth outside a closed singular set of measure zero.