Pith. sign in

REVIEW 3 major objections 7 minor 1 cited by

Bottom spectrum and parabolicity of 3-manifolds with scalar curvature lower bound

T0 review · 3 major / 7 minor · reviewed 2026-07-08 · glm-5.2

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

Pith's one-line read Scalar curvature caps the spectrum in 3-manifolds

desk verdict Clean, sharp results; the one-end reduction needs a sentence but the proofs are solid read the letter →

arxiv 2607.06508 v1 pith:KCRAZXBK submitted 2026-07-07 math.DG

Ovidiu Munteanu , Jiaping Wang This is my paper
classification math.DG MSC 53C2058J5035P15
keywords scalarcurvaturebottomspectrumLaplacianparabolicityGreen'sfunctionmu-bubbles3-manifoldseigenvaluebound
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 that for complete noncompact three-dimensional Riemannian manifolds with scalar curvature bounded below by −6K (K ≥ 0), the bottom of the Laplacian spectrum satisfies λ₁(M) ≤ K, provided the manifold has finitely many ends and finite first Betti number. This parallels Cheng's classical eigenvalue bound under a Ricci curvature lower bound, but here the hypothesis is strictly scalar curvature — a weaker geometric condition. The constant K is sharp, matching the scalar curvature bound exactly. The topological assumptions are necessary: without them, counterexamples exist (manifolds with infinitely many ends or nonamenable fundamental group can have positive bottom spectrum even with positive scalar curvature). A second result shows that when the scalar curvature is bounded below by a positive constant under the same topological hypotheses, the manifold admits no positive Green's function — it is parabolic.

What carries the argument

Warped μ-bubbles (surfaces stationary for a prescribed mean curvature functional), the second variation formula rearranged via a Schoen-Yau trick, the positive eigenfunction of the Laplacian as warping function, and Gauss-Bonnet applied to the separating surfaces.

What would settle it

A complete noncompact 3-manifold with scalar curvature S ≥ −6K, finitely many ends, finite first Betti number, but λ₁(M) > K would falsify the main theorem. Conversely, if the μ-bubble regularity or the second variation rearrangement fails for the specific warping and height functions used, the proof collapses.

Watch

Extended reading notes

Core claim

The central mechanism is the use of warped μ-bubbles — surfaces that are stationary for a prescribed mean curvature functional — to extract compact separating surfaces in the annular region of the manifold's end. By choosing the warping function as a power of the positive eigenfunction corresponding to the bottom spectrum, and choosing the prescribed mean curvature function h to blow up at the annular boundaries, the second variation formula for these μ-bubbles yields uniform area and energy bounds on the separating surfaces. These bounds force the manifold to have finite volume, contradicting the positivity of the bottom spectrum. The argument is a contradiction scheme: assuming λ₁ > K, one

Load-bearing premise

The entire argument depends on the existence and regularity of smooth warped μ-bubbles in the annular regions, which is guaranteed by citing prior work for dimensions at most 7. If the second variation formula fails to apply cleanly in any edge case of the construction, or if the reduction to one end does not hold independently for each end, the eigenvalue bounds would not hold.

Editorial extensions

If this is right

  • Manifolds with nonnegative scalar curvature, finitely many ends, and finite first Betti must have zero bottom spectrum, meaning they support no L² harmonic functions and are spectrally degenerate at the bottom.
  • The parabolicity result implies such manifolds with uniformly positive scalar curvature cannot sustain nonconstant positive harmonic functions, constraining the potential theory and heat flow behavior on these spaces.
  • The volume growth estimate (Theorem 3.3) shows that geodesic balls in such manifolds must have first Dirichlet eigenvalues decaying at least as fast as C/R² along a subsequence, which is the same rate as Euclidean space.
  • The technique provides a template for relating scalar curvature lower bounds to spectral and potential-theoretic properties in dimensions where direct minimal surface methods face topological obstructions.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • The restriction to dimension 3 is tied to the regularity of μ-bubbles (guaranteed for n ≤ 7) and the Schoen-Yau rearrangement of the second variation formula; extending to higher dimensions would require either analogous regularity or a different variational framework, which the paper does not address.
  • The gap between the scalar curvature bound −6K and the eigenvalue bound K suggests that the factor 6 is specific to dimension 3 (where S = 2·Ric + curvature terms), and analogous results in higher dimensions would need to account for the different algebraic relationship between scalar and Ricci curvature.
  • If the finite first Betti number assumption could be relaxed to an analytic condition (e.g., amenability of the fundamental group), the result would subsume both the topological and the Brooks-type spectral obstructions in a single statement.
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 / 7 minor

