Pith. sign in

REVIEW 3 major objections 5 minor 17 references

The paper proves that for every sufficiently large dimension n there exists a closed minimal surface in the round n-sphere with negative induced curvature, and that the curvature can be made to converge to -8 in every C^k norm as n grows.

Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →

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

Closed minimal surfaces of negative induced curvature exist in every sphere of large enough dimension, with curvature C^k-converging to −8.

T0 review reviewed 2026-08-04 challenge →

load-bearing objection A serious and likely important short note, but the main theorem hinges on an infinite-dimensional compactness assertion that is currently justified only by a footnote. the 3 major comments →

arxiv 2510.18618 v4 pith:I3FOMFWX submitted 2025-10-21 math.DG

Minimal surfaces with negative curvature in large dimensional spheres

Michele Ancona , Fran\c{c}ois Labourie , Anna Roig-Sanchis , J\'er\'emy Toulisse This is my paper
classification math.DG MSC 53C4253A1058E2053C43
keywords minimal surfacesnegative curvatureharmonic mapsspheresinduced representationsregular representationorbifoldcurvature convergence
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved

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 settles a question posed in 1982 by showing that closed minimal surfaces with negative induced curvature exist in round spheres of all sufficiently large dimensions. The construction follows an asymptotic strategy: start with a sequence of finite-image unitary representations of a surface group that converges to the regular representation, induce them up to a larger group coming from a rigid orbifold, and take equivariant energy-minimizing harmonic maps. The induced metrics converge in C^∞ to one eighth of the hyperbolic metric, so the curvature converges to -8. This asymptotically bypasses the classical nonexistence of closed minimal surfaces with constant negative curvature in spheres.

Core claim

The Main Theorem states: for each integer n large enough, there is a negatively curved closed minimal surface Σ_n in the round sphere of dimension n; moreover Σ_n can be chosen so that ‖κ_n + 8‖_{C^k} → 0 for every k, where κ_n is the induced curvature. There is also a fixed closed Riemann surface X such that each Σ_n is a quotient of X by a finite group of isometries of the sphere. In particular, the surfaces are 'almost hyperbolic': their curvature tends to the constant value -8, never reaching it, consistently with the classical obstruction to constant negative curvature.

What carries the argument

Three ingredients carry the argument. First, a theorem supplying, for a surface group, finite-image unitary representations that strongly converge to the regular representation. Second, the induced-representation construction, which enlarges these representations to a larger group arising from an orbifold and controls the energy of equivariant maps. Third, a convergence-plus-rigidity theorem for equivariant harmonic maps into spheres, which upgrades energy convergence to C^∞ convergence of the pullback metrics. A rigid Riemann surface (one whose only invariant holomorphic quadratic differential is zero) is then used to force every equivariant harmonic map to be conformal, hence a branched mi

Load-bearing premise

The proof assumes that the ε-regularity estimate for harmonic maps holds uniformly for spheres of all dimensions, so that a bubbling argument can be carried out with limits in an infinite-dimensional sphere; without this uniformity, the C^∞ convergence of the pullback metrics—and hence the curvature conclusion—does not follow.

What would settle it

Construct a sequence of harmonic maps from the unit disk into spheres of increasing dimension with uniformly bounded energy but with pointwise derivative blowing up somewhere; this would violate uniform ε-regularity and invalidate the compactness step. Alternatively, exhibit a sequence of equivariant harmonic maps with the prescribed energy asymptotics whose pullback metrics do not converge in C^0 to one eighth of the hyperbolic metric.

Watch this falsifier. Get emailed when new claim-graph text bears on it.

If this is right

  • The 1982 question about closed minimal surfaces with negative induced curvature in spheres has a positive answer in every sufficiently large dimension.
  • Although constant-negative-curvature minimal surfaces are impossible, surfaces with curvature arbitrarily close to -8 exist, so the obstruction is asymptotically bypassed.
  • All constructed surfaces are finite coverings of a single fixed Riemann surface, giving a uniform topological model across dimensions.
  • The C^∞ convergence of pullback metrics to the scaled hyperbolic metric provides a quantitative 'almost hyperbolic' description of the surfaces.

