Pith. sign in

REVIEW 2 major objections 5 minor 24 references

Existence of minimal hypersurfaces with non-empty free boundary for generic metrics

T0 review · 2 major / 5 minor · reviewed 2026-08-14 · deepseek-v4-flash

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

Pith's one-line read This paper proves that for a C∞-generic metric on a compact manifold with boundary of dimension 3 through 7, the union of the boundaries of all smooth embedded free boundary minimal hypersurfaces is dense in ∂M; equivalently, every open…

desk verdict Boundary density for generic free boundary minimal hypersurfaces is real; the apparent gap in Claim 1 is a write-up issue, not a mathematical one. read the letter →

arxiv 1909.01787 v1 pith:A27XPVBY submitted 2019-09-04 math.DG math.APmath.GT

Zhichao Wang This is my paper · ORCID
classification math.DGmath.APmath.GT MSC 53C4249Q2058E12
keywords freeboundaryminimalhypersurfacesgenericmetricsvolumespectrummin-maxtheorydensitygeometricmeasureresidualsetsmanifoldswith
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 proves that for a C∞-generic Riemannian metric on a compact manifold with boundary of dimension 3 through 7, the union of the boundaries of all smooth, embedded, free boundary minimal hypersurfaces is dense in the boundary ∂M. A free boundary minimal hypersurface is one that is minimal, has boundary contained in ∂M, and meets ∂M orthogonally. The theorem implies that every non-empty open region of the boundary is touched by the boundary of at least one such hypersurface, giving a generic affirmative answer to the question of whether free boundary minimal hypersurfaces with non-empty boundary always exist. The proof adapts the volume-spectrum strategy used for closed manifolds, replacing the usual metric perturbations by special pullback metrics supported near the chosen boundary open set.

What carries the argument

