English
Related papers

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

200 papers

We prove the existence and the uniqueness of a conformally equivariant symbol calculus and quantization on any conformally flat pseudo-Riemannian manifold $(M,\rg)$. In other words, we establish a canonical isomorphism between the spaces of…

Differential Geometry · Mathematics 2007-05-23 C. Duval , P. Lecomte , V. Ovsienko

For every diffeomorphism $\varphi:M\to N$ between 3--dimensional Riemannian manifolds $M$ and $N$ there are in general locally two 2--dimensional distributions $D_{\pm}$ such that $\varphi$ is conformal on both of them. We state necessary…

Differential Geometry · Mathematics 2008-12-09 Kamil Niedzialomski

Let $M$ be a closed connected smooth manifold and $G=\textmd{Diff}_0(M)$ denote the connected component of the diffeomorphism group of $M$ containing the identity. The natural action of $G$ on $M$ induces the trace homomorphism on homology.…

Geometric Topology · Mathematics 2007-05-23 Yildiray Ozan

Let $M, N$ the be smooth manifolds, $\mathcal{C}^{r}(M,N)$ the space of ${C}^{r}$ maps endowed with weak $C^{r}$ Whitney topology, and $\mathcal{B} \subset \mathcal{C}^{r}(M,N)$ an open subset. It is proved that for $0\leq r<s\leq\infty$…

Algebraic Topology · Mathematics 2024-04-22 Oleksandra Khokhliuk , Sergiy Maksymenko

Let $M=V\setminus D$ be a smooth quasi-projective variety for some smooth projective variety $V$ and a divisor $D$ with normal crossings. Assume that $M$ is diffeomorphic to a non-compact nilmanifold $\Gamma\backslash N\times\mathbb{R}^m$.…

Algebraic Topology · Mathematics 2026-01-26 Taito Shimoji

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…

Logic · Mathematics 2024-08-28 Masato Fujita , Tomohiro Kawakami

Bakker, Brunebarbe, Tsimerman showed in \cite{bakker2022minimal} that the definable structure sheaf $\mathcal{O}_{\mathbb{C}^n}$ of $\mathbb{C}^n$ is a coherent $\mathcal{O}_{\mathbb{C}^n}$-module as a sheaf on the site…

Logic · Mathematics 2024-09-17 Yayi Fu

The smallest $r$ so that a metric $r$-ball covers a metric space $M$ is called the radius of $M$. The volume of a metric $r$-ball in the space form of constant curvature $k$ is an upper bound for the volume of any Riemannian manifold with…

Differential Geometry · Mathematics 2015-05-22 Curtis Pro , Michael Sill , Frederick Wilhelm

We prove that any diffeomorphism of a compact manifold can be approximated in topology C1 by another diffeomorphism exhibiting a homoclinic bifurcation (a homoclinic tangency or a heterodimensional cycle) or by one which is essentially…

Dynamical Systems · Mathematics 2010-11-18 Sylvain Crovisier , Enrique R. Pujals

A vector field E on an F-manifold (M, o, e) is an eventual identity if it is invertible and the multiplication X*Y := X o Y o E^{-1} defines a new F-manifold structure on M. We give a characterization of such eventual identities, this being…

Differential Geometry · Mathematics 2020-12-15 Liana David , Ian A. B. Strachan

Given a finite dimensional manifold $N$, the group $\operatorname{Diff}_{\mathcal S}(N)$ of diffeomorphism of $N$ which fall suitably rapidly to the identity, acts on the manifold $B(M,N)$ of submanifolds on $N$ of diffeomorphism type $M$…

Differential Geometry · Mathematics 2015-04-01 Mario Micheli , Peter W. Michor , David Mumford

We prove that given an open Riemann surface $N,$ there exists an open domain $M\subset N$ homeomorphic to $N$ which properly holomorphically embeds in $\mathbb{C}^2.$ Furthermore, $M$ can be chosen with hyperbolic conformal type. In…

Complex Variables · Mathematics 2015-03-19 Antonio Alarcon , Francisco J. Lopez

We consider a complete biharmonic submanifold $\phi:(M,g)\rightarrow (N,h)$ in a Riemannian manifold with sectional curvature bounded from above by a non-negative constant $c$. Assume that the mean curvature is bounded from below by $\sqrt…

Differential Geometry · Mathematics 2014-11-12 Shun Maeta

Definable topological groups whose topologies are affine have definable $\mathcal C^r$ structures in d-minimal expansions of ordered fields, where $r$ is a positive integer. We prove this fact using a new notion called partition degree of a…

Logic · Mathematics 2024-07-24 Masato Fujita

We formulate and study the notion of $d$-skeletal diffeology, which generalizes that of wire diffeology, introducing the dual notion of $d$-coskeletal diffeology. We first show that paracompact finite-dimensional $C^\infty$-manifolds $M_d$…

Algebraic Topology · Mathematics 2022-05-25 Hiroshi Kihara

We prove that for any $\ell\in\NN\cup\{\infty\}$ and any $r\in \NN$, every compact smooth Riemannian manifold $\cM$ of $\dim \cM\ge 5$ carries a $C^\infty$ volume preserving nonuniformly hyperbolic diffeomorphism, which has exactly $\ell$…

Dynamical Systems · Mathematics 2025-06-25 Jianyu Chen , Huyi Hu , Yun Yang

We show that the group ${\Cal D}(M)$ of pseudoisotopy classes of diffeomorphisms of a manifold of dimension $\geq 5$ and of finite fundamental group is commensurable to an arithmetic group. As a result $\pi_0(\text{{\it Diff\,M}})$ is a…

Geometric Topology · Mathematics 2009-09-25 Georgia Triantafillou

A very short proof of the following smooth homogeneity theorem of D. Repovs, E. V. Scepin and the author is presented. Let N be a locally compact subset of a smooth manifold M. Assume that for each two points x,y in N there exist their…

Geometric Topology · Mathematics 2007-06-13 A. Skopenkov

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…

Logic · Mathematics 2018-07-20 Pantelis E. Eleftheriou

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…

Logic · Mathematics 2010-02-17 Masahiro Shiota