Where Pith is reading between the lines

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

  • The proof is non-constructive and does not give an explicit dimension threshold; determining the smallest such dimension is a natural open problem, and classical results already exclude the 3-sphere.
  • The uniform ε-regularity assumption is the main analytic risk: if harmonic maps into spheres of growing dimension can concentrate energy without a uniform regularity estimate, the bubbling argument may fail. Testing this uniformity directly is a feasible analytic project.
  • The induced-representation mechanism is likely portable: any symmetric space with a similar rigidity theorem for equivariant maps could yield negatively curved minimal surfaces in large dimensions.
  • Because the pullback metrics converge to the hyperbolic metric, one might investigate the spectral geometry of these surfaces (e.g., Laplacian eigenvalues) and whether they become Benjamini–Schramm convergent to the hyperbolic plane as n→∞.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

3 major / 5 minor

Summary. The paper answers Yau's 1982 question on the existence of closed minimal surfaces with negative induced curvature in round spheres, for spheres of sufficiently large dimension. The main theorem asserts that for each large integer n there is a negatively curved closed minimal surface Σ_n in the standard sphere S^n, with induced curvature κ_n satisfying ∥κ_n + 8∥_{C^k} → 0 for every k, and moreover that these surfaces are finite quotients of a single closed Riemann surface by groups of isometries. The proof refines Song's strategy: starting from a closed Riemann surface X_0 whose automorphism group orbit has trivial Teichmüller space, the authors induce unitary representations of π_1(X_0) to representations of a larger group Γ containing torsion, apply Song's convergence/rigidity theorems to obtain equivariant harmonic maps whose pullback metrics converge to one-eighth of the hyperbolic metric, and then use the Hopf-differential vanishing condition to conclude these maps are branched minimal immersions and eventually unbranched negatively curved immersions.

Significance. If the main theorem is correct, it resolves a classical question in a striking way and shows that Bryant's constant-negative-curvature obstruction is asymptotically bypassed. The paper's conceptual contribution is to combine Song's random harmonic map technology with induced representations and surfaces with large automorphism groups, giving a clean mechanism to handle the torsion that arises in orbifold quotients. The authors also properly attribute and use the external black-box theorems of Song and Louder–Magee. However, the key convergence step for maps into an infinite-dimensional sphere is only asserted, not proved, and this is load-bearing for the C^k curvature conclusion.

