Search arXivSearch

arXiv · 2507.15808

A Nash-Kuiper theorem for isometric immersions in a high codimension

Abstract

This paper is devoted to investigating the isometric immersion problem of Riemannian manifolds in a high codimension. It has recently been demonstrated that any short immersion from an $n$-dimensional smooth compact manifold into $2n$-dimensional Euclidean space can be uniformly approximated by $C^{1,θ}$ isometric immersions with any $θ\in(0,1/(n+2))$ in dimensions $n\geq3$. In this paper, we improve the Hölder regularity of the constructed isometric immersions in the local setting, achieving $C^{1,θ}$ for all $θ\in(0,1/n)$ in odd dimensions and all $θ\in(0,1/(n+1))$ in even dimensions. Moreover, we also establish explicit $C^{1}$ estimates for the isometric immersions, which indicate that the larger the initial metric error is, the greater the $C^{1}$ norms of the resulting isometric maps become, meaning that their slope become steeper.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Zhiwen Zhao. 2025-07-21. A Nash-Kuiper theorem for isometric immersions in a high codimension. https://arxiv.org/abs/2507.15808

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

KEEP EXPLORING

Related papers

Dirac operators twisted by ramified Euclidean line bundles

This article is concerned with the analysis of Dirac operators $D$ twisted by ramified Euclidean line bundles $(Z,\mathfrak{l})$-motivated by their relation with harmonic $\mathbf{Z}/2\mathbf{Z}$ spinors, which have appeared in various context in gauge theory and calibrated geometry. The closed extensions of $D$ are described in terms of the Gelfand-Robbin quotient $\check{\mathbf{H}}$. Assuming that the branching locus $Z$ is a closed cooriented codimension two submanifold, a geometric realisation of $\check{\mathbf{H}}$ is constructed. This, in turn, leads to an $L^2$ regularity theory.

math.DG

New Solutions to the $G_2$ Hull-Strominger System via torus fibrations over $K3$ orbifolds

Using torus fibrations over K3 orbisurfaces, we construct new smooth solutions to the $G_2$ Hull-Strominger system. These manifolds arise as total spaces of principal $T^3$ (orbi)bundles over singular K3 surfaces. Our construction is based on the choice of three divisors on a singular K3 surface that are primitive with respect to a particular Kählermetric. The stable bundle is obtained via an adaptation of the Serre construction to the singular setting.

math.DG

On vector-valued multisymplectic forms

We obtain a standard local presentation for a vector-valued multisymplectic form on a smooth manifold, generalizing the known proof for polysymplectic forms. We show that vector-valued multisymplectic forms on a finite-dimensional real vector space form a non-unital operad. We prove an entropy inequality for partial compositions.

math.DG