pith. sign in

arxiv: 2606.24754 · v1 · pith:QRFJ4OLOnew · submitted 2026-06-23 · 🧮 math.DG · math.AP

Existence of classical minimal surfaces in 4 and 5-manifolds

Da Rong Cheng , Xin Zhou This is my paper

Pith reviewed 2026-06-25 22:49 UTC · model grok-4.3

classification 🧮 math.DG math.AP
keywords minimal surfacebranched immersionmin-max theoryharmonic mapsweepoutRiemannian 4-manifoldRiemannian 5-manifoldmultisection
0
0 comments X

The pith

Every closed Riemannian 4- or 5-manifold contains a branched immersed closed minimal surface realized by a non-constant weakly conformal harmonic map from some closed Riemann surface.

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

The paper proves existence of such surfaces in every closed Riemannian 4-manifold and 5-manifold by constructing non-trivial sweepout classes. Multisections supply families of maps from a genus-at-least-2 surface; quasiconformal maps of the upper half-plane then produce hyperbolic metrics on the domain so that energy and area are nearly equal across each sweepout. The Colding-Minicozzi harmonic replacement procedure applied to a minimizing sequence in this class yields a min-max limit that is a bubble tree of branched minimal immersions. A sympathetic reader cares because the result supplies minimal surfaces in dimensions where direct variational methods had previously been unavailable.

Core claim

Every closed Riemannian 4 or 5-manifold M contains a branched immersed closed minimal surface. That is, there exists a non-constant weakly conformal harmonic map from some closed Riemann surface into M. Multisections in these dimensions generate a non-trivial class of sweepouts of M by mappings from a closed surface S of genus at least 2. To each sweepout in a minimizing sequence, quasiconformal maps of the upper half-plane associate a family of hyperbolic metrics on S with respect to which the mappings have nearly equal energy and area. The harmonic replacement method is then applied to obtain a min-max sequence that converges to a bubble tree of branched minimal immersions.

What carries the argument

Sweepout class generated by multisections, equipped with hyperbolic metrics via quasiconformal maps of the upper half-plane, on which the Colding-Minicozzi harmonic replacement produces the min-max sequence.

Load-bearing premise

Multisections exist in dimensions 4 and 5 that generate a non-trivial class of sweepouts of M by mappings from a closed surface of genus at least 2.

What would settle it

A closed Riemannian 4-manifold or 5-manifold in which every sequence of maps from closed surfaces of genus at least 2 has min-max energy zero and converges only to constant maps would falsify the claim.

read the original abstract

We prove that every closed Riemannian $4$ or $5$-manifold $M$ contains a branched immersed closed minimal surface. That is, there exists a non-constant weakly conformal harmonic map from some closed Riemann surface into $M$. We rely on the existence of multisections in dimensions $4$ and $5$ to generate a non-trivial class of sweepouts of $M$ by mappings from a closed surface $S$ of genus at least $2$. To each sweepout in a minimizing sequence within the class, through the intermediary of quasiconformal maps of the upper half-plane, we associate a family of hyperbolic metrics on $S$ with respect to which the mappings in the sweepout have nearly equal energy and area. The harmonic replacement method of Colding and Minicozzi is then applied to obtain a min-max sequence that converges to a bubble tree of branched minimal immersions.

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

2 major / 1 minor

Summary. The manuscript claims to prove that every closed Riemannian 4- or 5-manifold contains a branched immersed closed minimal surface, i.e., a non-constant weakly conformal harmonic map from some closed Riemann surface into the manifold. The argument relies on the existence of multisections in dimensions 4 and 5 to produce a non-trivial class of sweepouts by maps from a closed surface S of genus at least 2; quasiconformal maps are then used to associate hyperbolic metrics on S so that the mappings have nearly equal energy and area, after which the Colding-Minicozzi harmonic replacement method yields a min-max sequence converging to a bubble tree of branched minimal immersions.

