Pith. sign in

REVIEW 4 minor 2 cited by

Eigenvalues on spheres

T0 review · 0 major / 4 minor · reviewed 2026-07-14 · grok-4.5

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

Pith's one-line read On two-spheres with curvature at least one, every Laplace eigenvalue is at least as large as on the unit round sphere, and equality forces the metric to be round.

desk verdict This settles the 2D Colding–Minicozzi spectral comparison and the sharp 3D harmonic-growth bound with rigidity; the ladder argument is clean and the singular analysis holds up. read the letter →

arxiv 2607.11544 v1 pith:73ETBGRY submitted 2026-07-13 math.DG math.SP

Shengjie Lin , Haibin Wang , Guoyi Xu This is my paper · ORCID
classification math.DGmath.SP MSC 58J5035P1553C2153C2353C2431C12
keywords Laplaceeigenvaluestwo-spherecurvaturelowerboundspectralcomparisonAlexandrovsurfacespolynomial-growthharmonicfunctionsladderoperatorsrigidity
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

This paper proves a sharp spectral comparison for the Laplace operator on the two-sphere under a curvature lower bound of one. For any smooth metric with Gaussian curvature at least one, each positive eigenvalue, counted with multiplicity, is at least as large as the corresponding eigenvalue of the unit round sphere; equality at any positive place in the ordered spectrum forces the metric to be the round one. The same comparison is upgraded to a finite counting statement for singular Alexandrov two-spheres of curvature at least one: at every round cluster threshold l(l+1), the number of eigenvalues up to that threshold cannot exceed the round count (l+1)^2, and equality again forces the space to be the unit sphere. The counting theorem then yields a sharp Euclidean upper bound on the dimension of polynomial-growth harmonic functions on complete three-manifolds with nonnegative sectional curvature and positive asymptotic volume ratio, together with rigidity when the bound is achieved.

What carries the argument

The abstract ladder-counting mechanism: a sequence of first-order partner operators B_m on successive Hilbert spaces whose kernels give an index shift, whose partner spectra agree, and whose consecutive quadratic forms satisfy a curvature-driven inequality; min-max then produces a recursion that compares eigenvalue counting functions to the round multiplicities 2m+1.

What would settle it

Exhibit a smooth metric on the two-sphere with Gaussian curvature at least one for which some positive ordered eigenvalue falls strictly below the corresponding round eigenvalue, or an Alexandrov two-sphere of curvature at least one whose eigenvalue counting function at some threshold l(l+1) exceeds (l+1)^2.

Watch

Extended reading notes

Core claim

On every smooth Riemannian two-sphere with Gaussian curvature at least one, the ordered Laplace spectrum is bounded below by the spectrum of the unit round sphere, with equality at any positive index forcing the metric to be isometric to the round metric. The same comparison holds for Alexandrov two-spheres of curvature at least one in the form of a sharp finite counting inequality at every round threshold l(l+1), and equality of the count forces the Alexandrov sphere to be the unit round sphere.

Load-bearing premise

The singular comparison rests on heat-kernel approximations that keep curvature at least one and on the claim that the maximal domains of the singular ladder operators still obey the same weak form inequality and holomorphic kernel bound that hold in the smooth case.

Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

0 major / 4 minor

Summary. The paper proves that for every smooth metric g on S^{2} with Gaussian curvature K_g ≥ 1, the ordered Laplace eigenvalues satisfy λ_i(S^{2},g) ≥ λ_i(S^{2},g_round) for all i ≥ 1, with equality at any positive index forcing g to be the unit round metric (Theorem 1.8). It extends this to a sharp finite counting comparison for Alexandrov two-spheres of curvature ≥ 1: N_{-Δ_X}(l(l+1)) ≤ (l+1)^{2}, with equality forcing the unit round sphere (Theorem 1.10). The proofs proceed via an abstract first-order ladder-counting mechanism (Section 2), realized first for rotationally symmetric metrics, then for general smooth metrics through line-bundle operators B_m on (T^{1,0}S^{2})^{⊗m} with a curvature-dependent Weitzenböck identity (Lemma 7.7) and kernel dimensions 2m+1, and finally for Alexandrov spheres via heat-kernel regularization, Mosco convergence of graphs/forms, atom exclusion, and an exact defect identity. As an application, complete 3-manifolds with K ≥ 0 and positive AVR satisfy dim H_d(M) ≤ (d+1)^{2} with rigidity (Theorem 1.12). An explicit conformal counterexample on S^{3} shows the ordered comparison fails in higher dimensions under Ricci lower bounds.

