The Area Formula for Lipschitz Mappings of Carnot--Carathéodory Spaces
We prove the sub-Riemannian analog of the area formula for Lipschitz (in sub-Riemannian sense) mappings of equiregular Carnot--Carathéodory spaces.
arXiv subjects
Publications and source records attributed to Maria Karmanova.
We prove the sub-Riemannian analog of the area formula for Lipschitz (in sub-Riemannian sense) mappings of equiregular Carnot--Carathéodory spaces.
We give a simple proof of Gromov's Theorem on nilpotentization of vector fields, and exhibit a new method for obtaining quantitative estimates of comparing geometries of two different local Carnot groups in Carnot--Carathéodory spaces with $C^{1,α}$-smooth basis vector fields, $α\in[0,1]$. From here we obtain the similar estimates for comparing geometries of a Carnot--Carathéodory space and a local Carnot group. These two theorems imply basic results of the theory: Gromov type Local Approximation Theorems, and for $α>0$ Rashevski\vı-Chow Theorem and Ball--Box Theorem, etc. We apply the obtained results for proving $hc$-differentiability of mappings of Carnot--Carathéodory spaces with continuous horizontal derivatives. The latter is used in proving the coarea formula for some classes of contact mappings of Carnot--Carathéodory spaces.