The one-sided isometric extension problem (Q2410819)

Let \((M,g)\) be a Riemannian manifold and let \(({\mathbb R}^{q}, g_0)\) be the standard \(q\)-dimensional Euclidean space. Let \(\Sigma\) be a hypersurface in \(M\) and let \(f :\Sigma \rightarrow ({\mathbb R}^{q}, g_0)\) be a smooth isometric immersion (embedding). The article [\textit{H. Jacobowitz}, J. Differ. Geom. 9, 291--307 (1974; Zbl 0283.53025)] provides a necessary condition for the existence of a \(C^2\) isometric immersion (embedding) \(v : U \rightarrow \mathbb R^q\) satisfying \(v^{\ast} g_0 = g\) and \(v| \Sigma = f\), where \(U \subset M\) is a neighborhood of a point in \(\Sigma\). In the article under review the authors show that Jacobowitz' obstruction to local isometric \(C^2\)-extensions is also an obstruction to local isometric \(C^1\)-extendability. The authors also show, restricting the neighborhood \(U\) to one side of \(\Sigma\) only, the existence of one-sided isometric \(C^1\)-extensions under very mild hypotheses on \(\Sigma\) and \(f\), providing an analogue of the Nash-Kuiper theorem for isometric extensions.