ﻻ يوجد ملخص باللغة العربية
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 the first author 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 the Analysts Traveling Salesman Theorem, which characterizes subsets of rectifiable curves in $mathbb{R}^2$ (P. Jones, 1990), in $mathbb{R}^n$ (K. Okikolu, 1992), or in an arbitrary Carnot group (the second author) 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 $mathbb{R}^n$ that charges a rectifiable curve in an arbitrary complete, quasiconvex, doubling metric space.
In this paper we prove the one-dimensional Preiss theorem in the first Heisenberg group $mathbb H^1$. More precisely we show that a Radon measure $phi$ on $mathbb H^1$ with positive and finite one-density with respect to the Koranyi distance is suppo
We provide a Rademacher theorem for intrinsically Lipschitz functions $phi:Usubseteq mathbb Wto mathbb L$, where $U$ is a Borel set, $mathbb W$ and $mathbb L$ are complementary subgroups of a Carnot group, where we require that $mathbb L$ is a normal
We formalize the notion of limit of an inverse system of metric spaces with $1$-Lipschitz projections having unbounded fibers. The purpose is to use sub-Riemannian groups for metrizing the space of signatures of rectifiable paths in Euclidean spaces,
In this paper, we construct Holder maps to Carnot groups equipped with a Carnot metric, especially the first Heisenberg group $mathbb{H}$. Pansu and Gromov observed that any surface embedded in $mathbb{H}$ has Hausdorff dimension at least 3, so there
We show that if $M$ is a sub-Riemannian manifold and $N$ is a Carnot group such that the nilpotentization of $M$ at almost every point is isomorphic to $N$, then there are subsets of $N$ of positive measure that embed into $M$ by bilipschitz maps. Fu