Pith. sign in

REVIEW 4 minor 18 references

A lower bound on modified Ricci curvature controls first eigenvalues of weighted Laplacians by those of model spheres of one higher dimension.

Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →

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

T0 review · grok-4.5

2026-07-11 16:48 UTC pith:6GUHCNE2

load-bearing objection Clean, modest extension of Setti: variable lower bound on Rw plus weighted p-Laplacian, with non-radial weight allowed; proofs check out.

arxiv 2607.04588 v1 pith:6GUHCNE2 submitted 2026-07-06 math.DG

Eigenvalue comparison theorems for the Witten-Laplacian and the weighted p-Laplacian on complete manifolds with a modified Ricci curvature bounded from below

Ruifeng Chen , Qiyue Ma , Jing Mao This is my paper
classification math.DG MSC 58C4058J5035P15
keywords modified Ricci curvatureWitten-Laplacianweighted p-LaplacianCheng-type eigenvalue comparisonspherically symmetric manifoldsBishop volume comparisonDirichlet eigenvalues
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved

The pith

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

The paper proves Cheng-type upper bounds for the first Dirichlet eigenvalues of the Witten-Laplacian and the weighted p-Laplacian on geodesic balls of complete manifolds. The controlling assumption is a pointwise lower bound on the modified Ricci curvature Rw along radial directions; that bound is allowed to be a function of distance rather than a constant. Under it, the eigenvalues are at most as large as the corresponding first eigenvalues on geodesic balls in a spherically symmetric model of dimension n+1 whose warping function solves a simple ODE determined by the curvature bound. The argument works even when the weight is not radial, which is a genuine relaxation of earlier radial-curvature comparisons. A sympathetic reader cares because the same model ball supplies an explicit, computable upper bound once the curvature function is fixed, and the comparison recovers classical results of Cheng and of Setti as special cases.

Core claim

If the modified Ricci curvature satisfies Rw(∂/∂t,∂/∂t) ≤ nκ(t) = -n f''/f along radial geodesics from a point q, then the first Dirichlet eigenvalues of both the Witten-Laplacian and the weighted p-Laplacian on the geodesic ball B(q,r0) are bounded above by the corresponding first eigenvalues of the ordinary Laplacian and p-Laplacian on the geodesic ball of radius r0 in the (n+1)-dimensional spherically symmetric model whose warping function is f.

What carries the argument

A weighted Bishop-type volume comparison (Theorem 3.1) that converts the modified-Ricci lower bound into the differential inequality (w√|g|)-1 ∂t(w√|g|) ≤ n f'/f; once this radial volume growth is controlled, radial trial functions transplanted from the model ball produce the eigenvalue inequalities by the variational characterizations.

Load-bearing premise

The volume comparison rests on an algebraic inequality that turns the trace of a curvature matrix plus a weight Hessian term into a single ordinary differential inequality of Riccati type; if that algebraic step fails for a non-radial weight, both eigenvalue theorems collapse.

What would settle it

Construct an explicit complete manifold with a non-radial weight whose modified Ricci curvature meets the stated lower bound, compute the first Dirichlet eigenvalue of the Witten-Laplacian (or weighted p-Laplacian) on a geodesic ball, and check whether it exceeds the first eigenvalue of the corresponding (n+1)-dimensional model ball.

Watch this falsifier. Get emailed when new claim-graph text bears on it.

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

0 major / 4 minor

Summary. The paper proves Cheng-type upper bounds for the first Dirichlet eigenvalues of the Witten-Laplacian L and the weighted p-Laplacian Lp on geodesic balls of complete n-manifolds whose modified Ricci curvature Rw satisfies the pointwise lower bound Rw(∂/∂t,∂/∂t)≤nκ(t)=-n f''/f. The model spaces are (n+1)-dimensional spherically symmetric manifolds with warping function f solving the usual Jacobi ODE. The key intermediate result is a weighted volume comparison (Theorem 3.1) obtained from the Jacobi-field matrix U, the trace inequality tr U^{2}≥(tr U)^{2}/(n-1), the algebraic identity A^{2}/(n-1)+B^{2}≥(A+B)^{2}/n, and a standard ODE comparison for φ=tr U+w^{-1}∂tw versus ψ=n f'/f. The eigenvalue inequalities (Theorems 2.3 and 2.7) then follow by transplanting the radial first eigenfunctions of the model balls as trial functions and integrating by parts against the volume comparison. Corollaries recover Setti’s constant-curvature result and extend it to the p-Laplacian.

