🔢 mathematics

Full flexibility of isometric immersions of metrics with low Hölder regularity in Poznyak theorem's dimension

This paper establishes that any $C^{r,\beta}$ two-dimensional Riemannian metric admits a $C^{1,\alpha}$ isometric immersion into $\mathbb{R}^4$ arbitrarily close to any short immersion for any $\alpha < \min\{\frac{r+\beta}{2}, 1\}$ , thereby achieving full flexibility in Poznyak's dimension for low-regularity metrics.

Original authors: Marta Lewicka

Published 2026-08-17

📖 6 min read🧠 Deep dive

CC BY 4.0

Original authors: Marta Lewicka

Original paper licensed under CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ This is an AI-generated explanation of the paper below. It is not written or endorsed by the authors. For technical accuracy, refer to the original paper. Read full disclaimer

Imagine you are holding a piece of fabric. In the real world, if you try to flatten a curved piece of cloth onto a table without stretching, tearing, or wrinkling it, you'll find it impossible. The fabric resists; it has a "memory" of its shape. This resistance is what mathematicians call rigidity. For a long time, scientists believed that if you wanted to flatten a curved surface perfectly (an "isometric immersion"), you needed a very smooth, stiff surface, and you could only do it if you had enough extra space to fold it into.

But what if the fabric isn't stiff at all? What if it's made of something incredibly flexible, like a rubber sheet that can wiggle and vibrate in ways our eyes can't see? This is the world of convex integration, a mathematical technique that acts like a super-powered sewing machine. Instead of trying to flatten the fabric in one smooth motion, this method adds millions of tiny, invisible ripples and folds. These ripples are so small and fast that the fabric looks smooth from a distance, but up close, they allow the material to bend and twist in ways that seem to defy physics. The big question mathematicians have been asking is: How much extra space (dimensions) do you need to make this magic work? And how "rough" or "jagged" can the fabric be before the magic stops working?

This paper by Marta Lewicka tackles these questions for a specific type of fabric: a two-dimensional surface (like a sheet of paper or a skin) that is curved. The author proves that if you have a curved surface and you want to flatten it into a 4-dimensional space (think of our 3D world plus one extra invisible direction), you have full flexibility. This means you can take a surface that is slightly rough or jagged (mathematically described as having low "Hölder regularity") and flatten it perfectly into 4D space, getting as close to a perfect fit as you want. The paper shows that in 4 dimensions, the rules of rigidity completely disappear. You don't need the surface to be perfectly smooth; even if it's a bit bumpy, you can still flatten it by adding those invisible, high-frequency ripples. This is a huge deal because it proves that in 4D, you can bend and shape almost any 2D surface without it fighting back, a feat that was previously thought to be impossible or limited to much smoother surfaces.

The Story of the Flexible Fabric

To understand what this paper achieves, let's look at the problem as a game of "fitting a square peg in a round hole," but with a twist. Imagine you have a curved, 2D map (the metric $g$ ) that you want to lay flat on a table. The problem is that the map is curved, so if you just lay it down, it will either stretch (change distances) or wrinkle. In math terms, we want to find a shape (an immersion) that fits the map perfectly without stretching.

For a long time, mathematicians knew that if you had a very smooth, perfect map, you could fit it into a 4D space. This was a result by a mathematician named Poznyak. But there was a catch: the map had to be perfectly smooth. If the map was a little bit rough or bumpy, the old rules said you might get stuck. You might not be able to flatten it without stretching, or you might only be able to do it if you had a huge amount of extra space (like 8 or 10 dimensions).

This paper says: "Wait a minute. If you have 4 dimensions, you don't need the map to be perfect. You can handle rough maps, too."

The author uses a technique called convex integration. Think of this like trying to fit a crumpled piece of paper into a tight box. If you just push it, it won't fit. But if you start shaking the paper, adding tiny, rapid vibrations, you can make it wiggle into the box. In math, these vibrations are called "corrugations." The paper shows that by adding these vibrations in a very specific, clever way, you can flatten a rough 2D surface into 4D space.

The key finding is about how rough the surface can be. The paper proves that if your surface is "rough" in a specific way (mathematically, if it belongs to a class called $C^{r, \beta}$ where $r+\beta \le 2$ ), you can still flatten it into 4D space. The resulting flattened shape will be "almost smooth" (specifically, $C^{1, \alpha}$ ), where $\alpha$ can be almost 1. In plain English, this means the final shape is very smooth, just a tiny bit less smooth than a perfect curve, but close enough to be considered "fully flexible."