The argument is carried by the volume spectrum of $(M,\partial M;g)$: the sequence of $k$-widths $\omega_k(M;g)$, defined variationally as the infimum over $k$-parameter families of relative cycles of the largest area in the family. These widths obey the asymptotic law $\lim_{k\to\infty}\omega_k(M;g)k^{-1/(n+1)}=\alpha(n)\operatorname{Vol}(M,g)^{n/(n+1)}$, so they are sensitive to changes in volume. The paper perturbs the metric by a vector field $X$ supported near an open set $U$ with $U\cap\partial M\subset V$, where $X$ is the outward unit normal on the boundary portion; the pullback metrics $g_t=F_t^*g'$ make $(M,g_t)$ isometric to a subset of the original $(M,g')$. This special form is meant to ensure that any free boundary minimal hypersurface in $(M,g_t)$ whose boundary avoids $V$ can also be viewed as one in $(M,g')$, so its area belongs to a countable set $C$. The asymptotic law then forces the widths to move continuously and to change with $t$, contradicting countability unless some new free boundary minimal hypersurface with boundary meeting $V$ appears.

What would settle it

On a concrete example, say the unit ball in $\mathbb{R}^3$ with a small open disk $V$ in the boundary, construct the one-parameter deformation $g_t$ of Proposition 3.1 and look for a free boundary minimal hypersurface in $(M,g_t)$ whose boundary misses $V$ but whose interior intersects the support of the deformation; computing its mean curvature with respect to $g'$ would show whether Claim 1 holds, since a nonzero value refutes the step from which countability is deduced.

Watch

Extended reading notes

Core claim

The central claim is Theorem 1.2: for a compact manifold $(M^{n+1},\partial M)$ with $3\le n+1\le 7$, and for a metric $g$ in a residual C∞-generic subset of all smooth metrics, the union of boundaries of all smooth embedded free boundary minimal hypersurfaces is dense in $\partial M$. Equivalently, for every open set $V\subset\partial M$ there is a compact, properly embedded free boundary minimal hypersurface whose boundary intersects $V$. The paper reaches this by showing that the set of metrics admitting a non-degenerate free boundary minimal hypersurface with boundary hitting a fixed open set $V$ is open and dense, then intersecting these dense open sets over a countable basis of $\partial M$. This yields not just one hypersurface with non-empty free boundary, but infinitely many, and it needs no curvature or convexity assumption on the ambient manifold.

Load-bearing premise

The proof rests on Claim 1: a free boundary minimal hypersurface in the perturbed metric whose boundary avoids the chosen open set $V$ is automatically free boundary minimal in the original metric, even though its interior may pass through the region where the metric was changed.

Editorial extensions

If this is right

  • For a C∞-generic metric, the non-empty free boundary question has an affirmative answer: at least one free boundary minimal hypersurface with non-empty boundary exists.
  • Every open patch of the boundary contains points that lie on the boundary of some embedded free boundary minimal hypersurface.
  • The dense-boundary property holds for a residual set of metrics in ambient dimensions 3 through 7, with no curvature or convexity hypotheses.
  • The min-max hypersurfaces realizing the widths can be chosen, after a small metric perturbation, to be non-degenerate and properly embedded.

Reading between the lines

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

  • One could test whether the same pullback-perturbation idea can be iterated to show that, for generic metrics, the boundaries of free boundary minimal hypersurfaces are equidistributed with respect to a natural measure on $\partial M$, not merely dense.
  • The special perturbation might be adapted to force free boundary minimal hypersurfaces through prescribed interior regions by choosing the support of the vector field inside $M$ rather than only near the boundary.
  • If Claim 1 can be repaired by arranging that no minimal hypersurface with boundary avoiding $V$ can enter the support of the perturbation, the theorem would remain valid with the present strategy; a counterexample to Claim 1 would not necessarily disprove the theorem, but would require a different proof.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

2 major / 5 minor

Summary. The paper proves that for a C∞-generic Riemannian metric on a compact manifold with boundary (M^{n+1}, ∂M), 3 ≤ n+1 ≤ 7, the union of the boundaries of all smooth, embedded, free boundary minimal hypersurfaces is dense in ∂M. The proof adapts the Irie–Marques–Neves density strategy: fix a bumpy metric g′, define the countable set C of possible sums of areas of almost properly embedded free boundary minimal hypersurfaces, and consider a one-parameter family of pullback metrics gt obtained by flowing the boundary inward along a vector field supported near an arbitrary open set V ⊂ ∂M. Each (M, gt) is isometric to a subdomain (Mt, g′). A Weyl-law volume comparison shows that some width ω_k(M; gt) must take a value outside C, producing a free boundary minimal hypersurface with boundary hitting V. A Baire-category argument over a countable base of ∂M completes the proof.

Significance. If the proof is completed, the result would settle the generic version of the non-empty free boundary question and is strictly stronger than the density theorem in [8]. The paper's strategy is sound and builds on established machinery: Weyl law for the volume spectrum [15], bumpy metrics [3,23], min-max regularity [13], and countability/finiteness results [8,9,22]. The paper is concise and offers a clear conceptual extension of [11]. No circularity is apparent: the cited external theorems are independent of the target result.

major comments (2)
  1. [§3, Proposition 3.1 (construction of gt)] The vector field X is defined so that, at boundary points where X≠0, X/|X| is the outward unit normal of ∂M. With this choice, Ft(M) is not contained in M, so (M, gt) is not isometric to a subdomain of (M, g′), and the later volume inequality ω_k(M; gδ) < ω_k(M; g′) would have the opposite sign. The introduction (p. 2) correctly specifies the inward unit normal. Replace 'outward' by 'inward' throughout the proof of Proposition 3.1.
  2. [§3, Claim 1] The proof states 'Σ is also a free boundary minimal hypersurface in (M, ∂M, g′).' This is not justified: Ft need not fix the interior of Σ because the support of X may intersect Σ away from its boundary. The correct object is Ft(Σ): since ∂Σ∩V=∅ and the boundary support of X lies in V, Ft fixes ∂Σ pointwise, so Ft(Σ) is a properly embedded free boundary minimal hypersurface in (M, g′); its g′-area equals M(Γ). The proof should be rewritten with this identification made explicit.
minor comments (5)
  1. [§3, Claim 2] The statement '∂Σ ∩ V ≠ ∅' should read '∂Σ1 ∩ V ≠ ∅'.
  2. [§3] The expression 't ∈ [0.δ]' should be 't ∈ [0,δ]'.
  3. [§3, Claim 2] The phrase 'have no boundaries in V' should read 'have boundaries disjoint from V'.
  4. [§3, after Claim 2] In the sentence 'Then by [11, Proposition 2.3] ... gt1 can be perturbed to g′′ ∈ V', the punctuation should be adjusted for clarity.
  5. [§3, Claim 1] When writing M(Γ) ∈ C, it should be stated explicitly that the mass is computed with respect to gt, or equivalently that Areagt(Σ) ∈ C.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: the generic density theorem is derived from independent Weyl-law/min-max inputs; self-citations are technical lemmas, not the conclusion.

full rationale

This paper's derivation of Theorem 1.2 is not circular. The density proof follows Irie–Marques–Neves: it fixes a bumpy metric g', perturbs only near the open boundary set V to produce gt = F_t^* g', and uses the Weyl law (external, [15]), continuity of widths (external, [11,19]), and a countability result for free boundary minimal hypersurfaces in the bumpy metric ([8, Prop 5.3], self-cited but an established theorem whose assumptions do not contain the target density statement). The key Claim 1 reduces areas of hypersurfaces with boundary avoiding V to areas of free boundary minimal hypersurfaces in (M,g') via the isometry to the subdomain Mt; this is a geometric argument, not a restatement of the conclusion. No parameter is fitted and no prediction is defined as its input. The self-citations are technical lemmas (countability, compactness, perturbation to nondegenerate properly embedded) that do not smuggle in the density conclusion. The reader's flagged gap in Claim 1 is a potential rigor issue but not a circularity; even if the 'Thus' step were incomplete, that would be a correctness gap, not an equivalence of input and output. Hence score 0.

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

