Search arXivSearch

arXiv · 1408.6036

Approximations of Lipschitz maps via immersions and differentiable exotic sphere theorems

Abstract

As our main theorem, we prove that a Lipschitz map from a compact Riemannian manifold $M$ into a Riemannian manifold $N$ admits a smooth approximation via immersions if the map has no singular points on $M$ in the sense of F.H. Clarke, where $\dim M \leq \dim N$. As its corollary, we have that if a bi-Lipschitz homeomorphism between compact manifolds and its inverse map have no singular points in the same sense, then they are diffeomorphic. We have three applications of the main theorem: The first two of them are two differentiable sphere theorems for a pair of topological spheres including that of exotic ones. The third one is that a compact $n$-manifold $M$ is a twisted sphere and there exists a bi-Lipschitz homeomorphism between $M$ and the unit $n$-sphere $S^n(1)$ which is a diffeomorphism except for a single point, if $M$ satisfies certain two conditions with respect to critical points of its distance function in the Clarke sense. Moreover, we have three corollaries from the third theorem; the first one is that for any twisted sphere $Σ^n$ of general dimension $n$, there exists a bi-Lipschitz homeomorphism between $Σ^n$ and $S^n(1)$ which is a diffeomorphism except for a single point. In particular, there exists such a map between an exotic $n$-sphere $Σ^n$ of dimension $n>4$ and $S^n(1)$; the second one is that if an exotic $4$-sphere $Σ^4$ exists, then $Σ^4$ does not satisfy one of the two conditions above; the third one is that for any Grove-Shiohama type $n$-sphere $N$, there exists a bi-Lipschitz homeomorphism between $N$ and $S^n(1)$ which is a diffeomorphism except for one of points that attain their diameters.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Kei Kondo, Minoru Tanaka. 2017-02-28. Approximations of Lipschitz maps via immersions and differentiable exotic sphere theorems. https://doi.org/10.1016/j.na.2017.01.022

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Ancient mean curvature flow asymptotic to a minimal quadratic cone

In this paper, we prove that a smooth, properly embedded ancient mean curvature flow that is asymptotic to an $O(n)\times O(m)$ symmetric minimal quadratic cone for $n +m \geq 10$, and lies on one side of the cone has to have unique asymptotics in the parabolic region. When additionally assuming mean convexity, we upgrade unique asymptotics to full uniqueness, and show that such flow has to be a stationary flow given by one of the leaves of the Hardt-Simon foliation. This is the first rigidity/unique asymptotics theory for ancient mean curvature flow with a $\textbf{singular minimal cone as the asymptotic model}$.

math.DG

Log-Concavity of First Dirichlet Eigenfunctions on $\mathbb{CP}^2$

We study the log-concavity property of first Dirichlet eigenfunctions on domains in $\mathbb{CP}^2$. For every smooth $1$-convex domain $Ω\subset\mathbb{CP}^2$, we prove the quantitative estimate \[ \nabla^2(-\log u) > \max\left\{ψ(s),\frac85\right\}g, \text{ where } ψ(|\grad f|^2) = \frac{s}{\sqrt{1+s}}-\log(1+s), \] for its first Dirichlet eigenfunction $u$. In particular, $u$ is strictly log-concave. As consequences, we obtain a uniform convexity estimate for the regular level sets of $u$ and the fundamental gap bound $λ_2-λ_1>46/5$.

math.DG

Pólya--Szegö Inequality on Submanifolds of Riemannian Manifolds with Nonnegative Curvature and Applications

We prove a Pólya--Szegö inequality for functions defined on an $n$-dimensional submanifold $Σ$ of a complete noncompact Riemannian manifold with nonnegative sectional curvature. The associated rearrangement is a Schwarz rearrangement on $\mathbb R^n$, and the constant depends on the $L^n$-norm of the mean curvature of $Σ$ and an isoperimetric quantity obtained by Brendle. As applications, we derive Sobolev, Log-Sobolev, Hardy, and Gagliardo--Nirenberg inequalities on submanifolds of arbitrary codimension under a small total mean curvature assumption. In the critical Sobolev case, we obtain Moser--Trudinger inequalities on finite-volume submanifolds and exact growth inequalities on submanifolds with infinite volume. Under suitable assumptions, the Pólya--Szegö constant equals one; in this case, the critical constants in the inequalities coincide with the sharp Euclidean ones.

math.DG