Summary. This paper establishes two results for complete noncompact 3-manifolds with scalar curvature lower bounds under the topological assumptions of finitely many ends and finite first Betti number. Theorem 1.1 proves a sharp upper bound on the bottom of the spectrum, λ₁(M) ≤ K, given S ≥ −6K, paralleling Cheng's classical Ricci curvature bound. Theorem 1.2 proves that if S ≥ 1, the manifold is parabolic (admits no positive Green's function). The proofs use the warped μ-bubble technique, applying the second variation formula to surfaces constructed in annular regions of the manifold to derive uniform area and energy estimates, leading to contradictions under the assumption of positive bottom spectrum or non-parabolicity.

Significance. The results are sharp and address natural questions in the interface of scalar curvature geometry and spectral theory. The constant K in Theorem 1.1 exactly matches the scalar curvature lower bound, and the topological exclusion of the (S²×S¹)#(S²×S¹) universal cover example is well-motivated. The proofs build on established μ-bubble machinery (Chodosh-Li, Zhu) and the Schoen-Yau rearrangement idea, applying them in a novel way to eigenvalue and parabolicity problems. The paper provides falsifiable, sharp predictions and the argument is largely self-contained modulo standard references for μ-bubble existence and regularity.

major comments (3)
  1. §3, Theorem 3.1 proof: The 'without loss of generality' reduction to one end is not justified and is load-bearing for the final volume estimate. The proof defines N_R as the unbounded component of M∖Σ_R and D_R := M∖N_R, then applies the divergence theorem on D_R to conclude λ₁(M)Vol(D_R) ≤ ∫_{Σ_R} |∇ln w| ≤ C. If M has k ≥ 2 ends and Σ_R lies in one end E₁, then M∖Σ_R has at least two unbounded components (one in E₁, another containing E₂,…,E_k), so there is no unique unbounded component N_R, and D_R as defined is not a bounded domain. The divergence theorem on an unbounded domain does not yield the finite volume bound. The fix (running the μ-bubble construction in each end separately, summing the resulting bounds) is standard but must be stated.
  2. §4, Theorem 4.1 proof: The same one-end reduction issue arises here. The Dirichlet problem (4.4) is posed on D with boundary Γ ∪ Σ. If M has multiple ends and D contains other ends beyond the one being analyzed, D is unbounded and the Dirichlet problem as stated is ill-posed. The reduction to one end or the per-end construction with summation needs to be explicitly justified.
  3. §3, Theorem 3.1 proof, Eq. (3.6)→(3.7): The transition from (3.6) to (3.7) replaces |∇_Σ u|²/u² with |∇u|²/u². Since u = w^γ and w is defined on all of M, |∇u|² = |∇_M u|² ≥ |∇_Σ u|². The sign in (3.6) is negative (−(8+δ)/12 · |∇_Σ u|²/u²), so replacing with the larger quantity |∇u|²/u² preserves the inequality direction. This step is correct but the justification (that |∇_Σ u|² ≤ |∇u|² and the coefficient is negative) should be stated explicitly for the reader's benefit.
minor comments (7)
  1. Title and running header: 'P ARABOLICITY' and 'CUR V A TURE' contain stray spaces (likely a formatting artifact).
  2. §2, line below Eq. (2.3): 'K_{∂*Ω}' is introduced as the Gauss curvature of ∂*Ω but the subscript formatting could be clearer; consider K_Σ for consistency with later usage.
  3. §3, Theorem 3.1 proof: The choice δ = ε/(K+1) is stated without motivation. A brief remark that this normalization ensures δ < 1/2 when ε < 1/2 (for any K ≥ 0) would help the reader.
  4. §3, Theorem 3.3 proof: The statement 'we may assume without loss of generality that M has one end and its first Betti number is zero' conflates two reductions. The one-end reduction has the same issue as in Theorem 3.1. The b₁ = 0 reduction is a separate step (the finite b₁ case requires the connectedness result from [13]); this should be clarified.
  5. §4, Theorem 4.1 proof, Eq. (4.5)–(4.9): The constant C₀ depends on the boundary Γ and the solution u_R on Γ. When passing to the limit R→∞, the text claims {u_R} converges to a harmonic function w on M₀. The convergence of C₀(R) to C₁ (defined analogously with w) should be briefly justified (e.g., by uniform convergence on compact sets containing Γ).
  6. §4, Theorem 4.1 proof: The Bochner formula computation cites [15] for the Gauss curvature equations on level sets. Since the level-set connectedness is also cited from [15], a brief statement of what exactly is being used from [15] would improve self-containedness.
  7. References: [19] lists 'arXiv:2408.0824' — this appears to be missing a digit (likely 2408.08240 or similar).

