Pith. sign in

REVIEW 3 major objections 4 minor 23 references

Bernstein-type theorem for constant mean curvature surfaces in the isotropic 3-space

T0 review · 3 major / 4 minor · reviewed 2026-08-07 · deepseek-v4-flash

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

Pith's one-line read A complete spacelike surface of constant mean curvature in isotropic 3-space attains every Gaussian-curvature value below H² unless it is one of the standard quadrics.

desk verdict Nice Bernstein-type theorem with a real gap in the stated Weierstrass representation; the fix is routine and the result is likely sound. read the letter →

arxiv 2505.24109 v2 pith:XS2LYJPZ submitted 2025-05-30 math.DG

Shintaro Akamine , Wonjoo Lee , Seong-Deog Yang This is my paper
classification math.DG MSC 53A1053B3035B08
keywords zeromeancurvaturesurfaceconstantBernsteintheoremisotropicspaceGaussianvaluedistributionWeierstrass-typerepresentationentiregraph
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 works in the isotropic 3-space I³, the coordinate space (ℓ, x, y) whose metric is only dx² + dy², and studies complete spacelike surfaces with constant mean curvature H. Its main theorem states that if the Gaussian curvature K of such a surface is not constant, then K must take every real value below H². Equivalently, H² − K is the squared modulus of a non-constant entire holomorphic function, and a non-constant entire function can omit at most one value, so H² − K fills the positive real axis. Consequently, if K misses any value below H², then K is constant and the surface is, up to isometry, a plane, a cylinder, an elliptic paraboloid, or a hyperbolic paraboloid. This is a Bernstein-type theorem: it says the only complete CMC graphs that avoid a curvature value are the familiar quadrics, even though the isotropic space admits many non-trivial entire CMC graphs.

What carries the argument

The mechanism is the Weierstrass-type representation for CMC surfaces in I³, which writes a surface as X(z) = Re ∫ (h₁ + h₂, 1, −i) ω with h₁ = H ∫ ω and holomorphic data h₂, ω. From this representation, Lemma 3.1 gives the curvature identity K = H² − |dh₂/ω|². Completeness forces the surface to project isometrically onto the entire xy-plane, so the surface is an entire graph and the holomorphic function dh₂/ω is entire. The classical theorem that a non-constant entire holomorphic function attains every complex value except possibly one then converts the identity into the value-distribution statement for K; in the constant case, Lemma 3.2 integrates the data to the explicit quadratic graphs f(x, y) = H(x² + y²)/2 + √(H² − K)(x² − y²)/2.

What would settle it

Compute K for the complete CMC H graphs of Example 3.8, where H² − K = $e^{{2x}}$; the theorem predicts the range of K is (−∞, H²). If a complete CMC H surface were found whose nonconstant K never attained some value c < H², Theorem 1.1 would be false; checking H² − K = |dh₂/ω|² on the Weierstrass data is the direct test of the lemma that carries the proof.

Watch

Extended reading notes

Core claim

On the paper's own terms, the discovery is a value-distribution theorem for the Gaussian curvature of complete spacelike CMC surfaces in I³: for a connected complete surface with constant mean curvature H, either K is constant or K takes all values less than H². The constant-curvature case is then classified explicitly: the surface is a plane when H = 0, a cylinder when K = 0 and H ≠ 0, an elliptic paraboloid when K > 0, or a hyperbolic paraboloid when K < 0, with the rectangular case singled out for H = 0 and the circular case when H² − K = 0. The key equivalence is H² − K = |dh₂/ω|², so the value distribution of K is governed by the value distribution of a holomorphic function.

Load-bearing premise

The proof rests on the local formula that describes every constant-mean-curvature surface from holomorphic data; if that formula is not exactly correct, the curvature identity that drives the argument no longer follows.

Editorial extensions

If this is right

  • Any complete CMC H surface in I³ with bounded Gaussian curvature must have constant K and therefore must be one of the listed quadrics.
  • Every entire zero-mean-curvature graph with bounded Gaussian curvature is a plane or a rectangular hyperbolic paraboloid.
  • Every entire non-zero CMC graph with bounded Gaussian curvature is a cylinder, an elliptic paraboloid, or a non-rectangular hyperbolic paraboloid.
  • For entire solutions of Δf = 2H, the hessian determinant takes exactly one of the three forms {point}, (−∞, H²), or (−∞, H²], and boundedness forces f to be quadratic.
  • The Enneper-type and exponential examples show that each value-distribution case actually occurs among entire CMC graphs.

