Multiexponential maps in Carnot groups with applications to convexity and differentiability

We analyze some properties of a class ofmultiexponential mapsappearing naturally in the geometric analysis of Carnot groups. We will see that such maps can be useful in at least two interesting problems: first, in relation to the analysis of some regularity properties of horizontally convex sets. Then, we will show that our multiexponential maps can be used to prove thePansu differentiabilityof the subRiemannian distance from a fixed point.