The Lichnerowicz and Obata first eigenvalue theorems and the Obata uniqueness result in the Yamabe problem on CR and quaternionic contact manifolds
Keywords: 58G30; 53C17Sub-Riemannian geometry; CR and quaternionic contact structures; Sobolev inequality; Yamabe equation; Lichnerowicz eigenvalue estimate; Obata theorem