Reading between the lines

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

  • The mechanism is not tied to dimension three: in any isotropic space where completeness forces entire graphs and a Weierstrass representation gives K = H² − |entire function|², the same value-distribution argument should reproduce the theorem.
  • The theorem suggests a sharper PDE statement than boundedness: even if the hessian determinant of an entire solution of Δf = 2H is merely constrained to miss an interval, the solution must be quadratic; this is a testable extension of the paper's Corollary 4.2.
  • Under weaker completeness assumptions, the conclusion may fail: surfaces that are not complete graphs could have nonconstant K with an exceptional value, so the completeness hypothesis in Theorem 1.1 is likely not optional.
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

3 major / 4 minor

Summary. The paper studies connected complete spacelike surfaces with constant mean curvature H in the isotropic 3-space I^3. Theorem 1.1 asserts that if such a surface has non-constant Gaussian curvature K, then K attains every value less than H^2; consequently, if K has any exceptional value below H^2, then K is constant and the surface is one of the explicitly listed quadrics: a plane, a cylinder, an elliptic paraboloid, or a hyperbolic paraboloid, with the rectangular case when H=0. The proof is built on a Weierstrass-type representation (Fact 2.1), from which Lemma 3.1 derives K = H^2 - |dh2/omega|^2; Picard's theorem is then applied to the entire holomorphic function dh2/omega. The complete case is reduced to entire graphs via a cited completeness theorem, and the paper concludes with corollaries for entire graphs and a PDE interpretation in terms of the Laplacian and Hessian determinant.

Significance. If the representation issue identified below is repaired, the theorem is a clean and interesting contribution: it gives a sharp value-distribution statement for the Gaussian curvature of complete CMC surfaces in a degenerate ambient space and yields a Bernstein-type classification. The proof strategy is elegant, and the explicit examples (Examples 3.7 and 3.8) are valuable illustrations of the three possible behaviors. However, the load-bearing Fact 2.1 is internally inconsistent as printed, so the proof in the current manuscript does not establish the main theorem. The defect appears local and fixable, which is why I do not recommend rejection.

major comments (3)
  1. [§2.3, Fact 2.1] Fact 2.1 as printed is internally inconsistent with equation (3). For omega = dz and h1 = Hz, the first coordinate in (4) is ell = Re integral (Hz + h2) dz = (H/2)(x^2 - y^2) + Re integral h2 dz, which is harmonic, so (3) gives mean curvature 0 regardless of H. Thus (4) cannot represent a CMC H surface with H != 0. The same printed formula is later used to compute ell = H(x^2 + y^2)/2 + sqrt(H^2 - K)(x^2 - y^2)/2 in Lemma 3.2 and the exponential example in Example 3.8, both of which contain an extra H|z|^2/2 term absent from (4). Please replace Fact 2.1 by the corrected representation (e.g., ell = H|z|^2/2 + Re integral h2 omega for omega = dz, with phi = G''), or quote the precise statement from [8], and make all subsequent formulas consistent.
  2. [§3, Lemma 3.1] Lemma 3.1 is stated as a direct check of Fact 2.1, but since Fact 2.1 is not correct as printed, the derivation of equation (5) is not established. In the corrected representation the computation does yield K = H^2 - |dh2/omega|^2, and the rest of the proof of Theorem 1.1 then goes through by Picard's theorem; however, the manuscript should include this computation explicitly because (5) is the load-bearing identity for the main theorem.
  3. [§3, Example 3.7] Example 3.7 is inconsistent with (3) for H != 0: with Weierstrass data (z^{n-1}, dz), formula (4) gives ell = (1/n) Re z^n, whose Laplacian is identically zero, so the mean curvature is zero. In particular, the statement that the H = 1 lift of the n = 2 Enneper data is a cylinder is only true after inserting the missing H(x^2 + y^2)/2 term. Please correct the example or explicitly state that it uses the corrected representation.
