REVIEW 1 major objections 32 references
Isometric Immersions and Weak Solutions to the Darboux Equation
T0 review · 1 major / 0 minor · reviewed 2026-08-05 · deepseek-v4-flash
Pith's one-line read The paper proves that, for $\theta>1/2$, a $C^{1,\theta}$ function solves the Darboux equation in a distributional sense if and only if it is the height function of a $C^{1,\theta}$ isometric immersion of a two-dimensional metric into $\mat
desk verdict Genuinely new weak Darboux correspondence with a clean strategy, but the proof of Lemma 4.1 has a concrete Beltrami equation gap that must be fixed. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The argument is carried by the auxiliary metric $h=g-du^2$. For a smooth $u$, the classical curvature formula says the flatness of $h$ is equivalent to the Darboux equation; the paper makes this equivalence work at low regularity by defining a distributional Gaussian curvature $K_h\,dV_h$ for $C^{0,\theta}$ metrics via conformal coordinates and distributional products, and proving a flatness criterion: such an $h$ admits a $C^{1,\theta}$ isometric immersion into $\mathbb{R}^2$ if and only if $K_h\,dV_h=0$ as a distribution.
What would settle it
Construct a $C^{1,\theta}$ function $u$ with $|du|_g<1$ that satisfies the weak Darboux equation for some metric $g$, but for which the auxiliary metric $h=g-du^2$ has nonzero distributional Gaussian curvature, or for which $h$ admits no $C^{1,\theta}$ isometric immersion into $\mathbb{R}^2$; either observation would disprove the converse direction of Theorem 1.1.
Extended reading notes
Core claim
The central claim is a two-way equivalence at the low-regularity threshold $\theta>1/2$. If $r\in C^{1,\theta}$ is an isometric immersion of $(\Omega,g)$ into $\mathbb{R}^3$ and $u=r\cdot e$ with $|du|_g<1$, then $u$ is a weak solution of the Darboux equation $\det\nabla^2_g u=K_g(1-|du|^2_g)$. Conversely, every $C^{1,\theta}$ weak solution $u$ with $|du|_g<1$ can be completed by a $C^{1,\theta}$ map $\phi$ so that $r=(\phi,u)$ is an isometric immersion of $(\Omega,g)$ into $\mathbb{R}^3$. The classical smooth correspondence therefore persists with exactly the same shape in the low-regularity regime, provided the equation is interpreted through distributional products and a distributional Ga
Load-bearing premise
The proof stands on Lemma 4.1, which asserts that every $C^{0,\theta}$ metric on a simply connected domain has a global conformal chart in $C^{1,\theta}$ depending continuously on the metric; if that chart regularity or stability fails, the isometric immersion obtained from a weak Darboux solution could drop below $C^{1,\theta}$.
Editorial extensions
If this is right
- Every $C^{1,\theta}$ isometric immersion of $(\Omega,g)$ has each height component $u=r\cdot e$ solving the Darboux equation in the distributional sense whenever $|du|_g<1$.
- Every $C^{1,\theta}$ weak Darboux solution can be completed by a $C^{1,\theta}$ function $\phi$ into an isometric immersion; weak Darboux solutions are exactly the height functions of such immersions.
- Flat H\"older metrics of class $C^{0,\theta}$ can be recognized by vanishing distributional Gaussian curvature, with no additional smoothness assumptions.
- The correspondence is stable under mollification: approximations of a weak Darboux solution yield smooth metrics whose curvature distributions converge to the distributional curvature of $h=g-du^2$.
- Rigidity questions for $C^{1,\theta}$ surfaces can now be phrased as questions about uniqueness or existence of weak Darboux solutions, since the two-way correspondence identifies the two objects completely.
Reading between the lines
- A natural testable extension: check whether the threshold $\theta>1/2$ is sharp. If there is a $C^{1,1/2}$ weak Darboux solution that admits no $C^{1,1/2}$ isometric completion, then the theorem's exponent is optimal; the paper does not address this.
- The stability statement in Lemma 4.1 suggests the Darboux-to-flat-metric construction is continuous under $C^{0,\theta}$ metric perturbations, which could turn the correspondence into a compactness device for sequences of isometric immersions; this step is not taken in the paper.
- The same mechanism of converting a Darboux-type equation into flatness of an auxiliary metric should extend to other Monge\textendash{}Amp\`ere type equations arising in codimension-one immersions, and to surfaces whose metrics have low H\"older regularity, since the proof uses only conformal coordinates and distributional products.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper introduces a weak formulation of the Darboux equation for functions u ∈ C^{1,θ}(Ω), θ > 1/2, by interpreting the quotient det(∇²_gu)(1-|du|²_g)^{-3/2} dV_g as a distribution through a product of Hölder continuous functions. The main result, Theorem 1.1, asserts that u is such a weak solution if and only if u is the third component of a C^{1,θ} isometric immersion (ϕ,u): Ω → R³. The proof defines a distributional Gaussian curvature for C^{0,θ} metrics via conformal coordinates, proves a flatness criterion (Prop. 4.3), and then passes from smooth approximations u_ε to u using mollification and the continuity of the distributional curvature (Prop. 4.2).
Significance. If the proof is completed, this is a natural and valuable low-regularity extension of the classical Darboux correspondence, matching the threshold θ > 1/2 that already appears in weak formulations of the Gauss equation and in distributional product theory. The paper is also well structured: the distributional product Appendix A is essentially self-contained, the conformal chart machinery is standard, and both directions of the equivalence are addressed. The main theorem is a genuine contribution to the rigidity/flexibility discussion for low-regularity isometric immersions. However, the proof as written contains a concrete gap in the stability statement for conformal charts and a factor-of-two inconsistency in the definition of distributional Gaussian curvature; neither appears fatal, but both must be repaired before the paper is publishable.
major comments (1)
- [Appendix B, displayed equation for f_ε] The difference equation for f_ε = ψ_ε - ψ is incorrect. Subtracting ψ̄_z = μψ_z and ψ̄_{ε,z} = μ_εψ_{ε,z} gives f̄_{ε,z} = μ_ε f_{ε,z} + (μ_ε - μ)ψ_z, equivalently μ f_{ε,z} + (μ_ε - μ)ψ_{ε,z}. The printed equation f̄_{ε,z} = μ f_{ε,z} + (μ - μ_ε)f_{ε,z} has a source term that depends on f_ε itself, so Theorem 15.0.6 of [2] cannot be applied as an inhomogeneous estimate. The subsequent bound [(μ-μ_ε)f_{ε,z}] ≤ C‖μ-μ_ε‖‖f_ε‖ is circular and does not imply [Df_ε]_{C^{0,θ}} → 0. Moreover, local uniform convergence of f_ε together with a uniform C^{1,θ} bound does not by itself give convergence in C^{1,θ}. Since (4.1) is used in Prop. 4.2 and then in both directions of Theorem 1.1, this is a load-bearing gap. The correct equation should make it possible to apply Schauder estimates with a small source ‖μ_ε-μ‖‖ψ_z‖, but the proof must be rewritten.
Circularity Check
No significant circularity: the Darboux–immersion equivalence is proved from standard external tools, not from the authors' own prior theorems.
full rationale
The paper's derivation chain is self-contained in the relevant sense. Definition 1.1 is a direct distributional reformulation of the classical Darboux equation (1.1); Proposition 3.1 (with Appendix A) proves that the weak product is well-defined using Besov-space embeddings, not by assuming the main theorem. The flatness criterion Proposition 4.3 is proved from the conformal-chart definition of distributional curvature via Weyl's lemma, with no appeal to Theorem 1.1. Both directions of Theorem 1.1 are proved by mollification together with Lemma 2.1 quoted from Han–Hong [18], Proposition 4.2's continuity, and the weak equation itself; the approximations use standard C^{0,θ}→C^{0,θ'} mollification, again not the target statement. Self-citations (e.g., [7], [13]) appear only in the introduction as context, not as load-bearing inputs. The only concern visible in the text is a possible technical gap in Appendix B's proof of the conformal-chart stability estimate (4.1): the displayed equation f_epsilon_zbar = µ f_epsilon_z + (µ−µ_epsilon) f_epsilon_z appears to have the source term on the wrong side of the difference (subtracting the two Beltrami equations gives a term involving (µ_epsilon−µ)ψ_z rather than (µ−µ_epsilon)f_epsilon_z). If correct, this affects the proof of (4.1) and hence some continuity arguments in Proposition 4.2, but it is a correctness/rigor issue, not circularity: it does not make the main theorem equivalent to an assumption or to a fitted input.
Assumptions & free parameters
assumptions (4)
- standard math C^{0,theta} metrics admit global conformal charts psi in C^{1,theta} with continuous dependence (Lemma 4.1)
- standard math Distributional product of C^{0,theta} functions with theta > 1/2 is well-defined and continuous (Prop 3.2)
- standard math Curvature formula for h = g - du^2 (Lemma 2.1, from [18])
- standard math Classical conformal coordinate existence via the Beltrami equation
invented entities (1)
-
Distributional Gaussian curvature K_h dV_h for C^{0,theta} metrics (Definition 4.2)
Cite this review
Pith. "Pith review of Isometric Immersions and Weak Solutions to the Darboux Equation." pith.science (2026). https://pith.science/paper/DO4SVNYD
@misc{pith2026250805230,
author = {Pith},
title = {Pith review of: Isometric Immersions and Weak Solutions to the Darboux Equation},
year = {2026},
howpublished = {\url{https://pith.science/paper/DO4SVNYD}},
note = {Machine review of arXiv:2508.05230}
}
abstract
We study the Darboux equation, a fundamental PDE arising in the theory of isometric immersions of two-dimensional Riemannian manifolds into $\mathbb{R}^3$, in the low-regularity regime. We introduce a notion of weak solution for $u\in C^{1,\theta}$ with $\theta>1/2$, and show that the classical correspondence between solutions of the Darboux equation and isometric immersions remains valid in this regime. The key ingredient is an extension of the classical flatness criterion to H\"older continuous metrics, achieved via an analysis of a weak notion of Gaussian curvature.
Reference graph
Works this paper leans on
-
[2]
Elliptic Partial Differential Equations and Quasicon- formal Mappings in the Plane (PMS-48)
Kari Astala, Tadeusz Iwaniec, and Gaven Martin. Elliptic Partial Differential Equations and Quasicon- formal Mappings in the Plane (PMS-48) . Princeton University Press, 2009
work page 2009
-
[1]
Riemann’s mapping theorem for variable metrics
Lars Ahlfors and Lipman Bers. Riemann’s mapping theorem for variable metrics. Ann. of Math. (2) , 72:385–404, 1960
work page 1960
-
[3]
Yurii F. Borisov. The parallel translation on a smooth surface. I–IV. Vestnik Leningrad. Univ. , 13,14, 1958,1959
work page 1958
-
[4]
Yurii F. Borisov. Irregular C 1,β-Surfaces with an Analytic Metric. Siberian Mathematical Journal , 45(1):19–52, 2004
work page 2004
-
[5]
C 1,1/3− very weak solutions to the two dimensional Monge-Amp` ere equation.Calc
Wentao Cao, Jonas Hirsch, and Dominik Inauen. C 1,1/3− very weak solutions to the two dimensional Monge-Amp` ere equation.Calc. Var. Partial Differential Equations , 64(5):Paper No. 160, 22, 2025
work page 2025
-
[7]
Rigidity and flexibility of isometric extensions
Wentao Cao and Dominik Inauen. Rigidity and flexibility of isometric extensions. Comment. Math. Helv. , 99(1):39–80, 2024
work page 2024
-
[8]
Very weak solutions to the two-dimensional Monge-Amp´ ere equation
Wentao Cao and L´ aszl´ o Sz´ ekelyhidi. Very weak solutions to the two-dimensional Monge-Amp´ ere equation. Sci. China Math. , 62(6):1041–1056, 2019
work page 2019
-
[9]
Global Nash-Kuiper theorem for compact manifolds.J
Wentao Cao and L´ aszl´ o Sz´ ekelyhidi, Jr. Global Nash-Kuiper theorem for compact manifolds.J. Differential Geom., 122(1):35–68, 2022
work page 2022
Show all 32 references
-
[10]
Zwei satze uber die starrheit der ei achen
Stefan Cohn-Vossen. Zwei satze uber die starrheit der ei achen. Nachrichten Ges. d. Wiss zu Gottingen , 102(1):–125–134, 1927. 14 WENTAO CAO, JONAS HIRSCH, AND DOMINIK INAUEN
1927
-
[11]
In Nonlinear partial differential equations , volume 7 of Abel Symp., pages 83–116
Sergio Conti, Camillo De Lellis, and L´ aszl´ o Sz´ ekelyhidi, Jr.h-principle and rigidity for C 1,α isometric embeddings. In Nonlinear partial differential equations , volume 7 of Abel Symp., pages 83–116. Springer, Heidelberg, 2012
2012
-
[12]
Le¸ cons sur la th´ eorie g´ en´ erale des surfaces
Gaston Darboux. Le¸ cons sur la th´ eorie g´ en´ erale des surfaces. I, II. Les Grands Classiques Gauthier- Villars. [Gauthier-Villars Great Classics]. ´Editions Jacques Gabay, Sceaux, 1993. G´ en´ eralit´ es. Coordonn´ ees curvilignes. Surfaces minima. [Generalities. Curvilin...
1993
-
[13]
C 1,α isometric embeddings of polar caps
Camillo De Lellis and Dominik Inauen. C 1,α isometric embeddings of polar caps. Adv. Math., 363:106996, 39, 2020
2020
-
[14]
A Nash-Kuiper theorem for C 1,1/5−δ immersions of surfaces in 3 dimensions
Camillo De Lellis, Dominik Inauen, and L´ aszl´ o Sz´ ekelyhidi, Jr. A Nash-Kuiper theorem for C 1,1/5−δ immersions of surfaces in 3 dimensions. Rev. Mat. Iberoam., 34(3):1119–1152, 2018
2018
-
[15]
The geometry of c1,α flat isometric immersions
Camillo De Lellis and Mohammad Reza Pakzad. The geometry of c1,α flat isometric immersions. Proceed- ings of the Royal Society of Edinburgh: Section A Mathematics , pages 1–39, 2024
2024
-
[16]
The geometry of c1,α flat isometric immersions
Camillo De Lellis and Mohammad Reza Pakzad. The geometry of c1,α flat isometric immersions. Proceed- ings of the Royal Society of Edinburgh Section A: Mathematics , 2024. Publisher Copyright: Copyright © The Author(s), 2024. Published by Cambridge University Press on behalf of...
2024
-
[17]
N. V. Efimov. Impossibility of an isometric imbedding in Euclidean 3-space of certain manifolds with negative Gaussian curvature. Dokl. Akad. Nauk SSSR , 146:296–299, 1962
1962
-
[18]
Isometric embedding of Riemannian manifolds in Euclidean spaces , volume 130 of Mathematical Surveys and Monographs
Qing Han and Jia-Xing Hong. Isometric embedding of Riemannian manifolds in Euclidean spaces , volume 130 of Mathematical Surveys and Monographs . American Mathematical Society, Providence, RI, 2006
2006
-
[19]
Herglotz
G. Herglotz. ¨ uber die starrheit der ei achen. Abh. Math. Sem. Univ. Hamburg , 15(1):127–129, 1943
1943
-
[20]
Ueber Fl¨ achen von constanter Gaussscher Kr¨ ummung.Trans
David Hilbert. Ueber Fl¨ achen von constanter Gaussscher Kr¨ ummung.Trans. Amer. Math. Soc., 2(1):87– 99, 1901
1901
-
[21]
Darboux equations and isometric embedding of Riemannian manifolds with nonnegative curvature in R3
Jiaxing Hong. Darboux equations and isometric embedding of Riemannian manifolds with nonnegative curvature in R3. Chin. Ann. Math., Ser. B , 20(2):123–136, 1999
1999
-
[22]
The monge-amp` ere system in dimension two is fully flexible in codimension two
Dominik Inauen and Marta Lewicka. The monge-amp` ere system in dimension two is fully flexible in codimension two. arXiv preprint arXiv:2503.13867 , 2025
2025 arXiv
-
[23]
The Monge-Ampere system in dimension two and codimension three
Dominik Inauen and Marta Lewicka. The Monge-Ampere system in dimension two and codimension three. arXiv preprint arXiv:2501.12474 , 2025
2025 arXiv
-
[24]
On the concept of the weak Jacobian and Hessian
Tadeusz Iwaniec. On the concept of the weak Jacobian and Hessian. In Papers on analysis , volume 83 of Rep. Univ. Jyv¨ askyl¨ a Dep. Math. Stat., pages 181–205. Univ. Jyv¨ askyl¨ a, Jyv¨ askyl¨ a, 2001
2001
-
[25]
Marcus A. Khuri. Local solvability of degenerate Monge-Amp` ere equations and applications to geometry. Electron. J. Differ. Equ. , 2007:37, 2007. Id/No 65
2007
-
[26]
On C 1-isometric imbeddings
Nicolaas H Kuiper. On C 1-isometric imbeddings. I, II. Nederl. Akad. Wetensch. Indag. Math., 17:545–556, 683–689, 1955
1955
-
[27]
The Monge-Amp` ere system in dimension two: a regularity improvement.J
Marta Lewicka. The Monge-Amp` ere system in dimension two: a regularity improvement.J. Funct. Anal., 289(8):Paper No. 111064, 32, 2025
2025
-
[28]
The Monge-Amp` ere system: convex integration in arbitrary dimension and codimension
Marta Lewicka. The Monge-Amp` ere system: convex integration in arbitrary dimension and codimension. SIAM J. Math. Anal. , 57(1):601–636, 2025
2025
-
[29]
Convex integration for the Monge-Amp` ere equation in two dimensions
Marta Lewicka and Mohammad Reza Pakzad. Convex integration for the Monge-Amp` ere equation in two dimensions. Anal. PDE, 10(3):695–727, 2017
2017
-
[30]
Traces of weighted Sobolev spaces
Petru Mironescu and Emmanuel Russ. Traces of weighted Sobolev spaces. Old and new. Nonlinear Anal., Theory Methods Appl., Ser. A, Theory Methods , 119:354–381, 2015
2015
-
[31]
C 1 isometric imbeddings
John Nash. C 1 isometric imbeddings. Ann. of Math. (2) , 60:383–396, 1954
1954
-
[32]
Convexity of weakly regular surfaces of distributional nonnegative intrinsic curvature
Mohammad Reza Pakzad. Convexity of weakly regular surfaces of distributional nonnegative intrinsic curvature. J. Funct. Anal., 287(11):Paper No. 110616, 24, 2024
2024
-
[33]
Theory of function spaces
Hans Triebel. Theory of function spaces . Modern Birkh¨ auser Classics. Birkh¨ auser/Springer Basel AG, Basel, 2010. Reprint of 1983 edition [MR0730762], Also published in 1983 by Birkh¨ auser Verlag [MR0781540]. ISOMETRIC IMMERSION AND DARBOUX EQUATION 15 Wentao Cao, Academy ...
2010
Reviewed August 5, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.