{"id":"3ff85abd-8db1-42a2-b110-d9ad9429e8ca","arxiv_id":"1908.09952","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"A free boundary CMC surface in the 3-ball with traceless second fundamental form pinched by (2+H<x,N>)^2/2 is a spherical cap or a Delaunay annulus.","lead":"This paper proves a sharp gap theorem for free boundary constant mean curvature surfaces in the unit 3-ball: if a pinching condition on the traceless second fundamental form holds, the surface is either a spherical cap or a portion of a Delaunay surface. The result extends a known minimal surface theorem to constant mean curvature and includes examples showing the pinching is sharp.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Equality-case proof of Theorem 1.4 asserts without proof that equality in (1.2) forces the minimum set C of |x|^2 to contain more than one point; this is a genuine gap in the central claim.","rationale":"Reading in good faith, the main theorem is plausible and the overall architecture—convexity of the distance function, Nitsche's theorem for the disk case, and the Killing-field argument for the annulus case—is coherent. However, the proof's transition from equality in the pinching condition to a multi-point minimum set is asserted without argument. This step is exactly what makes the Delaunay classification follow, so it is the most load-bearing logical gap I can identify. The isolated-umbilic-point fact flagged by the Reader is true (zeros of the Hopf differential) and would be fixed by a reference, so I regard it as secondary. The abstract's claims about hyperbolic space, the upper hemisphere, and higher dimensions are also not supported by the text, but they do not affect the Euclidean free-boundary theorem itself. Because the gap is plausibly repairable rather than a known counterexample, the appropriate judgement remains conditional; I do not change the Reader's verdict, but I would ask for an explicit proof of the equality-propagation step before acceptance.","tokens_in":9881,"tokens_out":33424,"duration_ms":361224,"concrete_test":"Provide a proof that equality in (1.2) forces dim(C) ≥ 1: take a point where λ1 = 0 and differentiate λ1 along its principal curvature line, using Codazzi and H constant, to show λ1 vanishes on an entire arc; if the derivative computation leaves the zero isolated, the assertion fails and the proof needs a different route. A complementary numerical check is to compute the locus of equality in the free-boundary Delaunay annuli of Section 3 and compare it with the minimum set of |x|^2.","verdict_should_be":"UNCHANGED","load_bearing_attack":"In Section 2.1, after treating strict inequality, the paper states: 'If equality occurs in (1.2) at some point then C has more than one point and we are in case ii) of Corollary 2.1.' Equality in (1.2) is equivalent to 4λ1λ2 = 0, where λi = 1 + ki⟨x,N⟩ are the eigenvalues of Hess of φ = |x|^2/2. Thus equality means the Hessian acquires a zero eigenvalue at that point. It does not follow from semipositive definiteness of Hess φ that the minimum set C of φ contains more than one point: a convex function on a compact surface with strictly convex boundary can have a unique interior minimum with a degenerate Hessian (for example, h(t) = t^4 on an interval has h''(0)=0 and a unique minimum). The paper supplies no CMC or free-boundary argument excluding this possibility. Since the entire Delaunay branch relies on C containing a nontrivial geodesic segment, this unproved implication is load-bearing. The reader's flagged reliance on isolated umbilic points in Proposition 2.1 is real but standard: for a non-totally-umbilical CMC surface in R^3, umbilic points are zeros of the holomorphic Hopf differential and hence isolated. The missing reference for that fact is a secondary omission compared with the unproved equality-to-C implication.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The manuscript proves a pinching theorem for compact free boundary constant mean curvature (CMC) surfaces in the Euclidean unit ball. Theorem 1.4 states that if |Φ|^2⟨x,N⟩^2 ≤ 1/2(2+H⟨x,N⟩)^2 on Σ, then either |Φ|^2⟨x,N⟩^2 ≡ 0 and Σ is a spherical cap, or equality is attained at some point and Σ is a portion of a Delaunay surface. The proof studies the distance function φ=|x|^2/2, shows under the pinching that its Hessian on Σ is nonnegative, analyzes the minimum set C, and uses a Killing-field argument in the equality case. Section 3 constructs explicit Delaunay examples to show the pinching is sharp.","tokens_in":10186,"tokens_out":11072,"duration_ms":101221,"significance":"The result is a natural and nontrivial extension of the Ambrozio–Nunes gap theorem to nonzero mean curvature, and the pinching condition is new and sharp. The use of the distance function and the identity relating the pinching to the Hessian eigenvalues is elegant, and the identification of the equality case with Delaunay surfaces is a strong conclusion. The explicit examples in Section 3 are valuable. However, the proof of the equality case has a significant gap, and the manuscript as submitted overclaims results in the abstract; these issues must be addressed before the paper can be accepted.","major_comments":[{"comment":"The statement 'If equality occurs in (1.2) at some point then C has more than one point' is asserted without proof. Equality in (1.2) gives 4λ1λ2=0 at some point, i.e., a degenerate eigenvalue of HessΣφ. This does not by itself imply that the minimum set C of φ contains more than one point: a smooth convex function on a compact surface with strictly convex boundary can have a unique minimum with a degenerate Hessian (for instance h(t)=t^4 on an interval has h''(0)=0 and a unique minimum). The subsequent Killing-field argument requires C to contain a nontrivial geodesic segment, so this implication is load-bearing. Please supply a proof or a reference, or adjust the theorem.","section":"Section 2.1, proof of Theorem 1.4, after Corollary 2.1"},{"comment":"The proof that v=2+H⟨x,N⟩ is nonnegative uses the fact that a non-totally-umbilical CMC surface in R^3 has isolated umbilic points. This is a classical consequence of the Hopf differential, but the manuscript neither proves it nor gives a precise reference; the introduction mentions it but no citation is provided. Since the contradiction argument near p0 depends on this isolation property, please add a proof or a reference.","section":"Section 2, Proposition 2.1"},{"comment":"The abstract as provided claims results for complete properly embedded CMC surfaces in Euclidean space, for hyperbolic space, for the upper hemisphere, and in higher dimensions. None of these appear in the body, which proves only Theorem 1.4 for compact free boundary CMC surfaces in B^3. The abstract must be rewritten to match the actual content, or the additional theorems must be stated and proved.","section":"Abstract"}],"minor_comments":[{"comment":"The claim that the constructed Delaunay portion satisfies all conditions of Lemma 3.1 is left to an 'easy check'. Please spell out the verification of (3.6)–(3.8), since the sharpness of the pinching depends on it.","section":"Section 3, Proposition 3.1"},{"comment":"The title given in the submission ('Gap results for free boundary CMC surfaces in the Euclidean three-ball') differs from the arXiv listing title ('Gap phenomena for constant mean curvature surfaces'). Please make them consistent.","section":"Title"},{"comment":"There are several typos: 'condidion' in Lemma 3.1, 'Propostion' before Proposition 3.2, 'cconsider' in Lemma 3.4, 'Finaly' in the proof of Lemma 3.1, and 'resul ts' in the running title.","section":"Throughout"}],"recommendation":"major_revision","confidential_remarks":"The equality-case gap is serious but potentially fixable by proving that a degenerate Hessian at the minimum forces C to contain a curve, perhaps using the structure of CMC surfaces. If the authors cannot prove this, Theorem 1.4(ii) may need to be weakened. The abstract overclaim is a separate editorial issue."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The paper does something real: it finds the right pinching condition (1.2) so that the Hessian of the distance function is nonnegative on a free-boundary CMC surface, proves the strict case cleanly, and shows with explicit computations that portions of Delaunay surfaces saturate the pinching and can be free boundary in a ball. That is a genuine CMC extension of Ambrozio-Nunes, not a routine corollary. The identity in Proposition 2.1 is exact and the convexity argument up through Lemma 2.2 is sound.\n\nThe soft spot is real, and it is in the equality case. The sentence \"If equality occurs in (1.2) at some point then C has more than one point\" is not justified. Equality only gives lambda1*lambda2 = 0 at that point, meaning the Hessian has a zero eigenvalue. A convex function on a compact surface with strictly convex boundary can have a unique minimum with a degenerate Hessian (think x^4 + y^2 on the disk). The paper supplies no CMC or free-boundary argument excluding that. Since the Delaunay conclusion depends entirely on C containing a nontrivial geodesic, this is a load-bearing gap. The stress-test note is right.\n\nThe reliance on isolated umbilical points in Proposition 2.1 is standard but should have a reference; that is a secondary omission. The example section leaves several inequalities to \"easy check,\" which is acceptable for a note but not ideal. And the abstract that appears in front of me claims complete CMC surfaces in Euclidean space, hyperbolic space, the upper hemisphere, and higher dimensions; none of that is in the body. If that is the arXiv abstract, it needs to be aligned with the content.\n\nWho gets value from this? People working on free-boundary CMC surfaces and gap theorems. The strict part and the examples are useful even if the equality case is not yet fully proved. I would send it to a serious referee, but with the clear instruction that the equality case must be repaired or carefully addressed before acceptance. If the authors can close that gap, this becomes a solid paper worth citing.","headline":"A genuinely useful sharp CMC analog of the Ambrozio-Nunes gap theorem, but the equality-case argument has a load-bearing gap and the abstract overreaches the actual content.","tokens_in":10677,"tokens_out":6170,"would_cite":false,"duration_ms":66411,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["53A10","49Q10","35P15"],"pacs":[],"model":"deepseek-v4-flash","headline":"For a compact free-boundary constant-mean-curvature surface in the unit ball, a sharp pointwise pinching on the traceless second fundamental form leaves exactly two possibilities: a spherical cap, or a portion of a Delaunay surface.","keywords":["constant mean curvature surfaces","free boundary surfaces","gap theorem","Delaunay surfaces","traceless second fundamental form","umbilicity tensor","convexity of the distance function","unit ball"],"falsifier":"Numerically search among compact free-boundary constant-mean-curvature surfaces in the unit ball for one that satisfies the pointwise pinching but whose set of minima of $|x|^2$ is not a single geodesic arc; the equality-case argument predicts any such surface must be a surface of revolution, so a non-rotational example would refute Theorem 1.4.","tokens_in":9716,"feed_emoji":"🌀","tokens_out":9920,"duration_ms":84013,"temperature":0.7,"pith_summary":"The paper asks what a compact constant-mean-curvature (CMC) surface inside the unit ball must look like when its boundary meets the sphere orthogonally and its traceless second fundamental form obeys the pointwise pinching $|\\Phi|^2\\langle x,N\\rangle^2\\le \\tfrac12(2+H\\langle x,N\\rangle)^2$. The claimed answer is rigid: the surface is either a spherical cap, or a portion of a Delaunay surface of revolution, with the two cases separated by whether equality ever occurs. The result matters because it is the free-boundary analogue of classical gap theorems for minimal and CMC hypersurfaces, and it turns a curvature inequality into a complete geometric classification. The authors also state analogous gap results in hyperbolic space, the upper hemisphere, and higher dimensions.","feed_headline":"Sharp pinching forces CMC surfaces to be caps or Delaunay pieces","feed_subtitle":"A curvature pinching forces free-boundary CMC surfaces in a ball into two rigid classes.","key_machinery":"The proof is carried by the Hessian of $\\varphi(x)=|x|^2/2$ restricted to the surface. Its eigenvalues are $\\lambda_i=1+k_i\\langle x,N\\rangle$, where $k_i$ are the principal curvatures, and the identity $$4\\lambda_1\\lambda_2=(2+H\\langle x,N\\rangle)^2-2|\\Phi|^2\\langle x,N\\$rangle^{2}$$$ shows that the pinching is exactly the statement that the product of the two eigenvalues is nonnegative. The remaining work is to show the sum $v=2+H\\langle x,N\\rangle$ is nonnegative; this uses the free-boundary condition $v=2$ on $\\partial\\Sigma$ and the classical fact that a non-totally-umbilical CMC surface in $\\mathbb R^3$ has only isolated umbilical points. Once $\\varphi$ is convex, a strictly positive pinching forces a single minimum and a disk, hence a spherical cap by the classical free-boundary disk classification, while equality produces a continuum of minima; a rotation Killing field then satisfies the Jacobi equation along the surface, and a nodal-set theorem for solutions of that equation forces the Killing field to be tangent everywhere, making the surface rotational and therefore Delaunay.","core_discovery":"On the paper's own terms, the central discovery is Theorem 1.4: for a compact free-boundary CMC surface $\\Sigma\\subset B^3$, the condition $$|\\Phi|^2\\langle x,N\\$rangle^{2}$\\le \\tfrac12(2+H\\langle x,N\\rangle)^2$$ at every point forces either $|\\Phi|^2\\langle x,N\\rangle^2\\equiv 0$, in which case $\\Sigma$ is a spherical cap, or equality at some point, in which case $\\Sigma$ is a portion of a Delaunay surface. Here $\\Phi$ is the traceless part of the second fundamental form, $H$ is the unnormalized mean curvature, and $N$ is the unit normal. The strict case yields a convex distance-squared function with a single minimum and a topological disk; the equality case yields a continuum of minima and, through a Jacobi-field argument, a rotational surface. An extended version of the same argument is claimed for hyperbolic space, the upper hemisphere, and higher dimensions.","pith_inferences":["Beyond the paper: because the key identity is $4\\lambda_1\\lambda_2=(2+H\\langle x,N\\rangle)^2-2|\\Phi|^2\\langle x,N\\rangle^2$, the same computation gives a general criterion for convexity of the squared-distance function on any CMC surface in $\\mathbb R^3$, independent of free-boundary conditions.","Beyond the paper: the proof's reliance on isolated umbilical points and nodal-set rigidity suggests the classification might survive in other rotationally symmetric ambient spaces if the analogue of the support function $2+H\\langle x,N\\rangle$ can be shown nonnegative.","Beyond the paper: the construction of violating long unduloid portions hints that the pinching encodes a quantitative shape constraint—roughly, a free-boundary Delaunay piece in the unit ball can satisfy the inequality only while its profile stays inside a certain convexity window, which could be mapped numerically across the full $(B,H)$ parameter range."],"forward_implications":["If the pinching is strict at every point, the surface must be a spherical cap; if equality is attained somewhere, it must be a portion of a Delaunay surface.","The pinching is sharp: explicit free-boundary unduloid and nodoid portions in a ball satisfy the inequality, and longer portions of the same Delaunay surfaces violate it.","Any free-boundary CMC surface in $B^3$ meeting the pinching is therefore topologically a disk or an annulus; higher-genus surfaces cannot satisfy the condition.","The same inequality makes the distance-squared function convex on the surface, so the set of its minima is totally convex; this convexity is the mechanism behind the rigidity.","Analogous gap statements are announced for hyperbolic space, the upper hemisphere, and higher dimensions."],"supporting_citations":[{"why":"Supplies the free-boundary minimal-surface disk/catenoid gap theorem whose proof structure and Hessian computation this paper generalizes.","marker":"[2]"},{"why":"Supplies the constant-mean-curvature gap theorem in spheres with the sharp constant that shapes the pinching condition.","marker":"[1]"},{"why":"Supplies the nodal-set theorem for solutions of elliptic equations used to force the Killing-field function to vanish identically.","marker":"[5]"},{"why":"Supplies the classification of free-boundary constant-mean-curvature disks in the ball as spherical caps used in the strict-inequality case.","marker":"[13]"},{"why":"Supplies the parametrization of Delaunay surfaces on which the explicit examples are based.","marker":"[10]"},{"why":"Supplies the variational framework identifying free-boundary CMC surfaces as critical points of area under volume-preserving variations.","marker":"[14]"}],"fun_headline_variants":["Pinching forces CMC disks into caps or Delaunay pieces","A sharp pinching forces spherical caps or Delaunay surfaces","Free-boundary CMC pinching: only caps or Delaunay pieces","Pinching in ball forces CMC to be spherical cap or Delaunay"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is that a non-totally-umbilical constant-mean-curvature surface in $\\mathbb R^3$ has only isolated umbilical points; the proof of Proposition 2.1 uses this to rule out a second zero of $v=2+H\\langle x,N\\rangle$ in a small disk, and without it the convexity of the distance function—and hence the gap conclusion—need not follow.","fun_headline_variants_meta":{"raw":{"variants":["Pinching forces CMC disks into caps or Delaunay pieces","A sharp pinching forces spherical caps or Delaunay surfaces","Free-boundary CMC pinching: only caps or Delaunay pieces","Pinching in ball forces CMC to be spherical cap or Delaunay"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.00064,"raw_usage":{"total_tokens":2912,"prompt_tokens":877,"completion_tokens":2035,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":493,"completion_tokens_details":{"reasoning_tokens":1957}},"tokens_in":493,"tokens_out":2035,"duration_ms":14068,"temperature":1.0,"reasoning_tokens":1957,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T10:57:51.016490+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Numerically search among compact free-boundary constant-mean-curvature surfaces in the unit ball for one that satisfies the pointwise pinching but whose set of minima of $|x|^2$ is not a single geodesic arc; the equality-case argument predicts any such surface must be a surface of revolution, so a non-rotational example would refute Theorem 1.4.","supporting_citations":[{"cited_title":"A gap theorem for free boundary minimal surfaces in the three-ball","cited_arxiv_id":"1608.05689","evidence_quote":"Supplies the free-boundary minimal-surface disk/catenoid gap theorem whose proof structure and Hessian computation this paper generalizes."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the constant-mean-curvature gap theorem in spheres with the sharp constant that shapes the pinching condition."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the nodal-set theorem for solutions of elliptic equations used to force the Killing-field function to vanish identically."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the classification of free-boundary constant-mean-curvature disks in the ball as spherical caps used in the strict-inequality case."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the parametrization of Delaunay surfaces on which the explicit examples are based."},{"cited_title":"Dedicata 56 (1995), no","cited_arxiv_id":null,"evidence_quote":"Supplies the variational framework identifying free-boundary CMC surfaces as critical points of area under volume-preserving variations."}],"review_version":1}