Carnot rectifiability and Alberti representations

Abstract

A metric measure space is said to be Carnot‐rectifiable if it can be covered up to a null set by countably many bi‐Lipschitz images of compact sets of a fixed Carnot group. In this paper, we give several characterisations of such notion of rectifiability both in terms of Alberti representations of the measure and in terms of differentiability of Lipschitz maps with values in Carnot groups. In order to obtain this characterisation, we develop and study 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.