Simulated Author's Rebuttal

3 responses · 0 unresolved

We thank the referee for a careful reading and for identifying a genuine gap in our one-end reduction argument, as well as for suggesting a clarifying remark. We address each comment below.

read point-by-point responses

  1. Referee: §3, Theorem 3.1 proof: The 'without loss of generality' reduction to one end is not justified. If M has k ≥ 2 ends, D_R as defined may be unbounded, and the divergence theorem does not yield the finite volume bound.

    Authors: The referee is correct. The statement 'we may assume without loss of generality that M has one end' is not justified as written. The issue is that while the μ-bubble construction is local to a single end, the final volume estimate relies on D_R exhausting all of M, which fails when there are multiple ends. We will revise the proof as follows. For each end E_i (i = 1, ..., k), we run the warped μ-bubble construction in the annular region of E_i, obtaining a surface Σ_R^{(i)} with the uniform bound (3.9). The bounded domain D_R^{(i)} enclosed by Σ_R^{(i)} (the component containing the fixed point p) is indeed bounded, and the divergence theorem yields λ₁(M) Vol(D_R^{(i)}) ≤ C for each i. Summing over all k ends gives λ₁(M) Vol(M) ≤ kC, which is still a uniform bound (k is finite by hypothesis), yielding the same contradiction. We will spell this out explicitly in the revision. revision: yes

  2. Referee: §4, Theorem 4.1 proof: The same one-end reduction issue arises. The Dirichlet problem (4.4) on D with boundary Γ ∪ Σ is ill-posed if D contains other ends and is unbounded.

    Authors: Again the referee is correct. The same issue arises in Theorem 4.1. When M has multiple ends, the domain D bounded by Γ and Σ may contain other ends and thus be unbounded, making the Dirichlet problem (4.4) ill-posed as stated. We will revise by running the construction in each end separately. For each end E_i, we construct the surface Σ_R^{(i)} and solve the Dirichlet problem on the bounded domain D_R^{(i)} with boundary Γ ∪ Σ_R^{(i)}. The energy estimate (4.9) holds for each end with the same constant C (since C depends only on Γ, which is fixed). The convergence argument then applies to each end, and the co-area formula contradiction is obtained in any single end. Alternatively, one can note that it suffices to derive the contradiction in one end, since the harmonic function w obtained as the limit is defined on M_0 (the unbounded component of M ∖ B_p(R_0)), and the co-area formula argument in (4.11) only requires working in one end. We will clarify this in the revision. revision: yes

  3. Referee: §3, Theorem 3.1 proof, Eq. (3.6)→(3.7): The transition replaces |∇_Σ u|²/u² with |∇u|²/u². This is correct but the justification should be stated explicitly.

    Authors: We agree that the justification should be stated. The step is as follows: since u = w^γ is defined on all of M, we have |∇u|² = |∇_M u|² ≥ |∇_Σ u|², where ∇_Σ denotes the tangential gradient along Σ. In equation (3.6), the term appears with a negative coefficient −(8+δ)/12. Replacing |∇_Σ u|²/u² by the larger quantity |∇u|²/u² preserves the inequality (since we are subtracting a larger or equal quantity). We will add an explicit sentence to this effect in the revision. revision: yes

Circularity Check

0 steps flagged · score 1.0 of 10

No significant circularity: the central derivation is self-contained against external benchmarks, with only minor self-citation for background facts.

full rationale

The paper's central results (Theorems 3.1, 3.3, 4.1) are derived from the μ-bubble second variation formula (2.3), which is attributed to Chodosh-Li [5] and Zhu [22] — works by different authors, not self-citations. The existence and regularity of warped μ-bubbles (n ≤ 7) is cited from [22, 5]. The connectedness of level sets is cited from Li-Tam [13]. The Bochner formula and Gauss curvature equations on level sets (used in Theorem 4.1) are attributed to [15] (the authors' own prior work), but this is a standard geometric identity, not a load-bearing claim that reduces to the present paper's inputs. The derivation chain from (3.3) to (3.8) is a sequence of algebraic manipulations of the second variation formula combined with the assumed eigenfunction equation Δw = −λ₁(M)w and the scalar curvature bound S ≥ −6K. The contradiction (finite volume vs. positive bottom spectrum) follows from the divergence theorem applied to the eigenfunction, not from any circular definition. The 'without loss of generality' one-end reduction is a gap in justification (correctness risk), not circularity: the paper does not define its output in terms of its input. No fitted parameters are renamed as predictions. No uniqueness theorem is invoked to forbid alternatives. The derivation is self-contained against external benchmarks.

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