Significance. The result settles the two-dimensional case of the long-standing spectral comparison problem of Colding–Minicozzi (and the related Question 1.5) and yields the sharp Euclidean dimension bound for polynomial-growth harmonic functions on three-manifolds with nonnegative sectional curvature and positive AVR, including rigidity. The abstract ladder mechanism, the global bundle construction, the complex-geometric reformulation via Dolbeault/Bochner–Kodaira, and the careful singular analysis (Mosco convergence, atom exclusion, defect identity) form a coherent and reusable toolkit. The S^{3} counterexample cleanly delineates the two-dimensional character of the method. The manuscript is self-contained, with explicit dependency flowcharts and complete proofs; residual technical risk is ordinary for singular spectral geometry rather than a structural gap.

minor comments (4)
  1. The abstract and introduction state the main theorems clearly, but a short dictionary table mapping the four geometric realizations (rotational, smooth Riemannian, complex-geometric, Alexandrov) to the abstract objects of Section 2 would help readers navigate the long manuscript.
  2. In Section 11 the conformal factor u is shown to be bounded from below (Lemma 11.2); a one-line remark that the same Green-kernel argument also controls the local integrability of the weights e^{2(m+1)U} away from the finite set S_m would make the density argument in Lemma 11.5 more self-contained.
  3. The football example (Example 17.3) is well chosen; adding a brief citation to the classical literature on spherical metrics with two conical singularities (already present via Troyanov) in the introduction when single-eigenvalue rigidity is first discussed would orient non-specialists earlier.
  4. A few typographical inconsistencies appear (e.g., “EIGENV ALUES”, occasional spacing around operators). A final copy-edit pass would remove them without affecting content.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: eigenvalue comparison is derived from curvature form inequalities plus independent kernel dimensions via an abstract min-max ladder, not by redefining the target spectrum.

full rationale

The paper isolates a general partner-spectrum / index-shift / min-max recursion (Section 2, Lemmas 2.2–2.3, Propositions 2.4–2.6, Corollary 2.7) whose only geometric inputs are (i) a closed first-order ladder with form order Dom(c_m) ⊂ Dom(a_{m+1}) and c_m ≥ a_{m+1} coming from the curvature lower bound K ≥ 1 (or its measure-theoretic analogue), and (ii) kernel dimensions r_m ≤ 2m+1 (or =1 in the radial case) obtained independently by explicit radial ODE analysis, stereographic polynomials, or Riemann–Roch/Serre duality on CP^{1}. The round spectrum enters solely as the comparison model whose multiplicities match those dimensions; the ordered inequalities λ_i(g) ≥ λ_i(round) and the finite counting N(l(l+1)) ≤ (l+1)^{2} are then ordinary consequences of the recursion, not tautologies. Equality cases are handled by strictness of the form defect when K ≢ 1 (or by saturation forcing the defect measure ν_X = 0). Approximation to Alexandrov spheres (heat regularization, Mosco convergence of graphs/forms, distributional ∂̄ + Weyl lemma) preserves the same one-sided inequalities without redefining the spectrum. There are no fitted parameters, no self-definitional normalizations, and no load-bearing uniqueness theorems imported from the authors’ prior work; the single self-citation [Xu16] is used only for a non-sharp existence remark. The derivation is therefore self-contained against the external round model.

Assumptions & free parameters 0 free parameters · 5 assumptions · 0 invented entities

The paper works entirely within standard Riemannian, complex, and Alexandrov geometry. No free parameters are fitted. The only domain assumptions are the curvature lower bounds and the existence of the canonical Laplacian on Alexandrov surfaces; all other ingredients (Riemann–Roch, Mosco convergence, heat-kernel regularization, Bishop–Gromov, Perelman stability) are classical theorems invoked with citations. No new physical or geometric entities are postulated.

