Eigenvalue Estimates for Schr\"odinger Operators on Ricci Shrinkers
Pith reviewed 2026-05-25 03:20 UTC · model grok-4.3
The pith
On complete Ricci shrinkers the lowest eigenvalue of -Δ + R/4 + V is bounded from below by an integral expression involving V and the shrinker entropy.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
Let (M, g, f, τ) be a complete Ricci shrinker satisfying Ric + ∇²f = g/(2τ). For any confined function V the lowest eigenvalue λ of -Δ + R/4 + V satisfies λ ≥ (integral of V against the entropy measure) / (normalization constant), with equality characterized by the potential functions on the shrinker. The identical technique yields a lower bound via the μ-functional on general manifolds and, on the shrinker itself, a lower bound for the drifted operator -Δ_f + V that holds with equality if and only if V is affine.
What carries the argument
The Ricci shrinker equation Ric + ∇²f = g/(2τ) together with Perelman's μ-functional, which produces the weighted measure and entropy used to form the integral lower bound.
If this is right
- The eigenvalue is controlled by the average of V taken with respect to the Gaussian measure induced by the shrinker.
- Equality holds precisely when V is a linear combination of the coordinate functions or other potential functions on the shrinker.
- The same integral bound applies to the drifted Schrödinger operator -Δ_f + V on the shrinker.
- The estimate extends verbatim to complete Riemannian manifolds through Perelman's μ-functional.
Where Pith is reading between the lines
- The bound supplies a stability criterion for shrinkers under potential perturbations that preserve the entropy integral.
- On the Gaussian soliton the result recovers a weighted Poincaré inequality for the harmonic oscillator.
- The characterization of equality cases may be used to classify steady or shrinking solitons whose potentials satisfy additional curvature conditions.
Load-bearing premise
The manifold must be a complete Ricci shrinker obeying the structural equation Ric + Hess f = g/(2τ).
What would settle it
Compute the exact lowest eigenvalue of -Δ + R/4 + V on the flat Gaussian shrinker for a concrete confined V such as a linear function and compare the numerical value directly with the integral expression supplied by the theorem.
read the original abstract
Let $(M, g, f, \tau)$ be a complete Ricci shrinker satisfying $\textrm{Ric}+\nabla^2f=\frac{g}{2\tau}$ and let $R$ denote its scalar curvature. For a confined function $V$ on $M$, we obtain a lower bound for the lowest eigenvalue of the Schr\"odinger operator $-\Delta+\frac{R}{4}+V$, expressed in terms of an integral quantity involving $V$ and the shrinker entropy, and the equality case is characterized by the potential functions. We further generalize this estimate to complete Riemannian manifolds via Perelman's $\mu$-functional. We also study the drifted Schr\"odinger operator $-\Delta_f+V$ on smooth metric measure spaces. In particular, on Ricci shrinkers, we derive a lower bound for its lowest eigenvalue, with equality if and only if $V$ is affine.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript derives lower bounds for the lowest eigenvalue of the Schrödinger operator −Δ + R/4 + V on a complete Ricci shrinker (M, g, f, τ) satisfying Ric + ∇²f = g/(2τ). The bound is expressed via an integral quantity involving the confined potential V and the shrinker entropy, with equality characterized by the potential functions. The estimate is generalized to arbitrary complete Riemannian manifolds using Perelman's μ-functional. A parallel lower bound is obtained for the drifted operator −Δ_f + V on smooth metric measure spaces, with equality if and only if V is affine.
Significance. If correct, the results supply concrete spectral estimates that directly incorporate the shrinker entropy and Perelman's μ-functional, thereby linking eigenvalue problems to the analytic and geometric structures central to Ricci-flow theory. The equality cases furnish rigidity-type characterizations that may prove useful in classification or stability questions for shrinkers. The extension to the drifted operator on general smooth metric measure spaces broadens the scope beyond the shrinker setting.
minor comments (2)
- [Abstract] The term 'confined function' is used in the abstract and presumably in the main text without an explicit definition or reference to its precise meaning (e.g., integrability or decay conditions with respect to the shrinker measure). Adding a short clarifying sentence would improve readability.
- Notation for the drifted Laplacian −Δ_f and the measure dμ = e^{-f} dvol should be introduced uniformly at the first appearance to avoid any ambiguity when the drifted operator is treated in later sections.
Simulated Author's Rebuttal
We thank the referee for their positive summary of the manuscript, the assessment of its significance, and the recommendation of minor revision. No specific major comments or criticisms were raised in the report.
Circularity Check
No circularity: bounds derived from independent shrinker equation and Perelman's μ-functional
full rationale
The derivation relies on the defining Ricci shrinker equation Ric + ∇²f = g/(2τ) and Perelman's μ-functional, both established independently in prior literature (Perelman 2002). The eigenvalue lower bound for -Δ + R/4 + V is expressed via an integral against the shrinker measure, with equality cases characterized directly from these structural assumptions. No step reduces the claimed inequality to a fitted parameter, self-definition, or self-citation chain by construction. The generalization to drifted operators and smooth metric measure spaces follows similarly without internal reduction. The abstract and claim are self-contained against external benchmarks.
Axiom & Free-Parameter Ledger
axioms (2)
- domain assumption The manifold satisfies Ric + ∇²f = g/(2τ) and is complete.
- standard math Perelman's μ-functional is well-defined and differentiable on complete Riemannian manifolds.
Reference graph
Works this paper leans on
-
[1]
D. Bakry and Michel ´Emery,Diffusions hypercontractives, S´ eminaire de prob- abilit´ es, XIX, 1983/84, Lecture Notes in Math., vol. 1123, Springer, Berlin, 1985, pp. 177–206, DOI 10.1007/BFb0075847 (French). MR0889476 17
-
[2]
Huai-Dong Cao,Recent progress on Ricci solitons, Recent advances in geo- metric analysis, Adv. Lect. Math. (ALM), vol. 11, Int. Press, Somerville, MA, 2010, pp. 1–38. MR2648937
work page 2010
-
[3]
Differential Geom.85(2010), no
Huai-Dong Cao and Detang Zhou,On complete gradient shrinking Ricci soli- tons, J. Differential Geom.85(2010), no. 2, 175–185. MR2732975
work page 2010
-
[4]
Differential Geom.82 (2009), no
Bing-Long Chen,Strong uniqueness of the Ricci flow, J. Differential Geom.82 (2009), no. 2, 363–382. MR2520796
work page 2009
-
[5]
Xu Cheng and Detang Zhou,Eigenvalues of the drifted Laplacian on complete metric measure spaces, Commun. Contemp. Math.19(2017), no. 1, 1650001, 17, DOI 10.1142/S0219199716500012. MR3575913
-
[6]
,Rigidity of four-dimensional gradient shrinking Ricci solitons, J. Reine Angew. Math.802(2023), 255–274, DOI 10.1515/crelle-2023-0042. MR4635343
-
[7]
Part I, Mathematical Surveys and Monographs, vol
Bennett Chow, Sun-Chin Chu, David Glickenstein, Christine Guenther, James Isenberg, Tom Ivey, Dan Knopf, Peng Lu, Feng Luo, and Lei Ni,The Ricci flow: techniques and applications. Part I, Mathematical Surveys and Monographs, vol. 135, American Mathematical Society, Providence, RI, 2007. Geometric aspects. MR2302600
work page 2007
-
[8]
Franciele Conrado,Rigidity for the logarithmic Sobolev inequality on complete metric measure spaces, Arch. Math. (Basel)121(2023), no. 3, 279–286, DOI 10.1007/s00013-023-01906-6. MR4632830
-
[9]
Frank,Minimizing Schr¨ odinger eigenvalues for confining potentials, Adv
Rupert L. Frank,Minimizing Schr¨ odinger eigenvalues for confining potentials, Adv. Nonlinear Stud.25(2025), no. 4, 1025–1031, DOI 10.1515/ans-2023-0169. MR4974401
-
[10]
Hamilton,The formation of singularities in the Ricci flow, Surveys in differential geometry, Vol
Richard S. Hamilton,The formation of singularities in the Ricci flow, Surveys in differential geometry, Vol. II (Cambridge, MA, 1993), Int. Press, Cambridge, MA, 1995, pp. 7–136. MR1375255
work page 1993
-
[11]
Olivier Labl´ ee,Spectral theory in Riemannian geometry, EMS Textbooks in Mathematics, European Mathematical Society (EMS), Z¨ urich, 2015
work page 2015
-
[12]
Elliott H. and Thirring Lieb Walter,Inequalities for the moments of the eigen- values of the Schr¨ odinger Hamiltonian and their relation to Sobolev inequali- ties, Studies in Mathematical Physics, 1976, pp. 269–303. MR0525624
work page 1976
-
[13]
J. B. Keller,Lower bounds and isoperimetric inequalities for eigenvalues of the Schr¨ odinger equation, J. Mathematical Phys.2(1961), 262–266, DOI 10.1063/1.1703708. MR0121101
-
[14]
Frank Morgan,Manifolds with density, Notices Amer. Math. Soc.52(2005), no. 8, 853–858. MR2161354
work page 2005
-
[15]
Ovidiu Munteanu and Jiaping Wang,Geometry of shrinking Ricci solitons, Compos. Math.151(2015), no. 12, 2273–2300, DOI 10.1112/S0010437X15007496. MR3433887
-
[16]
Setti,Remarks on non- compact gradient Ricci solitons, Math
Stefano Pigola, Michele Rimoldi, and Alberto G. Setti,Remarks on non- compact gradient Ricci solitons, Math. Z.268(2011), no. 3-4, 777–790, DOI 10.1007/s00209-010-0695-4. MR2818729
-
[17]
325, Cambridge University Press, Cambridge, 2006
Peter Topping,Lectures on the Ricci flow, London Mathematical Society Lec- ture Note Series, vol. 325, Cambridge University Press, Cambridge, 2006. 18 CHENG, CONRADO, PINHEIRO, AND ZHOU (Xu Cheng)Instituto de Matem´atica e Estat´ıstica, Universidade Fed- eral Fluminense, S˜ao Domingos, Niter ´oi, RJ 24210-201, Brazil Email address:xucheng@id.uff.br (Franc...
work page 2006
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.