Related papers: A remark on $\mathscr{C}^\infty$ definable equival…
A diffeomorphism f is called super exponential divergent if for every r>1, the lower limit of #Per_n(f)/r^n diverges to infinity as n tends to infinity, where Per_n(f) is the set of all periodic points of f with period n. This property is…
If F is a type-definable family of commensurable subsets, subgroups or sub-vector spaces in a metric structure, then there is an invariant subset, subgroup or sub-vector space commensurable with F. This in particular applies to…
Given a definably amenable approximate subgroup $A$ of a (local) group in some first-order structure, there is a type-definable subgroup $H$ normalised by $A$ and contained in $A^4$ such that every definable superset of $H$ has positive…
An odd-dimensional differentiable manifold is called \emph{holomorphically fillable} if it is diffeomorphic to the boundary of a compact strongly pseudoconvex complex manifold, \emph{Stein fillable} if this last manifold may be chosen to be…
We give examples of minimal diffeomorphisms of compact connected manifolds which are not topologically orbit equivalent, but whose transformation group C*-algebras are isomorphic. The examples show that the following properties of a minimal…
This is a survey article describing the proof that the crossed product C^* (Z, M, h) of a compact smooth manifold M by a minimal diffeomorphism h of M is isomorphic to a direct limit of recursive subhomogeneous C*-algebras.
We continue the analysis of definably compact groups definable in a real closed field $\mathcal{R}$. In [3], we proved that for every definably compact definably connected semialgebraic group $G$ over $\mathcal{R}$ there are a connected…
We endow the diffeomorphism group of a paracompact (reduced) orbifold with the structure of an infinite dimensional Lie group modelled on the space of compactly supported sections of the tangent orbibundle. For a second countable orbifold,…
Some new differentiable sphere theorems are obtained via the Ricci flow and stable currents. We prove that if $M^n$ is a compact manifold whose normalized scalar curvature and sectional curvature satisfy the pointwise pinching condition…
We characterize maps between $n$-dimensional N\"obeling manifolds that can be approximated by homeomorphisms.
We provide a Reifenberg type characterization for $m$-dimensional $C^1$-submanifolds of $\mathbb R^n$. This characterization is also equivalent to Reifenberg-flatness with vanishing constant combined with suitably converging approximating…
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…
We prove 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 the total space of an orbifiber bundle over $\mathbb{S}^1$…
In this short note, we study C((t)) in the language of valued rings. We show that a definable subset of C((t))n (or in monster model, Mn) is definably compact iff it is closed and unbounded. Then we give some comments on definable groups…
We classify up to diffeomorphism all smooth manifolds homeomorphic to the complex projective m-space $\mathbb{C}P^{m}$ for $m = 5, 6, 7$ and $8$. As an application, for $m = 7$ and $8$, we compute the smooth tangential structure set of…
We state conditions for which a definable local homomorphism between two locally definable groups $\mathcal{G}$, $\mathcal{G^{\prime}}$ can be uniquely extended when $\mathcal{G}$ is simply connected (Theorem 2.1). As an application of this…
Let $f,g:(\mathbb{R}^n,0)\rightarrow (\mathbb{R},0)$ be $C^{r+1}$ functions, $r\in \mathbb{N}$. We will show that if $\nabla f(0)=0$ and there exist a neigbourhood $U$ of $0\in \mathbb{R}^n$ and a constant $C>0$ such that $$…
Given a proper map f : M $\rightarrow$ Q, having cell-like point-inverses, from a manifold-without-boundary M onto an ANR Q, it is a much-studied problem to find when f is approximable by homeomorphisms, i.e., when the decomposition of M…
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…
Suppose $TM\setminus \{0\}$ and $T\widetilde M\setminus\{0\}$ are slashed tangent bundles of two smooth manifolds $M$ and $\widetilde M$, respectively. In this paper we characterize those diffeomorphisms $F\colon TM\setminus\{0\} \to…