Comparing three possible hypoelliptic Laplacians on the 5-dimensional Cartan group via div-curl type estimates

TL;DR

This paper compares three hypoelliptic Laplacians on 5D Carnot groups, specifically on a free Carnot group of step 3, to establish sharp div-curl estimates similar to classical and subelliptic inequalities.

Contribution

It introduces and compares three definitions of hypoelliptic Hodge-Laplacians on a specific Carnot group to facilitate sharp regularity estimates.

Findings

Comparison of three hypoelliptic Laplacians on the free Carnot group of step 3.

Establishment of sharp div-curl type inequalities for these Laplacians.

Insights into the suitability of different Laplacians for regularity and estimate purposes.

Abstract

On general Carnot groups, the definition of a possible hypoelliptic Hodge-Laplacian on forms using the Rumin complex has been considered by Rumin, who introduced a 0-order pseudodifferential operator on forms. However, for questions regarding regularity for example, where one needs sharp estimates, this 0-order operator is not suitable. Up to now, there have only been very few attempts to define hypoelliptic Hodge-Laplacians on forms that would allow for such sharp estimates. Indeed, this question is rather difficult to address in full generality, the main issue being that the Rumin exterior differential $d_c$ is not homogeneous on arbitrary Carnot groups. In this note, we consider the specific example of the free Carnot group of step 3 with 2 generators, and we introduce three possible definitions of hypoelliptic Hodge-Laplacians. We compare how these three possible Laplacians can be used to obtain sharp div-curl type inequalities akin to those considered by Bourgain & Brezis and Lanzani & Stein for the de Rham complex, or their subelliptic counterparts obtained by Baldi, Franchi & Pansu for the Rumin complex on Heisenberg groups.