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

Recognition: unknown

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

Samuel P\'erez-Ayala

Authors on Pith no claims yet

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 comments

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: 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.

Desk Editor's Note private letter to a colleague

This paper sharpens p-Laplacian bounds on conformally compact asymptotically hyperbolic spaces and extracts a rigidity result where one eigenvalue determines multiple asymptotic quantities for submanifolds.

read the letter

The main point is that the work gives an upper bound on the first p-Dirichlet eigenvalue for conformally compact spaces and shows that equality in that bound fixes the asymptotic sectional curvatures, the meeting angle at infinity, and the vanishing of the mean curvature norm for a class of submanifolds of asymptotically hyperbolic spaces. It also supplies sharp upper bounds for the first eigenvalues of polyharmonic operators under clamped and buckling conditions, plus lower bounds for all three problems on weakly Poincaré-Einstein spaces with the standard Ricci lower bound and nonnegative Yamabe constant at infinity. These pieces sit together in one manuscript, which makes the organization useful even if the individual estimates build on known comparison techniques for the hyperbolic model. The rigidity statement stands out because it ties a single spectral quantity to several geometric features at once, and the assumptions line up with the usual setup for asymptotically hyperbolic geometry. The lower bounds under the given curvature and Yamabe conditions are straightforward to state once the model spaces are fixed, but they still give clean constants that can be checked against the equality cases. The polyharmonic sections add coverage without changing the core method. The proofs are not sketched in the abstract, so the technical control of the asymptotics and the precise test functions or variational arguments remain to be verified in the body. That is the main soft spot: sharpness claims always need the equality analysis to be airtight, and any gap in handling the conformal compactification or the boundary terms would weaken the determination result. The assumptions themselves are standard rather than artificial. This paper is for specialists already working on spectral geometry or rigidity theorems for noncompact manifolds. Someone who knows the p-Laplacian literature on hyperbolic space would pick up the extensions and the multi-quantity rigidity quickly. It has enough focused claims and relevant setting to deserve a serious referee rather than a desk rejection.

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)

[Abstract] The abstract packs multiple distinct results into a single paragraph; splitting the claims into separate sentences would improve readability without altering content.
[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.
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)

Reference graph

Works this paper leans on

32 extracted references · 2 canonical work pages

[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]

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

1998
[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

2013
[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)

2016
[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)

2007
[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)

2024
[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)

2001
[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)

1992
[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)

2017
[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

2025
[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

2000
[12]

4, 1781–1792 (eng)

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

2017
[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)

1992
[14]

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

2003
[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)

1965
[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)

2010
[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)

2020
[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

2024
[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)

2011
[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)

1966
[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)

1965
[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)

2006
[23]

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

1995
[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)

2025
[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)

1990
[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)

1991
[27]

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

1986
[28]

P´ erez-Ayala and A

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

2025
[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]

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

1987
[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

1998
[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

2016