Sharp trace inequalities for conformally invariant fractional powers of the sublaplacian on the Heisenberg group and the CR sphere

We establish sharp Sobolev trace inequalities for conformally invariant fractional powers of the sublaplacian on the Heisenberg group and the CR sphere, extending the corresponding Euclidean results of Einav-Loss, Beckner, and Bez-Machihara-Sugimoto to these non-Euclidean settings. In the limiting case, sharp trace Beckner-Onofri inequalities are also established on the CR sphere. The proofs are based on a duality argument due to Bez-Machihara-Sugimoto, together with the Frank-Lieb sharp form of the Hardy-Littlewood-Sobolev inequalities on the Heisenberg group and the CR sphere. The same approach also yields trace Beckner-Onofri inequalities on the standard sphere.