minor comments (4)
  1. [§2.1] The phrase 'Calye-Klein' should be 'Cayley-Klein'.
  2. [§2.2] The sentence 'This implies that ds^2 is a flat metric and hence the Gaussian curvature K is not intrinsic' is imprecise; K is an extrinsic quantity, while the induced metric is flat. Please rephrase.
  3. [§3, Lemma 3.2] The notation involving theta and tilde{theta} in the rotation step is mildly confusing; consider using a single rotation angle and stating the final coordinate change more directly.
  4. [References] In reference [8], the page information '79 (2024), 8' is ambiguous; please clarify whether 8 is an article number or a page.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: the value-distribution theorem follows from Picard's theorem applied to a holomorphic function obtained from a Weierstrass representation; the misprinted form of Fact 2.1 is a correctness issue, not a circular reduction.

full rationale

The central claim is not assumed in the input. The proof of Theorem 1.1 uses Fact 2.1 (the Weierstrass-type representation in I^3, cited from [8]) and [18, Theorem 5.1] (completeness implies the surface is an entire graph), then derives Lemma 3.1, H^2-K=|dh2/omega|^2, and applies Picard's little theorem to the entire holomorphic function dh2/omega. Neither [8] nor [18] contains Theorem 1.1, and the Picard step is a genuinely new value-distribution argument; Lemma 3.1 is not the target result. The self-citation in Fact 2.1 (two present authors are among [8]'s authors) is load-bearing but is independent support under the rules: it is a parameter-free representation theorem whose assumptions do not include the target theorem, so it does not raise the circularity score. A separate, non-circular correctness problem exists: as printed, Fact 2.1 is inconsistent with equation (3). Taking omega=dz and any holomorphic h2, the formula gives ell=Re integral (Hz+h2) dz = H(x^2-y^2)/2 + Re integral h2 dz, whose Laplacian is zero, so the represented surface has H=0 rather than arbitrary H. Lemma 3.2 and Examples 3.7-3.8 silently use the corrected first coordinate H(x^2+y^2)/2 + Re integral h2 dz, which contains the missing H|z|^2/2 term. This means Lemma 3.1 and Theorem 1.1 are not rigorously derived from the formula as printed; however, this is a misprint or omitted proof, not an equation that is equivalent to the target theorem by construction, and no fitted parameter is renamed as a prediction. Hence the circularity score is 0.

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

The proof rests on standard complex analysis (Picard), an imported Weierstrass representation, and a completeness-to-graph fact. No free parameters are fitted to data and no new entities are postulated. The main risk is the inconsistent printed representation formula, not circularity or invented structure.

assumptions (4)
  • standard math Picard's little theorem: a nonconstant entire holomorphic function omits at most one complex value.
    Used in the proof of Theorem 1.1 to show that H^2 - K fills (0, infinity) when K is nonconstant.
  • domain assumption Weierstrass-type representation Fact 2.1 from reference [8].
    The proof assumes every CMC H immersion is locally given by Formula (4). As printed the formula is inconsistent with equation (3) unless a missing H|z|^2/2 term is intended, so this is the paper's main imported assumption.
  • domain assumption Reference [18, Theorem 5.1]: complete spacelike surfaces in I^3 are entire graphs over the xy-plane.
    Used in the proof of Theorem 1.1 to reduce complete surfaces to functions f on R^2; the statement is cited without being reproduced.
  • domain assumption Graph curvature formulas H = (f_xx + f_yy)/2 and K = f_xx f_yy - f_xy^2 from equation (3).
    These are the definitions/relations linking mean curvature and Gaussian curvature to the graph function f in isotropic 3-space.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Bernstein-type theorem for constant mean curvature surfaces in the isotropic 3-space." pith.science (2026). https://pith.science/paper/XS2LYJPZ

@misc{pith2026250524109,
  author       = {Pith},
  title        = {Pith review of: Bernstein-type theorem for constant mean curvature surfaces in the isotropic 3-space},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/XS2LYJPZ}},
  note         = {Machine review of arXiv:2505.24109}
}
abstract

