Inserted: 22 sep 2016
Last Updated: 20 sep 2019
Journal: Calc. Var. Partial Differential Equations 57
We prove that length minimizing curves in Carnot-Carathéodory spaces possess at any point at least one tangent curve (i.e., a blow-up in the nilpotent approximation) equal to a straight horizontal line. This is the first regularity result for length minimizers that holds with no assumption on either the space (e.g., its rank, step, or analyticity) or the curve.