No new physical entities, particles, or forces are introduced. The warped μ-bubble is a known mathematical object from [5, 22]. The parameters K, ε, L, γ, δ are all determined by the proof structure (input curvature bound, contradiction hypothesis, or explicit algebraic choices), not fitted to data. The axioms are standard results in geometric analysis, with two domain assumptions (connectedness of level sets from [15], and the one-end reduction) that are load-bearing but reasonable.

free parameters (5)
  • K
    Given curvature lower bound S ≥ −6K; not fitted, an input parameter.
  • ε
    Contradiction hypothesis parameter (λ₁ ≥ K+ε); not fitted.
  • L = 2(K+1)π/ε
    Annulus half-width, explicitly chosen to cancel residual terms in (3.8). Not a free parameter in the fitting sense — determined by the algebra.
  • γ = 6/(2+δ)
    Warping exponent for u = w^γ, chosen so that the coefficient of |∇w|²/w² in (3.8) is negative. Determined by the algebra, not fitted to data.
  • δ = ε/(K+1)
    Auxiliary parameter defining γ; chosen to make the final inequality work. Determined by the proof structure.
assumptions (6)
  • standard math Existence and regularity of smooth warped μ-bubbles for n ≤ 7
    Cited from [22, 5]; the entire construction depends on this. Invoked in §2 after (2.1).
  • standard math Second variation formula for warped μ-bubbles (2.3) with the Schoen-Yau rearrangement in dimension 3
    Attributed to [5]; the key analytic tool. Stated in (2.3).
  • standard math Connectedness of the boundary of the unbounded component (Proposition 2.1, citing [13])
    Ensures the separating surface Σ exists. Invoked in Proposition 2.1 and used throughout.
  • standard math Positive bottom spectrum implies infinite volume
    Classical result from [12]; used to reach the final contradiction in Theorem 3.1.
  • domain assumption Level sets of harmonic functions on the manifold are connected
    Cited from [15] (authors' own prior work); used in the Gauss-Bonnet step of the parabolicity proof (§4, after (4.8)).
  • domain assumption The argument can be reduced to the case of one end without loss of generality
    Stated at the beginning of the proof of Theorem 3.1 and again in Theorem 4.1. The justification is that the argument uses only the geometry outside a compact set, but the independence of ends is not fully detailed.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Bottom spectrum and parabolicity of 3-manifolds with scalar curvature lower bound." pith.science (2026). https://pith.science/paper/KCRAZXBK

@misc{pith2026260706508,
  author       = {Pith},
  title        = {Pith review of: Bottom spectrum and parabolicity of 3-manifolds with scalar curvature lower bound},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/KCRAZXBK}},
  note         = {Machine review of arXiv:2607.06508}
}
read the original abstract

Under a necessary topological assumption, two global results are established for complete three dimensional manifolds. The first one provides a sharp upper bound for the bottom spectrum in terms of the scalar curvature lower bound. The second one shows that such manifolds do not admit any positive Green's function if the scalar curvature is bounded from below by a positive constant.

Discussion (0). Sign in to comment.

Forward citations

Cited by 1 Pith paper

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

  1. McKean Rigidity for Cocompact Negatively Curved Manifolds and the \(p\)-Laplacian

    math.DG 2026-08 accept novelty 8.0 of 10

    For closed manifolds with sectional curvature at most -1, reaching McKean's lower spectral bound forces the universal cover to be hyperbolic space, in both the Laplacian and p-Laplacian cases.

Reference graph

Works this paper leans on