This is a massive jump from what we knew before. In 3D space (our normal world), if you try to flatten a rough surface, you hit a wall. There is a limit to how rough the surface can be before it becomes "rigid" and refuses to flatten. The paper points out that in 3D, this limit is around a roughness level of $1/3$ . But in 4D, that limit disappears. You can go all the way up to a roughness level of almost $1$ (which is just below being perfectly smooth).

The paper also contrasts this with other dimensions. If you try to do this in 8 dimensions or higher, you can get even smoother results. But the surprise here is that you don't need 8 dimensions to get this "full flexibility." You only need 4. This matches the dimension where the old, smooth-only rule (Poznyak's theorem) worked. The author is saying, "The old rule worked in 4D for smooth maps. We are now saying that the same 4D space works for rough maps too, as long as you use these special vibrating tricks."

The author is very careful to say what this doesn't do. It doesn't say you can flatten a rough map in 3D space. In fact, the paper explicitly states that in 3D, rigidity is real. If the surface is too rough, it will break the rules and refuse to flatten. The magic only happens when you have that 4th dimension to wiggle into.

So, what is the bottom line? The paper proves that for 2D surfaces, the dimension 4 is the "sweet spot." It's the smallest space where you can take a surface that is a little bit bumpy and flatten it perfectly, no matter how you try to resist. You don't need a huge, multi-dimensional universe to do it; you just need one extra dimension and a lot of mathematical "wiggling." This changes our understanding of flexibility, showing that rigidity isn't a fundamental law of geometry, but rather a limitation of the space you have to work in. If you give the surface enough room to vibrate (4D), it will always find a way to fit.

Technical Summary: Full Flexibility of Isometric Immersions of Metrics with Low Hölder Regularity in Poznyak Theorem's Dimension

Problem Statement
The paper addresses the problem of isometric immersions for 2-dimensional Riemannian metrics $g$ into Euclidean space $\mathbb{R}^4$ . Specifically, it investigates the flexibility of the system $(\nabla u)^T \nabla u = g$ for metrics with low regularity, specifically $g \in C^{r,\beta}$ where $0 < r + \beta \le 2$ .

While classical results (Nash, Poznyak) establish the existence of smooth isometric immersions for smooth metrics, the regularity of such immersions is often constrained by the rigidity of the system. For codimension $k=1$ (immersions into $\mathbb{R}^3$ ), rigidity results by Borisov and others show that $C^{1,\alpha}$ isometric immersions for $C^2$ metrics are rigid if $\alpha > 2/3$ , and flexibility (the ability to approximate any short immersion) is limited to $\alpha < 1/3$ . In higher codimensions, flexibility improves, but previous results in $\mathbb{R}^8$ or general dimensions required significantly larger target dimensions to achieve full flexibility (regularity approaching $C^{1,1}$ ).

