Pith. sign in

REVIEW 2 major objections 5 minor 36 references

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

T0 review · 2 major / 5 minor · reviewed 2026-08-06 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

Pith's one-line read The paper proves that for $n\ge 3$, any short $C^{1,\varepsilon}$ immersion of a smooth bounded simply connected domain in $\mathbb{R}^n$ into $\mathbb{R}^{2n}$ admits a uniformly close $C^{1,\theta}$ isometric immersion, with…

desk verdict A real step up in Hölder regularity for high-codimension isometric immersions, but the construction currently hangs on a normal-frame lemma that is only stated for embeddings. read the letter →

arxiv 2507.15808 v1 pith:62HVYSYQ submitted 2025-07-21 math.DG math.AP

Zhiwen Zhao This is my paper · ORCID
classification math.DGmath.AP MSC 53C4253C40
keywords isometricimmersionNash–KuipertheoremHölderregularityconvexintegrationhighcodimensionshortstrongembeddingiterativebyparts
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

The paper establishes a sharper local Nash–Kuiper theorem in high codimension. For $n\ge 3$, any $C^{1,\varepsilon}$ short immersion of a smooth bounded simply connected domain $\Omega\subset\mathbb{R}^n$ into $\mathbb{R}^{2n}$ is shown to admit a uniformly close $C^{1,\theta}$ isometric immersion, with $\theta=1/n-\varepsilon$ when $n$ is odd and $\theta=1/(n+1)-\varepsilon$ when $n$ is even. This improves the previously known Hölder exponent $1/(n+2)-\varepsilon$. The proof also yields explicit $C^1$ bounds that grow with the initial metric error, matching the intuition that a larger deficit requires steeper corrections. A corollary gives infinitely many $C^{1,\theta}$ isometric embeddings of any $C^1$ metric on such domains into $\mathbb{R}^{2n}$.

What carries the argument

The construction is an iterative scheme in which each step reduces the metric error using two oscillatory building blocks: Nash-spirals and Kuiper-corrugations. A Källén-type decomposition (Lemma 2.3) writes the current metric error as a sum of rank-one primitive metrics with smooth positive coefficients, and an iterative integration-by-parts lemma (Lemma 2.7) rewrites a high-frequency oscillatory symmetric matrix as the symmetric gradient of a small perturbation plus a lower-order remainder in a complementary span. The perturbation formulas (3.20) and (3.25) rely on global normal vector frames along the intermediate immersions, supplied by Lemma 2.9. For even $n$, Proposition 4.1 provides a refined matrix decomposition that absorbs the cross terms generated by the $n/2$ Nash-spiral steps.

What would settle it

Apply the construction to a short immersion of a disk into $\mathbb{R}^4$ that is not injective, or whose derivative has no uniform lower bound, and compute the smallest singular value of $\nabla u_m$ for the first few iterates; if it approaches zero, or if some $u_m$ self-intersects, Lemma 2.9 cannot supply the normal frames used in (3.20) and (3.25), and the iteration as written is not defined.

Watch

Extended reading notes

Core claim

The central claim is Theorem 1.1: the local Nash–Kuiper approximation scheme for isometric immersions into $\mathbb{R}^{2n}$ can be run with a higher Hölder exponent than previously known, and the gain depends on the parity of the dimension. In odd dimensions the final map is $C^{1,1/n-\varepsilon}$; in even dimensions the scheme reaches $C^{1,1/(n+1)-\varepsilon}$. The even-dimensional obstruction is identified explicitly: the $n/2$ Nash-spiral steps used there force a larger growth $\Lambda^{n/2}$ of the oscillation parameter, whereas odd dimensions need only $\Lambda^{(n-1)/2}$. To handle this, Section 4 develops a modified matrix decomposition (Proposition 4.1) in which the $\Lambda^{-1/2}$ error terms are absorbed into the symmetric-matrix decomposition through an implicit-function argument. The paper also records explicit $C^1$ estimates showing that the constructed immersion's slope increases when the initial short map is further from being isometric.

