pith. sign in

arxiv: 2604.25144 · v1 · submitted 2026-04-28 · 🧮 math.DG · math.SP

Sharp Spectral Bounds for the p-Laplacian and Polyharmonic Operators on Asymptotically Hyperbolic Manifolds

Samuel P\'erez-Ayala This is my paper

Pith reviewed 2026-05-07 14:34 UTC · model grok-4.3

classification 🧮 math.DG math.SP
keywords p-LaplacianDirichlet eigenvalueasymptotically hyperbolic manifoldsconformally compact manifoldspolyharmonic operatorsPoincaré-Einstein spacesspectral boundssubmanifolds
0
0 comments X

The pith

The first p-Dirichlet eigenvalue determines the asymptotic sectional curvatures, meeting angle at infinity, and mean curvature vanishing for certain submanifolds of asymptotically hyperbolic spaces.

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

This paper derives an upper bound for the first p-Dirichlet eigenvalue on conformally compact spaces. As a consequence, for a class of such submanifolds in asymptotically hyperbolic spaces, the asymptotic sectional curvatures, the meeting angle at infinity, and whether the norm of the mean curvature vanishes are all fixed by the value of this eigenvalue. The work also establishes sharp upper bounds for the first eigenvalue of polyharmonic operators under clamped and buckling boundary conditions, along with sharp lower bounds for all three eigenvalue problems on weakly Poincaré-Einstein spaces with Ricci curvature bounded below by -n g_+ and nonnegative Yamabe constant at the conformal infinity.

Core claim

For a class of conformally compact submanifolds of asymptotically hyperbolic spaces, the asymptotic sectional curvatures, the meeting angle at infinity, and the vanishing of the norm of the mean curvature are all determined by its first p-Dirichlet eigenvalue. Sharp upper bounds are obtained for the first p-Dirichlet eigenvalue on conformally compact spaces and for polyharmonic eigenvalues under clamped and buckling conditions, while sharp lower bounds hold on weakly Poincaré-Einstein spaces satisfying the Ricci lower bound and nonnegative Yamabe constant, extending to their submanifolds.

What carries the argument

Sharp upper and lower bounds on the first p-Dirichlet eigenvalue and polyharmonic eigenvalues, obtained via variational characterization and comparison on manifolds with controlled Ricci curvature and Yamabe constant.

Load-bearing premise

The manifolds are conformally compact with Ricci curvature bounded below by -n times the metric and with nonnegative Yamabe constant on the conformal infinity.

What would settle it

Constructing two non-isometric conformally compact submanifolds in an asymptotically hyperbolic space that share the same first p-Dirichlet eigenvalue but differ in asymptotic sectional curvature or meeting angle would falsify the determination claim.

Figures

Figures reproduced from arXiv: 2604.25144 by Samuel P\'erez-Ayala.

Figure 1
Figure 1. Figure 1: Coordinates near the boundary of an AH manifold. We conclude this subsection with a brief discussion of other conformally compact spaces. On any smooth compact Riemannian manifold (X n+1 , g¯), there is always a unique defining function r for view at source ↗
read the original abstract

We derive sharp bounds for three types of eigenvalue problems. First, we derive an upper bound for the first $p$-Dirichlet eigenvalue on conformally compact (CC) spaces. As a consequence, we show that for a class of CC submanifolds of asymptotically hyperbolic spaces, the asymptotic sectional curvatures, the meeting angle at infinity, and the vanishing of the norm of the mean curvature are all determined by its first $p$-Dirichlet eigenvalue. Additionally, we derive sharp upper bounds for the first eigenvalue of polyharmonic operators under both clamped and buckling boundary conditions. Finally, we prove sharp lower bounds for all three types of eigenvalue problems on weakly Poincar\'e-Einstein spaces with $\text{Ric}_{g_+}\ge -ng_+$ and whose conformal infinity has nonnegative Yamabe constant, and on their submanifolds.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

0 major / 3 minor

