Accepted Paper: J. Math. Pures Appl.
Inserted: 16 may 2017
Last Updated: 24 oct 2017
We show that every Carnot group G of step 2 admits a Hausdorff dimension one `universal differentiability set' N such that every real-valued Lipschitz map on G is Pansu differentiable at a point of N. This relies on the fact that existence of a maximal directional derivative of f at a point x implies Pansu differentiability at the same point x. We show that such an implication holds in Carnot groups of step 2 but fails in the Engel group which has step 3.