Load-bearing premise

The iteration needs global normal vector frames along every intermediate map, but the lemma that produces them requires the map to be an embedding with a uniform two-sided bound on its derivative; the theorem assumes only a short immersion, and the paper does not prove the iterates stay injective with such a bound.

Editorial extensions

If this is right

  • If Theorem 1.1 is correct, the known Hölder exponent for local high-codimension isometric immersions improves from $1/(n+2)-\varepsilon$ to $1/n-\varepsilon$ in odd dimensions and to $1/(n+1)-\varepsilon$ in even dimensions.
  • Corollary 1.6 yields infinitely many $C^{1,\theta}$ isometric embeddings of any $C^1$ metric on a smooth bounded simply connected domain into $\mathbb{R}^{2n}$, a local isometric analogue of the strong embedding theorem.
  • The explicit $C^1$ estimates make the construction quantitative: for a given short immersion, the $C^1$ norm of the isometric approximation is controlled by the size of the initial metric error, so the method can track how much slope is needed for a prescribed accuracy.
  • The even-dimensional analysis isolates the exact term that lowers the exponent when $n$ is even, identifying a specific obstruction whose removal would close the gap to $1/n$.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • If the global normal-frame issue can be resolved, the same iteration would likely extend from local domains to compact manifolds without changing the Hölder exponent, since all estimates are local with constants depending only on the geometry.
  • The even-dimensional decomposition in Proposition 4.1 suggests a concrete route to removing the even-dimensional deficit: reduce the oscillation growth from $\Lambda$ to $\sqrt{\Lambda}$ in the $n/2$ Nash-spiral steps, absorbing the larger errors through the implicit-function decomposition; this modification is not carried out in the paper.
  • The parity-dependent exponents are probably an artifact of the construction rather than a geometric threshold, and a numerical experiment on a simple $n=4$ short immersion could test whether the $\Lambda^{n/2}$ growth actually appears or whether a smaller growth suffices.
  • The quantitative $C^1$ bounds may transfer to stability questions near the rigidity threshold: when the initial metric error is small, the constructed isometric immersion is close in $C^1$ to the short immersion, suggesting a quantitative flexibility statement.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

2 major / 5 minor

Summary. The paper claims a local Nash-Kuiper theorem for isometric immersions of an n-dimensional simply connected domain Ω⊂R^n into R^{2n}: from any short immersion \bar{u}∈C^{1,ε}, it constructs an isometric immersion u∈C^{1,θ} with θ=1/n−ε for odd n and θ=1/(n+1)−ε for even n, together with uniform approximation and explicit C^1 bounds (Theorem 1.1). The proof follows the standard Nash iteration: after mollification and a Källén-type decomposition of the metric error, the map is modified by n 'spiral' perturbations and then by (n−1)/2 or n/2 'corrugation' perturbations per stage, with carefully chosen frequencies λ_{m,i} and amplitudes δ_{m+1}^{1/2}, and an iterative integration-by-parts lemma. The constants b, ϑ, α, J are fixed explicitly in (3.2) and (3.4), and the parameter a is chosen large but independent of the stage index m. An auxiliary matrix decomposition (Proposition 4.1) is developed for possible future improvements in even dimensions.

Significance. If correct, Theorem 1.1 improves the Hölder exponent for high-codimension local isometric immersions from 1/(n+2)−ε (Cao–Székelyhidi [9]) to 1/n−ε in odd dimensions and 1/(n+1)−ε in even dimensions. The paper also provides explicit C^1 estimates, which is a useful quantitative feature, and the proof makes the dependence on ε and n transparent through the explicit parameter choices in (3.2)–(3.4). The construction appears to be forward-moving, with no circularity; the external lemmas cited are from the standard literature. The main obstacle is the use of a global normal frame lemma that is stated only for embeddings, while the iteration only produces immersions; this gap affects the definition of the perturbations and must be repaired before the result is fully established. The auxiliary Proposition 4.1 is not needed for Theorem 1.1.

