Lower bounds for the critical CR GJMS operator
Abstract
We establish lower bounds for the critical CR GJMS operator on closed pseudo-Hermitian manifolds. In dimension 2n+1, assuming embeddability, we obtain a lower bound involving the Heisenberg Sobolev norm of order n+1, modulo an L2 term, on the orthogonal complement of the kernel. In dimension three, we prove that the CR Paneitz operator is bounded below without assuming embeddability. The proofs combine the Heisenberg calculus with a square-root construction based on the joint functional calculus of the sub-Laplacian and the Reeb vector field on the Heisenberg group. As an application, we show that the infinitely many negative eigenvalues of the CR Paneitz operator on the Rossi sphere have zero as their only accumulation point. Consequently, this operator does not have closed range.
Related
BibTeX
@misc{takeuchi2026lower,
title = {{Lower bounds for the critical CR GJMS operator}},
author = {Yuya Takeuchi},
howpublished = {arXiv},
year = {2026},
month = sep,
doi = {10.48550/arxiv.2609.26371},
eprint = {2609.26371},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2609.26371},
}
RIS
TY - UNPB
TI - Lower bounds for the critical CR GJMS operator
AU - Yuya Takeuchi
PY - 2026
DA - 2026/09/22
PB - arXiv
DO - 10.48550/arxiv.2609.26371
UR - https://arxiv.org/abs/2609.26371
AB - We establish lower bounds for the critical CR GJMS operator on closed pseudo-Hermitian manifolds. In dimension 2n+1, assuming embeddability, we obtain a lower bound involving the Heisenberg Sobolev norm of order n+1, modulo an L^2 term, on the orthogonal complement of the kernel. In dimension three, we prove that the CR Paneitz operator is bounded below without assuming embeddability. The proofs combine the Heisenberg calculus with a square-root construction based on the joint functional calculus of the sub-Laplacian and the Reeb vector field on the Heisenberg group. As an application, we show that the infinitely many negative eigenvalues of the CR Paneitz operator on the Rossi sphere have zero as their only accumulation point. Consequently, this operator does not have closed range.
ER -