A Lipschitz curve in a Carnot group that is purely unrectifiable by smooth horizontal curves

Gareth Speight, Scott Zimmerman

We construct a Lipschitz curve in the free Carnot group of step 3 with 2 generators that meets every $C^1$ horizontal curve in a set of measure zero. This shows that the $C^{1}_{…