major comments (2)
  1. [Section 2, Lemma 2.9; Section 3, Eqs. (3.9), (3.20), (3.25)] The proof of Proposition 3.1 defines the perturbations using global normal frames (ζ_{i−1}, η_{i−1}) supplied by Lemma 2.9, but that lemma is stated only for an embedding u with a two-sided derivative bound γ^{−1}Id ≤ ∇u^t∇u ≤ γId. At each stage the text only knows that u_m is a short immersion; no argument is given that the iterates u_{m,i} are injective, nor that the normal bundle of these maps admits a global frame with the derivative estimates used in (3.12). Since (3.9), (3.20), and (3.25) are the definitions of the new maps, the iteration is not defined without an additional frame lemma for immersions. This is a load-bearing gap in the proof of Theorem 1.1.
  2. [Section 3.4, display after Eq. (3.34)] The construction of u_0 uses the same Lemma 2.9 to choose normal vectors \bar{ζ}_{i−1} and \bar{η}_{i−1} for the Nash spirals defining \bar{u}_i. The maps \bar{u}_{i−1} are only known to be short immersions, not embeddings, so the same missing justification occurs already in the base step of the iteration.
minor comments (5)
  1. [Section 2, proof of Lemma 2.5] The word 'folllows' in the sentence 'It then folllows from the linear independence...' is a typo for 'follows'.
  2. [Abstract and Remark 1.3] The phrase 'their slope become steeper' is grammatically incorrect; it should be 'their slopes become steeper'.
  3. [Remark 1.4 and proof of Proposition 3.1] The claim that the assumption on ε can be relaxed to 0<ε<2/n² appears inconsistent with the condition 0<ε<2/(3n+1) used in the proof of Proposition 3.1, since 2/(3n+1)<2/n² for n≥3; please clarify the intended range of ε.
  4. [Section 4, proof of Proposition 4.1] The induction is performed for a fixed p>2 and concludes 'by the arbitrariness of p>2', but this only yields a^j for j≤p−2 for each fixed p; an argument covering all j≥0 (for instance, a diagonal or inverse-limit argument) is missing. Since Proposition 4.1 is not used in the proof of Theorem 1.1, this does not affect the main result.
  5. [Section 3, Eq. (3.30)] The definition of β has different expressions for odd and even n, but the surrounding text writes 'for any n≥3' without specifying the branch; please make the case distinction explicit in the displayed equation.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the construction is forward, uses external lemmas, and the improved Hölder exponent is not an input.

full rationale

The paper's central claim, Theorem 1.1, is derived by an explicit iterative construction whose Hölder exponent θ = 1/n−ε (odd n) or 1/(n+1)−ε (even n) is fixed in (1.2) and then shown to be attainable through the estimates in Proposition 3.1; the exponent is never used as a hypothesis or extracted from the conclusion. The constants G* and K* in (3.35) and (3.38) are defined explicitly in terms of the initial data (∥g∥, ∥ū∥, the shortness deficit ∥g−ū♯e∥0 and the mollification scale), not fitted to the target conclusion. The main technical tools — the Källén-type matrix decomposition (Lemma 2.3), the iterative integration by parts (Lemma 2.7), the Kuiper-corrugation functions (Lemma 3.6), and the normal-frame existence result (Lemma 2.9) — are cited from [10], [12], [15], [16] and [8], none of which is authored by the present author, so no self-citation chain carries the argument. The normal-frame lemma [8] requires an embedding with two-sided derivative bounds, while the iteration only assumes short immersions; this is a genuine correctness gap concerning whether Lemma 2.9 applies to the iterates, but it is not circularity: it is an unverified hypothesis, not an equation that reduces to its own input. Section 4's Proposition 4.1 is explicitly offered for future use and does not enter the proof of Theorem 1.1. No step renames a known result or imports a uniqueness theorem from the author's own prior work. Accordingly, the derivation is self-contained against external benchmarks and the circularity score is 0.