The central question is whether the "full flexibility" phenomenon—where any short immersion can be approximated by an isometric immersion of regularity arbitrarily close to $C^{1,1}$ —holds in the minimal dimension $n=4$ (the target dimension of Poznyak's theorem for smooth metrics) for metrics with low regularity.

Methodology
The author employs the convex integration technique, specifically a refined Nash-Kuiper iteration scheme. The proof is structured around a "Stage" construction that iteratively reduces the defect $D(g, u) = g - (\nabla u)^T \nabla u$ while controlling the growth of higher-order derivatives.

Key technical components include:

Defect Decomposition: The defect is decomposed into rank-one primitive matrices using a partition of unity and specific unit vectors ( $\eta_1, \eta_2, \eta_3$ ).
Three-Step Corrugation: Unlike previous constructions that might use a single step or Nash spirals, the proof utilizes a three-step corrugation process within a single "Stage" to eliminate the defect components.
- Step 1 (Nash's Spiral): Uses two normal directions to handle specific components.
- Step 2 & 3 (Kuiper's Corrugation): Uses Kuiper's ansatz (involving both normal and tangential perturbations) to cancel rank-one defects. The construction is adapted to the fully nonlinear setting of isometric immersions, drawing on insights from the Monge-Ampère system.
Källén Iteration Technique: A crucial innovation is the application of the Källén iteration technique (originally from [31]) to cancel the non-oscillatory portion of the error terms (specifically the $\frac{1}{\lambda^2}\nabla a \otimes \nabla a$ terms) that arise from the corrugations. This allows for the cancellation of arbitrarily high-order defects simultaneously.
Frequency and Parameter Progression: The proof defines a specific progression of frequencies ( $\mu_k, \lambda, \kappa$ ) and defect magnitudes ( $\delta_k$ ). By carefully tuning the ratio of the "blow-up" rate of the second derivatives ( $J$ ) to the "decay" rate of the defect ( $S$ ), the author ensures that the ratio $J/S$ can be made arbitrarily small.
Normal Frame Propagation: A significant portion of the technical work involves proving the existence and propagation of orthonormal normal frames ( $E^1_u, E^2_u$ ) for the sequence of immersions, ensuring the geometric consistency of the construction in $\mathbb{R}^4$ .

Key Contributions

Optimal Dimension for Flexibility: The paper proves that full flexibility is achievable in $\mathbb{R}^4$ for 2-dimensional metrics. This matches the dimension required for the existence of smooth immersions (Poznyak's theorem) but extends the result to the flexible, low-regularity regime.
Regularity Threshold: For a metric $g \in C^{r,\beta}$ $g \in C^{r, β}$ with $r+\beta \le 2$ $r + β \leq 2$ , the paper constructs an isometric immersion $\bar{u} \in C^{1,\alpha}$ $\overset{u}{ˉ} \in C^{1, α}$ for any $\alpha < \min\left(\frac{r+\beta}{2}, 1\right)$ $α < min (\frac{r + β}{2}, 1)$ .
- Crucially, for $C^2$ metrics ( $r+\beta=2$ ), this yields immersions of regularity $C^{1,1-\epsilon}$ (arbitrarily close to $C^{1,1}$ ).
Contrast with Rigidity: The result demonstrates that the rigidity observed in $\mathbb{R}^3$ (where flexibility is capped at $\alpha < 1/3$ and rigidity holds for $\alpha > 2/3$ ) completely disappears in $\mathbb{R}^4$ .
Technical Synthesis: The work synthesizes techniques from the Monge-Ampère system literature (specifically defect transfer and oscillatory decomposition) with the Källén iteration technique to handle the fully nonlinear isometric immersion system in a lower codimension than previously possible.

Main Results

Theorem 1.1 (Main Theorem): Let $g \in C^{r,\beta}(\bar{\omega}, \mathbb{R}^{2\times 2}_{sym,>})$ be a Riemannian metric on a simply connected domain $\omega \subset \mathbb{R}^2$ with $0 < r+\beta \le 2$ . For any short immersion $u \in C^1(\bar{\omega}, \mathbb{R}^4)$ and any $\epsilon > 0$ , there exists an isometric immersion $\bar{u} \in C^{1,\alpha}(\bar{\omega}, \mathbb{R}^4)$ with $\alpha < \min\left(\frac{r+\beta}{2}, 1\right)$ such that $\|\bar{u} - u\|_0 \le \epsilon$ .
Theorem 1.2 (Stage Construction): Establishes the inductive step where a short immersion is modified to reduce the defect by a factor of $\sigma^{-N}$ while controlling the growth of the second derivatives, achieving a decay rate $S$ and blow-up rate $J$ such that $J/S \to 0$ as parameters $N, K \to \infty$ .
Theorem 1.3 (Nash-Kuiper Iteration): Proves the convergence of the iterative scheme to a $C^{1,\alpha}$ isometric immersion based on the estimates provided by the Stage construction.

Significance
The paper claims that for 2-dimensional metrics, the "rigidity" of isometric immersions disappears completely in $\mathbb{R}^4$ . This result is significant because:

It closes the gap between the dimension required for existence of smooth immersions (Poznyak's theorem, $n=4$ ) and the dimension required for flexibility of low-regularity immersions. Previously, full flexibility ( $C^{1,1-\epsilon}$ ) was only known for higher codimensions (e.g., $n=8$ or general $n$ ).
It establishes that the critical regularity threshold for rigidity in $\mathbb{R}^3$ (the $2/3$ barrier) is a consequence of the low codimension, and that increasing the codimension to just one extra dimension ( $n=4$ ) is sufficient to restore full flexibility up to the limit of the metric's regularity.
It provides a unified framework for the Monge-Ampère system and the isometric immersion system, showing that the techniques developed for the former can be adapted to solve the latter in optimal dimensions.

The author notes that the result holds for any target dimension $n \ge 4$ , but the focus on $n=4$ is motivated by its status as the minimal dimension for the general existence of smooth immersions of 2-manifolds.

The Story of the Flexible Fabric

More like this