The sharp lower bound of the first eigenvalue of the sub-Laplacian on a quaternionic contact manifold

Srefan Ivanov, Alexander Petkov, Dimiter Vassilev

The main technical result of the paper is a Bochner type formula for the sub-laplacian on a quaternionic contact manifold. With the help of this formula we establish a version of L…