Compensated compactness in the contact complex of Heisenberg groups Annalisa BaldiBruno FranchiMaria Carla Tesi 43A8058A1058A2535B27compensated compactenessHeisenberg groupsdifferential formscurrentsLaplace operators In this paper we prove a compensated compactness theorem for differential forms in the contact complex of Heisenberg group. The proof relies on a $L^{p}$-Hodge decomposition for intrinsic Heisenberg forms, and suitable $L^{p}$ estimates for the Laplace operator associated with the contact complex. Indiana University Mathematics Journal 2008 text pdf 10.1512/iumj.2008.57.3158 10.1512/iumj.2008.57.3158 en Indiana Univ. Math. J. 57 (2008) 133 - 186 state-of-the-art mathematics http://iumj.org/access/