{"id":"arxiv/2604.16618","url":"https://arxiv.org/abs/2604.16618","tags":["math.MG"],"score":0,"title":"A Lipschitz curve in a Carnot group that is purely unrectifiable by smooth horizontal curves","domain":"math.MG","source":"arxiv","authors":["Gareth Speight","Scott Zimmerman"],"reviews":0,"subject":"math.MG","summary":"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}_{H}$-Lusin property fails in a strong sense in this group, and we deduce that such a curve must be purely $C^1_H$ 1-unrectifiable. Hence 1-rectifiability in Carnot groups is wildly different to its counterpart in Euclidean spaces, wherein the Whitney Extension Theorem guarantees that Lipschitz rectifiability and $C^1$ rectifiability are equivalent.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-04-17","reactions":{}}