Cohomology of annuli, duality and -differential forms on Heisenberg groups
In the last few years the authors proved Poincaré and Sobolev type inequalities in Heisenberg groups for differential forms in the Rumin's complex. The need to substitute the usual de Rham complex of differential forms for Euclidean spaces with the Rumin's complex is due to the different stratification of the Lie algebra of Heisenberg groups. The crucial feature of Rumin's complex is that is a differential operator of order 1 or 2 according to the degree of the form. Roughly speaking, Poincaré and Sobolev type inequalities are quantitative formulations of the well known topological problem whether a closed form is exact. More precisely, for suitable and , we mean that every exact differential form in admits a primitive in such that. The cases of the norm , and have been already studied in a series of papers by the authors. In the present paper we deal with the limiting case where : it is remarkable that, unlike in the scalar case, when the degree of the forms is at least , we can take in the left-hand side of the inequality. The corresponding inequality in the Euclidean setting ( and ) was proven by Bourgain and Brezis.