Scalar curvature, sharp bottom spectrum and geometric rigidity
Pith reviewed 2026-06-27 08:31 UTC · model grok-4.3
The pith
Closed manifolds with scalar curvature at least -n(n-1) and equality in the sharp bottom spectrum must be hyperbolic under topological assumptions.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
We prove rigidity in the equality case of the sharp bottom spectrum estimate under scalar curvature lower bound. Under the same topological assumptions as in our previous work, a closed manifold (M,g) with Sc_g ≥ -n(n-1) and λ₁(̃M,̃g)=(n-1)²/4 must be hyperbolic. This gives rigidity results for closed hyperbolic manifolds and for closed manifolds admitting a metric of nonpositive sectional curvature.
What carries the argument
The equality case λ₁(̃M,̃g) = (n-1)²/4 of the bottom spectrum on the universal cover, which combines with the scalar curvature bound Sc_g ≥ -n(n-1) to force the manifold to be hyperbolic.
If this is right
- Closed hyperbolic manifolds satisfy the rigidity conclusion under the stated conditions.
- Closed manifolds that admit a metric of nonpositive sectional curvature are rigid in the same sense.
- The equality case of the bottom spectrum estimate forces hyperbolicity when the scalar curvature bound holds.
Where Pith is reading between the lines
- The result may supply a spectral criterion for detecting hyperbolicity in manifolds already known to satisfy negative curvature bounds.
- Similar rigidity statements could be tested on manifolds whose fundamental groups satisfy the same topological conditions but whose curvature is only controlled in an average sense.
- The technique might extend to rigidity questions involving other operators on the universal cover beyond the Laplacian.
Load-bearing premise
The topological assumptions inherited from the authors' previous work are needed for the conclusion that the manifold must be hyperbolic.
What would settle it
A closed manifold satisfying Sc_g ≥ -n(n-1), λ₁(̃M,̃g) exactly equal to (n-1)²/4, and the topological assumptions, yet failing to be hyperbolic, would falsify the claim.
read the original abstract
We prove rigidity in the equality case of the sharp bottom spectrum estimate under scalar curvature lower bound. Under the same topological assumptions as in our previous work, a closed manifold $(M,g)$ with $\mathrm{Sc}_g\geq -n(n-1)$ and $\lambda_1(\widetilde M,\widetilde g)=(n-1)^2/4$ must be hyperbolic. This gives rigidity results for closed hyperbolic manifolds and for closed manifolds admitting a metric of nonpositive sectional curvature.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript proves a rigidity theorem for closed Riemannian manifolds: under the same topological assumptions as the authors' previous work, if Sc_g ≥ -n(n-1) and the bottom of the spectrum λ₁(̃M, ̃g) equals (n-1)²/4, then (M,g) is hyperbolic. The result is applied to obtain rigidity for closed hyperbolic manifolds and for closed manifolds admitting a metric of nonpositive sectional curvature.
Significance. If correct, the result links a scalar curvature lower bound to spectral rigidity on the universal cover, yielding geometric conclusions about hyperbolicity. The extension to manifolds with nonpositive sectional curvature broadens the scope beyond constant-curvature cases and may connect to existing rigidity theorems in geometric analysis.
major comments (1)
- [Introduction] Introduction (or the paragraph stating the main theorem): The topological assumptions are referred to only as 'the same topological assumptions as in our previous work' without being restated or characterized. Because the rigidity conclusion is conditional on these hypotheses, their explicit formulation is required to determine the precise scope of the theorem and to verify that the analytic conditions (Sc_g ≥ -n(n-1) and λ₁ = (n-1)²/4) together with the assumptions indeed force hyperbolicity.
minor comments (1)
- [Abstract] Abstract: The notation (̃M, ̃g) for the universal cover is used without a preceding definition; while common in the field, a brief clarification would improve readability for a broader audience.
Simulated Author's Rebuttal
We thank the referee for the constructive comment on improving the clarity of the main result. We address the point below.
read point-by-point responses
-
Referee: [Introduction] Introduction (or the paragraph stating the main theorem): The topological assumptions are referred to only as 'the same topological assumptions as in our previous work' without being restated or characterized. Because the rigidity conclusion is conditional on these hypotheses, their explicit formulation is required to determine the precise scope of the theorem and to verify that the analytic conditions (Sc_g ≥ -n(n-1) and λ₁ = (n-1)²/4) together with the assumptions indeed force hyperbolicity.
Authors: We agree that restating the topological assumptions explicitly will make the scope of the theorem clearer and easier to verify. In the revised version we will include a precise formulation of these assumptions (as stated in our previous work) directly in the introduction and in the statement of the main theorem. revision: yes
Circularity Check
Rigidity conclusion rests on unspecified topological assumptions from authors' prior work
specific steps
-
self citation load bearing
[Abstract]
"Under the same topological assumptions as in our previous work, a closed manifold (M,g) with Sc_g ≥ -n(n-1) and λ₁(̃M,̃g)=(n-1)²/4 must be hyperbolic."
The load-bearing rigidity claim (hyperbolicity from the given curvature and spectral equality) is asserted only under topological hypotheses imported from the authors' own prior paper; those hypotheses are neither restated nor independently verified in the present work, so the central geometric conclusion reduces to the content of the self-citation.
full rationale
The paper's central rigidity statement is explicitly conditioned on 'the same topological assumptions as in our previous work' without restating or deriving them here. This creates a self-citation load-bearing dependency for the equality-case conclusion, though the analytic conditions (scalar curvature bound and bottom spectrum equality) appear to be handled independently within the current manuscript. No reduction of fitted parameters or self-definitional equations is exhibited in the provided text.
Axiom & Free-Parameter Ledger
Reference graph
Works this paper leans on
-
[1]
MR 3410545
Jean-Pierre Bourguignon, Oussama Hijazi, Jean-Louis Milhorat, Andrei Moroianu, and Sergiu Moroianu,A spinorial approach to Riemannian and conformal geometry, EMS Monographs in Mathematics, European Mathematical Society (EMS), Z¨ urich, 2015. MR 3410545
2015
-
[2]
Z.143 (1975), no
Shiu Yuen Cheng,Eigenvalue comparison theorems and its geometric applications, Math. Z.143 (1975), no. 3, 289–297. MR 378001
1975
-
[3]
Demetre Kazaras, Antoine Song, and Kai Xu,Scalar curvature and volume entropy of hyperbolic 3-manifolds, J. Eur. Math. Soc. (2025), arXiv:2312.00138
arXiv 2025
-
[4]
Differential Geom.85(2010), no
Fran¸cois Ledrappier and Xiaodong Wang,An integral formula for the volume entropy with appli- cations to rigidity, J. Differential Geom.85(2010), no. 3, 461–477. MR 2739810
2010
-
[5]
134, Cambridge University Press, Cambridge, 2012
Peter Li,Geometric analysis, Cambridge Studies in Advanced Mathematics, vol. 134, Cambridge University Press, Cambridge, 2012. MR 2962229
2012
-
[6]
Differential Geom.58 (2001), no
Peter Li and Jiaping Wang,Complete manifolds with positive spectrum, J. Differential Geom.58 (2001), no. 3, 501–534. MR 1906784
2001
-
[7]
,Complete manifolds with positive spectrum. II, J. Differential Geom.62(2002), no. 1, 143–162. MR 1987380
2002
-
[8]
Gang Liu,A short proof to the rigidity of volume entropy, Math. Res. Lett.18(2011), no. 1, 151–153. MR 2756006 SCALAR CUR V ATURE, SHARP BOTTOM SPECTRUM AND GEOMETRIC RIGIDITY 19
2011
-
[9]
Ovidiu Munteanu and Jiaping Wang,Bottom spectrum of three-dimensional manifolds with scalar curvature lower bound, J. Funct. Anal.287(2024), no. 2, Paper No. 110457, 41. MR 4736650
2024
-
[10]
Hautes ´Etudes Sci
Jonathan Rosenberg,C ∗-algebras, positive scalar curvature, and the Novikov conjecture, Inst. Hautes ´Etudes Sci. Publ. Math. (1983), no. 58, 197–212 (1984). MR 720934
1983
-
[11]
Jinmin Wang and Bo Zhu,Sharp bottom spectrum and scalar curvature rigidity, Preprint, arXiv:2408.08245, 2024
Pith/arXiv arXiv 2024
-
[12]
Xiaodong Wang,Harmonic functions, entropy, and a characterization of the hyperbolic space, J. Geom. Anal.18(2008), no. 1, 272–284. MR 2365675 (Jinmin Wang)Institute of Mathematics, Chinese Academy of Sciences Email address:jinmin@amss.ac.cn (Bo Zhu)Yau Mathematical Sciences Center, Tsinghua University Email address:zhub@tsinghua.edu.cn
2008
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.