$L^p$-Hodge decomposition and global integral estimates on the Cartan group

Fuente: arXiv
Guardado en:
Detalles Bibliográficos
Autores principales: Baldi, Annalisa, Rosa, Alessandro
Formato: Preprint
Publicado: 2026
Materias:
Acceso en línea:
Etiquetas: Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
_version_ 1866915940691607552
author Baldi, Annalisa
Rosa, Alessandro
author_facet Baldi, Annalisa
Rosa, Alessandro
contents The study of Sobolev and Poincaré inequalities for differential forms in Carnot groups and in the more general sub-Riemannian setting is still an open problem in its full generality. One may conjecture that, for general Carnot groups, these inequalities are expressed in terms of suitable graded Lebesgue norms. In recent years, many results have been obtained, both in the Euclidean setting and in the Heisenberg groups, as well as for contact manifolds with bounded geometry. There are also some results for general Carnot groups; however, these do not cover the problem in its full generality. In this paper, we consider a particular Carnot group, the so-called Cartan group (a free Carnot group, of step $3$ with $2$ generators), which provides a natural testing ground for these questions, since its step-three structure already exhibits several phenomena that do not occur in the Heisenberg groups. In this setting, we are able to prove global Poincaré and Sobolev-Gaffney inequalities for differential forms. With the aim of obtaining sharp estimates, we replace the de Rham complex of differential forms with the Rumin complex. The case $p>1$ is carried out after establishing an $L^p$-Hodge decomposition with homogeneous Sobolev classes. We are able to consider also the endpoint case $p=1$; however, as in Euclidean setting, when $p=1$, the operator we deal with provides only weak-type estimates which do not yield a Hodge decomposition analogous to the case $p>1$. Therefore, in this situation the proof follows a different approach, relying on a recent result proved in \cite{BT}.
format Preprint
id arxiv_https___arxiv_org_abs_2604_15206
institution arXiv
publishDate 2026
record_format arxiv
spellingShingle $L^p$-Hodge decomposition and global integral estimates on the Cartan group
Baldi, Annalisa
Rosa, Alessandro
Analysis of PDEs
35R03, 26D15, 35H10, 43A80, 58A10, 46E35
The study of Sobolev and Poincaré inequalities for differential forms in Carnot groups and in the more general sub-Riemannian setting is still an open problem in its full generality. One may conjecture that, for general Carnot groups, these inequalities are expressed in terms of suitable graded Lebesgue norms. In recent years, many results have been obtained, both in the Euclidean setting and in the Heisenberg groups, as well as for contact manifolds with bounded geometry. There are also some results for general Carnot groups; however, these do not cover the problem in its full generality. In this paper, we consider a particular Carnot group, the so-called Cartan group (a free Carnot group, of step $3$ with $2$ generators), which provides a natural testing ground for these questions, since its step-three structure already exhibits several phenomena that do not occur in the Heisenberg groups. In this setting, we are able to prove global Poincaré and Sobolev-Gaffney inequalities for differential forms. With the aim of obtaining sharp estimates, we replace the de Rham complex of differential forms with the Rumin complex. The case $p>1$ is carried out after establishing an $L^p$-Hodge decomposition with homogeneous Sobolev classes. We are able to consider also the endpoint case $p=1$; however, as in Euclidean setting, when $p=1$, the operator we deal with provides only weak-type estimates which do not yield a Hodge decomposition analogous to the case $p>1$. Therefore, in this situation the proof follows a different approach, relying on a recent result proved in \cite{BT}.
title $L^p$-Hodge decomposition and global integral estimates on the Cartan group
topic Analysis of PDEs
35R03, 26D15, 35H10, 43A80, 58A10, 46E35
url https://arxiv.org/abs/2604.15206