{"id":"6c51822b-c45c-432a-94d3-41c60b9c666b","arxiv_id":"2505.24109","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"For complete spacelike CMC H surfaces in isotropic 3-space, nonconstant Gaussian curvature attains every value below H^2, and constant-curvature surfaces are exactly the listed quadrics.","lead":"This paper proves a Bernstein-type theorem for constant mean curvature surfaces in isotropic 3-space, a space with a degenerate metric: unless the Gaussian curvature is constant, it must take every value below the square of the mean curvature. The result gives a complete classification of the constant-curvature examples and a PDE consequence for entire solutions of the Poisson equation.","discovery_kind":"new_application","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Fact 2.1's Weierstrass formula as printed yields mean curvature zero for every holomorphic h2 and ω=dz, so Lemma 3.1 and Theorem 1.1 rest on an unstated corrected representation; the central proof is not self-contained as written.","rationale":"The theorem is conditional on a representation formula. The reader's weakest_assumption matches my own. The inconsistency is not a minor typo in a nonessential example: Fact 2.1 is the only bridge from CMC surfaces to holomorphic data, and Lemma 3.1 is the equation that feeds Picard's theorem. Without the corrected representation, H²−K is not shown to be |φ|² for an entire φ; indeed with the printed formula the Gaussian curvature would be K=−|h2'|² and H=0, so Theorem 1.1 for H≠0 has no proof. The fix is straightforward (add H|z|²/2 to the ℓ coordinate), and the examples suggest the authors intended this, but the manuscript as submitted is internally inconsistent. I therefore concur with the conditional verdict: the result is likely correct after a stated correction, but the proof as written is incomplete. The completeness-to-entire-graph step is cited to [18] and might deserve verification, but it is not the blocking issue.","tokens_in":7404,"tokens_out":7886,"duration_ms":81614,"concrete_test":"Set ω=dz and h2=0 in Fact 2.1; the surface is X(z)=(Re(H z²/2), x, y). Equation (3) gives mean curvature 0, not H, for every H≠0. Repeating with h2=e^z gives ℓ=(H/2)(x²−y²)+e^x cos y, whose Laplacian is 0. This direct computation settles that Fact 2.1 as printed cannot represent CMC H. The same test should be run against the source [8]; if the source has the H|z|²/2 term, the paper must adopt it and re-derive Lemma 3.1 from it.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Fact 2.1 is internally inconsistent with equation (3), and the proof silently uses a different formula. In (4), set ω=dz and h1=H∫ω=Hz. Then the ℓ-coordinate is Re∫(Hz+h2)dz = (H/2)(x²−y²)+Re∫h2 dz, a harmonic function since ∫h2 dz is locally holomorphic. By (3), H_surface = (1/2)Δℓ = 0, regardless of H and h2. Thus the printed representation cannot represent any CMC H surface with H≠0. Later, in Lemma 3.2, the same formula (4) is used to compute ℓ = H(x²+y²)/2 + √(H²−K)(x²−y²)/2 after a rotation, whose Laplacian is 2H. This corresponds to an additional H|z|²/2 term in the first coordinate, absent from Fact 2.1. Hence Lemma 3.1, Example 3.7, and the proof of Theorem 1.1 rely on a corrected representation that is never stated. If corrected to ℓ = H|z|²/2 + Re∫h2 dz (for ω=dz), Lemma 3.1 becomes K = H² − |dh2/dz|² and the value-distribution argument goes through; but as written the derivation is incomplete. The authors should either fix Fact 2.1 and reconcile Examples 3.7 and 3.8, or cite a precise version from [8] that includes the missing term.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","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.","tokens_in":7694,"tokens_out":8804,"duration_ms":83136,"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":[{"comment":"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.","section":"§2.3, Fact 2.1"},{"comment":"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.","section":"§3, Lemma 3.1"},{"comment":"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.","section":"§3, Example 3.7"}],"minor_comments":[{"comment":"The phrase 'Calye-Klein' should be 'Cayley-Klein'.","section":"§2.1"},{"comment":"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.","section":"§2.2"},{"comment":"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.","section":"§3, Lemma 3.2"},{"comment":"In reference [8], the page information '79 (2024), 8' is ambiguous; please clarify whether 8 is an article number or a page.","section":"References"}],"recommendation":"major_revision","confidential_remarks":"I see no evidence of circularity: the target theorem is not assumed, and [8] and [18] are external tools. Given the overlapping authorship with [8], the authors are well positioned to supply the corrected representation and a verification; the remaining issue is a correctness gap in the current text, not a novelty or scope problem."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Here is my take on arXiv:2505.24109. The headline: there is a solid, novel Bernstein-type theorem in here, but the paper as written has a load-bearing error in the Weierstrass representation. The fix is routine, and once fixed, the proof works. I would not desk-reject; I would send it to a referee with a request to correct the representation.\n\nWhat is actually new: Theorem 1.1, the value distribution of Gaussian curvature for complete CMC surfaces in isotropic 3-space, and the resulting classification of constant-K surfaces. The argument after Lemma 3.1 is clean: completeness forces an entire graph, K = H^2 - |phi|^2 with phi entire, and Picard gives the trichotomy. That is a nice observation and I do not see it in the cited literature. The classification list (a)-(f) is complete and the PDE corollary for Delta f = 2H is a good addition.\n\nThe soft spot is real. Fact 2.1 as printed gives, for omega = dz and h1 = Hz, ell = Re integral (Hz + h2) dz = H/2 (x^2 - y^2) + Re G, which is harmonic. Then their own equation (3) says the mean curvature is 0. So the printed representation cannot represent any nonzero CMC surface. Lemma 3.2 and Examples 3.7 and 3.8 silently use a different formula, with an extra H|z|^2/2 term in ell. This is not a minor typo; without it, Lemma 3.1 and Theorem 1.1 do not follow. The stress-test note got this right.\n\nThe good news: the corrected representation is obvious and is essentially the one used in Lemma 3.2 and Example 3.8 (modulo a factor 2 in the example). Once Fact 2.1 is restated with ell = H|z|^2/2 + Re integral h2 dz for omega = dz, Lemma 3.1 becomes K = H^2 - |dh2/dz|^2 and the value-distribution argument goes through unchanged. So the theorem is probably true.\n\nMinor issues: the citation to [18, Theorem 5.1] for the completeness-to-entire-graph step should be spelled out; and Example 3.8 writes H(x^2+y^2) where the corrected formula would have H/2 (x^2+y^2) (or the H parameter is off by a factor 2). These are fixable in revision. The citation pattern otherwise looks fine; [8] is a legitimate source for the representation, self-citation notwithstanding.\n\nBottom line: this paper is for researchers in isotropic geometry and Bernstein-type problems. It deserves a serious referee. I recommend asking the authors to fix the representation, reconcile the examples, and resubmit; the mathematical core is sound.","headline":"Nice Bernstein-type theorem with a real gap in the stated Weierstrass representation; the fix is routine and the result is likely sound.","tokens_in":8272,"tokens_out":8535,"would_cite":true,"duration_ms":74667,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["53A10","53B30","35B08"],"pacs":[],"model":"deepseek-v4-flash","headline":"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.","keywords":["zero mean curvature surface","constant mean curvature surface","Bernstein theorem","isotropic space","Gaussian curvature","value distribution","Weierstrass-type representation","entire graph"],"falsifier":"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.","tokens_in":7160,"feed_emoji":"📐","tokens_out":13849,"duration_ms":124453,"temperature":0.7,"pith_summary":"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.","feed_headline":"The curvature of a complete CMC surface takes every value below H²","feed_subtitle":"The only complete CMC surfaces that skip a curvature value are planes, cylinders, and paraboloids.","key_machinery":"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.","core_discovery":"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.","pith_inferences":["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."],"forward_implications":["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."],"supporting_citations":[{"why":"Supplies the Weierstrass-type representation from which Lemma 3.1 derives the curvature identity.","marker":"[8]"},{"why":"Supplies the theorem that completeness of a surface in I³ implies it is an entire graph, the step that allows the holomorphic-function argument.","marker":"[18]"},{"why":"Supplies the classical rigidity result for bounded hessian determinant that the paper recovers and refines in its PDE section.","marker":"[16]"}],"fun_headline_variants":["CMC curvature: constant or covers all below H²","Complete CMC surfaces: K constant or hits every value under H²","Value distribution: CMC Gaussian curvature fills all below H² unless fixed","For CMC surfaces in I³, curvature below H² is either single or exhaustive"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"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.","fun_headline_variants_meta":{"raw":{"variants":["CMC curvature: constant or covers all below H²","Complete CMC surfaces: K constant or hits every value under H²","Value distribution: CMC Gaussian curvature fills all below H² unless fixed","For CMC surfaces in I³, curvature below H² is either single or exhaustive"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.002201,"raw_usage":{"total_tokens":8436,"prompt_tokens":771,"completion_tokens":7665,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":387,"completion_tokens_details":{"reasoning_tokens":7587}},"tokens_in":387,"tokens_out":7665,"duration_ms":52587,"temperature":1.0,"reasoning_tokens":7587,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-07T12:36:21.729791+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"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.","supporting_citations":[{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the Weierstrass-type representation from which Lemma 3.1 derives the curvature identity."},{"cited_title":"Sato, On the classification of ruled minimal surfaces in pseudo-euclidean space, Math","cited_arxiv_id":null,"evidence_quote":"Supplies the theorem that completeness of a surface in I³ implies it is an entire graph, the step that allows the holomorphic-function argument."},{"cited_title":"Reilly, The relative differential geometry of nonparametric hypersurfaces, Duke Math","cited_arxiv_id":null,"evidence_quote":"Supplies the classical rigidity result for bounded hessian determinant that the paper recovers and refines in its PDE section."}],"review_version":1}