pith. machine review for the scientific record. sign in

arxiv: 2605.12428 · v1 · submitted 2026-05-12 · 🧮 math.DG · math.AP· math.DS

Recognition: 2 theorem links

· Lean Theorem

A min-max gap characterization of minimal foliations on the torus

Hoan Nguyen

Pith reviewed 2026-05-13 03:17 UTC · model grok-4.3

classification 🧮 math.DG math.APmath.DS
keywords minimal hypersurfacesminimal foliationsn-torusmin-max theoryMather energyarea-minimizing laminationsgapsrecurrence
0
0 comments X

The pith

For a generic metric on the n-torus, any gap in a lamination by area-minimizing hypersurfaces contains a non-area-minimizing minimal hypersurface.

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

The paper extends Mather's energy from twist maps and geodesics to the Almgren-Pitts min-max theory for hypersurfaces. This creates a parametric energy that acts as a variational barrier in higher dimensions. The main theorem states that for generic metrics, gaps in area-minimizing laminations on the n-torus must contain an additional minimal hypersurface that fails to minimize area. This yields criteria for the existence of full minimal foliations and a recurrence result for totally irrational foliations. A reader cares because the result explains how gaps in minimizing structures on tori are necessarily filled and when complete foliations can form.

Core claim

We extend an energy introduced by Mather to the setting of Almgren-Pitts min-max theory and obtain a parametric, higher-dimensional analogue of Mather's variational barrier theory for twist maps and geodesics on tori. We use this energy to establish several criteria for the existence of foliations of the n-torus by minimal hypersurfaces. We show that for a generic metric, whenever a lamination by area-minimizing hypersurfaces of the n-torus contains a gap, there exists a minimal hypersurface inside the gap that is not area-minimizing. As an application, we derive a recurrence property for totally irrational minimal foliations.

What carries the argument

The parametric extension of Mather's energy to Almgren-Pitts min-max theory, which functions as a variational barrier to detect and characterize gaps in laminations by minimal hypersurfaces.

If this is right

  • Gaps in area-minimizing laminations on the n-torus can be filled by non-minimizing minimal hypersurfaces when the metric is generic.
  • Existence criteria for foliations of the n-torus by minimal hypersurfaces follow directly from the gap characterization.
  • Totally irrational minimal foliations satisfy a recurrence property.
  • The min-max energy provides a tool to decide whether a given lamination by minimal hypersurfaces is in fact a foliation.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The same energy-extension technique may apply to minimal hypersurfaces in other flat manifolds or homogeneous spaces.
  • In dimension two the result recovers aspects of Mather's theory for geodesics on the torus and suggests computational checks on explicit flat metrics.
  • The recurrence property for irrational foliations may connect to density questions for orbits transverse to the leaves.

Load-bearing premise

The extension of Mather's energy to the Almgren-Pitts min-max setting is valid and produces a well-defined parametric energy that detects gaps without additional restrictions on the hypersurfaces or the metric beyond genericity.

What would settle it

A concrete generic metric on the n-torus together with an explicit lamination by area-minimizing hypersurfaces whose gap contains no minimal hypersurface whatsoever.

Figures

Figures reproduced from arXiv: 2605.12428 by Hoan Nguyen.

