Pith. sign in

REVIEW 4 major objections 3 minor 38 references

Calabi-Yau Conjecture for Minimal Hypersurfaces in $\mathbb{R}^4$ with bounded geometry

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

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

Pith's one-line read Every complete embedded minimal hypersurface in $\mathbb{R}^4$ with bounded curvature and finite second Betti number is proper.

desk verdict 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. read the letter →

arxiv 2608.04364 v2 pith:SHWL6M6C submitted 2026-08-05 math.DG math.AP

Shrey Aryan , Alexander D. McWeeney , Giuseppe Tinaglia This is my paper · ORCID
classification math.DGmath.AP MSC 53A1053C4249Q05
keywords Calabi-YauconjectureminimalhypersurfacespropernessboundedsecondfundamentalformBettinumberlaminationsweightedenergyintegralheightfunctionestimates
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

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.

What carries the argument

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.

What would settle it

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.

Watch

Extended reading notes

Core claim

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.

Load-bearing premise

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.

Editorial extensions

If this is right

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

Reading between the lines

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

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

4 major / 3 minor

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.

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 (4)
  1. [§2, opening paragraph and §1.1] 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.
  2. [§2, final step of the proof of Theorem 1] 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.
  3. [§2, Lemma 2.2 and Lemma 2.4] 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.
  4. [§2, Lemma 2.3] 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.
minor comments (3)
  1. [§2, Lemma 2.2] 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.
  2. [§2, Lemma 2.2] 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.
  3. [§2, proof of Theorem 1] 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.

Circularity Check

2 steps flagged · score 4.0 of 10

Theorem 1 is conditional on two load-bearing, unpublished same-author preprints ([AM26a, Lemma 2.11] and [AM26b, Lemma 5.8]); the central contradiction still contains independent content.

  1. self citation load bearing [Section 2, opening paragraph (Proof of Theorem 1)]
    "By generalizing the arguments first described in [CM04d, Appendix B] and [CM04b, Corollary 2.13] (see also [MR05, Lemma 1.1]) and combining them with the recent results concerning the stable Bernstein problem in [CL24, CL23, CLMS26, CMR24, Maz24], the first two authors showed in [AM26a, Lemma 2.11] that after a rigid motion and, in the slab case, a dilation, Σ is a minimal lamination and the inclusion Σ↪→U is proper, where U={0<x4} or U={0<x4<H}, and {x4=0} is contained in the limit set of Σ."

    The proof of Theorem 1 starts by assuming Σ is not proper and immediately invokes [AM26a, Lemma 2.11], an unpublished structural dichotomy by the same first two authors. Every subsequent step of the contradiction — the global graph Lemma 2.2, the selection of noncompact level components in Lemma 2.3, and the tilt-integral finiteness in Lemma 2.4 — presupposes the half-space/slab lamination geometry supplied by this lemma. Since the lemma is not proved in the present manuscript, the central derivation is not self-contained: the nonproper case is outsourced to the authors' own prior work, and if that lemma required extra hypotheses or failed, Theorem 1 would not follow from this proof.

  2. self citation load bearing [Proof of Theorem 1, final paragraphs]
    "Let c,C > 0 be the constants in [AM26b, Lemma 5.8]... Therefore, [AM26b, Lemma 5.8] gives ∫_{∂B_r^3(0)} |∇_{∂B_r} g|^2 dH^2 ≥ c a^2 / log(Cr/ρ_0)."

    The contradiction that completes the proof relies on a logarithmic lower bound imported from [AM26b, Lemma 5.8], another unpublished preprint by the same first two authors. Without this lemma, the finiteness of the tilt integral in (2.3) does not contradict anything, so the final step of Theorem 1 is also supported by a same-author citation rather than by a proof contained in the paper. This is a second load-bearing self-citation, although it is an auxiliary analytical estimate and the rest of the argument still contains independent mathematical content.

full rationale

The proof of Theorem 1 is not internally circular in the strict sense of assuming properness to prove properness: after the initial dichotomy, the contradiction argument proceeds by genuine derivation through the paper's own Lemmas 2.1–2.4. However, the proof is not self-contained. The opening move of the contradiction assumes nonproperness and immediately invokes [AM26a, Lemma 2.11], an unpublished structural dichotomy by the first two authors, to obtain the half-space/slab lamination geometry. All subsequent lemmas sit inside that structure, and the final lower bound also comes from [AM26b, Lemma 5.8], another same-author preprint. Neither result is proved here, and the cited arXiv preprints are not independent external checks. Under the review rule, this is load-bearing self-citation rather than a case where the theorem reduces to its input by definition. The paper's own contributions — the finite b2 level-component argument in Lemma 2.1, the global graphing in Lemma 2.2, the selection of noncompact components in Lemma 2.3, and the tilt-integral finiteness in Lemma 2.4 — still carry independent content. Therefore the appropriate score is 4: there is substantial same-author dependence with the central claim retaining independent content, but Theorem 1 remains conditional until the cited companion results are publicly established and verified.

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

