Related papers: A remark on $\mathscr{C}^\infty$ definable equival…

We consider bipartite graphs definable in o-minimal structures, in which the edge relation $G$ is a finite union of graphs of certain measure-preserving maps. We establish a fact on the existence of definable matchings with few short…

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…

For a non-compact n-manifold M let H(M) denote the group of homeomorphisms of M endowed with the Whitney topology and H_c(M) the subgroup of H(M) consisting of homeomorphisms with compact support. It is shown that the group H_c(M) is…

We classify, up to diffeomorphism, all closed smooth manifolds homeomorphic to the complex projective $n$-space $\mathbb{C}\textbf{P}^n$, where $n=3$ and $4$. Let $M^{2n}$ be a closed smooth $2n$-manifold homotopy equivalent to…

Suppose that $M$ is a Riemann surface with boundary $\partial M$, $\Lambda$ is its DN-map, and $\mathscr E:M\to\mathbb{C}^{n}$ % $\mathfrak{J}_{M}$ is a holomorphic immersion. Let $M'$ be diffeomorphic to $M$, $\partial M=\partial M'$; let…

Let $M$ be a closed oriented $C^\infty$ manifold and $f$ a $C^\infty$ Anosov diffeomorphism on $M$. We show that if $M$ is the two torus $T^2$, then $f$ is conjugate to a hyperbolic automorphism of $T^2$, either by a $C^\infty$…

Let $M$ and $N$ be compact smooth oriented Riemannian $n$-manifolds without boundary embedded in $\mathbb{R}^{n+1}$. Several problems about minimal distortion bending and morphing of $M$ to $N$ are posed. Cost functionals that measure…

We show that if the group of holomorphic automorphisms of a connected Stein manifold $M$ is isomorphic to that of ${\bf C}^n$ as a topological group equipped with the compact-open topology, then $M$ is biholomorphically equivalent to ${\bf…

Let $M$ be a flat manifold. We say that $M$ has $R_\infty$ property if the Reidemeister number $R(f) = \infty$ for every homeomorphism $f \colon M \to M.$ In this paper, we investigate a relation between the holonomy representation $\rho$…

Given a definably compact group G in a saturated o-minimal structure, there is a canonical homomorphism from G to a compact real Lie group F(G). We establish a similar result for the (o-mininimal) universal cover of a definably compact…

We prove a definable version of the Whitney embedding theorem for abstract-definable $\mathcal{C}^p$ manifolds with $1\leq p<\infty$, namely: every abstract-definable $\mathcal{C}^p$ manifold is abstract-definable $C^p$ embedded into $R^N$,…

The main theorem shows that if M is an irreducible compact connected orientable 3-manifold with non-empty boundary, then the classifying space BDiff(M rel dM) of the space of diffeomorphisms of M which restrict to the identity map on…

We give a necessary and sufficient condition for a one-dimensional regular and Hausdorff topological space definable in a definably complete uniformly locally o-minimal structure of the second kind having definable bounded multiplication…

Efroymson's approximation theorem asserts that if $f$ is a $\mathcal{C}^0$ semialgebraic mapping on a $\mathcal{C}^\infty$ semialgebraic submanifold $M$ of $\mathbb{R}^n$ and if $\varepsilon:M\to \mathbb{R}$ is a positive continuous…

We give necessary and sufficient conditions for a closed smooth 6-manifold N to be diffeomorphic to a product of a surface F and a simply connected 4-manifold M in terms of basic invariants like the fundamental group and cohomological data.…

We show the following result: Let $(M,g_0)$ be a compact manifold of dimension $n\geq 12$ with positive isotropic curvature. Then $M$ is diffeomorphic to a spherical space form, or a quotient manifold of $\mathbb{S}^{n-1}\times \mathbb{R}$…

Consider an o-minimal structure on the real field. Let $M$ be a definable $C^r$ manifold, where $r$ is a nonnegative integer. We first demonstrate an equivalence of the category of definable $C^r$ vector bundles over $M$ with the category…

We study the topology of metric spaces which are definable in o-minimal expansions of ordered fields. We show that a definable metric space either contains an infinite definable discrete set or is definably homeomorphic to a definable set…

Let ($M$, $\Omega$) be a smooth symplectic manifold and $f:M\rightarrow M$ be a symplectic diffeomorphism of class $C^l$ ($l\geq 3$). Let $N$ be a compact submanifold of $M$ which is boundaryless and normally hyperbolic for $f$. We suppose…

A new differentiable sphere theorem is obtained from the view of submanifold geometry. An important scalar is defined by the scalar curvature and the mean curvature of an oriented complete submanifold $M^n$ in a space form $F^{n+p}(c)$ with…