major comments (3)
  1. [§2.5, Theorem 2.9 (proof, footnote 1)] The proof applies Sacks–Uhlenbeck compactness [13, Thm 4.4] to a sequence of harmonic maps with bounded energy viewed as maps into the fixed infinite-dimensional unit sphere S(H). The footnote acknowledges that the original theorem is for compact finite-dimensional range and asserts that the proof only relies on ε-regularity that holds uniformly for all spheres. This is not sufficient as written: S(H) is not locally compact, and the standard Arzelà–Ascoli extraction on small-energy balls is unavailable. Even with uniform ε-regularity, a bounded-energy sequence of harmonic maps into S(H) need not have a subsequence converging strongly to a map into S(H); weak limits can leave the sphere, and energy may be lost to infinity in target directions. The proof requires either a complete compactness theorem for this specific setting (including the equivariance and energy-minimality hypotheses use
  2. [§4.1, Proposition 4.1] The proposition asserts the existence of a closed Riemann surface X_0 of genus > 1 with no nonzero Aut(X_0)-invariant holomorphic quadratic differential. The proof, however, only shows that if the quotient X := Aut(X_0)\X_0 is an orbifold structure on P^1 with three singular points D, then H^0(K^2_{P^1}(D)) = 0 by a degree argument, so the invariant subspace is trivial. No argument is given that such an X_0 exists; the sentence 'In particular, if X is an orbifold structure on P^1 with three singular points D' is conditional. This existence is essential for Corollary 4.2 and hence for the minimality conclusion in the Main Theorem. The gap is easily fixable by exhibiting an explicit example (e.g., the Klein quartic with automorphism group PSL(2,7) and quotient P^1(2,3,7)), but as written the proof of Proposition 4.1 is incomplete.
  3. [§4.2, Main Theorem (final sentence)] The theorem states that there is a closed Riemann surface X such that for each n there is a finite group Γ_n in the isometry group of S^n with X = Γ_n \ Σ_n. In the construction, the fixed quotient is a quotient by Γ, where Γ\H^2 is the orbifold Aut(X_0)\X_0. Since Aut(X_0) may have torsion, this quotient is in general an orbifold, not a smooth closed Riemann surface. If the intended statement is that X is an orbifold Riemann surface, that should be stated; if a smooth X is really claimed, one needs an additional argument (for instance, choosing Γ_j normal in Γ, or passing to a further cover) that is not provided. This issue does not affect the primary existence and curvature claims, but it is part of the theorem's statement and must be corrected.
minor comments (5)
  1. [§3, Theorem 3.2] The displayed limit reads 'lim E(ρ_j^ind) = π/4 χ_orb(Γ\H^2)', but the orbifold Euler characteristic is negative, so the right-hand side should be π/4 |χ_orb(Γ\H^2)|, consistent with Theorem 2.9.
  2. [§2.5, proof of Theorem 2.5] The symbol D is used for 'the discrete set of branched points in H^2' before it has been introduced. Presumably this is the bubbling set arising from the minimizing sequence; please define it explicitly.
  3. [§4.2, Main Theorem] The proof gives surfaces in odd-dimensional spheres S^{2N_j-1}. To obtain the statement 'for each integer n large enough', the authors should explicitly mention the standard passage to even-dimensional spheres by including S^{2N_j-1} as a totally geodesic equator in S^{2N_j}.
  4. [§4.1] In Proposition 4.1 and the surrounding text, Aut(X_0) should be specified as the group of conformal automorphisms of the Riemann surface; the quotient is then by the conformal automorphism group, which is finite for genus at least 2.
  5. [§3.2, proof of Lemma 3.6] In the displayed equation for φ_ind^0(h), the sum over η ∈ Γ_0\Γ is written without the normalization factor 1/[Γ:Γ_0]; the following norm-squared formula includes it, but the initial expression could be clearer.

Circularity Check

0 steps flagged

No significant circularity: the proof is a self-contained application of external black-box theorems (Song, Louder–Magee, Sacks–Uhlenbeck) with no fitted parameter renamed as a prediction.

full rationale

The paper's derivation chain does not reduce to its own inputs. The Main Theorem is proved by combining Song's convergence theorem (Theorem 2.7), Song's rigidity theorem (Theorem 2.8), Louder–Magee's strong-convergence theorem (Theorem 2.6), and Sacks–Uhlenbeck compactness. The novel step, Theorem 2.9, is an extension to the torsion case whose proof explicitly assumes uniform ε-regularity for all spheres in a footnote; that is an imported analytic input, not a circular use of the conclusion. The energy inequality (2) is used only to rule out bubbles, and the conclusion follows from Theorem 2.8. Similarly, Theorem 3.2 is proved by sandwiching E(ρ_ind^j) between two limits obtained from Theorem 2.7 and Theorem 3.1; there is no fitted parameter called a prediction. Proposition 4.1, which supplies the orbifold with trivial quadratic differential space, is a classical Riemann-surface argument (degree of K^2_{P^1}(D) is −1), not a renaming of the target result. The only self-citation visible in the text, [9] Labourie, appears in the phrase 'in the spirit of [3,4,9]' and is not load-bearing. Any concern about the Sacks–Uhlenbeck extension to S(H) is a correctness or assumption gap, not a circularity: the paper does not claim to prove that compactness from the conclusion it uses it to establish.

Axiom & Free-Parameter Ledger

0 free parameters · 8 axioms · 0 invented entities

The paper contributes the orbifold-with-trivial-Teichmüller-space idea and the induced-representation transfer; everything else is imported from Song's program and classical geometry. No free parameters or invented entities.

axioms (8)
  • domain assumption Song's convergence theorem (Thm 2.7): for representations strongly converging to the regular representation, lim E(ρ_j) = π/4 |χ(X)| and energy minimizers give pullback metric → 1/8 g_H2 in C^∞.
    External theorem cited to Song [15]; used as a black box for the energy limit and metric convergence.
  • domain assumption Song's rigidity theorem (Thm 2.8): weak equivalence to the regular representation plus energy π/4|χ| forces the pullback metric to equal 1/8 g_H2.
    External theorem cited to [15, Cor 2.4], strengthened in [2]; central to Theorem 2.9.
  • domain assumption Louder–Magee theorem (Thm 2.6): existence of finite-image unitary representations of a surface group strongly converging to the regular representation.
    External theorem cited to [11]; provides the starting sequence of representations.
  • domain assumption Existence of a closed Riemann surface X0 whose automorphism quotient is P^1 with three cone points (used in Prop. 4.1).
    Asserted in the proof of Proposition 4.1 but not proven or cited; classical via Hurwitz surfaces (e.g., Klein quartic).
  • domain assumption Uniform ε-regularity and Sacks–Uhlenbeck compactness for harmonic maps into all spheres, including infinite-dimensional limits.
    Imported from Song [15, Section 1.2]; used in the proof of Theorem 2.9 to upgrade energy convergence to C^∞ metric convergence.
  • standard math Selberg lemma: every finitely generated matrix group has a torsion-free finite-index subgroup.
    Used to pass to torsion-free subgroups Γ0 and Γ_j.
  • standard math Gulliver–Osserman–Royden: a harmonic conformal map from a surface is a branched minimal immersion.
    Cited as Proposition 2.2; links harmonicity to minimality.
  • standard math Branch points of a branched minimal immersion create conical singularities and hence curvature singularities of the induced metric.
    Remark 2.1; used to ensure the surfaces are genuinely regular for large j.

reviewed 2026-08-04 · how reviews work

0 comments
Cite this review

Pith. "Pith review of Minimal surfaces with negative curvature in large dimensional spheres." pith.science (2026). https://pith.science/paper/I3FOMFWX

@misc{pith2026251018618,
  author       = {Pith},
  title        = {Pith review of: Minimal surfaces with negative curvature in large dimensional spheres},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/I3FOMFWX}},
  note         = {Machine review of arXiv:2510.18618}
}
Share X Bluesky LinkedIn Reddit HN
read the original abstract