Significance. The work supplies a clean, self-contained extension of Cheng’s classical eigenvalue comparison to the weighted setting under a curvature hypothesis weaker than radial Ricci bounds and without requiring the weight to be radial. The volume comparison (Theorem 3.1) is of independent interest and the proofs are elementary once the algebraic and Hessian identities are in place. The results sit naturally in the line of Setti, Freitas–Mao–Salavessa and Mao’s earlier papers, and they give concrete, computable upper bounds once κ(t) is fixed. The absence of rigidity statements is a limitation relative to the classical Cheng theorems, but the comparison inequalities themselves are correctly established and useful.

minor comments (4)
  1. The curvature hypothesis is written with ≤ throughout (e.g. (2.9) and the statement of Theorem 3.1), yet the surrounding prose repeatedly speaks of a “lower bound.” A single clarifying sentence that Rw(∂t,∂t)≤nκ(t) is the lower bound used for the comparison would remove the notational tension.
  2. In the integration-by-parts step of §5 the boundary term is written with upper limit R rather than r0; this is a typographical inconsistency with the rest of the argument.
  3. The paper relies heavily on background lemmas from the authors’ earlier works [11,13,16] for the existence and radiality of model eigenfunctions. A short self-contained reminder of those facts (or an explicit pointer to the precise statements) would improve readability for readers unfamiliar with that series.
  4. Several minor typographical slips appear (e.g. “modified Ricci cu rvature,” “com parison,” “spher ically”). A careful copy-edit pass would clean them up.

Circularity Check

0 steps flagged

Self-contained comparison proof; self-citations supply only standard background lemmas, not the target inequalities.

full rationale

The paper derives a Bishop-type volume comparison (Theorem 3.1) from the pointwise curvature assumption Rw(∂/∂t,∂/∂t)≤nκ(t)=-n f''/f via classical Jacobi-field identities, the algebraic inequality A^{2}/(n-1)+B^{2}≥(A+B)^{2}/n, and the elementary rewrite of the radial Hessian of the weight. The eigenvalue comparisons (Theorems 2.3 and 2.7) then follow by the usual variational characterization with radial trial functions taken from the model ODEs on the spherically symmetric comparison space. Those model ODEs and the existence of radial first eigenfunctions are cited from the authors' earlier works [11,13,16], but they are standard facts independent of the new curvature hypothesis and of the target bounds. The target inequalities themselves are not assumed, fitted, or smuggled in by definition; they are obtained by integration by parts against the volume comparison. No self-definitional loop, fitted-input-as-prediction, or load-bearing uniqueness import appears. Score 1 reflects only the presence of non-load-bearing self-citations for background.

Axiom & Free-Parameter Ledger

0 free parameters · 4 axioms · 0 invented entities

The paper is a pure comparison theorem in Riemannian geometry. It imports standard analytic and geometric facts (variational characterization of Dirichlet eigenvalues, Jacobi-field equation, Cauchy-Schwarz on traces) and one domain-specific curvature hypothesis. No free parameters are fitted; the warping function f is determined by the given curvature bound κ via an ODE. No new physical entities are postulated.

axioms (4)
  • standard math Variational characterization of the first Dirichlet eigenvalue of the Witten-Laplacian (Rayleigh quotient (2.4)) and of the weighted p-Laplacian (Rayleigh quotient (2.5)).
    Used as the starting point for both eigenvalue proofs in Sections 4 and 5; classical for these operators.
  • standard math Jacobi-field matrix A(t,ξ) satisfies A''+RA=0 with A(0)=0, A'(0)=I, and det A=√|g|.
    Invoked at the beginning of the proof of Theorem 3.1 to obtain the evolution equation for tr U.
  • domain assumption Modified Ricci curvature satisfies Rw(∂/∂t,∂/∂t)≤ n κ(t)=-n f''/f along radial geodesics (curvature assumption (2.9)).
    The sole geometric hypothesis of Theorems 2.3 and 2.7; without it the volume comparison fails.
  • standard math Existence of a positive radial first eigenfunction for the model Laplacian / p-Laplacian on the spherically symmetric ball Bn+1(q-,r0).
    Cited from earlier works [11,13]; used to construct the trial function G or F.

pith-pipeline@v1.1.0-grok45 · 19136 in / 2792 out tokens · 19332 ms · 2026-07-11T16:48:29.978066+00:00 · methodology

0 comments
read the original abstract

In this paper, for complete manifolds with a modified Ricci curvature bounded from below, we can successfully set up Cheng-type eigenvalue comparison theorems for the first Dirichlet eigenvalues of the Witten-Laplacian and the weighted $p$-Laplacian on geodesic balls of these manifolds.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

