ﻻ يوجد ملخص باللغة العربية
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, as introduced by Chen. The constructive limit space has the universal property in the category of pointed metric spaces with 1-Lipschitz maps. In the general setting some metric properties are discussed such as the existence of geodesics and lifts. The notion of submetry will play a crucial role. The construction is applied to the sequence of free Carnot groups of fixed rank $n$ and increasing step. In this case, such limit space is in correspondence with the space of signatures of rectifiable paths in $mathbb R^n$. Hambly-Lyonss result on the uniqueness of signature implies that this space is a geodesic metric tree that brunches at every point with infinite valence. As a particular consequence we deduce that every path in $mathbb R^n$ can be approximated by projections of some geodesics in some Carnot group of rank $n$, giving an evidence that the complexity of sub-Riemannian geodesics increases with the step.
We give a construction of direct limits in the category of complete metric scalable groups and provide sufficient conditions for the limit to be an infinite-dimensional Carnot group. We also prove a Rademacher-type theorem for such limits.
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,
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 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
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