In this note, we answer positively a question of Yau by proving the existence of closed minimal surfaces with negative induced curvature in any sphere of large dimension. The proof follows the strategy of Song, applying it to closed Riemann surfaces with large automorphism groups, and obtaining almost hyperbolic minimal surfaces.

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

17 extracted references · 1 linked inside Pith

  1. [1]

    Minimal surfaces of constant curvature inS n.Transactions of the American Mathematical Society, 290(1):259–271, 1985

    Robert L Bryant. Minimal surfaces of constant curvature inS n.Transactions of the American Mathematical Society, 290(1):259–271, 1985

    1985

  2. [2]

    Area rigidity for the regular representation of surface groups, 2025

    Riccardo Caniato, Xingzhe Li, and Antoine Song. Area rigidity for the regular representation of surface groups, 2025

    2025

  3. [3]

    FlatG-bundles with canonical metrics.Journal of Differential Geometry, 28(3):361–382, 1988

    Kevin R Corlette. FlatG-bundles with canonical metrics.Journal of Differential Geometry, 28(3):361–382, 1988

    1988

  4. [4]

    Donaldson

    Simon K. Donaldson. Twisted harmonic maps and the self-duality equations.Proceedings of the London Math- ematical Society. Third Series, 55(1):127–131, 1987

    1987

  5. [5]

    Harmonic mappings of riemannian manifolds.American journal of mathematics, 86(1):109–160, 1964

    James Eells and Joseph H Sampson. Harmonic mappings of riemannian manifolds.American journal of mathematics, 86(1):109–160, 1964

    1964

  6. [6]

    Evans.Partial differential equations, volume 19 ofGraduate Studies in Mathematics

    Lawrence C. Evans.Partial differential equations, volume 19 ofGraduate Studies in Mathematics. American Mathematical Society, Providence, RI, second edition, 2010

    2010

  7. [7]

    A theory of branched immersions of surfaces

    Robert Gulliver, Robert Osserman, and Halsey L Royden. A theory of branched immersions of surfaces. American Journal of Mathematics, 95:750–812, 1973

    1973

  8. [8]

    Régularité des applications faiblement harmoniques entre une surface et une variété rie- mannienne.C

    Frédéric Hélein. Régularité des applications faiblement harmoniques entre une surface et une variété rie- mannienne.C. R. Acad. Sci. Paris Sér. I Math., 312(8):591–596, 1991

    1991

  9. [9]

    Existence d’applications harmoniques tordues à valeurs dans les variétés à courbure négative.Proc

    François Labourie. Existence d’applications harmoniques tordues à valeurs dans les variétés à courbure négative.Proc. Amer. Math. Soc., 111(3):877–882, 1991

    1991

  10. [10]

    Blaine Lawson, Jr

    H. Blaine Lawson, Jr. Complete minimal surfaces inS 3.Ann. of Math. (2), 92:335–374, 1970

    1970

  11. [11]

    Strongly convergent unitary representations of limit groups

    Larsen Louder, Michael Magee, and Will Hide. Strongly convergent unitary representations of limit groups. Journal of Functional Analysis, 288(6):110803, 2025

    2025

  12. [12]

    Micallef and Brian White

    Mario J. Micallef and Brian White. The structure of branch points in minimal surfaces and in pseudoholo- morphic curves.Ann. of Math. (2), 141(1):35–85, 1995

    1995

  13. [13]

    The existence of minimal immersions of 2-spheres.Annals of mathe- matics, 113(1):1–24, 1981

    Jonathan Sacks and Karen Uhlenbeck. The existence of minimal immersions of 2-spheres.Annals of mathe- matics, 113(1):1–24, 1981

    1981

  14. [14]

    Minimal immersions of closed Riemann surfaces.Trans

    Jonathan Sacks and Karen Uhlenbeck. Minimal immersions of closed Riemann surfaces.Trans. Amer. Math. Soc., 271(2):639–652, 1982

    1982

  15. [15]

    Random harmonic maps into spheres.arXiv:2402.10287, 2024

    Antoine Song. Random harmonic maps into spheres.arXiv:2402.10287, 2024

    Pith/arXiv arXiv 2024

  16. [16]

    Number 102

    Shing-Tung Yau.Seminar on differential geometry. Number 102. Princeton University Press, 1982

    1982

  17. [17]

    Zimmer.Ergodic theory and semisimple groups, volume 81 ofMonographs in Mathematics

    Robert J. Zimmer.Ergodic theory and semisimple groups, volume 81 ofMonographs in Mathematics. Birkhäuser Verlag, Basel, 1984. M. ANCONA: UNIVERSITÉCÔTE D’AZUR, CNRS, LJAD, FRANCE Email address:michele.ancona@univ-cotedazur.fr F. LABOURIE: UNIVERSITÉCÔTE D’AZUR, CNRS, LJAD, FRANCE Email address:francois.labourie@univ-cotedazur.fr A. ROIGSANCHIS: UNIVERSITÉ...

    1984

This paper was first reviewed by deepseek-v4-flash on August 4, 2026.