Assumptions & free parameters 0 free parameters · 3 assumptions · 0 invented entities

No empirical parameters are fitted: ε is part of the statement, and the proof constants a, δ*, λ*, σ0 are chosen sufficiently large or small to satisfy explicit inequalities. The construction relies on standard analytic lemmas and on the domain assumption. The main unstated premise is the availability of global normal frames along iterates that are only immersions, which is flagged as a red flag.

assumptions (3)
  • domain assumption Ω is a smooth bounded simply connected domain with a C1 Riemannian metric g, and ū is a C1,ε short immersion.
    This is the theorem's hypothesis, used throughout Section 3.
  • standard math Standard mollification, interpolation, and implicit function theorem estimates hold with constants independent of the iteration.
    Used in Lemma 2.1, Remark 3.3, and Proposition 4.1.
  • domain assumption Lemma 2.9 gives global normal vector fields along each iterate u_m.
    The proof invokes this lemma at (3.9), (3.20), and (3.25), even though Proposition 3.1 only guarantees u_m is an immersion, not an embedding; this is the main flagged gap.

how reviews work

0 comments
Cite this review

Pith. "Pith review of A Nash-Kuiper theorem for isometric immersions in a high codimension." pith.science (2026). https://pith.science/paper/62HVYSYQ

@misc{pith2026250715808,
  author       = {Pith},
  title        = {Pith review of: A Nash-Kuiper theorem for isometric immersions in a high codimension},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/62HVYSYQ}},
  note         = {Machine review of arXiv:2507.15808}
}
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,\theta}$ isometric immersions with any $\theta\in(0,1/(n+2))$ in dimensions $n\geq3$. In this paper, we improve the H\"{o}lder regularity of the constructed isometric immersions in the local setting, achieving $C^{1,\theta}$ for all $\theta\in(0,1/n)$ in odd dimensions and all $\theta\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.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

36 extracted references · 35 canonical work pages

  1. [10]

    W.T. Cao, J. Hirsch and D. Inauen, A Nash-Kuiper theorem for isometric immersions beyond Borisov’s exponent. arXiv:2503.13867v2

    arXiv

  2. [9]

    Cao and L

    W.T. Cao and L. Sz´ ekelyhidi, On the isometric version of Whitney’s strong embedding the- orem. Adv. Math. 460 (2025), Paper No. 110040, 41 pp

    work page 2025

  3. [1]

    Borisov, The parallel translation on a smooth surface

    J.F. Borisov, The parallel translation on a smooth surface. I–IV. Vestnik Leningrad. Univ., 13,14,1958,1959

    work page 1958

  4. [2]

    Borisov,C 1,α-isometric immersions of Riemannian spaces

    J.F. Borisov,C 1,α-isometric immersions of Riemannian spaces. Dokl. Akad. Nauk SSSR 163 (1965), 11–13

    work page 1965

  5. [3]

    Borisov, Irregular surfaces of the classC 1,β with an analytic metric

    Y.F. Borisov, Irregular surfaces of the classC 1,β with an analytic metric. Sibirsk. Mat. Zh. 45 (2004), no. 1, 25–61; translation in Siberian Math. J. 45 (2004), no. 1, 19–52. 28 Z.W. ZHAO

    work page 2004

  6. [4]

    Buckmaster, C

    T. Buckmaster, C. De Lellis, P. Isett and L. Sz´ ekelyhidi, Anomalous dissipation for 1/5-H¨ older Euler flows. Ann. of Math. (2) 182 (2015), no. 1, 127–172

    work page 2015

  7. [5]

    Buckmaster, C

    T. Buckmaster, C. De Lellis, L. Sz´ ekelyhidi and V. Vicol, Onsager’s conjecture for admissible weak solutions. Comm. Pure Appl. Math. 72 (2019), no. 2, 229–274

    work page 2019

  8. [6]

    Cartan, Sur la possibilit´ e de plonger un espace riemannien donn´ e dans un espace euclidien

    E. Cartan, Sur la possibilit´ e de plonger un espace riemannien donn´ e dans un espace euclidien. Ann. Soc. Polon. Math. 6 (1928), 1–7

    work page 1928