No free parameters or invented entities: the paper is a pure proof. The main external inputs are standard geometric analysis tools plus two unpublished self-cited preprints that carry the structural and estimate-heavy parts of the argument.

assumptions (4)
  • standard math Standard facts in differential geometry and topology: Sard's theorem, maximum principle, unique continuation, and Z_2 homology duality.
    Used throughout the proof without derivation; these are accepted background results.
  • domain assumption The hypotheses of Theorem 1: Σ is a connected, complete, embedded minimal hypersurface in R^4 with sup|A|<∞ and b_2(Σ;Z_2)<∞.
    These are the stated assumptions of the theorem, not derived within the paper.
  • ad hoc to paper [AM26a, Lemma 2.11]: A nonproper hypersurface satisfying the hypotheses admits the half-space/slab lamination structure described in Section 1.1.
    The lemma comes from an unpublished preprint by the first two authors and is not proved or stated in the present paper; the entire contradiction argument assumes it.
  • ad hoc to paper [AM26b, Lemmas 5.5 and 5.8]: The tilt integral finiteness and the logarithmic spherical energy lower bound used in Lemma 2.4 and the final step.
    These estimates are cited to an unpublished preprint by the first two authors and are not reproduced in the text.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Calabi-Yau Conjecture for Minimal Hypersurfaces in $\mathbb{R}^4$ with bounded geometry." pith.science (2026). https://pith.science/paper/SHWL6M6C

@misc{pith2026260804364,
  author       = {Pith},
  title        = {Pith review of: Calabi-Yau Conjecture for Minimal Hypersurfaces in $\mathbbR^4$ with bounded geometry},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/SHWL6M6C}},
  note         = {Machine review of arXiv:2608.04364}
}
abstract

The Calabi-Yau conjectures for complete minimal hypersurfaces $\Sigma^{n}\subset \mathbb{R}^{n+1}$ for $n\geq 2$ ask whether a complete minimal hypersurface must be unbounded, and more strongly whether it must be proper. In this work, we resolve this conjecture for complete, connected, embedded minimal hypersurfaces $ \Sigma^3 \subset \mathbb{R}^4$ with bounded second fundamental form and finite second Betti number $b_2(\Sigma;\mathbb{Z}_2)<\infty$.

Review history (2 revisions) →

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

38 extracted references · 8 canonical work pages

  1. [1]

    and Tinaglia, Giuseppe , title =

    Meeks, III, William H. and Tinaglia, Giuseppe , title =. Geometry & Topology , volume =. 2018 , doi =

    work page 2018

  2. [2]

    Bulletin des Sciences Math

    Intersection of minimal surfaces of bounded curvature , author=. Bulletin des Sciences Math. 2001 , publisher=

    work page 2001

  3. [3]

    and Tinaglia, Giuseppe , TITLE =

    Meeks, III, William H. and Tinaglia, Giuseppe , TITLE =. J. Eur. Math. Soc. (JEMS) , FJOURNAL =. 2025 , NUMBER =. doi:10.4171/jems/1416 , URL =

    doi:10.4171/jems/1416 2025

  4. [4]

    Journal of Topology and Analysis , volume =

    Tinaglia, Giuseppe and Zhou, Alex , title =. Journal of Topology and Analysis , volume =. 2026 , doi =

    2026

  5. [5]

    and Rosenberg, Harold , title =

    Meeks, III, William H. and Rosenberg, Harold , title =. Duke Mathematical Journal , volume =. 2006 , doi =

    work page 2006

  6. [6]

    Meeks, III, William H. and P. The Embedded. Duke Mathematical Journal , volume =. 2021 , doi =

    work page 2021

  7. [7]

    Acta Mathematica , volume =

    Chodosh, Otis and Li, Chao , title =. Acta Mathematica , volume =. 2024 , doi =. 2108.11462 , archivePrefix =

    arXiv 2024

  8. [8]

    Mathematics: Frontiers and Perspectives , editor =

    Yau, Shing-Tung , title =. Mathematics: Frontiers and Perspectives , editor =. 2000 , pages =

    2000

