Nilpotent Groups and Bi-Lipschitz Embeddings Into L1

We prove that if a simply connected nilpotent Lie group quasi-isometrically embeds into an L1 space, then it is abelian. We reach this conclusion by proving that every Carnot group that bi-Lipschitz embeds into L1 is abelian. Our proof follows the work of Cheeger and Kleiner, by considering the pull-back distance of a Lipschitz map into L1 and representing it using a cut measure. We show that such cut measures, and the induced distances, can be blown up and the blown-up cut measure is supported on “generic” tangents of the original sets. By repeating such a blow-up procedure, one obtains a cut measure supported on half-spaces. This differentiation result then is used to prove that bi-Lipsch…