Summary. The manuscript derives sharp upper bounds for the first p-Dirichlet eigenvalue on conformally compact (CC) manifolds. As a consequence, it establishes a rigidity result for certain CC submanifolds of asymptotically hyperbolic spaces, where the first p-Dirichlet eigenvalue determines the asymptotic sectional curvatures, the meeting angle at infinity, and the vanishing of the mean curvature norm. The paper also obtains sharp upper bounds for the first eigenvalue of polyharmonic operators under clamped and buckling boundary conditions. Finally, it proves sharp lower bounds for these eigenvalue problems on weakly Poincaré-Einstein spaces satisfying Ric_{g_+} ≥ -n g_+ and with nonnegative Yamabe constant at the conformal infinity, including their submanifolds.

Significance. If the derivations hold, the results extend sharp spectral geometry to the p-Laplacian and polyharmonic settings on asymptotically hyperbolic manifolds, with a notable rigidity theorem linking the eigenvalue to asymptotic geometry and mean curvature. The lower bounds under standard curvature and Yamabe assumptions provide a coherent counterpart to the upper bounds, potentially useful for comparison geometry in this setting.

minor comments (3)
  1. [Abstract] The abstract packs multiple distinct results into a single paragraph; splitting the claims into separate sentences would improve readability without altering content.
  2. [Introduction] Notation for the p-Laplacian, polyharmonic operators, and boundary conditions (clamped vs. buckling) should be introduced with explicit definitions in the introduction or preliminary section to ensure consistency throughout.
  3. Verify that all references to prior results on the standard Laplacian (for comparison) are cited explicitly when stating the extensions to p > 2 or higher-order operators.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive assessment of our work and for recommending minor revision. No specific major comments were raised in the report, so we have no points to address individually at this stage. We will incorporate any minor improvements suggested by the editor or in a subsequent round if needed.

Circularity Check

0 steps flagged

No circularity in derivation chain

full rationale

The abstract and claims describe standard spectral geometry results: deriving sharp upper bounds for the first p-Dirichlet eigenvalue on conformally compact spaces, obtaining rigidity consequences for submanifolds (asymptotic curvatures, meeting angle, mean curvature norm determined by the eigenvalue), and sharp lower bounds on weakly Poincaré-Einstein spaces under standard curvature and Yamabe assumptions. No equations, fitting procedures, self-definitions, or load-bearing self-citations are visible that would reduce any prediction or bound to the inputs by construction. The equality-case rigidity is a logically independent consequence, not a tautology, and the assumptions are external to the eigenvalue statements themselves. The derivation chain appears self-contained against external benchmarks in the AH setting.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Abstract-only review; ledger populated only from explicitly stated settings in the abstract. No free parameters, invented entities, or additional axioms are described.

axioms (1)
  • domain assumption Manifolds are conformally compact or weakly Poincaré-Einstein with Ric_{g_+} ≥ -n g_+ and nonnegative Yamabe constant at conformal infinity
    These conditions are required for the lower bounds and the geometric determination statements in the abstract.

pith-pipeline@v0.9.0 · 5447 in / 1269 out tokens · 96077 ms · 2026-05-07T14:34:33.284209+00:00 · methodology

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