There are many non-trivial entire spacelike graphs with constant mean curvature $H$ (CMC $H$, for short) in the isotropic 3-space $\mathbb{I}^3$. In this paper, we show a value distribution theorem of Gaussian curvature of complete spacelike constant mean curvature surfaces in $\mathbb{I}^3$, which implies a Bernstein-type theorem for CMC $H$ graphs in $\mathbb{I}^3$.

Figures

Figures reproduced from arXiv: 2505.24109 by the authors.

Figure 1
Figure 1. Enneper surface of 𝑛 = 2 with 𝐻 = 0 (left) and its CMC lifts with 𝐻 = 1, which is a cylinder (center) and with 𝐻 = 2 (right). These surfaces are isometric entire constant mean curvature graphs with constant 𝐾 = 𝐻 2 − 1. Enneper surface with 𝐻 = 0 CMC 𝐻 lift with 𝐻 = 1.5 CMC 𝐻 lift with 𝐻 = 10 [PITH_FULL_IMAGE:figures/full_fig_p007_1.png] view at source ↗
Figure 2
Figure 2. Enneper surface of order 𝑛 = 3 with 𝐻 = 0 (left) and its CMC lifts with 𝐻 = 1.5 (center) and with 𝐻 = 10 (right). These surfaces are isometric entire constant mean curvature graphs with unbounded 𝐾. By Lemma 3.1, 𝐾 = 𝐻 2 − |𝑒 𝑧 | 2 holds and hence 𝑋𝐻 does not have an umbilic point. See [PITH_FULL_IMAGE:figures/full_fig_p007_2.png] view at source ↗
Figure 3
Figure 3. [PITH_FULL_IMAGE:figures/full_fig_p007_3.png] view at source ↗
Figures from the paper (1 more)
Figure 3
Figure 3. Figure 3: Entire constant mean curvature 𝐻 graphs 𝑋𝐻 without umbilic points. 4. Relating results from a viewpoint of PDE As we saw in (3), the curvatures 𝐻 and 𝐾 of a graph ℓ = 𝑓 (𝑥, 𝑦) in I 3 are written as the Laplacian Δ 𝑓 and the hessian determinant H𝑓 of 𝑓 , respectively : …

Discussion (0). Sign in to comment.

Reference graph

Works this paper leans on

