CR Sobolev and trace Sobolev inequalities

Yamabe-type flow

GNS and GNS trace inequalities