The proof rests entirely on established machinery from geometric measure theory and min-max theory. No free parameters are introduced; all constants come from the cited Weyl law. No new entities are postulated. The only potentially problematic input is the unproven Claim 1, which is not an axiom but a step in the proof.

assumptions (4)
  • standard math The volume spectrum Weyl law of Liokumovich, Marques, and Neves (Theorem 2.2) holds for manifolds with boundary.
    Used in Claim 2 to compare widths after perturbation.
  • standard math Bumpy metrics are C∞ generic and for a bumpy metric the set of free boundary minimal hypersurfaces with bounded area and index is countable ([3], [8, Prop 5.3]).
    Used in Proposition 3.1 to define the countable set C.
  • standard math The min-max theorem for free boundary minimal hypersurfaces (Proposition 2.4) holds, realizing each width.
    Used to link widths to areas of free boundary minimal hypersurfaces.
  • standard math The structure theorem for nondegenerate free boundary minimal hypersurfaces under metric perturbation (White [23]) holds.
    Used to prove openness of M_V.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Existence of minimal hypersurfaces with non-empty free boundary for generic metrics." pith.science (2026). https://pith.science/paper/A27XPVBY

@misc{pith2026190901787,
  author       = {Pith},
  title        = {Pith review of: Existence of minimal hypersurfaces with non-empty free boundary for generic metrics},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/A27XPVBY}},
  note         = {Machine review of arXiv:1909.01787}
}
abstract

For almost all Riemannian metrics (in the $C^\infty$ Baire sense) on a compact manifold with boundary $(M^{n+1},\partial M)$, $3\leq (n + 1)\leq 7$, we prove that, for any open subset $V$ of $\partial M$, there exists a compact, properly embedded free boundary minimal hypersurface intersecting $V$.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

24 extracted references · 19 canonical work pages

  1. [8]

    Qiang Guang, Martin Man-chun Li, Zhichao Wang, and Xin Zh ou, Min-max theory for free boundary minimal hypersurfaces II–General Morse index bou nds and applications , arXiv preprint arXiv:1907.12064 (2019)

    work page Pith review arXiv 2019

  2. [15]

    Marques, and Andr´ e Neves, Weyl law for the volume spectrum , Ann

    Yevgeny Liokumovich, Fernando C. Marques, and Andr´ e Neves, Weyl law for the volume spectrum , Ann. of Math. (2) 187 (2018), no. 3, 933–961. MR3779961

    work page 2018

  3. [13]

    Martin Li and Xin Zhou, Min-max theory for free boundary minimal hypersurfaces I-r egularity theory, to appear in JDG, arXiv:1611.02612 (2016)

    work page Pith review arXiv 2016

  4. [11]

    Kei Irie, Fernando Marques, and Andr´ e Neves, Density of minimal hypersurfaces for generic met- rics, Ann. of Math. (2) 187 (2018), no. 3, 963–972. MR3779962

    work page 2018

  5. [1]

    MR0146835 [2] , The theory of varifolds , Mimeographed notes, Princeton (1965), l2

    Frederick Justin Almgren Jr., The homotopy groups of the integral cycle groups , Topology 1 (1962), 257–299. MR0146835 [2] , The theory of varifolds , Mimeographed notes, Princeton (1965), l2

    work page 1962

  6. [3]

    Lucas Ambrozio, Alessandro Carlotto, and Ben Sharp, Compactness analysis for free boundary min- imal hypersurfaces, Calc. Var. Partial Differential Equations 57 (2018), no. 1, 57:22. MR3740402

    work page 2018

  7. [4]

    MR0 257325

    Herbert Federer, Geometric measure theory, Die Grundlehren der mathematischen Wissenschaften, Band 153, Springer-Verlag New York Inc., New York, 1969. MR0 257325

    work page 1969

  8. [5]

    Differential Geom

    Ailana Fraser and Martin Man-chun Li, Compactness of the space of embedded minimal surfaces with free boundary in three-manifolds with nonnegative Ric ci curvature and convex boundary , J. Differential Geom. 96 (2014), no. 2, 183–200. MR3178438

    2014