18 extracted references · 1 linked inside Pith

  1. [1]

    Bakry, M

    D. Bakry, M. ´Emery, Diffusion hypercontractives, S´ em. Prob. XIX. Lect. Notes Math. 1123 (1985) 177–206

    1985

  2. [2]

    Barta, Sur la vibration fundamentale d’une membrane , C

    J. Barta, Sur la vibration fundamentale d’une membrane , C. R. Acad. Sci. 204 (1937) 472–473

    1937

  3. [3]

    Chavel, Eigenvalues in Riemannian Geometry , Academic Press, New York (1984)

    I. Chavel, Eigenvalues in Riemannian Geometry , Academic Press, New York (1984)

    1984

  4. [4]

    R. F. Chen, J. Mao, Several isoperimetric inequalities of Dirichlet and Neuma nn eigenvalues of the Witten Laplacian , J. Spectral Theory 15 (2025) 1241–1277

    2025

  5. [5]

    R. F. Chen, J. Mao, On the Ashbaugh-Benguria type conjecture about lower-orde r Neumann eigenvalues of the Witten-Laplacian , available online at arXiv:2403.08070v3

    Pith/arXiv arXiv

  6. [6]

    S. Y. Cheng, Eigenvalue comparison theorems and its geometric applicat ions, Math. Zeit. 143 (1975) 289–297

    1975

  7. [7]

    S. Y. Cheng, Eigenfunctions and eigenvalues of Laplacian , Amer. Math. Soc. Proc. Symp. Pure Math. 27 (Part II) (1975) 185–193

    1975

  8. [8]

    Y. L. Deng, F. Du, J. Mao, Y. Zhao, Sharp eigenvalue estimates and related rigidity theorems, Hokkaido Math. J. 55 (2026) 57–85

    2026

  9. [9]

    F. Du, J. Mao, Q. L. Wang, C. X. Wu, Eigenvalue inequalities for the buckling problem of the drifting Laplacian on Ricci solitons , J. Differ. Equat. 260 (2016) 5533–5564

    2016

  10. [10]

    F. Du, J. Mao, Q. L. Wang, C. Y. Xia, Estimates for eigenvalues of weighted Laplacian and weighted p-Laplacian, Hiroshima Math. J. 51 (2021) 335–353

    2021

  11. [11]

    Freitas, J

    P. Freitas, J. Mao, I. Salavessa, Spherical symmetrization and the first eigenvalue of geodesic disks on manifolds , Calc. Var. Partial Differential Equations 51 (2014) 701–724

    2014

  12. [12]

    Mao, Eigenvalue estimation and some results on finite topologica l type, Ph.D

    J. Mao, Eigenvalue estimation and some results on finite topologica l type, Ph.D. thesis, IST-UTL (2013)

    2013

  13. [13]

    Mao, Eigenvalue inequalities for the p-Laplacian on a Riemannian manifold and estimates for the heat kernel , J

    J. Mao, Eigenvalue inequalities for the p-Laplacian on a Riemannian manifold and estimates for the heat kernel , J. Math. Pures Appl. 101 (2014) 372–393. 18

    2014

  14. [14]

    Mao, The Gagliardo-Nirenberg inequalities and manifolds with n on-negative weighted Ricci curvature , Kyushu J

    J. Mao, The Gagliardo-Nirenberg inequalities and manifolds with n on-negative weighted Ricci curvature , Kyushu J. Math. 70 (2016) 29–46

    2016

  15. [15]

    Mao, Functional inequalities and manifolds with nonnegative we ighted Ricci curva- ture, Czech

    J. Mao, Functional inequalities and manifolds with nonnegative we ighted Ricci curva- ture, Czech. Math. J. 70 (2020) 213–233

    2020

  16. [16]

    Mao, Weighted heat kernel comparison theorems and its applicati ons in spectral geometry, submitted and available online at arXiv:2603.00942v2

    J. Mao, Weighted heat kernel comparison theorems and its applicati ons in spectral geometry, submitted and available online at arXiv:2603.00942v2

    arXiv

  17. [17]

    A. G. Setti, Eigenvalue estimates for the weighted Laplacian on a Rieman nian man- ifold, Rend. Sem. Mat. Univ. Padova 100 (1998) 27–55

    1998

  18. [18]

    Y. Zhao, C. X. Wu, J. Mao, F. Du, Eigenvalue comparisons in Steklov eigenvalue problem and some other eigenvalue estimates , Revista Matem´ atica Complutense 33 (2020) 389–414

    2020