Significance. If the central claim holds, the result would constitute a meaningful extension of minimal surface existence theorems to dimensions 4 and 5 via sweepout and min-max techniques. The approach explicitly builds on established tools (multisections, quasiconformal uniformization, and Colding-Minicozzi replacement), which are credited in the abstract.

major comments (2)
  1. [Abstract] Abstract (paragraph beginning 'We rely on the existence of multisections'): the non-triviality of the sweepout class generated by multisections is load-bearing for obtaining a positive-width min-max value and a non-constant limit; the manuscript provides no internal construction, citation, or verification that the class is non-contractible in the mapping space or yields maps of positive energy after harmonic replacement.
  2. [Abstract] Abstract (final sentence on convergence): the sketch of the min-max sequence obtained via Colding-Minicozzi replacement converging to a bubble tree supplies no details on the compactness argument, the control of bubble formation, or the verification that at least one component of the limit is non-constant; these steps are required to support the existence statement.
minor comments (1)
  1. [Abstract] The abstract uses the phrase 'weakly conformal harmonic map' without a brief definition or reference; adding one sentence in the introduction would improve readability for readers outside the immediate subfield.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and for identifying points where the abstract sketch requires additional clarification. We will revise the manuscript to address both major comments by expanding the abstract and introduction with the requested details and citations.

read point-by-point responses

  1. Referee: [Abstract] Abstract (paragraph beginning 'We rely on the existence of multisections'): the non-triviality of the sweepout class generated by multisections is load-bearing for obtaining a positive-width min-max value and a non-constant limit; the manuscript provides no internal construction, citation, or verification that the class is non-contractible in the mapping space or yields maps of positive energy after harmonic replacement.

    Authors: We agree the non-triviality of the class is essential. The construction relies on the known existence of multisections in dimensions 4 and 5 (a result in the sweepout literature), which produces a non-contractible class in the relevant mapping space. We will add an explicit citation to this background result together with a one-sentence verification that the resulting sweepouts have positive energy, both in the revised abstract and in a short paragraph of the introduction. revision: yes

  2. Referee: [Abstract] Abstract (final sentence on convergence): the sketch of the min-max sequence obtained via Colding-Minicozzi replacement converging to a bubble tree supplies no details on the compactness argument, the control of bubble formation, or the verification that at least one component of the limit is non-constant; these steps are required to support the existence statement.

    Authors: The convergence statement in the abstract is a high-level summary of the argument carried out in the body of the paper, which applies the standard bubble-tree compactness for harmonic maps together with the Colding-Minicozzi replacement procedure. To make the abstract self-contained, we will insert a brief outline of the compactness argument, the control on bubble formation via energy quantization, and the reason at least one component remains non-constant (positive width of the min-max class). revision: yes

Circularity Check

0 steps flagged

No circularity; proof relies on external multisection existence and standard min-max techniques

full rationale

The derivation begins with the existence of multisections in dimensions 4 and 5 (treated as an external input) to produce a non-trivial sweepout class, then applies quasiconformal maps to hyperbolic metrics and Colding-Minicozzi harmonic replacement to extract a bubble tree limit. No step defines the target minimal surface existence in terms of itself, renames a fitted quantity as a prediction, or reduces the central claim to a self-citation chain whose validity depends on the present paper. The argument is self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The proof depends on the existence of multisections in dimensions 4 and 5 as a domain assumption and on standard background results in harmonic maps and min-max theory.

axioms (1)
  • domain assumption Existence of multisections in dimensions 4 and 5
    Invoked to produce a non-trivial class of sweepouts from genus >=2 surfaces.

pith-pipeline@v0.9.1-grok · 5681 in / 1232 out tokens · 25399 ms · 2026-06-25T22:49:53.930008+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