assumptions (5)
  • standard math Standard elliptic regularity, Rellich compactness, and min-max principle for self-adjoint operators with compact resolvent on compact manifolds.
    Used throughout Sections 2, 7–9 to convert form inequalities into eigenvalue and counting comparisons.
  • standard math Riemann–Roch and Serre duality on compact Riemann surfaces of genus 0 give dim H^{0}(CP^{1}, K^{-m}) = 2m+1.
    Lemma 10.2 and the kernel computation for the smooth and singular ladders.
  • domain assumption Alexandrov surfaces of curvature ≥1 admit a conformal representation g_X = e^{2u} g_0 with curvature measure ω_X ≥ dA_X, and heat regularization preserves the curvature bound.
    Section 11 (Troyanov, Reshetnyak, Machigashira); essential for the singular comparison.
  • domain assumption Mosco convergence of graphs and quadratic forms under the heat regularization, together with spectral convergence of the regularized metrics.
    Lemmas 12.2–12.5, Proposition 12.6, Lemma 11.9 (Shi); transfers the smooth ladder inequality to the limit.
  • domain assumption Bishop–Gromov volume comparison and its equality case, and uniqueness of the tangent cone at infinity for noncollapsed nonnegatively curved 3-manifolds.
    Section 17; converts the Alexandrov counting rigidity into the Euclidean rigidity of the manifold.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Eigenvalues on spheres." pith.science (2026). https://pith.science/paper/73ETBGRY

@misc{pith2026260711544,
  author       = {Pith},
  title        = {Pith review of: Eigenvalues on spheres},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/73ETBGRY}},
  note         = {Machine review of arXiv:2607.11544}
}
read the original abstract

For every smooth Riemannian metric on the two sphere whose Gaussian curvature is bounded below by one, we prove that each positive Laplace eigenvalue, counted with multiplicity, is no smaller than the corresponding eigenvalue of the unit round sphere. Equality at any positive position in the ordered spectrum forces the metric to be isometric to the unit round metric. We further establish a sharp finite spectral counting comparison for Alexandrov two spheres with curvature bounded below by one. At every positive spectral threshold of the unit round sphere, the number of Laplace eigenvalues below or at that threshold, counted with multiplicity, does not exceed the corresponding number for the round sphere. Equality at any such threshold forces the Alexandrov sphere to be isometric to the unit round sphere. As an application, we obtain the sharp Euclidean dimension bound for spaces of polynomial growth harmonic functions on complete three dimensional manifolds with nonnegative sectional curvature and positive asymptotic volume ratio, together with rigidity in the equality case.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 2 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Contraction Maps Generated by Inverse Mean Curvature Flow

    math.DG 2026-07 conditional novelty 8.0 of 10

    Inverse mean curvature flow produces 1-Lipschitz measure-preserving maps from the round sphere onto every smooth two-sphere of Gaussian curvature at least one, resolving E. Milman's contraction conjecture in dimension two.

  2. Dimension of polynomial growth harmonic functions on locally conformally flat manifolds with nonnegative Ricci curvature

    math.DG 2026-08 conditional novelty 7.0 of 10

    For complete locally conformally flat manifolds with nonnegative Ricci curvature, the space of polynomial-growth harmonic functions is no larger than in Euclidean space, and maximal dimension forces flatness.

Reference graph

Works this paper leans on

