Rigidity of codimension-1 isometric immersions in complete manifolds

Abstract: We establish an asymptotic rigidity result for isometric immersions of codimension-1. Specifically, we consider a sequence of immersions from a compact $d$-dimensional manifold into a complete $(d+1)$-dimensional manifold whose elastic energies vanish asymptotically, where the elastic energy quantifies both stretching and bending. We show that such a sequence admits a subsequence converging to an isometric immersion. This extends a result of Alpern, Kupferman, and Maor to the case of complete target manifolds, where the lack of compactness introduces additional analytical difficulties. The proof is based on an approach using local quantitative rigidity estimates, obtained via a reduction to the Euclidean setting. This method avoids the use of Young measures and provides a flexible framework that may be of independent interest.

• The paper proves that sequences of codimension-1 Sobolev immersions with vanishing elastic energy converge strongly in W¹,p to isometric immersions with prescribed extrinsic geometry.
• It introduces precise local quantitative rigidity estimates via ε-isometric charts, bypassing traditional compactness arguments in noncompact settings.
• The analysis extends classical rigidity results to complete, noncompact manifolds, offering new techniques applicable to geometric analysis and nonlinear elasticity.

Rigidity of Codimension-1 Isometric Immersions in Complete Manifolds

Introduction and Context

The paper "Rigidity of codimension-1 isometric immersions in complete manifolds" (2604.11130) establishes an asymptotic rigidity theorem for isometric immersions from compact $d$-dimensional manifolds into complete $(d+1)$-dimensional Riemannian manifolds. The main technical obstacle addressed concerns extending prior compactness-based rigidity results (notably [AKM2]) to the case where the target manifold lacks compactness, eliminating several standard compactness and chart-based arguments from the analytical toolkit.

The classical context is geometric rigidity results initiated by Liouville: namely, if $u:U\to\mathbb{R}^d$ satisfies $Du(x)\in\SO(d)$ everywhere, then $u$ is a rigid motion. Reshetnyak and later Friesecke–James–Müller (FJM) provided asymptotic and quantitative generalizations, respectively, where the deviation of $Du$ from $\SO(d)$ controls the deviation of $u$ from rigidity [FJM]. Contemporary works generalize these concepts to maps between Riemannian manifolds, but in codimension-1, classical stretching-type energy vanishing is insufficient: the lack of control on bending enables oscillatory behavior, making rigidity subtle.

Main Results

The principal theorem proves that if a sequence $\{u_k\}$ of codimension-1 Sobolev immersions from a compact $d$-manifold $(d+1)$0 into a complete $(d+1)$1-manifold $(d+1)$2 has vanishing elastic energy (with carefully designed stretching and bending energies) and is uniformly bounded in $(d+1)$3-distance from a reference point in $(d+1)$4, then a subsequence converges (strongly in $(d+1)$5) to an isometric immersion. If the reference (second fundamental form tensor) is in $(d+1)$6, the limiting immersion attains the prescribed shape operator, i.e., it is not only isometric but also matches the extrinsic geometry:

Theorem (Asymptotic Rigidity, paraphrased):

Let $(d+1)$7 be a compact $(d+1)$8-dimensional Riemannian manifold and $(d+1)$9 a complete $u:U\to\mathbb{R}^d$0-dimensional Riemannian manifold. Suppose $u:U\to\mathbb{R}^d$1 satisfies

1. $u:U\to\mathbb{R}^d$2, where

$u:U\to\mathbb{R}^d$3

with $u:U\to\mathbb{R}^d$4 the shape operator induced by $u:U\to\mathbb{R}^d$5, and $u:U\to\mathbb{R}^d$6 a prescribed reference operator.

2. Uniform $u:U\to\mathbb{R}^d$7 bound: $u:U\to\mathbb{R}^d$8 for some $u:U\to\mathbb{R}^d$9.

Then a subsequence converges in $Du(x)\in\SO(d)$0 to an isometric immersion $Du(x)\in\SO(d)$1 with limiting normal and shape operator satisfying $Du(x)\in\SO(d)$2 almost everywhere (assuming $Du(x)\in\SO(d)$3).

Methods and Technical Contributions

1. Local Quantitative Rigidity and Chart Construction

A significant methodological advancement is the derivation of local, quantitative rigidity estimates entirely via reduction to the Euclidean non-linear rigidity estimates (following FJM). The approach eschews the use of Young measures and intrinsic blow-up–type arguments employed in earlier works (particularly [AKM2], which heavily relied on compactness to localize problems in the manifold and access uniform coordinate charts). Instead, the proof adapts a slicing and partition-of-unity strategy:

