Cohomology of annuli, duality and L^∞-differential forms on Heisenberg groups

In the last few years the authors proved Poincare and Sobolev type inequalities in Heisenberg groups H-n 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 d(c) is a differential operator of order 1 or 2 according to the degree of the form. Roughly speaking, Poincare and Sobolev type inequalities are quantitative formulations of the well known topological problem whether a closed form is exact. More precisely, for suitable p and q, we mean that every exact differential form omega in L-p admits a primitive phi in Lq such that ||phi||L-q <= C ||omega||L-p . The cases of the norm L-p, p >= 1 and q < infinity have been already studied in a series of papers by the authors. In the present paper we deal with the limiting case where q = infinity: it is remarkable that, unlike in the scalar case, when the degree of the forms omega is at least 2, we can take q = oo in the left-hand side of the inequality. The corresponding inequality in the Euclidean setting R-N (p = N and q = infinity) was proven by Bourgain & Brezis. (c) 2023 Elsevier Inc. All rights reserved.