Sharp a priori estimates for div-curl systems in Heisenberg groups

In this paper we prove a family of inequalities for differential forms in Heisenberg groups H1 and H2, that are the natural counterpart of a class of div-curl inequalities in de Rhamʼs complex proved by Lanzani & Stein and Bourgain & Brezis.