• By constructing $Du(x)\in\SO(d)$4-isometric charts (where metric distortion is controlled up to order $Du(x)\in\SO(d)$5 and the Christoffel symbols are small), one can locally approximate the geometry by Euclidean space with controlled error.
• Immersions whose elastic energies (i.e., stretching plus bending, the latter quantified by the $Du(x)\in\SO(d)$6-norm of the normal) are small are shown, in each such chart, to be locally close to rigid motions (rotations and translations) up to errors that are explicitly controlled by the energy.
• To overcome the fundamental issue that, in noncompact $Du(x)\in\SO(d)$7, one cannot guarantee that the image of small sets remains inside a global chart, the analysis uses extended charts via cutoff mappings in the codomain, following techniques from [CVS]. This allows one to carry out all argumentation in local coordinate neighborhoods.

2. Asymptotic and Compactness Analysis

The key compactness result is established in the noncompact setting by:

• Partitioning the domain into cubes (or charts) with small image diameter.
• Employing a generalized Rellich–Kondrachov theorem for manifold-valued Sobolev maps ([CVS]): under uniform energy and $Du(x)\in\SO(d)$8-distance control, subsequential strong compactness in $Du(x)\in\SO(d)$9 holds.
• Employing a sophisticated slicing argument and application of Poincaré and FJM-type inequalities to show that, on small scales, the difference between immersions is controlled by their $u$0-distance whenever the elastic energies are small.

3. Strong Quantitative Results

The paper's clearest numerical contribution is the explicit quantitative estimate: for immersions $u$1 with small elastic energies, the $u$2-distance between them on a local cube is bounded by their $u$3-distance plus the sum of their elastic energies, up to explicit error terms in terms of the scale of the chart and the energy.

Another strong analytical outcome is the flexibility of this methodology: the local rigidity estimate, depending only on quantitative Euclidean rigidity, can be readily adapted to higher codimension (i.e., $u$4 of dimension $u$5), and to a large class of elastic energies incorporating both stretching and bending.

Discussion and Implications

This work significantly extends rigidity theory for the geometry of submanifolds, particularly in noncompact codomains. The approach is notable for:

• Avoiding the requirement of compactness in $u$6, enabling application to general ambient spaces, such as symmetric spaces of noncompact type, covering spaces, or physically relevant open Riemannian targets.
• Providing a blueprint for translating nonlinear elastogeometric compactness and $u$7-convergence arguments into the setting of noncompact manifolds, which is critical in modern geometric mechanics and the study of thin structures and non-Euclidean elasticity.
• Establishing a technical method (coordinate chart extension, local quantitative rigidity, partition-of-unity energy control) of potential utility in related problems involving variational models on manifolds with loss of global chart control.

The absence of a Young measure–based approach also points the way to more stable, flexible, and constructive analytic techniques for geometric constraint problems in nonlinear PDE.

Comparison to Previous Literature

The work extends the compact manifold results of [AKM2], which in themselves built on [KMS], [CDM], and the foundational Euclidean geometric rigidity result of FJM [FJM]. The principal innovation lies in handling the analytical complications of noncompact targets, and in the direct construction of local quantitative rigidity without compactness.

Future Directions

Extensions are plausible in several directions:

• Higher Codimension: The local-to-global methodology and quantitative estimates are formulated to allow direct adaptation to immersions into $u$8-dimensional targets.
• Lower Regularity Frameworks: While current analysis is in $u$9, the approach may be tailored for $Du$0 or generalized function spaces, especially leveraging bounds on the connection and metric distortion.
• Applications to Non-Euclidean Plates and Shells: This analytic infrastructure can be utilized for the rigorous dimension reduction in elasticity and differential geometry, particularly for shells or plates in noncompact or nonhomogeneous ambient manifolds, crucial in soft matter and biological modeling.

Conclusion

This paper delivers a robust and quantitative asymptotic rigidity result for codimension-1 isometric immersions into complete Riemannian manifolds, removing the assumption of compactness on the target and circumventing prior compactness-based limitations through a local quantitative rigidity and covering argument. The analytic techniques and partitioning strategies developed herein have direct implications for geometric analysis, elastic models, and the mathematical study of submanifold geometry in broad contexts.

References:

• "Rigidity of codimension-1 isometric immersions in complete manifolds" (2604.11130)
• Alpern, Kupferman, Maor, "Stability of isometric immersions of hypersurfaces" [AKM2]
• Friesecke, James, Müller, "A theorem on geometric rigidity..." [FJM]
• Convent, Van Schaftingen, "Intrinsic co-local weak derivatives and Sobolev spaces between manifolds" [CVS]
• Kupferman, Maor, Shachar, "Reshetnyak rigidity for Riemannian manifolds" [KMS]
• Conti, Dolzmann, Müller, "Optimal rigidity estimates for maps of a compact Riemannian manifold..." [CDM]