69 extracted references

  1. [1]

    Adams and John J

    Robert A. Adams and John J. F. Fournier,Sobolev spaces, second ed., Pure and Applied Mathematics (Amsterdam), vol. 140, Elsevier/Academic Press, Amsterdam, 2003

    2003

  2. [2]

    Lars Ahlfors and Lipman Bers,Riemann’s mapping theorem for variable metrics, Ann. of Math. (2)72 (1960), 385–404

    1960

  3. [3]

    Almgren,The homotopy groups of the integral cycle groups, Topology1(1962), 257–299

    F. Almgren,The homotopy groups of the integral cycle groups, Topology1(1962), 257–299

    1962

  4. [4]

    ,The theory of varifolds, Mimeographed notes, Princeton, 1965

    1965

  5. [5]

    Almgren, Jr.,Almgren’s big regularity paper, World Scientific Monograph Series in Mathe- matics, vol

    Frederick J. Almgren, Jr.,Almgren’s big regularity paper, World Scientific Monograph Series in Mathe- matics, vol. 1, World Scientific Publishing Co., Inc., River Edge, NJ, 2000,Q-valued functions minimizing Dirichlet’s integral and the regularity of area-minimizing rectifiable currents up to codimension 2, With a preface by Jean E. Taylor and Vladimir Sc...

    2000

  6. [6]

    Fathi Ben Aribi, Sylvain Courte, Marco Golla, and Delphine Moussard,Multisections of higher- dimensional manifolds, arXiv:2303.08779, 2023

    arXiv 2023

  7. [7]

    Beardon,The geometry of discrete groups, Graduate Texts in Mathematics, vol

    Alan F. Beardon,The geometry of discrete groups, Graduate Texts in Mathematics, vol. 91, Springer- Verlag, New York, 1995, Corrected reprint of the 1983 original

    1995

  8. [8]

    Birkhoff,Dynamical systems with two degrees of freedom, Trans

    George D. Birkhoff,Dynamical systems with two degrees of freedom, Trans. Amer. Math. Soc.18(1917), no. 2, 199–300

    1917

  9. [9]

    Raoul Bott,Marston Morse and his mathematical works, Bull. Amer. Math. Soc. (N.S.)3(1980), no. 3, 907–950. MR 585177

    1980

  10. [10]

    Brezis and J.-M

    H. Brezis and J.-M. Coron,Convergence of solutions ofH-systems or how to blow bubbles, Arch. Rational Mech. Anal.89(1985), no. 1, 21–56

    1985

  11. [11]

    Sheldon Xu-Dong Chang,Two-dimensional area minimizing integral currents are classical minimal sur- faces, J. Amer. Math. Soc.1(1988), no. 4, 699–778. MR 946554

    1988

  12. [12]

    Colding and W

    T. Colding and W. Minicozzi, II,Width and finite extinction time of Ricci flow, Geom. Topol.12(2008), no. 5, 2537–2586

    2008

  13. [13]

    121, American Mathematical Society, Providence, RI, 2011

    ,A course in minimal surfaces, Graduate Studies in Mathematics, vol. 121, American Mathematical Society, Providence, RI, 2011

    2011

  14. [14]

    Daskalopoulos and Richard A

    Georgios D. Daskalopoulos and Richard A. Wentworth,Harmonic maps and Teichm¨ uller theory, Hand- book of Teichm¨ uller theory. Vol. I, IRMA Lect. Math. Theor. Phys., vol. 11, Eur. Math. Soc., Z¨ urich, 2007, pp. 33–109. MR 2349668

    2007

  15. [15]

    Camillo De Lellis,The size of the singular set of area-minimizing currents, Surveys in differential geometry

  16. [16]

    Advances in geometry and mathematical physics, Surv. Differ. Geom., vol. 21, Int. Press, Somerville, MA, 2016, pp. 1–83. MR 3525093

    2016

  17. [17]

    Camillo De Lellis and Emanuele Spadaro,Regularity of area minimizing currents I: gradientL p estimates, Geom. Funct. Anal.24(2014), no. 6, 1831–1884. MR 3283929

    2014

  18. [18]

    ,Regularity of area minimizing currents II: center manifold, Ann. of Math. (2)183(2016), no. 2, 499–575. MR 3450482

    2016

  19. [19]

    ,Regularity of area minimizing currents III: blow-up, Ann. of Math. (2)183(2016), no. 2, 577–617. MR 3450483

    2016

  20. [20]

    PDE3(2017), no

    Camillo De Lellis, Emanuele Spadaro, and Luca Spolaor,Regularity theory for 2-dimensional almost minimal currents II: Branched center manifold, Ann. PDE3(2017), no. 2, Paper No. 18, 85. MR 3712561

    2017

  21. [21]

    ,Regularity theory for2-dimensional almost minimal currents I: Lipschitz approximation, Trans. Amer. Math. Soc.370(2018), no. 3, 1783–1801. MR 3739191

    2018

  22. [22]

    Differential Geom

    ,Regularity theory for 2-dimensional almost minimal currents III: Blowup, J. Differential Geom. 116(2020), no. 1, 125–185. MR 4146358

    2020

  23. [23]

    Earle,Conformally natural extension of homeomorphisms of the circle, Acta Math.157(1986), no

    Adrien Douady and Clifford J. Earle,Conformally natural extension of homeomorphisms of the circle, Acta Math.157(1986), no. 1-2, 23–48

    1986

  24. [24]

    Earle and James Eells,A fibre bundle description of Teichm¨ uller theory, J

    Clifford J. Earle and James Eells,A fibre bundle description of Teichm¨ uller theory, J. Differential Geometry 3(1969), 19–43

    1969

  25. [25]

    Earle and Curt McMullen,Quasiconformal isotopies, Holomorphic functions and moduli, Vol

    Clifford J. Earle and Curt McMullen,Quasiconformal isotopies, Holomorphic functions and moduli, Vol. I (Berkeley, CA, 1986), Math. Sci. Res. Inst. Publ., vol. 10, Springer, New York, 1988, pp. 143–154

    1986

  26. [26]

    Evans,Partial differential equations, second ed., Graduate Studies in Mathematics, vol

    Lawrence C. Evans,Partial differential equations, second ed., Graduate Studies in Mathematics, vol. 19, American Mathematical Society, Providence, RI, 2010

    2010

  27. [27]

    Evans and Ronald F

    Lawrence C. Evans and Ronald F. Gariepy,Measure theory and fine properties of functions, Studies in Advanced Mathematics, CRC Press, Boca Raton, FL, 1992. 226 DA RONG CHENG AND XIN ZHOU

    1992

  28. [28]

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

    1969

  29. [29]

    Topol.20(2016), no

    David Gay and Robion Kirby,Trisecting 4-manifolds, Geom. Topol.20(2016), no. 6, 3097–3132

    2016

  30. [30]

    Gompf and Andr´ as I

    Robert E. Gompf and Andr´ as I. Stipsicz, 4-manifolds and Kirby calculus, Graduate Studies in Mathemat- ics, vol. 20, American Mathematical Society, Providence, RI, 1999. MR 1707327

    1999

  31. [31]

    Grayson,Shortening embedded curves, Ann

    Matthew A. Grayson,Shortening embedded curves, Ann. of Math. (2)129(1989), no. 1, 71–111. MR 979601

    1989

  32. [32]

    John Hamal Hubbard,Teichm¨ uller theory and applications to geometry, topology, and dynamics. Vol. 1, Matrix Editions, Ithaca, NY, 2006, Teichm¨ uller theory, With contributions by Adrien Douady, William Dunbar, Roland Roeder, Sylvain Bonnot, David Brown, Allen Hatcher, Chris Hruska and Sudeb Mitra, With forewords by William Thurston and Clifford Earle

    2006

  33. [33]

    151, Birkh¨ auser Verlag, Basel, 1997

    Christoph Hummel,Gromov’s compactness theorem for pseudo-holomorphic curves, Progress in Mathe- matics, vol. 151, Birkh¨ auser Verlag, Basel, 1997

    1997

  34. [34]

    Imayoshi and M

    Y. Imayoshi and M. Taniguchi,An introduction to Teichm¨ uller spaces, Springer-Verlag, Tokyo, 1992, Translated and revised from the Japanese by the authors

    1992

  35. [35]

    Kosinski,Differential manifolds, Pure and Applied Mathematics, vol

    Antoni A. Kosinski,Differential manifolds, Pure and Applied Mathematics, vol. 138, Academic Press, Inc., Boston, MA, 1993

    1993

  36. [36]

    4, Springer, Cham, [2021]©2021, pp

    Peter Lambert-Cole and Maggie Miller,Trisections of 5-manifolds, 2019–20 MATRIX annals, MATRIX Book Ser., vol. 4, Springer, Cham, [2021]©2021, pp. 117–134. MR 4294764

    2019

  37. [37]

    Math.352(2019), 326–371

    Paul Laurain and Romain Petrides,Existence of min-max free boundary disks realizing the width of a manifold, Adv. Math.352(2019), 326–371

    2019

  38. [38]

    Lee,Introduction to smooth manifolds, second ed., Graduate Texts in Mathematics, vol

    John M. Lee,Introduction to smooth manifolds, second ed., Graduate Texts in Mathematics, vol. 218, Springer, New York, 2013

    2013

  39. [39]

    Lehto and K

    O. Lehto and K. I. Virtanen,Quasiconformal mappings in the plane, second ed., Die Grundlehren der mathematischen Wissenschaften, Band 126, Springer-Verlag, New York-Heidelberg, 1973, Translated from the German by K. W. Lucas

    1973

  40. [40]

    Lyusternik and L

    L. Lyusternik and L. Snirelman,Topological methods in variational problems and their application to the differential geometry of surfaces, Uspehi Matem. Nauk (N.S.)2(1947), no. 1(17), 166–217

    1947

  41. [41]

    F. C. Marques and A. Neves,Min-max theory and the Willmore conjecture, Ann. of Math. (2)179(2014), no. 2, 683–782

    2014

  42. [42]

    Math.209 (2017), no

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

    2017

  43. [43]

    ,Morse theory for the area functional, S˜ ao Paulo J. Math. Sci.15(2021), no. 1, 268–279. MR 4258897

    2021

  44. [44]

    Morrey, Jr.,On the solutions of quasi-linear elliptic partial differential equations, Trans

    Charles B. Morrey, Jr.,On the solutions of quasi-linear elliptic partial differential equations, Trans. Amer. Math. Soc.43(1938), no. 1, 126–166

    1938

  45. [45]

    S. P. Novikov and I. A. Taimanov (eds.),Topological library. Part 1: cobordisms and their applications, Series on Knots and Everything, vol. 39, World Scientific Publishing Co. Pte. Ltd., Hackensack, NJ, 2007, Translation by V. O. Manturov. MR 2334179

    2007

  46. [46]

    J.169(2020), no

    Alessandro Pigati and Tristan Rivi` ere,A proof of the multiplicity 1 conjecture for min-max minimal surfaces in arbitrary codimension, Duke Math. J.169(2020), no. 11, 2005–2044. MR 4132579

    2020

  47. [47]

    Pure Appl

    ,The regularity of parametrized integer stationary varifolds in two dimensions, Comm. Pure Appl. Math.73(2020), no. 9, 1981–2042. MR 4156613

    2020

  48. [48]

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

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

    1981

  49. [49]

    Henri Poincar´ e,Sur les lignes g´ eod´ esiques des surfaces convexes, Trans. Amer. Math. Soc.6(1905), no. 3, 237–274. MR 1500710

    1905

  50. [50]

    Tristan Rivi` ere,The regularity of conformal target harmonic maps, Calc. Var. Partial Differential Equa- tions56(2017), no. 4, Paper No. 117, 15. MR 3671611

    2017

  51. [51]

    ,A viscosity method in the min-max theory of minimal surfaces, Publ. Math. Inst. Hautes ´Etudes Sci.126(2017), 177–246

    2017

  52. [52]

    Topping, and Miaomiao Zhu,Asymptotics of the Teichm¨ uller harmonic map flow, Adv

    Melanie Rupflin, Peter M. Topping, and Miaomiao Zhu,Asymptotics of the Teichm¨ uller harmonic map flow, Adv. Math.244(2013), 874–893

    2013

  53. [53]

    Sacks and K

    J. Sacks and K. Uhlenbeck,The existence of minimal immersions of2-spheres, Ann. of Math. (2)113 (1981), no. 1, 1–24. EXISTENCE OF CLASSICAL MINIMAL SURFACES IN 4 AND 5-MANIFOLDS 227

    1981

  54. [54]

    ,Minimal immersions of closed Riemann surfaces, Trans. Amer. Math. Soc.271(1982), no. 2, 639–652

    1982

  55. [55]

    J. H. Sampson,Some properties and applications of harmonic mappings, Ann. Sci. ´Ecole Norm. Sup. (4) 11(1978), no. 2, 211–228

    1978

  56. [56]

    Schoen and L

    R. Schoen and L. Simon,Regularity of stable minimal hypersurfaces, Comm. Pure Appl. Math.34(1981), no. 6, 741–797

    1981

  57. [57]

    Schoen, L

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

    1975

  58. [58]

    Schoen and Shing Tung Yau,Existence of incompressible minimal surfaces and the topology of three- dimensional manifolds with nonnegative scalar curvature, Ann

    R. Schoen and Shing Tung Yau,Existence of incompressible minimal surfaces and the topology of three- dimensional manifolds with nonnegative scalar curvature, Ann. of Math. (2)110(1979), no. 1, 127–142

    1979

  59. [59]

    Math.44 (1978), no

    Richard Schoen and Shing Tung Yau,On univalent harmonic maps between surfaces, Invent. Math.44 (1978), no. 3, 265–278

    1978

  60. [60]

    Schoen,Analytic aspects of the harmonic map problem, Seminar on nonlinear partial differential equations (Berkeley, Calif., 1983), Math

    Richard M. Schoen,Analytic aspects of the harmonic map problem, Seminar on nonlinear partial differential equations (Berkeley, Calif., 1983), Math. Sci. Res. Inst. Publ., vol. 2, Springer, New York, 1984, pp. 321– 358

    1983

  61. [61]

    3, Australian National University, Centre for Mathematical Analysis, Canberra, 1983

    Leon Simon,Lectures on geometric measure theory, Proceedings of the Centre for Mathematical Analysis, Australian National University, vol. 3, Australian National University, Centre for Mathematical Analysis, Canberra, 1983

    1983

  62. [62]

    Antoine Song,Existence of infinitely many minimal hypersurfaces in closed manifolds, Ann. of Math. (2) 197(2023), no. 3, 859–895. MR 4564260

    2023

  63. [63]

    Ren´ e Thom,Quelques propri´ et´ es globales des vari´ et´ es diff´ erentiables, Comment. Math. Helv.28(1954), 17–86. MR 61823

    1954

  64. [64]

    Math.22(1996), no

    Changyou Wang,Bubble phenomena of certain Palais-Smale sequences from surfaces to general targets, Houston J. Math.22(1996), no. 3, 559–590

    1996

  65. [65]

    Zhichao Wang and Xin Zhou,Existence of four minimal spheres inS 3 with a bumpy metric, arXiv 2305.08755, 2023

    arXiv 2023

  66. [66]

    Xin Zhou,On the existence of min-max minimal torus, J. Geom. Anal.20(2010), no. 4, 1026–1055

    2010

  67. [67]

    Differential Geom

    ,Min-max minimal hypersurface in(M n+1, g)withRic >0and2≤n≤6, J. Differential Geom. 100(2015), no. 1, 129–160. MR 3326576

    2015

  68. [68]

    ,On the existence of min-max minimal surface of genusg≥2, Commun. Contemp. Math.19 (2017), no. 4, 1750041, 36

    2017

  69. [69]

    ,Mean curvature and variational theory, ICM—International Congress of Mathematicians. Vol. IV. Sections 5–8, EMS Press, Berlin, [2023]©2023, pp. 2696–2717. MR 4680337 Department of Mathematics, University of Miami, Coral Gables, FL 33146 Email address:darong.cheng@miami.edu Department of Mathematics, Cornell University, Ithaca, NY 14853 Email address:xinz...

    2023