REVIEW 6 minor 31 references
Large topology asymptotics for spectrally extremal minimal surfaces in $\mathbb{B}^3$ and $\mathbb{S}^3$
T0 review · 0 major / 6 minor · reviewed 2026-08-07 · deepseek-v4-flash
Pith's one-line read Within the class of minimal surfaces obtained by maximizing the first Laplace eigenvalue under basic reflection symmetries, the Lawson surfaces $\xi_{\gamma,1}$ are the least-area surfaces of their genus once the genus is large, and all…
desk verdict Karpukhin–McGrath–Stern confirm Kusner and Kapouleas conjectures in the extremal class and identify the B^3 analog of Lawson surfaces; the analytic core is delicate but plausible. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The load-bearing reduction is that every basic reflection pair can be replaced by a genus-zero domain $\Omega \subset \mathbb{S}^2$ (or $\Omega \subset \mathbb{D}^2$ in the Steklov case) on which the optimization problem becomes the supremum of area times $\min\{\lambda_1^D, \lambda_1^N\}$ (or boundary length times $\min\{\sigma_1^D, \sigma_1^N\}$); doubling the domain recovers the original surface, so $\Lambda_1(M,\Gamma) = 2 \sup \bar\mu_1(\Omega,g)$. Lower bounds are built from explicit domains, spheres with small disks removed, whose first Dirichlet eigenvalue is at least $2$ and whose total removed area is $e^{-c\sqrt{k}}$ or $e^{-ck}$, combined with a Neumann estimate showing $\lambda_1^N |\Omega| \geq 8\pi - C|D|$. Upper bounds use stability: a small area gap forces the first-eigenfunction embedding to be close to the standard inclusion of $\mathbb{S}^2$, and a uniform spectral gap $\lambda_4^N - 2 > c$, proved by a mean-value $L^\infty$ estimate and a compactness argument passing eigenfunctions to the round sphere, upgrades this to exponential decay of the distance to an equator. The Steklov half runs the same two-step program with mixed Steklov-Neumann and Steklov-Dirichlet eigenvalues on domains in the disk.
What would settle it
Construct a sequence of genus-zero free boundary minimal surfaces $N_k \subset \mathbb{S}^3_+$ embedded by first eigenfunctions with $4\pi - |N_k| = o(1/k)$ whose varifold limit is not the equator; Theorem 1.9 and Theorem 1.18 would be false. Equivalently, compute the fourth Neumann eigenvalue on the halves of such surfaces with gap $\leq \varepsilon/k$: if $\liminf (\lambda_4^N - 2) = 0$, Lemma 6.2 is false and the exponential closeness conclusions do not follow.
Extended reading notes
Core claim
The paper's central theorem pair is this: for every orientable basic reflection pair $(M,\Gamma)$ of genus $\gamma \geq \gamma_0$, the extremal first Laplace eigenvalue satisfies $\tfrac{1}{2}\Lambda_1(M,\Gamma) \geq \mathrm{Area}(\xi_{\gamma,1})$, and for generic pairs the stronger bound $\tfrac{1}{2}\Lambda_1(M,\Gamma) \geq 8\pi - e^{-c\sqrt{\gamma}}$ holds. Complementing this, Theorem 1.5 gives the universal upper bound $\tfrac{1}{2}\Lambda_1(M,\Gamma) \leq 8\pi - e^{-C_1|\chi(M)|}$, improved to $8\pi - C_2/|\chi(M)|$ for Scherk-type pairs. Together these bounds imply that as genus tends to infinity every non-Lawson family in this class converges as a varifold to a multiplicity-two great sphere, while the Lawson family is singled out as the desingularization of a pair of orthogonal great spheres. In the Steklov setting, Theorems 1.12, 1.13, 1.15, and 1.18 show that the area gap $4\pi - \Sigma_1(N,\Gamma)$ is exponentially small in the number of boundary components, can decay as slowly as $1/\gamma$ in genus for a two-plane-symmetric family, and forces rapid varifold convergence to an equatorial disk whenever the gap is $o(1/(1+|\chi(N)|))$.
Load-bearing premise
The load-bearing premise is Lemma 6.2 and its Steklov analogue Lemma 7.3: whenever the area gap is at most $\varepsilon/k$, the fourth Neumann eigenvalue stays strictly above $2$ by a positive constant, and if the mean-value $L^\infty$ estimate or the passage of eigenfunctions to the round sphere fails, the generic exponential-closeness conclusions and the Scherk-type upper bound collapse.
Editorial extensions
If this is right
- For every basic reflection pair of genus $\gamma \geq \gamma_0$, the Lawson surface $\xi_{\gamma,1}$ has area no larger than the spectrally extremal surface, so the least-area conjecture holds across this whole class at large genus.
- Generic pairs satisfy $\tfrac{1}{2}\Lambda_1(M,\Gamma) \geq 8\pi - e^{-c\sqrt{\gamma}}$ and therefore converge in the varifold sense to a great sphere of multiplicity two as $\gamma \to \infty$; they cannot converge to a pair of orthogonal spheres.
- Every basic reflection surface obeys the universal upper bound $\tfrac{1}{2}\Lambda_1(M,\Gamma) \leq 8\pi - e^{-C|\chi(M)|}$, so the area gap can never be smaller than exponentially small in the Euler characteristic.
- Scherk-type pairs satisfy the polynomial bound $\tfrac{1}{2}\Lambda_1(M,\Gamma) \leq 8\pi - C_2/|\chi(M)|$, which is of the same order as the known area deficit of the Lawson surfaces; the paper conjectures equality in these cases.
- In $\mathbb{B}^3$, the Steklov extremal free boundary minimal surfaces have area gap controlled by $\max\{e^{-c'k}, C/\gamma\}$, and the two-plane-symmetric family realizes the slow $1/\gamma$ decay, matching the role of the Lawson surfaces.
Reading between the lines
- Beyond the paper: the Scherk-type/generic dichotomy suggests that for any equivariant eigenvalue maximizer, the varifold limit is either an orthogonal pair of spheres or a multiplicity-two equator; the same stability argument could be run on reflection groups not covered here to test this.
- Beyond the paper: the $e^{-c\sqrt{\gamma}}$ lower bound for generic pairs may not be sharp, since several constructions in Section 4 give $e^{-c\gamma}$ decay; a finer computation could separate the generic families into two exponential rates.
- Beyond the paper: the two-plane-symmetric free boundary family is the natural free-boundary stand-in for the Lawson surfaces; comparing it with the larger three-reflection group would decide whether adding symmetry lowers the extremal area, as the numerical evidence cited in the paper suggests.
- Beyond the paper: if the conjectured equality for Scherk-type pairs holds, the spectral optimization problem itself becomes a variational construction of the Lawson surfaces, giving an independent proof of their uniqueness among first-eigenfunction embeddings with those symmetries.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies the large-topology behavior of minimal surfaces in S^3 and free boundary minimal surfaces in B^3 obtained in the authors' earlier work with Kusner via equivariant optimization of the first Laplace and Steklov eigenvalues. For basic reflection pairs (M,Γ), the main results are: (i) for all sufficiently large genus, (1/2)Λ_1(M,Γ) ≥ Area(ξ_{γ,1}), with the generic cases satisfying (1/2)Λ_1 ≥ 8π − e^{-c√γ}; (ii) universal upper bounds (1/2)Λ_1 ≤ 8π − e^{-C|χ(M)|}, improved to 8π − C_2/|χ(M)| for Scherk-type pairs; (iii) a rapid varifold convergence statement for generic pairs, showing convergence to a multiplicity-two great sphere; and (iv) analogous Steklov estimates in B^3, including a family whose area gap is of order 1/|χ| and which the authors propose as the free boundary counterpart of the Lawson surfaces. The proofs combine explicit test-metric constructions with Dirichlet and Neumann eigenvalue estimates on domains in S^2 and D^2, stability arguments in the spirit of Karpukhin–Nahon–Polterovich–Stern and Karpukhin–Stern, and compactness/mean-value arguments for eigenfunctions.
Significance. If the results stand, they constitute a substantial step toward two well-known conjectures, Kusner's least-area conjecture for Lawson surfaces and Kapouleas's question on possible varifold limits of low-area minimal surfaces in S^3, at least for the large class of surfaces arising from equivariant eigenvalue optimization. The paper also gives the first sharp asymptotic dichotomy, exponential versus polynomial area gaps, among the constructed families, and identifies a plausible free boundary analogue of the ξ_{γ,1} surfaces. The lower bounds come from explicit test metrics with universal constants and no fitted parameters, and the upper bounds are derived from stability inequalities; the main analytic core, Lemma 6.2 and its Steklov analogue, is supplied with a proof. The paper is not self-contained: it relies substantially on the existence theory of [KKMS24] and on the Choe–Soret computation λ_1(ξ_{γ,1})=2, but these are legitimate independent inputs. The claims are precise and falsifiable, and the paper is a strong contribution to spectral geometry and minimal surface theory.
minor comments (6)
- [Title] The header of the paper reads 'SPECTRALL Y' and should be corrected to 'SPECTRALLY'.
- [Section 4.1] The corollary labelled 'Corollary 4.4' appears after Proposition 4.10; this numbering is out of sequence and should be corrected (for example by renumbering it as Corollary 4.11 or adjusting the intervening labels).
- [Section 6.1, proof of Theorem 1.9] There is a typo in the phrase 'Prposition 6.3', which should read 'Proposition 6.3'.
- [Section 6.1, proof of Lemma 6.2] In the boundary-term estimate near the end of the proof, the displayed inequality '|∂Ω_k| ≤ C∑ r_i ≤ C√(kε_k) < C√δ_k' is inconsistent with the hypothesis δ_k ≤ ε_k/k; the intended bound appears to be '≤ C√(kδ_k) ≤ C√ε_k', and the displayed estimate should be corrected accordingly.
- [Section 7.1, proof of Lemma 7.3] Lemma 7.4 is stated in the middle of the proof of Lemma 7.3 and then used in that proof; stating the auxiliary estimate before the proof of Lemma 7.3 would improve readability, since it is a separate input to the argument.
- [Proof of Theorem 1.5 completed] The application of Theorem 1.9 to a closed surface M is correct only after passing to the two halves of M in S^3_+; this passage is implicit and should be stated explicitly, since Theorem 1.9 is formulated for free boundary minimal surfaces.
Circularity Check
No circularity found: the area bounds are derived from explicit test metrics and independent stability estimates, not from fitted constants or self-citation chains.
full rationale
The paper's lower bounds for Λ1 and Σ1 come from direct constructions of test domains in S² and D, with eigenvalue estimates proven in Sections 3–5. The upper bounds come from stability arguments in Sections 6–7, centered on Lemmas 6.2 and 7.3, whose proofs use mean-value estimates, compactness, and W^{1,1} convergence to round-sphere eigenfunctions; they do not assume the conclusions they prove. The Scherk-type lower bound in Lemma 4.7 uses an explicit diffeomorphism to the Lawson surface and the independent eigenvalue computation λ1(ξγ,1)=2 of Choe–Soret [CS09], which is external evidence and not a restatement of the present results. The existence of the extremal surfaces is imported from the authors' prior paper [KKMS24], but that existence theorem is parameter-free, does not assume the area estimates proven here, and is used only as an input: the present paper proves new geometric bounds about those surfaces. Citations to [KNPS21, KS24] import stability techniques, not conclusions. No equation is defined in terms of a target quantity, and no fitted parameter is renamed as a prediction. The comparison with Area(ξγ,1) uses the independent asymptotics of [HHT23, CHHT24]. Overall, the derivation chain is self-contained given the stated existence theory, and no circular step is present.
Assumptions & free parameters
assumptions (8)
- standard math Uniformization theorem for compact surfaces with boundary: any metric on a genus-zero surface with boundary is conformal to S^2 minus a union of geodesic disks.
- standard math Classification of finite reflection groups on S^2 (tetrahedral, octahedral, icosahedral, Z2 × Dk, Dk, Z2, trivial).
- standard math Choe-Soret theorem: the first Laplace eigenvalue of Lawson surfaces ξ_{γ,1} is 2.
- standard math Existence of λ̄_1-maximizing metrics and associated minimal embeddings for orientable basic reflection pairs (M,Γ) with Γ=⟨τ⟩×G (KKMS24, Theorem 8.7).
- domain assumption Existence of σ̄_1-maximizing metrics for a large class of basic reflection pairs with boundary (KKMS24, Theorem 9.15), plus an announced extension by Petrides to all basic reflection pairs.
- standard math Montiel-Ros theorem: a conformal diffeomorphism of a minimal surface embedded by first eigenfunctions is an isometry.
- standard math Osgood-Phillips-Sarnak theorem: any metric on a surface with boundary is conformal to one with totally geodesic boundary.
- standard math Stability estimates for isoperimetric eigenvalue inequalities from Karpukhin-Nahon-Polterovich-Stern and Karpukhin-Stern.
Cite this review
Pith. "Pith review of Large topology asymptotics for spectrally extremal minimal surfaces in $\mathbb{B}^3$ and $\mathbb{S}^3$." pith.science (2026). https://pith.science/paper/2WQ4YEV3
@misc{pith2026250210225,
author = {Pith},
title = {Pith review of: Large topology asymptotics for spectrally extremal minimal surfaces in $\mathbbB^3$ and $\mathbbS^3$},
year = {2026},
howpublished = {\url{https://pith.science/paper/2WQ4YEV3}},
note = {Machine review of arXiv:2502.10225}
}
abstract
In recent work with Kusner, we developed a method, based on the equivariant optimization of Laplace and Steklov eigenvalues, for producing minimal surfaces of prescribed topology in low-dimensional balls and spheres. We used the method to construct many new minimal embeddings in $\mathbb{S}^3$ with area below $8\pi$, and many new free boundary minimal embeddings in $\mathbb{B}^3$ with area below $2\pi$. In this paper, we study the geometry of these surfaces in more detail, with an emphasis on studying sharp area estimates and varifold limits in the large Euler characteristic regime. This allows us to confirm some well-known conjectures regarding the space of low-area minimal surfaces in $\mathbb{S}^3$ in this class of examples and the special role played by Lawson's $\xi_{\gamma,1}$ surfaces. We also confirm analogous statements in $\mathbb{B}^3$ and identify a family of free boundary minimal surfaces in $\mathbb{B}^3$ most closely resembling $\xi_{\gamma,1}$.
Reference graph
Works this paper leans on
-
[1]
Conway, Heidi Burgiel, and Chaim Goodman-Strauss
John H. Conway, Heidi Burgiel, and Chaim Goodman-Strauss. The symmetries of things . A K Peters, Ltd., Wellesley, MA, 2008
work page 2008
-
[2]
Minimal surfaces and alternating multiple zetas
Steven Charlton, Lynn Heller, Sebastian Heller, and Martin Traizet. Minimal surfaces and alternating multiple zetas. arXiv preprint arXiv:2407.07130 , 2024
arXiv 2024
-
[3]
Tobias Holck Colding and William P. Minicozzi, II. A course in minimal surfaces , volume 121 of Graduate Studies in Mathematics . American Mathematical Society, Providence, RI, 2011
work page 2011
-
[4]
First eigenvalue of symmetric minimal surfaces in S^3
Jaigyoung Choe and Marc Soret. First eigenvalue of symmetric minimal surfaces in S^3 . Indiana Univ. Math. J. , 58(1):269--281, 2009
work page 2009
-
[5]
Giada Franz, Daniel Ketover, and Mario B Schulz. Genus one critical catenoid. arXiv preprint arXiv:2409.12588 , 2024
arXiv 2024
-
[6]
Free boundary minimal surfaces in the unit 3-ball
Abigail Folha, Frank Pacard, and Tatiana Zolotareva. Free boundary minimal surfaces in the unit 3-ball. Manuscripta Math. , 154(3-4):359--409, 2017
work page 2017
-
[7]
Sharp eigenvalue bounds and minimal surfaces in the ball
Ailana Fraser and Richard Schoen. Sharp eigenvalue bounds and minimal surfaces in the ball. Invent. Math. , 203(3):823--890, 2016
work page 2016
-
[8]
Topological control for min-max free boundary minimal surfaces
Giada Franz and Mario Schulz. Topological control for min-max free boundary minimal surfaces. arXiv preprint arXiv:2307.00941 , 2023
arXiv 2023
Show all 31 references
-
[9]
Area estimates for high genus L awson surfaces via DPW
Lynn Heller, Sebastian Heller, and Martin Traizet. Area estimates for high genus L awson surfaces via DPW . J. Differential Geom. , 124(1):1--35, 2023
2023
-
[10]
Extremal metric for the first eigenvalue on a K lein bottle
Dmitry Jakobson, Nikolai Nadirashvili, and Iosif Polterovich. Extremal metric for the first eigenvalue on a K lein bottle. Canad. J. Math. , 58(2):381--400, 2006
2006
-
[11]
Doubling and desingularization constructions for minimal surfaces
Nikolaos Kapouleas. Doubling and desingularization constructions for minimal surfaces. In Surveys in geometric analysis and relativity , volume 20 of Adv. Lect. Math. (ALM) , pages 281--325. Int. Press, Somerville, MA, 2011
2011
-
[12]
Minimal surfaces in the round three-sphere by doubling the equatorial two-sphere, I
Nikolaos Kapouleas. Minimal surfaces in the round three-sphere by doubling the equatorial two-sphere, I . J. Differential Geom. , 106(3):393--449, 2017
2017
-
[13]
Index of minimal spheres and isoperimetric eigenvalue inequalities
Mikhail Karpukhin. Index of minimal spheres and isoperimetric eigenvalue inequalities. Inventiones mathematicae , 223, 01 2021
2021
-
[14]
Embedded minimal surfaces in s3 and b3 via equivariant eigenvalue optimization
M Karpukhin, R Kusner, P McGrath, and D Stern. Embedded minimal surfaces in s3 and b3 via equivariant eigenvalue optimization. arXiv preprint arXiv:2402.13121 , 2024
2024 arXiv
-
[15]
Free boundary minimal surfaces in the unit three-ball via desingularization of the critical catenoid and the equatorial disc
Nikolaos Kapouleas and Martin Man-chun Li. Free boundary minimal surfaces in the unit three-ball via desingularization of the critical catenoid and the equatorial disc. J. Reine Angew. Math. , 776:201--254, 2021
2021
-
[16]
Minimal surfaces in the round three-sphere by doubling the equatorial two-sphere, II
Nikolaos Kapouleas and Peter McGrath. Minimal surfaces in the round three-sphere by doubling the equatorial two-sphere, II . Comm. Pure Appl. Math. , 72(10):2121--2195, 2019
2019
-
[17]
Generalizing the linearized doubling approach, I : G eneral theory and new minimal surfaces and self-shrinkers
Nikolaos Kapouleas and Peter McGrath. Generalizing the linearized doubling approach, I : G eneral theory and new minimal surfaces and self-shrinkers. Camb. J. Math. , 11(2):299--439, 2023
2023
-
[18]
On S teklov eigenspaces for free boundary minimal surfaces in the unit ball
Robert Kusner and Peter McGrath. On S teklov eigenspaces for free boundary minimal surfaces in the unit ball. Amer. J. Math. , 146(5):1275--1293, 2024
2024
-
[19]
Penskoi, and Iosif Polterovich
Mikhail Karpukhin, Nikolai Nadirashvili, Alexei V. Penskoi, and Iosif Polterovich. Conformally maximal metrics for L aplace eigenvalues on surfaces. In Surveys in differential geometry 2019. D ifferential geometry, C alabi- Y au theory, and general relativity. P art 2 , volume...
2019
-
[20]
Stability of isoperimetric inequalities for laplace eigenvalues on surfaces
Mikhail Karpukhin, Micka \"e l Nahon, Iosif Polterovich, and Daniel Stern. Stability of isoperimetric inequalities for laplace eigenvalues on surfaces. To appear in J. of Diff. Geom. preprint arXiv:2106.15043 , 2021
2021 arXiv
-
[21]
Karcher, U
H. Karcher, U. Pinkall, and I. Sterling. New minimal surfaces in S^3 . J. Differential Geom. , 28(2):169--185, 1988
1988
-
[22]
From S teklov to L aplace: free boundary minimal surfaces with many boundary components
Mikhail Karpukhin and Daniel Stern. From S teklov to L aplace: free boundary minimal surfaces with many boundary components. Duke Math. J. , 173(8):1557--1629, 2024
2024
-
[23]
Comparison surfaces for the W illmore problem
Rob Kusner. Comparison surfaces for the W illmore problem. Pacific J. Math. , 138(2):317--345, 1989
1989
-
[24]
The L awson surfaces are determined by their symmetries and topology
Nikolaos Kapouleas and David Wiygul. The L awson surfaces are determined by their symmetries and topology. J. Reine Angew. Math. , 786:155--173, 2022
2022
-
[25]
Blaine Lawson, Jr
H. Blaine Lawson, Jr. Complete minimal surfaces in S^ 3 . Ann. of Math. (2) , 92:335--374, 1970
1970
-
[26]
Minimal immersions of surfaces by the first eigenfunctions and conformal area
Sebasti\' a n Montiel and Antonio Ros. Minimal immersions of surfaces by the first eigenfunctions and conformal area. Invent. Math. , 83(1):153--166, 1986
1986
-
[27]
Nadirashvili
N. Nadirashvili. Berger's isoperimetric problem and minimal immersions of surfaces. Geom. Funct. Anal. , 6(5):877--897, 1996
1996
-
[28]
Metrics on a closed surface of genus two which maximize the first eigenvalue of the L aplacian
Shin Nayatani and Toshihiro Shoda. Metrics on a closed surface of genus two which maximize the first eigenvalue of the L aplacian. C. R. Math. Acad. Sci. Paris , 357(1):84--98, 2019
2019
-
[29]
Osgood, R
B. Osgood, R. Phillips, and P. Sarnak. Extremals of determinants of L aplacians. J. Funct. Anal. , 80(1):148--211, 1988
1988
-
[30]
Geometric spectral optimization on surfaces
Romain Petrides. Geometric spectral optimization on surfaces. arXiv preprint arXiv:2410.13347 , 2024
2024 arXiv
-
[31]
Problem section
Shing Tung Yau. Problem section. In Seminar on D ifferential G eometry , volume 102 of Ann. of Math. Stud. , pages 669--706. Princeton Univ. Press, Princeton, N.J., 1982
1982
Reviewed August 7, 2026 · model on record in the stance chip above.
Discussion (0). Sign in to comment.