13 extracted references · 6 canonical work pages · cited by 2 Pith papers

  1. [1]

    [Ary26] Shrey Aryan,Spectral obstructions to contracting transport maps on curved spaces (2026)

    [AN54] Yasuo Akizuki and Shigeo Nakano,Note on Kodaira–Spencer’s proof of Lef- schetz theorems, Proceedings of the Japan Academy30(1954), 266–272, DOI 10.3792/pja/1195526105. [Ary26] Shrey Aryan,Spectral obstructions to contracting transport maps on curved spaces (2026). arXiv:2605.24705. [ABR01] Sheldon Axler, Paul Bourdon, and Wade Ramey,Harmonic Functi...

    work page doi:10.3792/pja/1195526105 1954

  2. [2]

    Burago, M

    [BGP92] Yu. Burago, M. Gromov, and G. Perel’man,A. D. Alexandrov spaces with curvatures bounded below, Russian Mathematical Surveys47(1992), no. 2, 1–58. [Can13] Yaiza Canzani,Analysis on Manifolds via the Laplacian,

    1992

  3. [3]

    64, 66, and Theorem 44 on p

    Math 253 lecture notes, Fall 2013, especially pp. 64, 66, and Theorem 44 on p

    2013

  4. [4]

    Cheeger, T

    [CCM95] J. Cheeger, T. H. Colding, and William P. Minicozzi II,Linear growth harmonic functions on complete manifolds with nonnegative Ricci curvature, Geom. Funct. Anal.5(1995), no. 6, 948–954. [CY75] Shiu-Yuen Cheng and Shing-Tung Yau,Differential equations on Riemannian manifolds and their geometric applications, Comm. Pure Appl. Math.28(1975), no. 3, ...

    work page doi:10.1002/cpa.3160280303 1995

  5. [5]

    [Don01] Harold Donnelly,Harmonic functions on manifolds of nonnegative Ricci curvature, Inter- nat. Math. Res. Notices8(2001), 429–434. [GH94] Phillip Griffiths and Joseph Harris,Principles of algebraic geometry, Wiley Classics Li- brary, John Wiley & Sons, New York,

    2001

  6. [6]

    Harmonic functions with polynomial growth on manifolds with nonnegative Ricci curvature

    Reprint of the 1978 original. [Hua23] Xian-Tao Huang,Harmonic functions with polynomial growth on manifolds with nonneg- ative Ricci curvature, Calc. Var. Partial Differential Equations62(2023), no. 4, Paper No. 111, 21, DOI 10.1007/s00526-023-02456-z. arXiv:2109.07534. [Jos06] J ¨urgen Jost,Compact Riemann surfaces, 3rd ed., Universitext, Springer-Verlag...

    work page Pith review arXiv doi:10.1007/s00526-023-02456-z 1978

  7. [7]

    [Kap07] Vitali Kapovitch,Perelman’s stability theorem, Surveys in Differential Geometry11 (2007), 103–136. [Kod53] Kunihiko Kodaira,On a differential-geometric method in the theory of analytic stacks, Proceedings of the National Academy of Sciences of the United States of America39 (1953), no. 12, 1268–1273, DOI 10.1073/pnas.39.12.1268. [Li97] Peter Li,Ha...

    doi:10.1073/pnas.39.12.1268 2007

  8. [8]

    Fall 2021 lecture notes, especially pp. 23–26. [Non23] ,Introduction to Spectral Theory,

    2021

Show all 13 references
  1. [9]

    117, and Theorem 8.1.1 with Proposition 8.1.3, pp

    Fall 2023 lecture notes; see Proposi- tion 7.2.4, p. 117, and Theorem 8.1.1 with Proposition 8.1.3, pp. 125–127. [P´ol54] George P ´olya,Induction and analogy in mathematics, Mathematics and plausible reason- ing. V ol. I, Princeton University Press, Princeton, NJ,

    2023

  2. [10]

    London Math

    [P´ol61] ,On the eigenvalues of vibrating membranes, Proc. London Math. Soc.11(1961), 419–433. [Res93] Yu. G. Reshetnyak,Two-dimensional manifolds of bounded curvature, Geometry IV, 1993, pp. 3–163. See especially Theorem 7.1.1, p. 100, and the proofs in §7.3, pp. 112–

    1961

  3. [11]

    [Ric18] Thomas Richard,Canonical smoothing of compact Aleksandrov surfaces via Ricci flow, Ann. Sci. ´Ec. Norm. Sup ´er. (4)51(2018), no. 2, 263–279, DOI 10.24033/asens.2356 EIGENV ALUES ON SPHERES 87 (English, with English and French summaries). See especially Lemma 2.3, pp. ...

    2018 doi

  4. [12]

    2, 208–228, DOI 10.1007/BF02564483

    MR3798303 [Shi94] Takashi Shioya,Mass of rays in Alexandrov spaces of nonnegative curvature, Commen- tarii Mathematici Helvetici69(1994), no. 2, 208–228, DOI 10.1007/BF02564483. [Shi01] ,Convergence of Alexandrov spaces and spectrum of Laplacian, J. Math. Soc. Japan53(2001), n...

    1994 doi

  5. [13]

    Ann.366(2016), no

    [Xu16] Guoyi Xu,Three circles theorems for harmonic functions, Math. Ann.366(2016), no. 3-4, 1281–1317, DOI 10.1007/s00208-016-1366-5. MR3563238 [Yau92] Shing-Tung Yau,Open problems in geometry, Chern–a great geometer of the twentieth century, International Press, Hong Kong, 1...

    2016 doi

Pith tools

Reviewed July 14, 2026 · model on record in the stance chip above.