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

Arguments on PL,(=piecewise linear) topology work over any ordered field in the same way as over the real field, and those on differential topology do over a real closed field R in an o-minimal structure that expands (R,<,0,1,+,cdot). One…

We show that an entire branched cover of finite distortion cannot have a compact branch set if its distortion satisfies a certain asymptotic growth condition. We furthermore show that this bound is strict by constructing an entire,…

Francesco Severi showed that equisingular families of plane nodal curves are T-smooth, i.e. smooth of the expected dimension, whenever they are non-empty. For families with more complicated singularities this is no longer true. Given a…

We work over an o-minimal expansion of a real closed field. The o-minimal homotopy groups of a definable set are defined naturally using definable continuous maps. We prove that any two semialgebraic maps which are definably homotopic are…

Let $(M,g^{TM})$ be an odd dimensional ($\dim M\geq 3$) connected oriented noncompact complete spin Riemannian manifold. Let $k^{TM}$ be the associated scalar curvature. Let $f:M\to S^{\dim M}(1)$ be a smooth area decreasing map which is…

We prove a generalization of Thom's transversality theorem. It gives conditions under which the jet map $f_*|_Y:Y\subseteq J^r(D,M)\ra J^r(D,N)$ is generically (for $f:M\ra N$) transverse to a submanifold $Z\subseteq J^r(D,N)$. We apply…

In this paper, we present several definitive characterizations of the $C^1$ smoothness of definable sets in terms of their tangent cones and some other metric properties. In particular, we recover some of the beautiful characterizations…

In this paper, we give a complete topological and smooth classification of non-invertible Anosov maps on torus. We show that two non-invertible Anosov maps on torus are topologically conjugate if and only if their corresponding periodic…

Let $(M,g^{TM})$ be a noncompact complete Riemannian manifold of dimension $n$, and let $F\subseteq TM$ be an integrable subbundle of $TM$. Let $g^F=g^{TM}|_{F}$ be the restricted metric on $F$ and let $k^F$ be the associated leafwise…

Consider a definable complete d-minimal expansion $(F, <, +, \cdot, 0, 1, \dots,)$ of an oredered field $F$. Let $X$ be a definably compact definably normal definable $C^r$ manifold and $2 \le r <\infty$. We prove that the set of definable…

We give necessary and sufficient geometric conditions for a theory definable in an o-minimal structure to interpret a real closed field. The proof goes through an analysis of thorn-minimal types in super-rosy dependent theories of finite…

We prove that if the minors of degree $k$ of a Sobolev map $\mathbb{R}^d \to \mathbb{R}^d$ are smooth then the map is smooth, when $k,d$ are not both even. We use this result to derive a simple, self-contained proof of the famous Liouville…

We show that if there exists a topologically expansive homeomorphism on a uniform space, then the space is always a regular space. Through examples we show that in general composition of topologically expansive homeomorphisms need not be…

We consider definable topological spaces of dimension one in o-minimal structures, and state several equivalent conditions for when such a topological space $\left(X,\tau\right)$ is definably homeomorphic to an affine definable space…

A smooth map having only fold singularities is called a fold-map. We will give effective conditions for a continuous map to be homotopic to a fold-map from the viewpoint of the homotopy principle.

For any transitive piecewise monotonic map for which the set of periodic measures is dense in the set of ergodic invariant measures (such as monotonic mod one transformations and piecewise monotonic maps with two monotonic pieces), we show…

We give a necessary and sufficient condition for the smooth extension of a diffeomorphism between smooth strictly pseudoconvex domains in four real dimensional almost complex manifolds. The proof is mainly based on a reflection principle…

We prove a general existence theorem for nonlinear partial differential systems of any order in one complex variable. A special case of first order contains a well-known theorem of Nijenhuis and Woolf concerning local existence of…

In this article we investigate rigidity properties of integrable area-preserving twist maps of the cylinder. More specifically, we prove that if a deformation of the standard integrable map preserves rotational invariant circles (i.e.,…

We endow the set of persistence diagrams with the strong topology (the topology of countable direct limit of increasing sequence of bounded subsets considered in the bottleneck distance). The topology of the obtained space is described.…