Abstract:fundamental result in global analysis and nonlinear elasticity asserts that given a solution $\mathfrak{S}$ to the Gauss--Codazzi--Ricci equations over a simply-connected closed manifold $(\mathcal{M}^n,g)$, one may find an isometric immersion $\iota$ of $(\mathcal{M}^n,g)$ into the Euclidean space $\mathbb{R}^{n+k}$ whose extrinsic geometry coincides with $\mathfrak{S}$. Here the dimension $n$ and the codimension $k$ are arbitrary. Abundant literature has been devoted to relaxing the regularity assumptions on $\mathfrak{S}$ and $\iota$. The best result up to date is $\mathfrak{S} \in L^p$ and $\iota \in W^{2,p}$ for $p>n \geq 3$ or $p=n=2$. In this paper, we extend the above result to $\iota \in \mathcal{X}$ whose topology is strictly weaker than $W^{2,n}$ for $n \geq 3$. Indeed, $\mathcal{X}$ is the weak Morrey space $L^{p, n-p}_{2,w}$ with arbitrary $p \in ]2,n]$. This appears to be first supercritical result in the literature on the existence of isometric immersions with low regularity, given the solubility of the Gauss--Codazzi--Ricci equations. Our proof essentially utilises the theory of Uhlenbeck gauges -- in particular, Rivière--Struwe's work [Partial regularity for harmonic maps and related problems, Comm. Pure Appl. Math. 61 (2008)] on harmonic maps in arbitrary dimensions and codimensions -- and compensated compactness.

On Sobolev spaces of bounded subanalytic manifolds

On the Laplace equation on bounded subanalytic manifolds

Liouville-type Theorems for Subharmonic Functions on Complete Manifolds

Sobolev Inequalities in Spacelike Submanifolds of Minkowski Space

Logarithmic-Sobolev inequalities on non-compact Euclidean submanifolds: sharpness and rigidity

On the fundamental theorem of submanifold theory and isometric immersions with supercritical low regularity

Essential normality of quotient submodules over strongly pseudoconvex finite manifolds

Sharp Reilly-type inequalities for submanifolds in space forms

An improved dense class in Sobolev spaces to manifolds

Analytical obstructions to the weak approximation of Sobolev mappings into manifolds

Singular extension of critical Sobolev mappings under an exponential weak-type estimate

$L^p$-Sobolev inequalities on Euclidean submanifolds

Sobolev spaces and uniform boundary representations

Restricted spaces of holomorphic sections vanishing along subvarieties

Quantitative stability of Sobolev inequalities on compact Riemannian manifolds

$L^p$ Hodge theory for bounded subanalytic manifolds

New Properties of Holomorphic Sobolev-Hardy Spaces

On Sobolev norms involving Hardy operators in a half-space

The Logarithmic Sobolev Inequality for a Submanifold in Manifolds with Nonnegative Sectional Curvature

On the Sobolev boundedness of vector fields on compact Riemannian manifolds

On the log-Sobolev constant of log-concave measures