REVIEW 4 major objections 5 minor 23 references
Eigenvalue estimates and applications on weighted manifolds
T0 review · 4 major / 5 minor · reviewed 2026-08-11 · deepseek-v4-flash
Pith's one-line read The paper claims that on compact weighted manifolds, the first Dirichlet and Neumann eigenvalues of the drifting Laplacian are strictly larger than $\mathrm{Ric}_h - c|\nabla h|^2$ under the condition $\mathrm{Ric}_h > c|\nabla h|^2$ and…
desk verdict The eigenvalue theorem is not proven as stated—only λ > inf S follows—and the stability theorem rests on it; the stability computation itself is real. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The engine of the paper is the weighted Reilly formula in Proposition 2.1, obtained by integrating the weighted Bochner formula, with the Hessian term controlled through $|\nabla^2 f|^2 \ge \frac{(\Delta_h f)^2}{m} - \frac{\langle\nabla f,\nabla h\rangle^2}{m-n}$ for $m>n$. Boundary control comes from the boundary integral $\frac12\int_{\partial M_h}\langle\nabla|\nabla f|^2,\eta\rangle\,da_h$, which is shown to be nonpositive for Dirichlet eigenfunctions under $H_h^{\partial M}\ge0$ and for Neumann eigenfunctions under convexity of the boundary. For Theorem 2, the key identities are the explicit formula for $L_h(fH)$ in Proposition 2.5, Young's inequality, and the variational characterization of $\lambda_{1,D}$, which together convert the eigenvalue estimate into the stability inequality.
What would settle it
On a Euclidean ball $B_R$ with density $e^{-\epsilon r^2}$, take $c$ small enough that $\mathrm{Ric}_h = 2\epsilon I > 4c\epsilon^2 r^2 I$ holds and the boundary has nonnegative weighted mean curvature; compute $\lambda_{1,D}$ numerically and compare it with the infimum and supremum of $2\epsilon - 4c\epsilon^2 r^2$ over $B_R$. An eigenvalue below the supremum refutes the pointwise claim, while an eigenvalue below the infimum refutes the weaker bound the proof actually supports.
Extended reading notes
Core claim
On the paper's own terms, the central discovery is Theorem 1: if an $n$-dimensional compact weighted manifold $M_h$ has nonempty smooth boundary, $\mathrm{Ric}_h > 0$, and $\mathrm{Ric}_h > c|\nabla h|^2$ for some constant $c$, then the first Dirichlet eigenvalue satisfies $\lambda_{1,D} > \mathrm{Ric}_h - c|\nabla h|^2$ when the weighted mean curvature of the boundary is nonnegative, and the first Neumann eigenvalue satisfies $\lambda_{1,N} > \mathrm{Ric}_h - c|\nabla h|^2$ when the boundary is convex. The proof derives a weighted Reilly-type inequality and then argues by contradiction, so the inequality is strict. Theorem 2 applies this bound, together with parallelism of $\nabla^2 h$ and the curvature lower bound (1.6), to conclude that a two-sided compact $h$-minimal hypersurface with $H\ne0$ and $H_h^{\partial M}\ge0$ is $L_h$-stable.
Load-bearing premise
The load-bearing premise is that negating the claimed pointwise inequality gives the reverse inequality at every point, so the proof really establishes only $\lambda_1 > \inf(\mathrm{Ric}_h - c|\nabla h|^2)$ rather than the pointwise comparison stated in the theorem.
Editorial extensions
If this is right
- If the pointwise form of Theorem 1 is correct, then whenever $\mathrm{Ric}_h > c|\nabla h|^2$ and $H_h^{\partial M}\ge0$, the Dirichlet eigenvalue satisfies $\lambda_{1,D} > \mathrm{Ric}_h - c|\nabla h|^2$ at every point, and the analogous Neumann statement holds under convexity of the boundary.
- Specializing to constant $h$ recovers strict Reilly-type bounds for the ordinary Laplacian, namely $\lambda_1 > \mathrm{Ric}$, for Dirichlet data with nonnegative mean curvature and for Neumann data on a convex boundary.
- The authors note that for an appropriate choice of $c$ the estimate recovers the Ma–Du lower bound for drifting Laplacians, placing the new inequalities as strict refinements of previously known non-strict bounds.
- Theorem 2 yields a sufficient condition for $L_h$-stability: a compact $h$-minimal hypersurface with nonnegative weighted boundary mean curvature, parallel Hessian of $h$, and $\mathrm{Ric}_h \ge 2[|A|^2 + c|\nabla h|^2 + (|\nabla^2 h|^2 + |\nabla H|^2)/H^2]$ is stable under compactly supported variations.
Reading between the lines
- The contradiction argument in Theorem 1 actually appears to rule out only eigenvalues at or below $\inf(\mathrm{Ric}_h - c|\nabla h|^2)$; if that reading is right, the stated pointwise inequality is stronger than the proof establishes, and Theorem 2, which uses the pointwise form, inherits the gap.
- The weighted Reilly inequality in Proposition 2.1 is not tied to the first eigenvalue; the same boundary-term analysis could be used to estimate higher eigenvalues or the fundamental tone of submanifolds with controlled boundary.
- A concrete test of the stability criterion would be to compute the left-hand side of (1.6) for a family of model hypersurfaces (for instance, geodesic spheres in a warped product with a Gaussian weight) to see whether the threshold is sharp or only sufficient.
- If the pointwise reading of Theorem 1 is abandoned, the stability conclusion might still survive if $\mathrm{Ric}_h - c|\nabla h|^2$ is replaced by its infimum in condition (1.6), suggesting the paper's framework is close to a correct statement.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper claims a lower bound for the first Dirichlet and Neumann eigenvalues of the drifting Laplacian on a compact weighted manifold with boundary in terms of the Bakry-Émery Ricci tensor: λ > Ric_h − c|∇h|² under the hypothesis Ric_h > c|∇h|² and suitable boundary conditions. It then uses this estimate to prove an Lh-stability criterion for compact h-minimal hypersurfaces with parallel Hessian of the weight. The proofs are based on a weighted Reilly-type formula (Proposition 2.1), a Bochner formula, and an eigenfunction argument; Theorem 2 combines the eigenvalue bound with an identity for L_h(fH) and Young's inequality.
Significance. If correct, the results would supply a new eigenvalue comparison with a curvature tensor and a stability criterion for weighted minimal hypersurfaces. The paper is self-contained and Proposition 2.1 is a standard weighted Reilly inequality that is plausibly correct; the proofs do not assume the desired conclusion, so circularity is not the issue. However, the main theorem is ill-posed as a comparison of a scalar eigenvalue with a tensor field, and the proof establishes at most λ > inf(Ric_h − c|∇h|²), not the pointwise inequality stated. Since Theorem 2 relies on the pointwise form inside an integral, the stability application is not established. The central claim as stated is therefore not credible.
major comments (4)
- [§2.1, Theorem 1 and Eqs. (2.13)–(2.15)] Theorem 1 asserts λ_{1,D} > Ric_h − c|∇h|² with λ a real number and Ric_h a (0,2)-tensor; this inequality is not type-correct. If it is read as the pointwise quadratic-form inequality λ_{1,D} > Ric_h(v,v) − c|∇h|²(p) for every p and unit v, then the proof does not establish it. In the proof, the supposition 'λ_{1,D} ≤ Ric_h − c|∇h|²' is treated as a global pointwise assumption, and the contradiction obtained from (2.13)–(2.15) only rules out the possibility that the pointwise reverse inequality holds everywhere. The argument therefore implies at most λ_{1,D} > inf_{p,v}(Ric_h(v,v) − c|∇h|²(p)); the stated pointwise conclusion does not follow.
- [§2.1, Eqs. (2.14)–(2.15)] The passage from (2.14) to (2.15) requires the coefficient of ∫|∇f|²|∇h|² to be nonnegative, i.e. c − 1/(m−n) ≥ 0. For c ≤ 0 this fails, and the condition m ≥ n + 1/c is vacuous when c is negative. Since Theorem 1 only says 'there exists a constant c' without any sign condition, the proof does not cover c ≤ 0; if the intended hypothesis is c > 0, it must be stated explicitly.
- [§2.2, Eq. (2.34)] In deriving (2.34), the scalar λ_{1,D} is replaced inside the integrand by the function (Ric_h − c|∇h|²)/2. This replacement is legitimate only if the pointwise inequality λ_{1,D} > Ric_h − c|∇h|² holds on all of M. The proof of Theorem 1 supplies at most λ_{1,D} > inf(Ric_h − c|∇h|²), which does not control the sign of the integrand pointwise. Consequently the passage to (2.34) and the Lh-stability conclusion of Theorem 2 are unsupported.
- [§2.2, Eqs. (1.6) and (2.34)] Both condition (1.6), 'Rich ≥ 2[|A|² + c|∇h|² + ...]', and the integrand in (2.34), '(Rich − c|∇h|²)/2', treat the Bakry–Émery tensor as a scalar function. If 'Rich ≥ ...' is meant as a quadratic-form inequality, the right-hand side must be tensorial, e.g. the scalar expression times the metric; if 'Rich' is meant as the infimum or the smallest eigenvalue of the tensor, that notion is not defined and is not the object used in Proposition 2.1. As written, the hypotheses and the application of Theorem 1 in Theorem 2 are mathematically ambiguous.
minor comments (5)
- [Introduction and throughout] There are numerous typographical errors, including 'knwon', 'eingenvalue', 'areises', 'preceeds', and 'obtainded'; these should be corrected in any revision.
- [§2.1, Eq. (2.11)] For f vanishing on ∂M, ∇f = f_η η, so the intermediate expression ∇f + f_η η equals 2f_η η and appears inconsistent with the following equality; the final boundary term is correct because of the factor 1/2 in (2.6), but the displayed chain of equalities should be rewritten.
- [§2.1, Theorem 1 proof, item (2)] The notation ∇f = ∇̄f in the Neumann case is not defined; presumably the bar denotes the tangential gradient on the boundary, and this should be stated.
- [Introduction, discussion after Theorem 1] The claim that Theorem 1 generalizes the Ma–Du estimate is not substantiated: with c = 1/(m−n), the conclusion would give λ > a, whereas Ma–Du gives λ ≥ ma/(m−n), which is stronger for a > 0.
- [§1, Eq. (1.3)] The text states 0 < λ_1 ≤ λ_2 for the Neumann problem, but the Neumann spectrum contains the zero eigenvalue; presumably λ_{1,N} denotes the first nonzero Neumann eigenvalue, and this should be clarified.
Circularity Check
No significant circularity; the derivation is self-contained, with the main defect a logical gap in Theorem 1 rather than circular reasoning.
full rationale
The paper's central estimate (Theorem 1) is derived from the weighted Bochner formula (2.1), the integration-by-parts identity (2.5), and the algebraic estimate (2.7); Proposition 2.1 restates this chain, and the proof of Theorem 1 applies it to a first eigenfunction, with boundary terms controlled by H_h ≥ 0 or convexity. No parameter is fitted from the eigenvalue data, and no conclusion is inserted as a hypothesis: the only external inputs are standard divergence and Bochner facts, plus cited background results used for comparison rather than as assumptions of the proof. The cited Lemma 2.3 from [3] is a standard hypersurface Laplacian decomposition; although one author of the present paper is an author of [3], the lemma is not special or contested, and its use does not make the derivation circular. Theorem 2 is a conditional application of Theorem 1 to the stability operator; whatever the merits of the eigenvalue bound, the stability conclusion is not obtained by assuming itself. The main defect identified by the reader, namely the scalar-versus-tensor comparison λ > Rich − c|∇h|² and the proof's use of the global pointwise negation, is a logical gap or type mismatch rather than a circular identification of a conclusion with an input. Therefore the circularity score is 0.
Assumptions & free parameters
assumptions (5)
- standard math Weighted Bochner formula (2.1)
- standard math Divergence theorem for the measure e^{-h}dv
- standard math Variational characterization of the first Dirichlet eigenvalue
- standard math Codazzi equation for hypersurfaces
- standard math Young's inequality and Cauchy-Schwarz inequality
Cite this review
Pith. "Pith review of Eigenvalue estimates and applications on weighted manifolds." pith.science (2026). https://pith.science/paper/OT352DJC
@misc{pith2026241209396,
author = {Pith},
title = {Pith review of: Eigenvalue estimates and applications on weighted manifolds},
year = {2026},
howpublished = {\url{https://pith.science/paper/OT352DJC}},
note = {Machine review of arXiv:2412.09396}
}
read the original abstract
We will present an estimate for the first eigenvalue of the Dirichlet and Neumann problems in terms of the Bakry-\'Emery Ricci curvature for a compact weighted manifold. As an application we will establish a stability condition for a h-minimal hypersurface.
Reference graph
Works this paper leans on
-
[1]
Fonction de Green et valeurs propres du laplacien
Aubin, T. Fonction de Green et valeurs propres du laplacien. J. Math. Pures Appl. (9) 53 (1974), 347–371
work page 1974
-
[2]
Bezerra, A. C., Manfio, F. Rigidity and stability estimates for minimal submanifolds in the hyperbolic space. J. Math. Anal. Appl. 495 (2021), 124759
work page 2021
-
[3]
Cavalcante, M. P., Manfio, F. On the fundamental tone of immersions and submersions. Proc. Amer. Math. Soc. 146 (2018), no. 7, 2963–2971
work page 2018
-
[4]
Bakry, D., ´Emery, M. Diffusions hypercontractives. Seminaire de proba- bilites, XIX, 1983/84, 177–206. Lecture Notes in Math., 1123, Sprin ger- Verlag, Berlin, 1985
work page 1983
-
[5]
The relation between the Laplacian and the diameter for manifolds of non-negative curvature
Cheeger, J. The relation between the Laplacian and the diameter for manifolds of non-negative curvature. Arch. Math. 19 (1968), 558–560
work page 1968
-
[6]
A lower bound for the smallest eigenvalue of the Laplacian
Cheeger, J. A lower bound for the smallest eigenvalue of the Laplacian. Problems in analysis (Sympos. in honor of Salomon Bochner, P rinceton Univ., Princeton, N.J., 1969), pp. 195–199
work page 1969
-
[7]
Cheng, S. Y. Eigenvalue comparison theorems and its geometric appli- cations. Math. Z. 143 (1975), no. 3, 289–297. 15
work page 1975
-
[8]
Stability and Compactness for complete f -minimal surfaces
Cheng, X., Mejia, T., Zhou, D. Stability and Compactness for complete f -minimal surfaces. Trans. Amer. Math. Soc. 367 (2015), no. 6, 4041– 4059
work page 2015
Show all 23 references
-
[9]
Simons-Type Equation for f -Minimal Hypersurfaces and Applications
Cheng, X., Mejia, T., Zhou, D. Simons-Type Equation for f -Minimal Hypersurfaces and Applications. J. Geom. Anal. 25 (2015), no. 4, 2667– 2686
2015
-
[10]
Escobar, J. F. Uniqueness theorems on conformal deformation of met- rics, Sobolev inequalities, and an eigenvalue estimate. Comm. Pure Appl. Math. 43 (1990), no. 7, 857–883
1990
-
[11]
f -minimal surface and manifold with positive m- Bakry- ´Emery Ricci curvature
Li, H., Z., Wei, Y. f -minimal surface and manifold with positive m- Bakry- ´Emery Ricci curvature. J. Geom. Anal. 25 (2015), no. 1, 421– 435
2015
-
[12]
Stable weighted minimal surfaces in manifolds with non-neg ative Bakry–Emery Ricci tensor
Liu, G. Stable weighted minimal surfaces in manifolds with non-neg ative Bakry–Emery Ricci tensor. Comm. Anal. Geom. 21 (2013), no. 5, 1061– 1079
2013
-
[13]
Extension of Reilly formula with applications to eigen- value estimates for drifting Laplacians
Ma, L., Du, S.-H. Extension of Reilly formula with applications to eigen- value estimates for drifting Laplacians. C. R. Math. Acad. Sci. Paris 348 (2010), no. 21-22, 1203–1206
2010
-
[14]
Manifolds with density
Morgan, F. Manifolds with density. Notices Amer. Math. Soc. 52 (2005), no. 8, 853–858
2005
-
[15]
Geometry of manifolds with densities
Munteanu, O., Wang, J. Geometry of manifolds with densities. Adv. Math. 259 (2014), 269-–305
2014
-
[16]
The entropy formula for the Ricci flow and its geometric applications
Perelman, G. The entropy formula for the Ricci flow and its geometric applications. arXiv:math/0211159
-
[17]
Applications of the Hessian operator in a Riemannian mani- fold
Reilly, R. Applications of the Hessian operator in a Riemannian mani- fold. Indiana Univ. Math. J. 26 (1977), no. 3, 459–472
1977
-
[18]
On the geometry of metric measure spaces
Sturm, K.-T. On the geometry of metric measure spaces. I Acta Math. 196 (2006), no. 1, 65–131
2006
-
[19]
On the geometry of metric measure spaces
Sturm, K.-T. On the geometry of metric measure spaces. II Acta Math. 196 (2006), no. 1, 133–177
2006
-
[20]
Optimal Transport: Old and New
Villani, C. Optimal Transport: Old and New. Grundlehren der mathe- matischen Wissenschaften, Springer-Verlag, Berlin, 2009
2009
-
[21]
Comparison geometry for the Bakry-Emery Ricci tensor
Wei, G., Wylie, W. Comparison geometry for the Bakry-Emery Ricci tensor. J. Differential Geom. 83 (2009), no. 2, 377–405. 16
2009
-
[22]
Yau, S. T. Isoperimetric constants and the first eigenvalue of a compact Riemannian manifold. Ann. Sci. ´Ecole Norm. Sup. (4) 8 (1975), no. 4, 487-–507
1975
-
[23]
Weighted volume growth and vanishing properties of f -minimal hypersurfaces in a weighted manifold
Yun, G., Seo, K. Weighted volume growth and vanishing properties of f -minimal hypersurfaces in a weighted manifold. Nonlinear Anal. 180 (2019), 264–283. A. C. Bezerra – Instituto Federal Goiano, Brazil E-mail address: adriano.bezerra@ifgoiano.edu.br T. Castro Silva – Universi...
2019
Reviewed August 11, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.