Show all 38 references
  1. [9]

    Global Homeomorphisms and Covering Projections on Metric Spaces , journal =

    Gut. Global Homeomorphisms and Covering Projections on Metric Spaces , journal =

  2. [10]

    and Minicozzi, II, William P

    Colding, Tobias H. and Minicozzi, II, William P. , title =. Annals of Mathematics , volume =. 2004 , doi =

    2004

  3. [11]

    Bulletin of the American Mathematical Society , volume=

    The geometry of G-structures , author=. Bulletin of the American Mathematical Society , volume=

  4. [12]

    and Minicozzi, II, William P

    Colding, Tobias H. and Minicozzi, II, William P. , title =. Annals of Mathematics , volume =. 2008 , doi =

    2008

  5. [13]

    Inventiones Mathematicae , volume =

    Nadirashvili, Nikolai , title =. Inventiones Mathematicae , volume =. 1996 , doi =

    1996

  6. [14]

    Proceedings of the United States--Japan Seminar in Differential Geometry (Kyoto, 1965) , editor =

    Calabi, Eugenio , title =. Proceedings of the United States--Japan Seminar in Differential Geometry (Kyoto, 1965) , editor =. 1966 , pages =

    1965

  7. [15]

    , title =

    Aryan, Shrey and McWeeney, Alexander D. , title =. arXiv preprint arXiv:2602.16048 , year =. 2602.16048 , archivePrefix =

  8. [16]

    , title =

    Aryan, Shrey and McWeeney, Alexander D. , title =. arXiv preprint arXiv:2607.05755 , year =. 2607.05755 , archivePrefix =

    arXiv

  9. [17]

    Density theorems for complete minimal surfaces in

    Alarc. Density theorems for complete minimal surfaces in. Geometric and Functional Analysis , volume=. 2008 , publisher=

    2008

  10. [18]

    Hatcher, Allen , title =

  11. [19]

    Minimal hypersurfaces asymptotic to

    Mazet, Laurent , journal=. Minimal hypersurfaces asymptotic to. 2017 , publisher=

    2017

  12. [20]

    , title =

    Blair, David E. , title =. Canadian Journal of Mathematics , volume =

  13. [21]

    Manuscripta Mathematica , volume =

    Fakhi, Saadia and Pacard, Frank , title =. Manuscripta Mathematica , volume =

  14. [22]

    Coutant, Antoine , title =

  15. [23]

    Journal de Math

    Pacard, Frank , title =. Journal de Math. 2002 , eprint =

    2002

  16. [24]

    2006 , eprint =

    Kaabachi, Saadia and Pacard, Frank , title =. 2006 , eprint =

    2006

  17. [25]

    2016 , eprint =

    Choe, Jaigyoung and Hoppe, Jens , title =. 2016 , eprint =

    2016

  18. [26]

    Commentarii Mathematici Helvetici , volume =

    Choe, Jaigyoung , title =. Commentarii Mathematici Helvetici , volume =

  19. [27]

    Tohoku Mathematical Journal , volume =

    Choe, Jaigyoung and Hoppe, Jens , title =. Tohoku Mathematical Journal , volume =

  20. [28]

    Journal f

    Hardt, Robert and Simon, Leon , title =. Journal f

  21. [29]

    Inventiones Mathematicae , volume =

    Simon, Leon and Solomon, Bruce , title =. Inventiones Mathematicae , volume =

  22. [30]

    Inventiones Mathematicae , volume =

    Bombieri, Enrico and De Giorgi, Ennio and Giusti, Enrico , title =. Inventiones Mathematicae , volume =

  23. [31]

    Forum Math

    Chodosh, Otis and Li, Chao , TITLE =. Forum Math. Pi , FJOURNAL =. 2023 , PAGES =. doi:10.1017/fmp.2023.1 , URL =

    2023 doi

  24. [32]

    Geometric and Functional Analysis , volume=

    Two rigidity results for stable minimal hypersurfaces , author=. Geometric and Functional Analysis , volume=. 2024 , publisher=

    2024

  25. [33]

    Chodosh, Otis and Li, Chao and Minter, Paul and Stryker, Douglas , TITLE =. Ann. of Math. (2) , FJOURNAL =. 2026 , NUMBER =. doi:10.4007/annals.2026.204.1.5 , URL =

    2026 doi

  26. [34]

    Stable minimal hypersurfaces in

    Mazet, Laurent , journal=. Stable minimal hypersurfaces in

  27. [35]

    and Minicozzi, II, William P

    Colding, Tobias H. and Minicozzi, II, William P. , journal=. The space of embedded minimal surfaces of fixed genus in a 3-manifold. 2004 , publisher=

    2004

  28. [36]

    and Rosenberg, Harold , TITLE =

    Meeks, III, William H. and Rosenberg, Harold , TITLE =. Ann. of Math. (2) , FJOURNAL =. 2005 , NUMBER =. doi:10.4007/annals.2005.161.727 , URL =

    2005 doi

  29. [37]

    and Minicozzi, II, William P

    Colding, Tobias H. and Minicozzi, II, William P. , title =. Annals of Mathematics , series =. 2004 , doi =. math/0210119 , archivePrefix =

    2004 arXiv

  30. [38]

    and Minicozzi, II, William P

    Colding, Tobias H. and Minicozzi, II, William P. , title =. Annals of Mathematics , series =. 2015 , doi =

    2015

Pith tools

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