Pith. sign in

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 →

arxiv 2508.05230 v1 pith:DO4SVNYD submitted 2025-08-07 math.AP

classification math.AP MSC 35D3035J6053C42
keywords DarbouxequationisometricimmersionslowregularityweaksolutionsdistributionalGaussiancurvatureflatnesscriterionconformalcoordinatesHolder
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 that the classical correspondence between solutions of the Darboux equation and isometric immersions of surfaces into $\mathbb{R}^3$ survives at low regularity. For any H\"older exponent $\theta>1/2$, a function $u$ with $|du|_g<1$ satisfies Darboux's equation in a newly defined distributional sense exactly when it can be paired with some $\phi$ so that $(\phi,u)$ is a $C^{1,\theta}$ isometric immersion of $(\Omega,g)$. This matters because $C^{1,\theta}$ is the borderline regime between the flexible and rigid behavior of isometric immersions, and weak constraint equations of this kind are the tools used to prove rigidity. The proof works by converting the Darboux equation into flatness of the auxiliary metric $h=g-du^2$, detected through a distributional Gaussian curvature defined for H\"older continuous metrics.

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.

Watch

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

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

  • 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.
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

1 major / 0 minor

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)
  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

0 steps flagged · score 0.0 of 10

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 0 free parameters · 4 assumptions · 1 invented entities

No free parameters: the proof introduces no fitted numerical constants. The main input assumptions are standard analytic results: existence and C^{1,theta} regularity of conformal charts for C^{0,theta} metrics, the distributional product lemma for Holder functions with exponent greater than 1/2, and the classical formula for curvature of the perturbed metric h = g - du^2. The only invented mathematical object is the distributional Gaussian curvature (Definition 4.2), which is internally defined and validated by Prop 4.2 and Prop 4.3; it carries a factor 2 mismatch with the classical curvature.

assumptions (4)
  • standard math C^{0,theta} metrics admit global conformal charts psi in C^{1,theta} with continuous dependence (Lemma 4.1)
    Invoked in Section 4.1-4.2 to define distributional curvature and in Prop 4.3 to construct immersions; proof in Appendix B reduces to Beltrami theory from [1,2].
  • standard math Distributional product of C^{0,theta} functions with theta > 1/2 is well-defined and continuous (Prop 3.2)
    Used throughout Sections 3-5; proof in Appendix A via Besov embeddings.
  • standard math Curvature formula for h = g - du^2 (Lemma 2.1, from [18])
    Used in Section 5 to compute K_{h_epsilon}; cited from Han-Hong.
  • standard math Classical conformal coordinate existence via the Beltrami equation
    Background for Lemma 4.1; standard quasiconformal theory.
invented entities (1)
  • Distributional Gaussian curvature K_h dV_h for C^{0,theta} metrics (Definition 4.2)
    purpose: Extends the flatness criterion to rough metrics; backbone of the proof of Theorem 1.1
    A new mathematical object defined in the paper; no external empirical handle, its validity is established internally via Prop 4.2 and Prop 4.3. Note: as written it is twice the classical Gaussian curvature measure.

how reviews work

0 comments
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.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

32 extracted references · 32 canonical work pages

  1. [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

  2. [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

  3. [3]

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

  4. [4]

    Yurii F. Borisov. Irregular C 1,β-Surfaces with an Analytic Metric. Siberian Mathematical Journal , 45(1):19–52, 2004

  5. [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

  6. [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

  7. [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

  8. [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

Show all 32 references
  1. [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

  2. [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

  3. [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...

  4. [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

  5. [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

  6. [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

  7. [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...

  8. [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

  9. [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

  10. [19]

    Herglotz

    G. Herglotz. ¨ uber die starrheit der ei achen. Abh. Math. Sem. Univ. Hamburg , 15(1):127–129, 1943

  11. [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

  12. [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

  13. [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

  14. [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

  15. [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

  16. [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

  17. [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

  18. [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

  19. [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

  20. [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

  21. [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

  22. [31]

    C 1 isometric imbeddings

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

  23. [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

  24. [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 ...

Pith tools

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