Inequalities of Brascamp-Lieb type on the Heisenberg group

We prove both necessary and sufficient conditions for $L^p$-bound-ed-ness of certain multilinear generalized Radon transforms that arise as Heisenberg group analogues of the Brascamp–Lieb inequalities on Euclidean space. The necessary and sufficient conditions coincide in some important special cases, but differ in others.