The main result of the present article is a Rademacher-type theorem for intrinsic Lipschitz graphs of codimension ≤ in sub-Riemannian Heisenberg groups H . For the purpose of proving such a result, we settle several related questions pertaining both to the theory of intrinsic Lipschitz graphs and to the one of currents. First, we prove an extension result for intrinsic Lipschitz graphs as well as a uniform approximation theorem by means of smooth graphs: both of these results stem from a new definition (equivalent to the one introduced by B. Franchi, R. Serapioni and F. Serra Cassano) of intrinsic Lipschitz graphs and are valid for a more general class of intrinsic Lipschitz graphs in Carnot groups. Second, our proof of Rademacher’s theorem heavily uses the language of currents in Heisenberg groups: one key result is, for us, a version of the celebrated constancy theorem. Inasmuch as Heisenberg currents are defined in terms of Rumin’s complex of differential forms, we also provide a convenient basis of Rumin’s spaces. Eventually, we provide some applications of Rademacher’s theorem including a Lusin-type result for intrinsic Lipschitz graphs, the equivalence between H-rectifiability and ‘Lipschitz’ H-rectifiability and an area formula for intrinsic Lipschitz graphs in Heisenberg groups.

Lipschitz graphs and currents in Heisenberg groups

Vittone, Davide
2022

Abstract

The main result of the present article is a Rademacher-type theorem for intrinsic Lipschitz graphs of codimension ≤ in sub-Riemannian Heisenberg groups H . For the purpose of proving such a result, we settle several related questions pertaining both to the theory of intrinsic Lipschitz graphs and to the one of currents. First, we prove an extension result for intrinsic Lipschitz graphs as well as a uniform approximation theorem by means of smooth graphs: both of these results stem from a new definition (equivalent to the one introduced by B. Franchi, R. Serapioni and F. Serra Cassano) of intrinsic Lipschitz graphs and are valid for a more general class of intrinsic Lipschitz graphs in Carnot groups. Second, our proof of Rademacher’s theorem heavily uses the language of currents in Heisenberg groups: one key result is, for us, a version of the celebrated constancy theorem. Inasmuch as Heisenberg currents are defined in terms of Rumin’s complex of differential forms, we also provide a convenient basis of Rumin’s spaces. Eventually, we provide some applications of Rademacher’s theorem including a Lusin-type result for intrinsic Lipschitz graphs, the equivalence between H-rectifiability and ‘Lipschitz’ H-rectifiability and an area formula for intrinsic Lipschitz graphs in Heisenberg groups.
File in questo prodotto:
File Dimensione Formato  
22-V-ForumMathSigma.pdf

accesso aperto

Tipologia: Published (publisher's version)
Licenza: Creative commons
Dimensione 1.47 MB
Formato Adobe PDF
1.47 MB Adobe PDF Visualizza/Apri
Pubblicazioni consigliate

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11577/3414981
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 7
  • ???jsp.display-item.citation.isi??? 8
social impact