{"id":"813b1a0b-18ad-4eb4-91b6-903e348c6786","arxiv_id":"2608.04364","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Complete embedded minimal hypersurfaces in R^4 with bounded second fundamental form and finite second Betti number are proper.","lead":"This paper proves that every complete, embedded minimal 3-dimensional hypersurface in four-dimensional space with bounded curvature and finite second Betti number must be proper, meaning it cannot curl around and stay inside a bounded region. The result is a step toward answering the Calabi-Yau conjecture for higher-dimensional minimal hypersurfaces.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Unpublished structural lemma [AM26a, Lemma 2.11] is the load-bearing input; until it is publicly proved and checked, Theorem 1 is conditional.","rationale":"The reader's weakest-assumption analysis and my own stress-test converge on the same point: the central contradiction argument is gated by [AM26a, Lemma 2.11], a structural lamination theorem asserted but not proved in this paper. Without that lemma, none of the subsequent graphical, topological, or analytic estimates can be started, because they all presuppose that the nonproper minimal hypersurface lies in a half-space or slab and accumulates on a hyperplane. The internal arguments that follow, including Lemmas 2.1, 2.2, 2.3, and 2.4, appear coherent: the linear-independence argument for compact level components is standard, the graphicality argument is plausible given the cited [MR05, Lemma 1.4], the tilt-integral estimate is carefully derived, and the sphere-cap argument is a legitimate way to turn separated Lipschitz values into a logarithmic lower bound. However, these are all conditional on the structural input. This is not a detected internal contradiction, so the appropriate response is not rejection but conditional acceptance pending public verification of the cited preprints. Since the reader already arrived at a conditional verdict, my stress-test does not move the verdict.","tokens_in":7723,"tokens_out":23341,"duration_ms":218703,"concrete_test":"Retrieve arXiv:2602.16048 ([AM26a]) and verify that Lemma 2.11 is proved there under exactly the hypotheses used in Theorem 1: connected embedded minimal Σ^3 ⊂ R^4, sup_Σ |A_Σ| < ∞, and b_2(Σ;Z_2) < ∞. Confirm that the proof does not silently use extra assumptions such as finite b_1, orientability, or a lower injectivity radius bound, and that the limit leaf is indeed a hyperplane. Also verify that [AM26b, Lemmas 5.5 and 5.8] are stated and proved, since the tilt-integral and sphere-cap contradiction depend on them. If these preprints are not publicly available or contain extra hypotheses, the proof of Theorem 1 is not complete as written.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The proof of Theorem 1 begins with [AM26a, Lemma 2.11], an asserted structural theorem: if Σ is not proper, then, after rigid motion and dilation, Σ is a minimal lamination that is proper in an open half-space or slab and accumulates on {x_4 = 0}. This lemma is not proved in the present paper; it is cited to an arXiv preprint by the same first two authors and depends on recent stable-Bernstein results. Every subsequent step of the contradiction—global graphicality in Lemma 2.2, the selection of noncompact level components in Lemma 2.3, the tilt-integral finiteness in Lemma 2.4, and the final logarithmic lower bound via [AM26b, Lemma 5.8]—presupposes that the half-space/slab structure holds. If Lemma 2.11 requires additional hypotheses beyond sup_Σ |A_Σ| < ∞ and b_2(Σ;Z_2) < ∞, such as orientability or a lower injectivity radius bound, or if the limit leaf need not be a hyperplane, then the contradiction does not go through. The manuscript itself does not provide enough information to check this point independently.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper claims Theorem 1: every connected, complete, embedded minimal hypersurface Σ^3 ⊂ R^4 with bounded second fundamental form and finite b_2(Σ;Z_2) is a proper embedding. The proof begins by assuming nonproperness and invoking an unpublished structural lamination theorem, [AM26a, Lemma 2.11], which places Σ as a leaf of a minimal lamination proper in a half-space or slab, accumulating on the boundary hyperplane {x_4 = 0}. The paper then proves a series of lemmas: finiteness of compact level components (Lemma 2.1), global graphicality of each component of {h < τ} (Lemma 2.2), existence of noncompact level components on two regular levels (Lemma 2.3), and finiteness of a tilt integral (Lemma 2.4). A final spherical-integral lower bound, imported from [AM26b, Lemma 5.8], is used to contradict the tilt-integral finiteness. The self-contained part of the proof is coherent at the level of local estimates, but the central theorem depends crucially on two unpublished preprints by the first two authors.","tokens_in":8043,"tokens_out":30550,"duration_ms":291966,"significance":"If the cited structural and analytic results are correct, Theorem 1 is a substantial advance: it resolves the Calabi–Yau properness question for a natural class of three-dimensional minimal hypersurfaces in R^4, extending the Colding–Minicozzi and Meeks–Rosenberg theory beyond the surface case. The paper also gives a new proof of properness for complete embedded minimal surfaces in R^3 with bounded curvature via the product construction, and its graphical/tilt-integral framework is a useful template. The main caveat is that the proof is not self-contained: the half-space/slab lamination structure and the logarithmic spherical lower bound are imported from unpublished preprints by the same first two authors, so the result as presented is conditional. The internal lemmas are mostly well argued and the local estimates appear sound, but several assertions about closedness and unboundedness of projected domains require additional justification.","major_comments":[{"comment":"Theorem 1 depends essentially on [AM26a, Lemma 2.11], an unpublished structural lamination theorem that is not stated or proved here. This lemma supplies the half-space/slab decomposition, the properness of the inclusion Σ ↪ U, the accumulation on {x_4 = 0}, and the positivity of h with inf h = 0. The paper should either state this lemma with its full hypotheses and conclusions and give a proof (or a precise reference to a publicly available proof), or explicitly present Theorem 1 as conditional on it. As written, the main theorem is not self-contained.","section":"§2, opening paragraph and §1.1"},{"comment":"The logarithmic lower bound used to obtain the contradiction is taken from [AM26b, Lemma 5.8] with no statement or proof. This estimate is load-bearing: it is exactly what converts the existence of two separated caps on every large sphere into divergence of the spherical Dirichlet integral, contradicting (2.3). Please state the lemma and provide a proof, or include a proof in an appendix.","section":"§2, final step of the proof of Theorem 1"},{"comment":"The proof uses, without justification, that the base domain D is a closed subset of R^3. This is needed for the compactness of D ∩ B_{2R}(0) in Lemma 2.4 and for the assertion in the proof of Theorem 1 that the closed, connected, noncompact sets S_0 and Γ_0 are unbounded in D. The proof establishes properness of π on ∂V and on the auxiliary pieces M_ε, but not properness of π on the whole closed domain Σ; as written, the claim 'Since D is closed in R^3' is unsupported. A short argument using ∂D = Z and u = τ on Z rules out sequences with h → 0 over a bounded base and yields properness of π on Σ and hence closedness of D; this argument should be added.","section":"§2, Lemma 2.2 and Lemma 2.4"},{"comment":"The proof fixes an arbitrary y_0 ∈ R^3 and asserts that the lamination chart gives points p_j ∈ Σ with π(p_j) = y_0 and h(p_j) → 0. This conclusion about the limit set on {x_4 = 0} being all of R^3 (or at least containing y_0) is not stated in the quoted version of [AM26a, Lemma 2.11]. Please clarify the exact limit-set content of the structural theorem, or modify the argument to choose y_0 in the limit set.","section":"§2, Lemma 2.3"}],"minor_comments":[{"comment":"The notation is inconsistent: V is open, but the formula V = {(y,u(y)) : y ∈ D} with u = τ on ∂D treats D as a closed domain. Since V corresponds to the interior of D, the statement should be over the interior of D, with u extended to the boundary.","section":"§2, Lemma 2.2"},{"comment":"In the line 'Thus ∂D = Z, π(M) = D', the symbol D is used both for the open set π(V) and for the closed manifold-with-boundary π(M); using different notation (e.g., D for the interior and Σ for the closed domain) would prevent confusion.","section":"§2, Lemma 2.2"},{"comment":"The constants c and C from [AM26b, Lemma 5.8] are introduced without explanation; stating the lemma will resolve this, but the current text leaves their dependence unclear.","section":"§2, proof of Theorem 1"}],"recommendation":"major_revision","confidential_remarks":"The paper's main theorem is conditional on two unpublished preprints by the first two authors, [AM26a] and [AM26b]. The editor may want to verify that these preprints are publicly available and have been vetted, or require the authors to include the needed statements and proofs in the manuscript. The self-contained part of the argument is promising and the result would be significant if the structural and analytic inputs are correct. The closedness-of-D issue is fixable and should be addressed in revision."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The paper proves that every connected complete embedded minimal hypersurface in R^4 with bounded second fundamental form and finite second Betti number is proper. That is a genuinely new result, the natural high-dimensional extension of the Calabi-Yau properness theorems for surfaces. The internal lemmas are mostly solid: Lemma 2.1 on finitely many compact level components is correct, Lemma 2.2 follows cleanly from the Meeks–Rosenberg graph lemma and the curvature bound, Lemma 2.3 is a sensible counting argument using the Betti number, and Lemma 2.4's tilt-integral finiteness is a careful integration by parts with a cutoff. Those parts are well argued and I could not find a gap in them.\n\nThe problem is the two inputs that are not in the paper. The proof of Theorem 1 begins by invoking [AM26a, Lemma 2.11], which says that a nonproper such hypersurface is a half-space or slab lamination accumulating on {x4=0}. That is the structural heart of the argument, and it is not proved or even sketched here. The final contradiction also uses [AM26b, Lemma 5.8], a logarithmic lower bound for 1-Lipschitz functions with two separated values, again not proved. Both are load-bearing, and both are cited to preprints by the same first two authors. The stress-test note is accurate: if that structural lemma requires extra hypotheses (orientability, injectivity radius bounds, etc.), or if the limit leaf is not a hyperplane, the whole proof collapses. The current text gives the reader no way to check this independently.\n\nTo be clear, this is not a circular proof, and it is not fatally flawed. The authors are transparent about what they are citing, and the published pieces are credible. But as a standalone paper it is conditional: the main theorem is only as good as those two unpublished lemmas.\n\nWho should read this? Anyone working on minimal hypersurfaces in higher codimensions or on the Calabi-Yau problem. It would make a good reading-group discussion on how much of a proof can be parked in preprints. For peer review: a serious editor should send it out, but the referee package must include the two preprints, and acceptance should be conditioned on the key lemmas being made public and verified. I would not cite the theorem in my own work until the preprints appear.","headline":"A real theorem with a clean self-contained core, but the main conclusion rests on two unpublished preprints by the same authors; it deserves refereeing only after those preprints are public and checked.","tokens_in":8496,"tokens_out":2586,"would_cite":false,"duration_ms":23068,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["53A10","53C42","49Q05"],"pacs":[],"model":"deepseek-v4-flash","headline":"Every complete embedded minimal hypersurface in $\\mathbb{R}^4$ with bounded curvature and finite second Betti number is proper.","keywords":["Calabi-Yau conjecture","minimal hypersurfaces","properness","bounded second fundamental form","second Betti number","minimal laminations","weighted energy integral","height function estimates"],"falsifier":"Exhibit a connected, complete, embedded minimal hypersurface $\\Sigma^3\\subset\\mathbb{R}^4$ with $\\sup_\\Sigma |A_\\Sigma|<\\infty$ and $b_2(\\Sigma;\\mathbb{Z}_2)<\\infty$ whose image is not closed in $\\mathbb{R}^4$; even one such example would disprove Theorem 1. A more targeted check is to refute the structural lemma by producing a nonproper complete embedded minimal hypersurface in $\\mathbb{R}^4$ with the same curvature and Betti bounds whose limit set is not a single boundary hyperplane of a half-space or slab.","tokens_in":7538,"feed_emoji":"📐","tokens_out":13823,"duration_ms":112348,"temperature":0.7,"pith_summary":"This paper proves the Calabi–Yau properness conjecture for a natural class of three-dimensional minimal hypersurfaces in $\\mathbb{R}^4$: any connected, complete, embedded hypersurface with bounded second fundamental form ($\\sup_\\Sigma |A_\\Sigma|<\\infty$) and finite second Betti number ($b_2(\\Sigma;\\mathbb{Z}_2)<\\infty$) is proper, meaning its image is a closed subset of $\\mathbb{R}^4$ and cannot accumulate inside any bounded region. The interest of the result is that the proof avoids the special two-dimensional tools that made the surface case tractable, and no properness result of this generality was known in higher ambient dimension. The proof assumes nonproperness, uses a structural lamination lemma to reduce to a hypersurface lying in a half-space or slab and accumulating on the boundary hyperplane $\\{x_4=0\\}$, and then shows that the induced height function produces a global graph whose auxiliary 1-Lipschitz function must satisfy a finite weighted tilt integral. Two unbounded separated level sets of that function force a logarithmic lower bound for the same integral, a contradiction.","feed_headline":"Bounded curvature and finite Betti number force properness in R^4","feed_subtitle":"Bounded curvature and finite second Betti number rule out nonproper accumulation in R^4.","key_machinery":"The central object is the height function $h=x_4|_\\Sigma$ on the hypothetical nonproper lamination. Bounded curvature supplies the gradient estimate $|\\nabla_\\Sigma h|^2\\le 2\\Lambda^* h$ whenever $|A_\\Sigma|\\le\\Lambda^*$, making the vertical projection uniformly nondegenerate on low levels. Using a projection-injectivity lemma, each connected component of $\\{h<\\tau\\}$ is therefore a global graph $V=\\{(y,u(y)):y\\in D\\}$ with $u=\\tau$ on $\\partial D$ and $|Du|<1$. The contradiction is carried by the auxiliary function $g=\\tau-u$ extended by zero outside $D$: it is globally 1-Lipschitz and satisfies the finite weighted tilt integral $\\int_{\\mathbb{R}^3}|\\nabla g|^2/(1+|y|)\\,dy<\\infty$. Two unbounded connected level sets of $g$ (coming from the noncompact boundary and interior level components selected in Lemma 2.3) force, through a geodesic-cap estimate, a logarithmic lower bound for the same integral over large spheres, making it diverge. The clash between the finite and infinite energy bounds is the mechanism that proves properness.","core_discovery":"Suppose $\\Sigma^3\\subset\\mathbb{R}^4$ is connected, complete, and embedded, with $\\sup_\\Sigma |A_\\Sigma|<\\infty$ and $b_2(\\Sigma;\\mathbb{Z}_2)<\\infty$. The paper establishes Theorem 1: $\\Sigma$ is proper. Since completeness is assumed, the new content is that the embedding has no accumulation: the image is closed, so no sequence of points of $\\Sigma$ can converge to a point not on $\\Sigma$ inside a bounded set. The theorem covers the three-dimensional catenoid, the cone-asymptotic hypersurfaces discussed in the introduction, and embedded minimal hypersurfaces with finitely many ends; it also applies to every product $\\Sigma^2\\times\\mathbb{R}$ with $\\Sigma^2\\subset\\mathbb{R}^3$ a complete embedded minimal surface of bounded curvature, because $H_2(\\Sigma^2\\times\\mathbb{R};\\mathbb{Z}_2)=0$ even when $\\Sigma^2$ has infinite topology. In particular, the theorem gives a new proof that complete embedded minimal surfaces in $\\mathbb{R}^3$ of bounded curvature are proper, without invoking the half-space theorem.","pith_inferences":["Editorial inference: the proof's structure suggests a general template—a finite weighted tilt-energy bound plus two unbounded separated level sets of a 1-Lipschitz graph function—that could establish properness in higher dimensions where the corresponding structural lamination and cap estimates are available.","Editorial inference: the mechanism indicates a quantitative route: Lemma 2.1 bounds the number of compact components at each regular level by the Betti number, so a variant with a growth condition on the second Betti number of large geodesic balls might replace the global finiteness assumption.","Editorial inference: one can isolate the analytic cap estimate by asking whether a 1-Lipschitz function on $\\mathbb{R}^3$ with two unbounded connected sets taking values $0$ and $a>0$ can have finite $\\int |\\nabla g|^2/(1+|y|)\\,dy$; if one exists, the logarithmic lower bound is sharp, and the minimal-surface geometry must enter elsewhere."],"forward_implications":["Every hypersurface in the theorem's class is a closed subset of $\\mathbb{R}^4$; in particular, none can accumulate inside a bounded region, so no bounded-region counterexample of this curvature and topology type exists.","The hypotheses are satisfied by the three-dimensional catenoid, the cone-asymptotic hypersurfaces discussed in the introduction, and embedded minimal hypersurfaces with finitely many ends, all of which are therefore proper.","Every product $\\Sigma^2\\times\\mathbb{R}$, where $\\Sigma^2\\subset\\mathbb{R}^3$ is a complete embedded minimal surface with bounded curvature, is proper; this reproves the bounded-curvature properness theorem for minimal surfaces in $\\mathbb{R}^3$ without the half-space theorem.","The paper expects that removing the bounded-curvature assumption would require a stronger topological hypothesis, such as $\\dim H_1(\\Sigma;\\mathbb{Z}_2)<\\infty$, in line with the conjecture that complete embedded minimal surfaces of finite genus are proper."],"supporting_citations":[{"why":"It supplies the structural Lemma 2.11 that a nonproper such hypersurface is a minimal lamination proper in a half-space or slab and accumulating on the boundary hyperplane, which is the starting point of the contradiction.","marker":"[AM26a]"},{"why":"It provides Lemmas 5.5 and 5.8, which respectively yield the finite weighted tilt integral and the logarithmic lower bound that make the same integral diverge.","marker":"[AM26b]"},{"why":"Its Lemma 1.4 is used to show the vertical projection is globally injective on each component of the low-height set, producing the global graph representation.","marker":"[MR05]"},{"why":"Its Appendix B supplies the original lamination arguments that the structural lemma generalizes to higher dimensions.","marker":"[CM04d]"},{"why":"Its Corollary 2.13 is one of the two-dimensional structural results generalized by the companion paper's lemma.","marker":"[CM04b]"},{"why":"Its stable minimal hypersurface theorem in $\\mathbb{R}^4$ is one of the recent rigidity results used to build the structural lamination lemma.","marker":"[CL24]"}],"fun_headline_variants":["Bounded curvature and finite topology stop accumulation in R^4","Finite Betti number plus curvature bound guarantees properness in R^4","In R^4, bounded curvature and finite Betti number prevent accumulation","Bounded curvature and Betti number make embedded minimal hypersurfaces proper in R^4"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The proof depends on the companion paper's structural lemma, not proved here, that a nonproper hypersurface of this kind must, after a rigid motion, lie inside a half-space or slab and pile up on the boundary plane.","fun_headline_variants_meta":{"raw":{"variants":["Bounded curvature and finite topology stop accumulation in R^4","Finite Betti number plus curvature bound guarantees properness in R^4","In R^4, bounded curvature and finite Betti number prevent accumulation","Bounded curvature and Betti number make embedded minimal hypersurfaces proper in R^4"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.002268,"raw_usage":{"total_tokens":8724,"prompt_tokens":873,"completion_tokens":7851,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":489,"completion_tokens_details":{"reasoning_tokens":7769}},"tokens_in":489,"tokens_out":7851,"duration_ms":51998,"temperature":1.0,"reasoning_tokens":7769,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-11T04:14:28.859286+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Exhibit a connected, complete, embedded minimal hypersurface $\\Sigma^3\\subset\\mathbb{R}^4$ with $\\sup_\\Sigma |A_\\Sigma|<\\infty$ and $b_2(\\Sigma;\\mathbb{Z}_2)<\\infty$ whose image is not closed in $\\mathbb{R}^4$; even one such example would disprove Theorem 1. A more targeted check is to refute the structural lemma by producing a nonproper complete embedded minimal hypersurface in $\\mathbb{R}^4$ with the same curvature and Betti bounds whose limit set is not a single boundary hyperplane of a half-space or slab.","supporting_citations":[],"review_version":2}