A sharp subelliptic Sobolev embedding theorem with weights

The purpose of this short article is to prove some potential estimates that naturally arise in the study of subelliptic Sobolev inequalites for functions. This will allow us to prove a local subelliptic Sobolev inequality with the optimal amount of smoothing, as well as a variant of that which describes quantitatively an improvement of the inequality as one gets away from certain characteristic varieties.