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

We show that for any real-analytic submanifold M in C^N there is a proper real-analytic subvariety V contained in M such that for any point p in M\V, any real-analytic submanifold M' in C^N, and any point p' in M', the germs of the…

For a compact $(2n+1)$-dimensional smooth manifold, let $\mu_M : B Diff_\partial (D^{2n+1}) \to B Diff (M)$ be the map that is defined by extending diffeomorphisms on an embedded disc by the identity. By a classical result of Farrell and…

Let X be a definable sub-set of some o-minimal structure. We study the spectrum of X, in relation with the definability of types.

We prove that the roots of a definable $C^\infty$ curve of monic hyperbolic polynomials admit a definable $C^\infty$ parameterization, where `definable' refers to any fixed o-minimal structure on $(\mathbb R,+,\cdot)$. Moreover, we provide…

We show that for any connected smooth manifold $M$ of dimension different from $3$ the restriction of the compact-open topology to the diffeomorphism group of $M$ is minimal, i.e. the group does not admit a strictly coarser Hausdorff group…

We show that, in many situations, a homeomorphism $f$ of a manifold $M$ may be recovered from the (marked) isomorphism class of a finitely generated group of homeomorphisms containing $f$. As an application, we relate the notions of {\em…

Two smooth manifolds M and N are called R-diffeomorphic if their product with the real line are diffeomorphic. We consider the following simplification problem: does R-diffeomorphism imply diffeomorphism or homeomorphism? For compact…

There are a least uncountably many diffeomorphism types for open manifolds. Hence the classification problem is extremely difficult. We proceed as follows: We define several uniform structures of proper metric spaces and consider their arc…

Let $M$ be a smooth compact connected manifold of dimension $d\geq 2$, possibly with boundary, that admits a smooth effective $\mathbb{T}^2$-action $\mathcal{S}=\left\{S_{\alpha,\beta}\right\}_{(\alpha,\beta) \in \mathbb{T}^2}$ preserving a…

In this paper we shall give sufficient conditions for local CR diffeomorphisms between two real analytic submanifolds of $\Bbb C^N$ to be determined by finitely many derivatives at finitely many points. These conditions will also be shown…

We study the class of norms on the space of smooth functions on a closed symplectic manifold, which are invariant under the action of the group of Hamiltonian diffeomorphisms. Our main result shows that any such norm that is continuous with…

In this paper we show that the $\mathrm{K}$-homology groups of a separable C*-algebra can be enriched with additional descriptive set-theoretic information, and regarded as definable groups. Using a definable version of the Universal…

Let M be a closed 5-manifold of pinched curvature 0<\delta\le \text{sec}_M\le 1. We prove that M is homeomorphic to a spherical space form if M satisfies one of the following conditions: (i) \delta =1/4 and the fundamental group is a…

We show that if $M$ is a sub-Riemannian manifold and $N$ is a Carnot group such that the nilpotentization of $M$ at almost every point is isomorphic to $N$, then there are subsets of $N$ of positive measure that embed into $M$ by…

We define a discrete closure operation for definably complete locally o-minimal structures $\mathcal M$. The pair of the underlying set of $\mathcal M$ and the discrete closure operation forms a pregeometry. We define the rank of a…

One of the main purposes of this paper is to prove that on a complete K\"ahler manifold of dimension $m$, if the holomorphic bisectional curvature is bounded from below by -1 and the minimum spectrum $\lambda_1(M) \ge m^2$, then it must…

For r at least 3, p at least 2, we classify all actions of the groups Diff^r_c(R) and Diff^r_+(S1) by C^p -diffeomorphisms on the line and on the circle. This is the same as describing all nontrivial group homomorphisms between groups of…

Let $M$ be a compact manifold of dimension at least 2. If $M$ admits a minimal homeomorphism then $M$ admits a minimal noninvertible map.

In this paper, we classify compact simply connected cohomogeneity one manifolds up to equivariant diffeomorphism whose isotropy representation by the connected component of the principal isotropy subgroup has three or less irreducible…

We give a diffeomorphism classification of pinched negatively curved manifolds with amenable fundamental groups, namely, they are precisely the M\"obius band, and the products of a line with the total spaces of flat vector bundles over…