Identifying 1-rectifiable measures in Carnot groups

We continue to develop a program in geometric measure theory that seeks to identify how measures in a space interact with canonical families of sets in the space. In particular, extending a theorem of M. Badger and R. Schul in Euclidean space, for an arbitrary locally finite Borel measure in an arbitrary Carnot group, we develop tests that identify the part of the measure that is carried by rectifiable curves and the part of the measure that is singular to rectifiable curves. Our main result is entwined with an extension of analyst’s traveling salesman theorem, which characterizes the subsets of rectifiable curves in R 2 {{\mathbb{R}}}^{2} (P. W. Jones, Rectifiable sets and the traveling salesman problem, Invent. Math. 102 (1990), no. 1, 1–15), in R n {{\mathbb{R}}}^{n} (K. Okikiolu, Characterization of subsets of rectifiable curves in R n {{\bf{R}}}^{n} , J. London Math. Soc. (2) 46 (1992), no. 2, 336–348), or in an arbitrary Carnot group (S. Li) in terms of local geometric least-squares data called Jones’ β \beta -numbers. In a secondary result, we implement the Garnett-Killip-Schul construction of a doubling measure in R n {{\mathbb{R}}}^{n} that charges a rectifiable curve in an arbitrary complete, doubling, locally quasiconvex metric space.