Two Growth Filtrations for Drift Laplacians: Compatibility, Rigidity, and an Inverse Hermite/Laguerre Theorem

Abstract

Let $(M^n,g)$ be a complete, connected, noncompact Riemannian manifold, and let $f\ge0$ be a proper $C^2$ weight. We assume polynomial bounds on $f$, $|\nabla f|$, and $\Delta f$ (Assumptions H1-H3), with growth exponent $\alpha>0$. We study the drift Laplacian $L_f=\Delta-\langle\nabla f,\nabla\cdot\rangle$ on $L^2(M,e^{-f}dV)$. We assume that its eigenfunctions have finite polynomial growth orders $\gamma_k$, measured on the level sets of $f^{1/\alpha}$. We also assume that $\gamma_k\to\infty$ in spectral order (Assumption H4). We compare this growth filtration with the filtration by eigenvalue $\lambda_k$. For $\alpha>1$, we study the relation $\lambda_k\asymp\gamma_k^{(2\alpha-2)/\alpha}$, called compatibility. An explicit rotationally symmetric example shows that this relation can fail for the full spectrum, even when $\alpha=2$. We prove discreteness and weighted Agmon estimates for $\alpha>1$. A moment estimate bounds the concentration radius in terms of the growth order and a finite-scale prefactor. A lower localization condition gives one direction of the spectral comparison. For exact warped products with a one-dimensional base, we impose the radial growth condition and a regularity assumption on the radial drift. These give $\alpha=2$ and $\lambda_k\asymp\gamma_k$ in the radial sector. For general $(M,g)$, we assume a transitive isometric symmetry of the level sets instead of a warped-product structure. The invariant-sector growth condition and radial-drift regularity then give $\alpha=2$ and $\lambda_k\asymp\gamma_k\asymp k$. Finally, exact polynomiality of the invariant eigenfunctions implies $\alpha=2$ without the drift regularity assumptions. The reduced equation is then Hermite or generalized Laguerre after normalization. The arguments use neither curvature bounds nor soliton equations.