Show all 36 references
  1. [7]

    Cao and L

    W.T. Cao and L. Sz´ ekelyhidi, Global Nash-Kuiper theorem for compact manifolds. J. Differ- ential Geom. 122 (2022), no. 1, 35–68

    2022

  2. [8]

    Cao and D

    W.T. Cao and D. Inauen, Rigidity and flexibility of isometric extensions. Comment. Math. Helv. 99 (2024), no. 1, 39–80

    2024

  3. [11]

    Cohn-Vossen, Unstarre geschlossene Fl¨ achen

    S. Cohn-Vossen, Unstarre geschlossene Fl¨ achen. Mathematische Annalen, 102 (1):10–29, 1930

    1930

  4. [12]

    Conti, C

    S. Conti, C. De Lellis and L. Sz´ ekelyhidi,h-principle and rigidity forC 1,α isometric embed- dings. Nonlinear partial differential equations, 83–116, Abel Symp., 7, Springer, Heidelberg, 2012

    2012

  5. [13]

    Constantin, E

    P. Constantin, E. Weinan and E.S. Titi, Onsager’s conjecture on the energy conservation for solutions of Euler’s equation. Comm. Math. Phys. 165 (1994), no. 1, 207-209

    1994

  6. [14]

    Daneri and L

    S. Daneri and L. Sz´ ekelyhidi, Non-uniqueness and h-principle for H¨ older-continuous weak solutions of the Euler equations. Arch. Ration. Mech. Anal. 224 (2017), no. 2, 471–514

    2017

  7. [15]

    De Lellis, D

    C. De Lellis, D. Inauen and L. Sz´ ekelyhidi, A Nash-Kuiper theorem forC 1,1/5−δ immersions of surfaces in 3 dimensions. Rev. Mat. Iberoam. 34 (2018), no. 3, 1119–1152

    2018

  8. [16]

    De Lellis and D

    C. De Lellis and D. Inauen,C 1,α isometric embeddings of polar caps. Adv. Math. 363 (2020), 106996, 39 pp

    2020

  9. [17]

    De Lellis and L

    C. De Lellis and L. Sz´ ekelyhidi, The Euler equations as a differential inclusion. Ann. of Math. (2) 170 (2009), no. 3, 1417–1436

    2009

  10. [18]

    De Lellis and L

    C. De Lellis and L. Sz´ ekelyhidi, Dissipative continuous Euler flows. Invent. Math. 193 (2013), no. 2, 377–407

    2013

  11. [19]

    De Lellis and Sz´ ekelyhidi, Dissipative Euler flows and Onsager’s conjecture

    C. De Lellis and Sz´ ekelyhidi, Dissipative Euler flows and Onsager’s conjecture. J. Eur. Math. Soc. (JEMS) 16 (2014), no. 7, 1467–1505

    2014

  12. [20]

    Gromov and V.A

    M.L. Gromov and V.A. Rohlin, Imbeddings and immersions in Riemannian geometry, Usp. Mat. Nauk 25 (5 (155)) (1970), 3–62

    1970

  13. [21]

    Gromov, Convex integration of differential relations

    M. Gromov, Convex integration of differential relations. I. Izv. Akad. Nauk SSSR Ser. Mat. 37 (1973), 329–343

    1973

  14. [22]

    Gromov, Partial differential relations

    M. Gromov, Partial differential relations. Ergebnisse der Mathematik und ihrer Grenzgebiete (3), 9. Springer-Verlag, Berlin, 1986

    1986

  15. [23]

    G¨ unther, On the perturbation problem associated to isometric embeddings of Riemannian manifolds

    M. G¨ unther, On the perturbation problem associated to isometric embeddings of Riemannian manifolds. Ann. Global Anal. Geom. 7 (1989), no. 1, 69–77

    1989

  16. [24]

    G¨ unther, Isometric embeddings of Riemannian manifolds

    M. G¨ unther, Isometric embeddings of Riemannian manifolds. Proceedings of the International Congress of Mathematicians, Vol. I, II (Kyoto, 1990), 1137–1143, Math. Soc. Japan, Tokyo, 1991

    1990

  17. [25]

    Herglotz

    G. Herglotz. ¨Uber die starrheit der eifl¨ achen. Abh. Math. Sem. Hansischen Univ. 15(1):127–129, 1943

    1943

  18. [26]

    Isett, A proof of Onsager’s conjecture

    P. Isett, A proof of Onsager’s conjecture. Ann. of Math. (2) 188 (2018), no. 3, 871–963

    2018

  19. [27]

    Jacobowitz, Implicit function theorems and isometric embeddings

    H. Jacobowitz, Implicit function theorems and isometric embeddings. Ann. of Math. (2) 95 (1972), 191–225

    1972

  20. [28]

    Janet, Sur la possibilit´ e de plonger un espace riemannien donn´ e dans un espace euclidien

    M. Janet, Sur la possibilit´ e de plonger un espace riemannien donn´ e dans un espace euclidien. Ann. Soc. Polon. Math. 5 (1927), 38–43

    1927

  21. [29]

    K¨ all´ en, Isometric embedding of a smooth compact manifold with a metric of low regularity

    A. K¨ all´ en, Isometric embedding of a smooth compact manifold with a metric of low regularity. Ark. Mat. 16 (1978), no. 1, 29–50

    1978

  22. [30]

    Kuiper, OnC 1-isometric imbeddings

    N.H. Kuiper, OnC 1-isometric imbeddings. I, II. Nederl. Akad. Wetensch. Proc. Ser. A 58. Indag. Math. 17 (1955), 545–556, 683–689

    1955

  23. [31]

    Nash,C 1 isometric imbeddings

    J. Nash,C 1 isometric imbeddings. Ann. of Math. (2) 60 (1954), 383–396

    1954

  24. [32]

    Nash, The imbedding problem for Riemannian manifolds

    J. Nash, The imbedding problem for Riemannian manifolds. Ann. of Math. (2) 63 (1956), 20–63. A NASH-KUIPER THEOREM IN A HIGH CODIMENSION 29

    1956

  25. [33]

    Onsager, Statistical hydrodynamics, Nuovo Cimento (9), 6 (1949), Supplemento 2, 279–287

    L. Onsager, Statistical hydrodynamics, Nuovo Cimento (9), 6 (1949), Supplemento 2, 279–287

    1949

  26. [34]

    Sugli spazii di curvatura costante

    L. Schl¨ afli, Nota alla memoria del sig. Beltrami, “Sugli spazii di curvatura costante”. Annali di Mat. (2) 5 (1871), 178–193

  27. [35]

    Whitney, Analytic extensions of differentiable functions defined in closed sets

    H. Whitney, Analytic extensions of differentiable functions defined in closed sets. Trans. Amer. Math. Soc. 36 (1934), no. 1, 63-89

    1934

  28. [36]

    Whitney, The self-intersections of a smoothn-manifold in 2n-space

    H. Whitney, The self-intersections of a smoothn-manifold in 2n-space. Ann. of Math. (2) 45 (1944), 220–246. (Z.W. Zhao)School of Mathematics and Physics, University of Science and Technol- ogy Beijing, Beijing 100083, China. Email address:zwzhao365@163.com

    1944

Pith tools

Reviewed August 6, 2026 · model on record in the stance chip above.