pith. sign in

arxiv: 1906.08485 · v1 · pith:6BRWKFGYnew · submitted 2019-06-20 · 🧮 math.DG · math.AP· math.GT

Compactness and generic finiteness for free boundary minimal hypersurfaces (II)

Zhichao Wang This is my paper

Pith reviewed 2026-05-25 19:40 UTC · model grok-4.3

classification 🧮 math.DG math.APmath.GT
keywords free boundary minimal hypersurfacesJacobi fieldscompactnessMorse indexHarnack inequalityminimal graphs
0
0 comments X

The pith

Limits of sequences of embedded free boundary minimal hypersurfaces with bounded area and Morse index always carry a non-trivial Jacobi field.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

This paper proves that in a compact Riemannian manifold with boundary, any limit of a sequence of embedded or almost properly embedded free boundary minimal hypersurfaces with uniform upper bounds on area and Morse index must possess a non-trivial Jacobi field. The proof relies on establishing a one-sided Harnack inequality for minimal graphs over balls that contain many holes. This inheritance of a Jacobi field is central to controlling how these hypersurfaces can degenerate. A sympathetic reader cares because it provides a tool for proving compactness and finiteness results in the moduli space of free boundary minimal hypersurfaces.

Core claim

Given a compact Riemannian manifold with boundary, we prove that the limit of a sequence of embedded, almost properly embedded free boundary minimal hypersurfaces, with uniform area and Morse index upper bound, always inherits a non-trivial Jacobi field. To approach this, we prove a one-sided Harnack inequality for minimal graphs on balls with many holes.

What carries the argument

One-sided Harnack inequality for minimal graphs on balls with many holes, which ensures the limit hypersurface has a non-trivial Jacobi field.

Load-bearing premise

The hypersurfaces in the sequence are embedded or almost properly embedded in a compact Riemannian manifold with boundary.

What would settle it

A counterexample sequence of such hypersurfaces with bounded area and Morse index whose limit has no non-trivial Jacobi field would falsify the claim.

read the original abstract

Given a compact Riemannian manifold with boundary, we prove that the limit of a sequence of embedded, almost properly embedded free boundary minimal hypersurfaces, with uniform area and Morse index upper bound, always inherits a non-trivial Jacobi field. To approach this, we prove a one-sided Harnack inequality for minimal graphs on balls with many holes.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

0 major / 1 minor

Summary. The paper proves that, in a compact Riemannian manifold with boundary, the limit of any sequence of embedded or almost properly embedded free boundary minimal hypersurfaces with uniform upper bounds on area and Morse index must carry a non-trivial Jacobi field. The central technical step is the establishment of a one-sided Harnack inequality for minimal graphs over balls containing a controlled number of holes, which is then used to control the passage to the limit.

Significance. If the result holds, it supplies a key compactness ingredient toward generic finiteness theorems for free boundary minimal hypersurfaces, extending earlier work on the subject. The one-sided Harnack estimate on domains with holes is a concrete new tool whose utility may extend beyond the present application.

minor comments (1)
  1. The abstract is terse on the precise statement of the Harnack inequality (domain, constants, dependence on the number of holes); a short expanded statement in the introduction would help readers locate the main new estimate.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their summary of the paper and for recognizing the potential utility of the one-sided Harnack inequality beyond the immediate application. No specific major comments were raised in the report.

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The derivation establishes a one-sided Harnack inequality for minimal graphs over domains with controlled holes, then applies standard compactness and index bounds to sequences of embedded/almost properly embedded free-boundary minimal hypersurfaces in a compact manifold with boundary, concluding that the limit inherits a non-trivial Jacobi field. No step reduces by definition to its own output, renames a fitted quantity as a prediction, or relies on a load-bearing self-citation chain; the Harnack estimate and limit argument are developed independently within the manuscript.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Abstract only; no explicit free parameters, ad-hoc axioms, or invented entities are visible. The work relies on standard background from Riemannian geometry and minimal surface theory.

axioms (1)
  • standard math Standard theory of minimal hypersurfaces, Jacobi fields, and Morse index in Riemannian manifolds with boundary
    The statement presupposes the usual definitions and properties of these objects.

pith-pipeline@v0.9.0 · 5569 in / 1104 out tokens · 23586 ms · 2026-05-25T19:40:02.337986+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

14 extracted references · 14 canonical work pages

  1. [1]

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

    work page 2018

  2. [2]

    Hyeong In Choi and Richard Schoen, The space of minimal embeddings of a surface into a three-dimensional manifold of positive Ricci curvature , Invent. Math. 81 (1985), no. 3, 387–394. MR807063

    work page 1985

  3. [3]

    Colding and William P

    Tobias H. Colding and William P. Minicozzi II, On the structure of embedded minimal annuli , Int. Math. Res. Not. 29 (2002), 1539–1552. MR1907204

    work page 2002

  4. [4]

    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

    work page 2014

  5. [5]

    Trudinger, Elliptic partial differential equations of second order , Classics in Mathematics, Springer-Verlag, Berlin, 2001

    David Gilbarg and Neil S. Trudinger, Elliptic partial differential equations of second order , Classics in Mathematics, Springer-Verlag, Berlin, 2001. Reprint of the 1998 edition. MR1814364

    work page 2001

  6. [6]

    Qiang Guang, Martin Man-chun Li, and Xin Zhou, Curvature estimates for stable free boundary minimal hypersurfaces, Journal f¨ ur die reine und angewandte Mathematik (Crelles Journal) (2018)

    work page 2018

  7. [7]

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

    work page arXiv 2018

  8. [8]

    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

    work page 2016

  9. [9]

    Schoen, L

    R. Schoen, L. Simon, and S. T. Yau, Curvature estimates for minimal hypersurfaces , Acta Math. 134 (1975), no. 3-4, 275–288. MR0423263

    work page 1975

  10. [10]

    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)

    work page 1981

  11. [11]

    Differential Geom

    Ben Sharp, Compactness of minimal hypersurfaces with bounded index , J. Differential Geom. 106 (2017), no. 2, 317–339. MR3662994

    work page 2017

  12. [12]

    Differential Geom

    Leon Simon, A strict maximum principle for area minimizing hypersurfac es, J. Differential Geom. 26 (1987), no. 2, 327–335. MR906394

    work page 1987

  13. [13]

    Brian White, Curvature estimates and compactness theorems in 3-manifolds for surfaces that are stationary for parametric elliptic functionals , Invent. Math. 88 (1987), no. 2, 243–256. MR880951

    work page 1987

  14. [14]

    , The space of minimal submanifolds for varying Riemannian me trics, Indiana Univ. Math. J. 40 (1991), no. 1, 161–200. MR1101226 (92i:58028) Max-Planck Institute for Mathematics, Vivatsgasse 7, 5311 1 Bonn, Germany E-mail address : wangzhichaonk@gmail.com

    work page 1991