Show all 24 references
  1. [6]

    Fraser, On the free boundary variational problem for minimal disks , Comm

    Ailana M. Fraser, On the free boundary variational problem for minimal disks , Comm. Pure Appl. Math. 53 (2000), no. 8, 931–971. MR1755947

    2000

  2. [7]

    Mikhael Gromov, Isoperimetry of waists and concentration of maps , Geom. Funct. Anal. 13 (2003), no. 1, 178–215. MR1978494

    2003

  3. [9]

    Qiang Guang, Zhichao Wang, and Xin Zhou, Compactness and generic finiteness for free boundary minimal hypersurfaces (I) , arXiv preprint arXiv:1803.01509 (2018)

    2018 arXiv

  4. [10]

    Larry Guth, Minimax problems related to cup powers and Steenrod squares , Geom. Funct. Anal. 18 (2009), no. 6, 1917–1987. MR2491695

    2009

  5. [12]

    Paul Laurain and Romain Petrides, Existence of min-max free boundary disks releasing the widt h of a manifold , to appear in Advances in Mathematics, arXiv preprint arXiv :1806.04665 (2018)

    2018 arXiv

  6. [14]

    Topol., arXiv preprint arXiv:1806.0466 4 (2018)

    Longzhi Lin, Ao Sun, and Xin Zhou, Min-max minimal disks with free boundary in Riemannian manifolds, to appear in Geom. Topol., arXiv preprint arXiv:1806.0466 4 (2018)

    2018

  7. [16]

    Marques and Andr´ e Neves, Morse index and multiplicity of min-max minimal hyper- surfaces, Camb

    Fernando C. Marques and Andr´ e Neves, Morse index and multiplicity of min-max minimal hyper- surfaces, Camb. J. Math. 4 (2016), no. 4, 463–511. MR3572636 MINIMAL HYPERSURF ACES WITH NON-EMPTY FREE BOUNDARY 7

    2016

  8. [17]

    , Existence of infinitely many minimal hypersurfaces in posit ive Ricci curvature , Invent. Math. 209 (2017), no. 2, 577–616. MR3674223

    2017

  9. [18]

    , Morse index of multiplicity one min-max minimal hypersurfa ces, arXiv preprint arXiv:1803.04273 (2018)

    2018 arXiv

  10. [19]

    Marques, Andr´ e Neves, and Antoine Song, Equidistribution of minimal hypersurfaces for generic metrics , Invent

    Fernando C. Marques, Andr´ e Neves, and Antoine Song, Equidistribution of minimal hypersurfaces for generic metrics , Invent. Math. 216 (2019), no. 2, 421–443. MR3953507

    2019

  11. [20]

    Pitts, Existence and regularity of minimal surfaces on Riemannian manifolds, Mathematical Notes, vol

    Jon T. Pitts, Existence and regularity of minimal surfaces on Riemannian manifolds, Mathematical Notes, vol. 27, Princeton University Press, Princeton, N.J .; University of Tokyo Press, Tokyo, 1981. MR626027

    1981

  12. [21]

    Pure Appl

    Richard Schoen and Leon Simon, Regularity of stable minimal hypersurfaces , Comm. Pure Appl. Math. 34 (1981), no. 6, 741–797. MR634285 (82k:49054)

    1981

  13. [22]

    Zhichao Wang, Compactness and generic finiteness for free boundary minima l hypersurfaces (II) , arXiv preprint arXiv:1906.08485 (2019)

    2019 arXiv

  14. [23]

    Brian White, The space of minimal submanifolds for varying Riemannian me trics, Indiana Univ. Math. J. 40 (1991), no. 1, 161–200. MR1101226 (92i:58028)

    1991

  15. [24]

    , The maximum principle for minimal varieties of arbitrary co dimension, Comm. Anal. Geom. 18 (2010), no. 3, 421–432. MR2747434

    2010

  16. [25]

    Max-Planck Institute for Mathematics, Vivatsgasse 7, 5311 1 Bonn, Germany E-mail address : wangzhichaonk@gmail.com

    Xin Zhou, On the multiplicity one conjecture in min-max theory , arXiv preprint arXiv:1901.01173 (2019). Max-Planck Institute for Mathematics, Vivatsgasse 7, 5311 1 Bonn, Germany E-mail address : wangzhichaonk@gmail.com

    2019 arXiv

Pith tools

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