Carnot rectifiability and Alberti representations
Abstract
This paper introduces and studies the analogue of the notion of Lipschitz differentiability space by Cheeger, using Carnot groups and Pansu derivatives as models. We call such metric measure spaces Pansu differentiability spaces (PDS). After fixing a Carnot group $\mathbb G$, we prove three main results. (i) Being a PDS with $\mathbb G$valued charts is equivalent to having $\mathrm{rank}(\mathbb G)$ independent and horizontally universal Alberti representations with respect to complete $\mathbb G$valued charts. This result leverages on a characterization by D. Bate, and extends it to our setting. For nonAbelian Carnot groups, the completeness assumption cannot be removed as in the Euclidean case. One direction of this equivalence can be seen as a metric analogue of PansuRademacher theorem. (ii) In every PDS the pushforward of the measure with respect to every $\mathbb G$valued chart is absolutely continuous with respect to the Haar measure on $\mathbb G$. This extends the proof of Cheeger's conjecture by De PhilippisMarcheseRindler to our setting. (iii) For $Q$ being the homogeneous dimension of $\mathbb G$, being a PDS with $\mathbb G$valued charts, with finite $Q$upper density, and positive $Q$lower density almost everywhere, is equivalent to being $\mathbb G$biLipschitz rectifiable. This extends a result by D. Bate and S. Li to our setting. Moreover, the previous equivalence is false if we substitute $\mathbb G$biLipschitz with $\mathbb G$Lipschitz, contrarily to what happens in the Euclidean realm.
 Publication:

arXiv eprints
 Pub Date:
 February 2023
 DOI:
 10.48550/arXiv.2302.01376
 arXiv:
 arXiv:2302.01376
 Bibcode:
 2023arXiv230201376A
 Keywords:

 Mathematics  Metric Geometry;
 Mathematics  Classical Analysis and ODEs;
 53C17;
 22E25;
 28A75;
 49Q15;
 26A16