23 extracted references · 23 canonical work pages · cited by 1 Pith paper

  1. [15]

    Liu, A sharp inequality between scalar curvature and the bottom spectrum on complete manifolds, arXiv:2603.20864

    D. Liu, A sharp inequality between scalar curvature and the bottom spectrum on complete manifolds, arXiv:2603.20864

    work page arXiv

  2. [1]

    A sharp spectral splitting theorem

    G. Antonelli, M. Pozzetta, and K. Xu, A sharp splitting theorem, arXiv:2412.12707

    work page Pith review arXiv

  3. [2]

    Geometric Rigidity via Harmonic Twisted Spinors

    F. Bai and S. Cecchini, Geometric Rigidity via twisted harmonic spirnors, arXiv:2606.19567

    work page Pith review arXiv

  4. [3]

    Brooks, The fundamental group and the spectrum of the Laplacian, Comment

    R. Brooks, The fundamental group and the spectrum of the Laplacian, Comment. Math. Helv. 56 (1981), no. 4, 581-598

    work page 1981

  5. [4]

    Cheng, Eigenvalue comparison theorems and its geometric applications, Math

    S.Y. Cheng, Eigenvalue comparison theorems and its geometric applications, Math. Z. 143 (1975), 289-297

    work page 1975

  6. [5]

    Chodosh and C

    O. Chodosh and C. Li, Generalized soap bubbles and the topology of manifolds with positive scalar curvature, Ann. of Math. 199 (2024), 707-740

    work page 2024

  7. [6]

    Chodosh, C

    O. Chodosh, C. Li, and D. Stryker, Volume growth of 3-manifolds with scalar curvature lower bounds, Proc. Amer. Math. Soc. 151 (2023), 4501-4511

    work page 2023

  8. [7]

    Davaux, An optimal inequality between scalar curvature and spectrum of the Laplacian, Math

    H. Davaux, An optimal inequality between scalar curvature and spectrum of the Laplacian, Math. Ann. 327 (2003), no. 2, 271-292

    work page 2003

Show all 23 references
  1. [8]

    Positive curvature, macroscopic dimension, spectral gaps and higher signatures

    M. Gromov. “Positive curvature, macroscopic dimension, spectral gaps and higher signatures”. In: Functional analysis on the eve of the 21st century, Vol. II (New Brunswick, NJ, 1993). Vol

    1993

  2. [9]

    Progr. Math. Birkh¨ auser Boston, Boston, MA, 1996, pp. 1-213

    1996

  3. [10]

    Gromov, Four lectures on scalar curvature, in Perspectives in Scalar Curvature, Vol

    M. Gromov, Four lectures on scalar curvature, in Perspectives in Scalar Curvature, Vol. 1, World Scientific, Singapore (2023)

    2023

  4. [11]

    Gromov and H

    M. Gromov and H. B. Lawson, Spin and scalar curvature in the presence of a fundamental group. I, Ann. of Math. (2) 111 (1980), no. 2, 209-230

    1980

  5. [12]

    Hirsch, D

    S. Hirsch, D. Kazaras, M. Khuri, Y. Zhang, Spectral torical band inequalities and general- izations of the Schoen-Yau black hole existence theorem, International Mathematics Research Notices, Issue 4, (2024), 3139-3175

    2024

  6. [13]

    Li, Geometric Analysis, Cambridge Stud

    P. Li, Geometric Analysis, Cambridge Stud. Adv. Math., 134, Cambridge University Press, 2012

    2012

  7. [14]

    Li and L.F

    P. Li and L.F. Tam, Harmonic functions and the structure of complete manifolds, J. Differ- ential Geom. 35 (1992) 359-383

    1992

  8. [16]

    Munteanu and J

    O. Munteanu and J. Wang, Bottom spectrum of three-dimensional manifolds with scalar curvature lower bound, J. Funct. Anal. 287 (2024), no. 2, Paper No. 110457, 41 pp

    2024

  9. [17]

    Munteanu and J

    O. Munteanu and J. Wang, Sharp integral bound of scalar curvature on 3-manifolds, Trans. Amer. Math. Soc. (to appear)

  10. [18]

    Schoen and S

    R. Schoen and S. T. Yau, Existence of incompressible minimal surfaces and the topology of three-dimensional manifolds with nonnegative scalar curvature, Ann. Math. (2) 110 (1979), no. 1, 127-142

    1979

  11. [19]

    Schoen and S.T

    R. Schoen and S.T. Yau, On the structure of manifolds with positive scalar curvature, Manuscripta Mathematica 28 (1979), 159-184

    1979

  12. [20]

    Wang and B

    J. Wang and B. Zhu, Sharp bottom spectrum and scalar curvature rigidity, arXiv:2408.0824

  13. [21]

    Wang and B

    J. Wang and B. Zhu, Scalar curvature, sharp bottom spectrum and geometric rigidity, arXiv:2606.11957

    arXiv

  14. [22]

    Witten and S

    E. Witten and S. T. Yau, Connectedness of the boundary in the AdS/CFT correspondence, Adv. Theor. Math. Phys. 3 (1999), 1635-1655

    1999

  15. [23]

    Jintian Zhu, Width estimate and doubly warped product, Trans. Amer. Math. Soc. 374 (2021), no. 2, 1497-1511. 14 OVIDIU MUNTEANU AND JIAPING WANG Department of Mathematics, University of Connecticut, Storrs, CT 06268, USA Email address:ovidiu.munteanu@uconn.edu School of Mathem...

    2021

Pith tools

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