23 extracted references · 23 canonical work pages

  1. [8]

    J. Cho, D. Lee, W. Lee and S-D. Yang, Spinor Representation in Isotropic 3-Space via Laguerre Geometry, Results Math. 79 (2024), 8

    work page 2024

  2. [1]

    F. J. Almgren, Jr.Some interior regularity theorems for minimal surfaces and an extension of Bernstein’s theorem, Ann. of Math. 84 (1966), 277–292

    work page 1966

  3. [2]

    S. N. Bernstein, Sur une th´eor`eme de g´eometrie et ses applications aux ´equations d´eriv´ees partielles du type elliptique, Comm. Soc. Math. Kharkov 15 (1915–1917), 38–45

    work page 1915

  4. [3]

    Bombieri, E

    E. Bombieri, E. De Giorgi and E. Giusti, Minimal cones and the Bernstein problem , Invent. Math. 7 (1969), 243–268

    work page 1969

  5. [4]

    Calabi, Examples of Bernstein problems for some nonlinear equations , in Global Analysis (Proc

    E. Calabi, Examples of Bernstein problems for some nonlinear equations , in Global Analysis (Proc. Sympos. Pure Math., Vol. XV, Berkeley, CA., 1968), Amer. Math. Soc., Providence, RI, (1970), 223–230

    work page 1970

  6. [5]

    S. Y. Cheng and S. T. Yau, Maximal space-like hypersurfaces in the Lorentz-Minkowski spaces, Ann. Math. 104 (1976), 407–419

    work page 1976

  7. [6]

    S.-S, Chern, On the curvatures of a piece of hypersurface in Euclidean space, Abh. Math. Sem. Univ. Hambg. 29 (1965), 77–91

    work page 1965

  8. [7]

    Choi and A

    H.I. Choi and A. Treibergs, Gauss maps of spacelike constant mean curvature hypersurfaces of Minkowski space, J. Differential Geom. 32 (1990), 775–817

    work page 1990

Show all 23 references
  1. [9]

    De Giorgi, Una estensione del teorema di Bernstein , Ann

    E. De Giorgi, Una estensione del teorema di Bernstein , Ann. Sc. Norm. Super. Pisa Cl. Sci. (3) 19 (1965), 79–85

    1965

  2. [10]

    Dierkes, S

    U. Dierkes, S. Hildebrandt, and F. Sauvigny, Minimal surfaces , second, Grundlehren der Mathe- matischen Wissenschaften [Fundamental Principles of Mathematical Sciences], vol. 339, Springer, Heidelberg, (2010). With assistance and contributions by A. K¨ uster and R. Jakob

    2010

  3. [11]

    Flanders, Remark on mean curvature, J

    H. Flanders, Remark on mean curvature, J. Lond. Math. Soc. 41 (1966), 364–366

    1966

  4. [12]

    W. H. Fleming, On the oriented Plateau problem, Rend. Circ. Mat. Palermo (2) 11 (1962), 69–90

    1962

  5. [13]

    Heinz, ¨Uber Fl ¨achen mit eindeutiger projektion auf eine ebene, deren kr ¨ummungen durch ungle- ichungen eingschr¨ankt sind, Math

    E. Heinz, ¨Uber Fl ¨achen mit eindeutiger projektion auf eine ebene, deren kr ¨ummungen durch ungle- ichungen eingschr¨ankt sind, Math. Ann. 129 (1955), 451–454

    1955

  6. [14]

    Honda, Y

    A. Honda, Y. Kawakami, M. Koiso and S. Tori, Heinz-type mean curvature estimates in Lorentz- Minkowski space, Rev. Mat. Complut. 34 (2021), 641–651

    2021

  7. [15]

    J ¨orgens, ¨Uber die L¨osungen der Differentialgleichung𝑟𝑡−𝑠2, Math

    K. J ¨orgens, ¨Uber die L¨osungen der Differentialgleichung𝑟𝑡−𝑠2, Math. Ann. 127 (1954), 130–134

    1954

  8. [16]

    Reilly, The relative differential geometry of nonparametric hypersurfaces, Duke Math

    R. Reilly, The relative differential geometry of nonparametric hypersurfaces, Duke Math. J.,43 (1976), 705–721

    1976

  9. [17]

    Sachs, Isotrope Geometrie des Raumes, Friedr

    H. Sachs, Isotrope Geometrie des Raumes, Friedr. Vieweg & Sohn, Braunschweig, (1990)

    1990

  10. [18]

    Sato, On the classification of ruled minimal surfaces in pseudo-euclidean space, Math

    Y. Sato, On the classification of ruled minimal surfaces in pseudo-euclidean space, Math. J. Okayama Univ. 61 (2019), 173–186. 10 S.AKAMINE, W.LEE, AND S-D.YANG

    2019

  11. [19]

    J. J. Seo and S.-D. Yang, Zero mean curvature surfaces in isotropic three-space, Bull. Korean Math. Soc. 58 (2021), 1–20

    2021

  12. [20]

    Luiz C. B. Da Silva,Differential geometry of invariant surfaces in simply isotropic and pseudo-isotropic spaces, Math. J. Okayama Univ.63 (2024), 15–52

    2024

  13. [21]

    Simons, Minimal varieties in Riemannian manifolds, Ann

    J. Simons, Minimal varieties in Riemannian manifolds, Ann. of Math. (2) 88 (1968), 62–105

    1968

  14. [22]

    Strubecker, Differentialgeometrie des isotropen Raumes

    K. Strubecker, Differentialgeometrie des isotropen Raumes. I. Theorie der Raumkurven, Akad. Wiss. Wien, S.-B. IIa 150 (1941), 1–53

    1941

  15. [23]

    Treibergs, Entire spacelike hypersurfaces of constant mean curvature in Minkowski space, Invent

    A. Treibergs, Entire spacelike hypersurfaces of constant mean curvature in Minkowski space, Invent. Math. 66 (1982), 39–56. (Shintaro Akamine) Department of Liberal Arts, College of Bioresource Sciences, Nihon Uni- versity , 1866 Kameino, Fujisawa, Kanagawa, 252-0880, Japan Em...

    1982

Pith tools

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