32 extracted references · 32 canonical work pages

  1. [1]

    M. T. Anderson,Geometric aspects of the AdS / CFT correspondence, IRMA Lect. Math. Theor. Phys.8 (2005), 1–31, available athep-th/0403087

    work page arXiv 2005

  2. [2]

    M. S. Ashbaugh,Isoperimetric and universal inequalities for eigenvalues, Spectral theory and geometry (edin- burgh, 1998), 1999, pp. 95–139

    work page 1998

  3. [3]

    Buoso and P

    D. Buoso and P. D. Lamberti,Eigenvalues of polyharmonic operators on variable domains, ESAIM: Control, Optimisation and Calculus of Variations19(2013), no. 4, 1225–1235

    work page 2013

  4. [4]

    J. S. Case and S.-Y. Alice Chang,On fractional gjms operators, Communications on pure and applied mathe- matics69(2016), no. 6, 1017–1061 (eng)

    work page 2016

  5. [5]

    S.-Y. A. Chang, J. Qing, and P. Yang,Some progress in conformal geometry, Symmetry, integrability and geometry, methods and applications3(2007), 122– (eng)

    work page 2007

  6. [6]

    Charalambous and J

    N. Charalambous and J. Rowlett,The laplace spectrum on conformally compact manifolds, Transactions of the American Mathematical Society377(2024), no. 5, 3373–3395 (eng)

    work page 2024

  7. [7]

    Cheung and P.-F

    L.-F. Cheung and P.-F. Leung,Eigenvalue estimates for submanifolds with bounded mean curvature in the hyperbolic space, Mathematische Zeitschrift236(2001), no. 3, 525–530 (eng)

    work page 2001

  8. [8]

    Choe and R

    J. Choe and R. Gulliver,Isoperimetric inequalities on minimal submanifolds of space forms, Manuscripta mathematica77(1992), no. 1, 169–189 (eng)

    work page 1992

  9. [9]

    Du and J

    F. Du and J. Mao,Estimates for the first eigenvalue of the drifting laplace and the p-laplace operators on submanifolds with bounded mean curvature in the hyperbolic space, Journal of Mathematical Analysis and Applications456(2017)

    work page 2017

  10. [10]

    Farkas, S

    C. Farkas, S. Kaj´ ant´ o, and A. Krist´ aly,Sharp spectral gap estimates for higher-order operators on cartan– hadamard manifolds, Communications in Contemporary Mathematics27(2025), no. 03, 2450013

    work page 2025

  11. [11]

    C. R. Graham,Volume and area renormalizations for conformally compact einstein metrics, Proceedings of the 19th winter school ”geometry and physics”, 2000, pp. 31–42

    work page 2000

  12. [12]

    4, 1781–1792 (eng)

    ,Volume renormalization for singular yamabe metrics, Proceedings of the American Mathematical Society145(2017), no. 4, 1781–1792 (eng)

    work page 2017

  13. [13]

    C. R. Graham, R. Jenne, L. J. Mason, and G. A. J. Sparling,Conformally invariant powers of the laplacian, i: Existence, Journal of the London Mathematical Societys2-46(1992), no. 3, 557–565 (eng)

    work page 1992

  14. [14]

    C. R. Graham and M. Zworski,Scattering matrix in conformal geometry, Inventiones mathematicae152(2003), no. 1, 89–118 (eng)

    work page 2003

  15. [15]

    C. R. Graham and J. M Lee,Einstein metrics with prescribed conformal infinity on the ball, Advances in mathematics (New York. 1965)87(1991), no. 2, 186–225 (eng)

    work page 1965

  16. [16]

    Guillarmou and J

    C. Guillarmou and J. Qing,Spectral characterization of poincar´ e–einstein manifolds with infinity of positive yamabe type, International mathematics research notices2010(2010), no. 9, 1720–1740 (eng)

    work page 2010

  17. [17]

    Hijazi, S

    O. Hijazi, S. Montiel, and S. Raulot,The cheeger constant of an asymptotically locally hyperbolic manifold and the yamabe type of its conformal infinity, Communications in mathematical physics374(2020), no. 2, 873–890 (eng)

    work page 2020

  18. [18]

    Jin,The lower bound of first dirichlet eigenvalue of p-laplacian in riemannian manifolds, 2024

    X. Jin,The lower bound of first dirichlet eigenvalue of p-laplacian in riemannian manifolds, 2024

    work page 2024

  19. [19]

    J. Jost, X. Li-Jost, Q. Wang, and C. Xia,Universal bounds for eigenvalues of the polyharmonic operators, Transactions of the American Mathematical Society363(2011), no. 4, 1821–1854 (eng)

    work page 2011

  20. [20]

    Kac,Can one hear the shape of a drum?, The American mathematical monthly73(1966), no

    M. Kac,Can one hear the shape of a drum?, The American mathematical monthly73(1966), no. sup4, 1–23 (eng)

    work page 1966

  21. [21]

    Krist´ aly,Fundamental tones of clamped plates in nonpositively curved spaces, Advances in mathematics (New York

    A. Krist´ aly,Fundamental tones of clamped plates in nonpositively curved spaces, Advances in mathematics (New York. 1965)367(2020), 107113– (eng)

    work page 1965

  22. [22]

    Lˆ e,Eigenvalue problems for the p-laplacian, Nonlinear analysis64(2006), no

    A. Lˆ e,Eigenvalue problems for the p-laplacian, Nonlinear analysis64(2006), no. 5, 1057–1099 (eng)

    work page 2006

  23. [23]

    J. M. Lee,The spectrum of an asymptotically hyperbolic einstein manifold, Communications in analysis and geometry3(1995), no. 2, 253–271 (eng)

    work page 1995

  24. [24]

    Lin,Spectral gap estimates for the biharmonic operator on submanifolds of negatively curved spaces, Journal of mathematical analysis and applications551(2025), no

    H. Lin,Spectral gap estimates for the biharmonic operator on submanifolds of negatively curved spaces, Journal of mathematical analysis and applications551(2025), no. 2, 129704– (eng)

    work page 2025

  25. [25]

    Lindqvist,On the equation div(|∇u| p−2∇u) +λ|u| p−2u= 0, Proceedings of the American Mathematical Society109(1990), no

    P. Lindqvist,On the equation div(|∇u| p−2∇u) +λ|u| p−2u= 0, Proceedings of the American Mathematical Society109(1990), no. 1, 157–164 (eng)

    work page 1990

  26. [26]

    Mazzeo,Unique continuation at infinity and embedded eigenvalues for asymptotically hyperbolic manifolds, American journal of mathematics113(1991), no

    R. Mazzeo,Unique continuation at infinity and embedded eigenvalues for asymptotically hyperbolic manifolds, American journal of mathematics113(1991), no. 1, 25–45 (eng)

    work page 1991

  27. [27]

    R. R. Mazzeo,Hodge cohomology of negatively curved manifolds, Ph.D. Thesis, 1986

    work page 1986

  28. [28]

    P´ erez-Ayala and A

    S. P´ erez-Ayala and A. J Tyrrell,Holography and cheeger constant of asymptotically cmc submanifolds(2025) (eng)

    work page 2025

  29. [29]

    P´ erez-Ayala and A

    S. P´ erez-Ayala and A. J. Tyrrell,First eigenvalue estimates for asymptotically hyperbolic manifolds and their submanifolds, Revista Matem´ atica Iberoamericana (2026), available atarXiv:2404.07365. to appear

    work page arXiv 2026

  30. [30]

    Sullivan,Related aspects of positivity in riemannian geometry, Journal of differential geometry25(1987), no

    D. Sullivan,Related aspects of positivity in riemannian geometry, Journal of differential geometry25(1987), no. 3, 327–351 (eng). EIGENVALUE ESTIMATES ON AH MANIFOLDS 21

    work page 1987

  31. [31]

    Takeuchi,On the First Eigenvalue of thep-Laplacian in a Riemannian Manifold, Tokyo Journal of Math- ematics21(1998), no

    H. Takeuchi,On the First Eigenvalue of thep-Laplacian in a Riemannian Manifold, Tokyo Journal of Math- ematics21(1998), no. 1, 135 –140

    work page 1998

  32. [32]

    Zhang and Y

    L. Zhang and Y. Zhao,The lower bounds of the first eigenvalues for the biharmonic operator on manifolds, Journal of inequalities and applications2016(2016), no. 1, 1–9 (eng). Samuel P´erez-Ayala, 370 Lancaster Ave, Haverford College, Haverford, PA 19041, USA Email address:sperezayal@haverford.edu

    work page 2016