Figure 1
Figure 1. Figure 1: Torus with a sphere attached. The component Σ represents an index-one equator arising from the spherical re￾gion [PITH_FULL_IMAGE:figures/full_fig_p011_1.png] view at source ↗
Figure 2
Figure 2. Figure 2: When there is a gap bounded by S −, S+ ∈ M(α1) that contains no other element in M(α1), for any α2 ∈ α ⊥ 1 ∩Z n , there exists a heteroclinic minimizer S ∈ M(α1, α2) inside the gap. S is periodic in integral direction orthogonal to both α1 and α2, asymptotic to S − in the negative α2 direction and asymptotic to S + in the positive α2 direction. Remark 4.11. The area-minimizing hypersurfaces in M(α1, . . . … view at source ↗
Figure 3
Figure 3. Figure 3: The local interpolation from Mk to Nk inside B is constructed from the foliation in Mα. We will interpolate from Mk to Mk + ∂(B ∩ Hk) in the following order: Mk → Mk + ∂((E0\E) ∩ B) → Mk + ∂((E1\E) ∩ B) → Mk + ∂(B ∩ Hk). Let ϵ ′ > 0 be chosen later. Since Mk, Nk −→ M, N on Ω, for sufficiently large k, we can interpolate from Mk to Mk + ∂((E0\E) ∩ B) and from Mk + ∂((E1\E) ∩ B) to Mk + ∂(B ∩ Hk) with mass c… view at source ↗
Figure 4
Figure 4. Figure 4: A partition of the fundamental domain into sets of small boundaries. where M(∂Qk,i) < ηn−1 is small enough to allow a controlled interpolation between the portions of Mk and Nk lying inside Qk,i. The boundary of each cube Qk,i consists of faces intersecting Mk, Nk, and the sides that belong to the gap. Let S(Qk,i) be the sides that belong to the gap. Since α is totally irrational, we can approximate a fund… view at source ↗
Figure 5
Figure 5. Figure 5: The local replacement of Ψk(tk) by X inside the ball B decreases the mass. We have: S(rk) ≤ M(Ψ˜ k) ≤ M(Ψk(tk)⌞(R n \ B)) + M(S) + M(X) = M(Ψk(tk)⌞(R n \ B)) + M(Ψ⌞B) − δ + M(S) ≤ M(Ψk(tk)⌞(R n \ B)) + M(Ψk(tk)⌞B) + δ 2 − δ + M(S) ≤ M(Ψk(tk)) + δ 2 − δ + δ 4 ≤ S(rk) + 2 k − δ 4 . (7.2) [PITH_FULL_IMAGE:figures/full_fig_p037_5.png] view at source ↗
Figure 6
Figure 6. Figure 6: The hypersurfaces Wk and Wfk act as barriers, forc￾ing the existence of another stable hypersurface with boundary σ Rk . Now by using Wk and Wfk as barriers, we can construct a stable hypersurface with the same boundary σ Rk lying completely inside GRk , contradicting the choices of Γ Rk 0 and Γ Rk 1 . This completes the proof of the claim. □ We can now proceed similarly as in the proof of Claim 9.4 to obt… view at source ↗
read the original abstract

We extend an energy introduced by Mather to the setting of Almgren-Pitts min-max theory and obtain a parametric, higher-dimensional analogue of Mather's variational barrier theory for twist maps and geodesics on tori. We use this energy to establish several criteria for the existence of foliations of the $n$-torus by minimal hypersurfaces. We show that for a generic metric, whenever a lamination by area-minimizing hypersurfaces of the $n$-torus contains a gap, there exists a minimal hypersurface inside the gap that is not area-minimizing. As an application, we derive a recurrence property for totally irrational minimal foliations.

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 / 3 minor

Summary. The manuscript extends Mather's energy to the Almgren-Pitts min-max framework, yielding a parametric higher-dimensional analogue of variational barrier theory for minimal hypersurfaces on the n-torus. It establishes criteria for the existence of minimal foliations and proves that, for a generic metric, any gap in a lamination by area-minimizing hypersurfaces contains a minimal hypersurface that is not area-minimizing; this is applied to obtain a recurrence property for totally irrational minimal foliations.

Significance. If the energy extension holds, the work supplies a natural higher-dimensional counterpart to Mather's theory for twist maps and geodesics, linking Almgren-Pitts min-max methods with dynamical systems on tori. The reduction to the one-dimensional Mather theory and the recurrence result for totally irrational foliations are explicit strengths that rest on independent prior frameworks. The genericity hypothesis is used precisely to separate degenerate cases, which is a clean way to obtain the non-minimizing hypersurface inside gaps.

minor comments (3)
  1. [Section 3] The precise definition of the parametric energy (introduced after the preliminaries on Mather's functional and Almgren-Pitts sweepouts) should include an explicit statement of lower semicontinuity with respect to varifold convergence, as this property is invoked when applying the min-max theorem inside the gap.
  2. [Theorem 1.1] In the statement of the main gap theorem, the genericity condition on the metric is invoked to avoid degeneracy; a brief remark clarifying whether this is a Baire-category or measure-theoretic notion would help readers verify the scope of the result.
  3. [Section 5] The recurrence property for totally irrational foliations is derived in the final section; adding a short comparison with the classical one-dimensional Mather recurrence would make the higher-dimensional novelty clearer.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive assessment of our manuscript, the accurate summary of its contributions, and the recommendation for minor revision. We appreciate the recognition of the parametric extension of Mather's energy, its links to variational barrier theory, and the recurrence result for totally irrational foliations.

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The derivation extends Mather's energy to the Almgren-Pitts min-max framework to obtain a parametric energy that detects gaps in area-minimizing laminations on the n-torus and produces a non-minimizing minimal hypersurface for generic metrics. This builds directly on independent, externally grounded prior results (Mather's variational barrier theory and Almgren-Pitts theory) without any self-definitional reduction, fitted-input prediction, or load-bearing self-citation chain. The genericity assumption and recurrence application for totally irrational foliations follow from the min-max critical point construction, which remains self-contained against external benchmarks and does not rename or smuggle known results via internal citations.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The work relies on standard background from min-max theory and Mather's energy but introduces an extension whose details are not visible in the abstract; no free parameters or invented entities are identifiable from the given text.

axioms (2)
  • domain assumption Existence and regularity of min-max minimal hypersurfaces as guaranteed by Almgren-Pitts theory
    Invoked to support the energy extension and gap filling results.
  • domain assumption Genericity of the metric ensures the stated properties hold
    Central to the main existence statement in the abstract.

pith-pipeline@v0.9.0 · 5401 in / 1376 out tokens · 120106 ms · 2026-05-13T03:17:56.507036+00:00 · methodology

discussion (0)

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

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

Reference graph

Works this paper leans on

47 extracted references · 47 canonical work pages

  1. [1]

    Thin Riemannian mani- folds with boundary

    Stephanie B Alexander and Richard L Bishop. “Thin Riemannian mani- folds with boundary”. In:Mathematische Annalen311.1 (1998), pp. 55– 70.issn: 1432-1807

    work page 1998

  2. [2]

    Mimeographed Notes

    Frederick Almgren.The theory of varifolds: a variational calculus in the large for the k-dimensional area integrand. Mimeographed Notes. Prince- ton University Press, 1965

    work page 1965

  3. [3]

    The discrete Frenkel-Kontorova model and its extensions: I. Exact results for the ground-states

    Serge Aubry and P Y Le Daeron. “The discrete Frenkel-Kontorova model and its extensions: I. Exact results for the ground-states”. In:Physica D: Nonlinear Phenomena8.3 (1983), pp. 381–422.issn: 0167-2789

    work page 1983

  4. [4]

    Differentiability of the Stable Norm in Codimension One

    Franz Auer and Victor Bangert. “Differentiability of the Stable Norm in Codimension One”. In:American Journal of Mathematics128.1 (2006), pp. 215–238

    work page 2006

  5. [5]

    Minimising currents and the stable norm in codimension one

    Franz Auer and Victor Bangert. “Minimising currents and the stable norm in codimension one”. In:C. R. Acad. Sci. Paris Ser. I Math.333 (2001), pp. 1095–1100

    work page 2001

  6. [6]

    Minimale Hyperflächen im Riemannschenn-Torus

    Auer, Franz. “Minimale Hyperflächen im Riemannschenn-Torus”. PhD thesis. Universität Freiburg, 1997

    work page 1997

  7. [7]

    A uniqueness theorem for Zn-periodic variational prob- lems

    Victor Bangert. “A uniqueness theorem for Zn-periodic variational prob- lems”. In:Comment. Math. Helvetici62 (1987), pp. 511–531. 58 REFERENCES

    work page 1987

  8. [8]

    Mather sets for twist maps and geodesics on tori

    Victor Bangert. “Mather sets for twist maps and geodesics on tori”. In: Dynam. Report. Ser. Dynam. Systems Appl.1 (1988), pp. 1–56

    work page 1988

  9. [9]

    Minimal Foliations and Laminations

    Victor Bangert. “Minimal Foliations and Laminations”. In:Proceedings of the International Congress of Mathematicians. Ed. by S D Chatterji. Basel: Birkhäuser Basel, 1995, pp. 453–464.isbn: 978-3-0348-9078-6

    work page 1995

  10. [10]

    On minimal laminations of the torus

    Victor Bangert. “On minimal laminations of the torus”. In:Ann. Inst. H. Poincaré Anal. Non Linéaire6 (1989), pp. 95–138

    work page 1989

  11. [11]

    The existence of gaps in minimal foliations

    Victor Bangert. “The existence of gaps in minimal foliations”. In:Aequa- tiones Mathematicae34 (1987), pp. 153–166

    work page 1987

  12. [12]

    Planelike minimizers in pe- riodic media

    Luis A. Caffarelli and Rafael De La Llave. “Planelike minimizers in pe- riodic media”. In:Communications on Pure and Applied Mathematics 54.12 (Dec. 2001), pp. 1403–1441.issn: 00103640

    work page 2001

  13. [13]

    Min-max embedded geo- desic lines in asymptotically conical surfaces

    Alessandro Carlotto and Camillo De Lellis. “Min-max embedded geo- desic lines in asymptotically conical surfaces”. In:Journal of Differential Geometry112.3 (2019), pp. 411–445

    work page 2019

  14. [14]

    Existence of minimal hypersurfaces in complete manifolds of finite volume

    Gregory R. Chambers and Yevgeny Liokumovich. “Existence of minimal hypersurfaces in complete manifolds of finite volume”. In:Inventiones Mathematicae219.1 (Jan. 2020), pp. 179–217.issn: 14321297

    work page 2020

  15. [15]

    Consequencesofcontractiblegeodesics onsurfaces

    JohnDenvirandRobertS.Mackay.“Consequencesofcontractiblegeodesics onsurfaces”.In:Transactions of the American Mathematical Society350.11 (1998), pp. 4553–4568

    work page 1998

  16. [16]

    Normal and integral currents

    Herbert Federer and Wendell H Fleming. “Normal and integral currents”. In:Annals of mathematics72.3 (1960)

    work page 1960

  17. [17]

    Minimal geodesic foliation on T 2 in case of vanishing topological entropy

    Eva Glasmachers and Gerhard Knieper. “Minimal geodesic foliation on T 2 in case of vanishing topological entropy”. In:Journal of Topology and Analysis03.04 (2011), pp. 511–520

    work page 2011

  18. [18]

    Minimizing Hypersurfaces and Differentia- bility Properties of the Stable Norm

    Hannes Junginger-Gestrich. “Minimizing Hypersurfaces and Differentia- bility Properties of the Stable Norm”. PhD thesis. University of Freiburg, 2007

    work page 2007

  19. [19]

    SurfacesMinimizingAreainTheirHomologyClassandGroup Actions on 3-Manifolds

    JoelHass.“SurfacesMinimizingAreainTheirHomologyClassandGroup Actions on 3-Manifolds”. In:Math. Z199 (1988), pp. 501–509

    work page 1988

  20. [20]

    Existence of unstable minimal surfaces in manifolds with homology and applications to triply periodic minimal surfaces

    Joel Hass, Jon T. Pitts, and Joachim Hyam Rubinstein. “Existence of unstable minimal surfaces in manifolds with homology and applications to triply periodic minimal surfaces”. In:Differential geometry (Los Ange- les, 8-28 July 1990), part 1: Partial differential equations on manifolds. Ed. by R.E. Green and S.-T. Yau. American Mathematical Society, 1990, ...

    work page 1990

  21. [21]

    Springer, 1969

    Herbert Federer.Geometric measure theory. Springer, 1969

    work page 1969

  22. [22]

    Canberra: Australian National University Centre for Mathematical Analysis, 1983

    Leon Simon.Lectures on geometric measure theory. Canberra: Australian National University Centre for Mathematical Analysis, 1983

    work page 1983

  23. [23]

    Multiplicity results for inter- faces of Ginzburg-Landau-Allen-Cahn equations in periodic media

    Rafael de la Llave and Enrico Valdinoci. “Multiplicity results for inter- faces of Ginzburg-Landau-Allen-Cahn equations in periodic media”. In: Advances in Mathematics215.1(Oct.2007),pp.379–426.issn:00018708. REFERENCES 59

    work page 2007

  24. [24]

    Morse in- equalities for the area functional

    Fernando C. Marques, Rafael Montezuma, and André Neves. “Morse in- equalities for the area functional”. In:Journal of Differential Geometry 124.1 (2023), pp. 81–111

    work page 2023

  25. [25]

    Marques and André Neves.Applications of Almgren-Pitts Min-max theory

    Fernando C. Marques and André Neves.Applications of Almgren-Pitts Min-max theory. 2013

    work page 2013

  26. [26]

    Min-Max theory and the Will- more conjecture

    Fernando C. Marques and André Neves. “Min-Max theory and the Will- more conjecture”. In:Annals of Mathematics179.2 (2014), pp. 683–782. issn: 0003486X

    work page 2014

  27. [27]

    Morse index and multiplicity of min-max minimal hypersurfaces

    Fernando C. Marques and André Neves. “Morse index and multiplicity of min-max minimal hypersurfaces”. In:Cambridge Journal of Mathematics 4.4 (2016), pp. 463–511

    work page 2016

  28. [28]

    Morse index of multiplicity one min-max minimal hypersurfaces

    Fernando C. Marques and André Neves. “Morse index of multiplicity one min-max minimal hypersurfaces”. In:Advances in Mathematics378 (Feb. 2021).issn: 10902082

    work page 2021

  29. [29]

    Rigidity of min-max minimal spheres in three-manifolds

    Fernando C. Marques and André Neves. “Rigidity of min-max minimal spheres in three-manifolds”. In:Duke Mathematical Journal161.14 (Nov. 2012), pp. 2725–2752.issn: 00127094

    work page 2012

  30. [30]

    Equidistribution of minimal hypersurfaces for generic metrics

    FernandoC.Marques,AndréNeves,andAntoineSong. “Equidistribution of minimal hypersurfaces for generic metrics”. In:Inventiones Mathemat- icae216.2 (May 2019), pp. 421–443.issn: 00209910

    work page 2019

  31. [31]

    A criterion for the non-existence of invariant circles

    John N. Mather. “A criterion for the non-existence of invariant circles”. en. In:Publications Mathématiques de l’IHÉS63 (1986), pp. 153–204

    work page 1986

  32. [32]

    Modulus of Continuity for Peierls’s Barrier

    John N. Mather. “Modulus of Continuity for Peierls’s Barrier”. In:Peri- odic Solutions of Hamiltonian Systems and Related Topics. Ed. by P. H. Rabinowitz et al. Dordrecht: Springer Netherlands, 1987, pp. 177–202. isbn: 978-94-009-3933-2

    work page 1987

  33. [33]

    A mountain pass theorem for minimal hypersurfaces with fixed boundary

    Rafael Montezuma. “A mountain pass theorem for minimal hypersurfaces with fixed boundary”. In:Calculus of Variations and Partial Differential Equations59.6 (Dec. 2020).issn: 14320835

    work page 2020

  34. [34]

    A stability theorem for minimal foliations on a torus

    Jürgen Moser. “A stability theorem for minimal foliations on a torus”. In:Ergodic Theory and Dynamical Systems8.8 (Dec. 1988), pp. 251– 281.issn: 0143-3857

    work page 1988

  35. [35]

    Minimal solutions of variational problems on a torus

    Jürgen Moser. “Minimal solutions of variational problems on a torus”. In: Ann. Inst. H. Poincaré Anal. Non Linéaire3 (1986), pp. 229–272

    work page 1986

  36. [36]

    Mathematical Notes

    Jon Pitts.Existence and regularity of minimal surfaces on Riemann- ian manifolds. Mathematical Notes. Vol. 27. Princeton University Press, 1981

    work page 1981

  37. [37]

    The spaces of index one minimal sur- faces and stable constant mean curvature surfaces embedded in flat three manifolds

    Manuel Ritoré and Antonio Ros. “The spaces of index one minimal sur- faces and stable constant mean curvature surfaces embedded in flat three manifolds”. In:Transactions of the American Mathematical Society348.1 (1996)

    work page 1996

  38. [38]

    Schwarz’ P and D surfaces are stable

    Marty Ross. “Schwarz’ P and D surfaces are stable”. In:Differential Ge- ometry and its Applications2 (1992), pp. 179–195. 60 REFERENCES

    work page 1992

  39. [39]

    Estimatesforstableminimalsurfacesinthree-dimensional manifolds

    RichardSchoen.“Estimatesforstableminimalsurfacesinthree-dimensional manifolds”. In: ed. by Enrico Bombieri. Princeton University Press, 1983, pp. 111–126.isbn: 9781400881437

    work page 1983

  40. [40]

    Compactnessofminimalhypersurfaceswithboundedindex

    BenSharp.“Compactnessofminimalhypersurfaceswithboundedindex”. In:Journal of Differential Geometry106 (2017), pp. 317–339

    work page 2017

  41. [41]

    A strict maximum principle for area-minimizing hypersur- faces

    Leon Simon. “A strict maximum principle for area-minimizing hypersur- faces”. In:Journal of Differential Geometry26 (1987), pp. 327–335

    work page 1987

  42. [42]

    On foliations ofRn+1 by minimal hypersurfaces

    Bruce Solomon. “On foliations ofRn+1 by minimal hypersurfaces”. In: Comment. Math. Helvetici61 (1986), pp. 67–83

    work page 1986

  43. [43]

    Adichotomyforminimalhypersurfacesinmanifoldsthick at infinity

    AntoineSong.“Adichotomyforminimalhypersurfacesinmanifoldsthick at infinity”. In:Annales Scientifiques de l’École Normale Supérieure56.4 (2023), pp. 1085–1134.issn: 18732151

    work page 2023

  44. [44]

    Local min-max surfaces and strongly irreducible minimal Heegaard splittings

    Antoine Song. “Local min-max surfaces and strongly irreducible minimal Heegaard splittings”. In:arXiv preprint arXiv:1706.01037(2017)

    work page arXiv 2017

  45. [45]

    A homological characterization of foliations consisting of minimal surfaces

    Dennis Sullivan. “A homological characterization of foliations consisting of minimal surfaces”. In:Comment. Math. Helvetici54 (1979), pp. 218– 223

    work page 1979

  46. [46]

    On the bumpy metrics theorem for minimal submanifolds

    Brian White. “On the bumpy metrics theorem for minimal submanifolds”. In:American Journal of Mathematics139.4 (2017), pp. 1149–1155

    work page 2017

  47. [47]

    Meeks.Lectures on Plateau’s problem

    William H. Meeks.Lectures on Plateau’s problem. Tech. rep. Rio de Janeiro: IMPA, 1978. Department of Mathematics, The University of Chicago, Chicago, IL 60615 Email address:nth@uchicago.edu

    work page 1978