## Multiexponential maps in Carnot groups with applications to convexity and differentiability ∗

Annamaria Montanari †

Daniele Morbidelli ‡

## Contents

| 1                                   | Introduction                                                                         |   1 |
|-------------------------------------|--------------------------------------------------------------------------------------|-----|
| 2                                   | Preliminaries                                                                        |   4 |
| 3                                   | Multiexponentials in filiform groups.                                                |   7 |
| 4                                   | Inner cone property for horizontally convex sets                                     |  10 |
| 4.1                                 | Existence of inner cones to convex sets . . . . . . . . . . . . . . . . . . . . . .  |  10 |
| 4.2                                 | Examples of failure of the cone property - the filiform case . . . . . . . . . . . . |  11 |
| 4.3                                 | Examples of failure of the cone property - the free group of step three and rank two |  13 |
| 5 Differentiability of the distance | 5 Differentiability of the distance                                                  |  15 |
| 5.1                                 | Proof of Theorem 1.4 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .     |  15 |
| 5.2                                 | The step-two case . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .    |  16 |
| References                          | References                                                                           |  18 |

## Abstract

We analyze some properties of a class of multiexponential maps appearing 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 the Pansu differentiability of the subRiemannian distance from a fixed point.

## 1. Introduction

In this paper we discuss a class of multiexponential maps in Carnot groups. We introduce two notions of 'multiexponential regularity', a stronger one and a weaker one, and we show how the weaker one ensures a 'cone property" for horizontally convex sets. Furthermore, we show that the stronger condition guarantees the Pansu differentiability of the subRiemannian distance from the origin at the pertinent point.

Let ( G , · ) = ( R n , · ) be a Carnot group of step s and denote by V 1 the first (horizontal) layer of its stratified Lie algebra g = V 1 ⊕··· ⊕ Vs . See Section 2 for the precise definition. Assumethat V 1 is m -dimensional and denote by X 1, . . . , Xm the left-invariant vector fields

∗ 2010 Mathematics Subject Classification. Primary 53C17; Secondary 49J15. Key words and Phrases. Carnot groups, SubRiemannian distance, Horizontal convexity, Cone property, Pansu differentiability.

† Dipartimento di Matematica, Università di Bologna. Email annamaria.montanari@unibo.it

‡ Dipartimento di Matematica, Università di Bologna. Email daniele.morbidelli@unibo.it

in V 1 such that Xj ( 0 ) = ∂ xj for j = 1, 2, . . . , m . We define the p -th multiexponential map Γ ( p ) : ( R m p ) → G = R n as

$$\Gamma ^ { ( p ) } ( u _ { 1 }, u _ { 2 }, \dots, u _ { p } ) \coloneqq \exp ( u _ { 1 } \cdot X ) \cdot \exp ( u _ { 2 } \cdot X ) \cdot \dots \cdot \exp ( u _ { p } \cdot X ),$$

where given uj = ( u j 1 , . . . , u m j ) ∈ R m , we denoted uj · X = ∑ m k = 1 u k j Xk ∈ V 1. Furthermore, exp : g → G denotes the standard exponential map. See [BLU07]. We are interested in those vectors ξ ∈ R m such that the following holds: there is p ∈ N such that the map Γ ( p ) is a submersion at ( ξ , ξ , . . . , ξ ) ∈ ( R m p ) , namely

$$d \Gamma ^ { ( p ) } ( \xi, \xi, \dots, \xi ) \, \colon ( \mathbb { R } ^ { m } ) ^ { p } \to \mathbb { R } ^ { n } \quad \text{is onto}.$$

We also consider a second, weaker condition: there is p ∈ N such that the map Γ ( p ) is locally open at ( ξ , ξ , . . . , ξ ) ∈ ( R m p ) . Namely,

$$& \text{for all $\varepsilon>0$ there is $\sigma_{\varepsilon}>0$ such that} \\ & \Gamma ^ { ( p ) } ( B _ { \text{Euc} } ( \xi, \xi, \dots, \xi ), \varepsilon ) \supset B _ { \text{Euc} } ( \Gamma ^ { ( p ) } ( \xi, \xi, \dots, \xi ), \sigma _ { \varepsilon } ). \\ \text{and hereafter we denote by $B_{\text{Euc} } \text{Euclidean balls. } \text{ in view of the identification} \\ \cdot \cdot \cdot \cdot \cdot \cdot \, V \, \sim \, \text{$V$} \, \text{                                                                                                                                                                                                         } \text{$\sim\,\text{out-used}$} \,                                                                                                                                                                                                       
                                                                                                                                                                                                        \text{$\sim\,\text{out-used}$} \,$$

↦

Here and hereafter we denote by B Euc Euclidean balls. In view of the identification R m /owner u → u · X ∈ V 1, sometimes we will refer to the submersion (respectively, local openness) conditions (1.1) and (1.2) by saying that the p -th multiexponential is a submersion (respectively, is locally open) at ξ · X ∈ V 1. Furthermore, by dilation properties in Carnot groups (see Section 2), property (1.1) (respectively, (1.2)) holds for p ∈ N and ξ ∈ R m \ { 0 } if and only if (1.1) (respectively, (1.2)) holds for p ∈ N and ξ / | ξ | ∈ S m -1 . By elementary differential calculus, if Γ ( p ) is a submersion at ( ξ , . . . , ξ ) ∈ ( R m p ) , then Γ ( p ) is locally open at ( ξ , . . . , ξ ) ∈ ( R m p ) . In other words, (1.1) implies (1.2). The opposite implication may fail, see next paragraph.

In relation with the notions we have introduced above, it is also interesting to consider the path γξ ( s ) = exp ( s ξ · X ) . It is well known that such path is defined for all s ∈ R and it is a global length-minimizer for the Carnot-Carathéodory distance associated with the vector fields X 1, . . . , Xm . It is easy to realize that if the minimizer γξ is singular (i.e., abnormal) in the usual sense of the subRiemannian control theory (see [ABB19]) then for all p ∈ N the multiexponential Γ ( p ) is not a submersion at ( ξ , . . . , ξ ) ∈ ( R m p ) . See Remark 2.2. On the other side, in a step-two Carnot group, if we take any ξ ∈ R m such that the curve γξ is singular (abnormal), in [Mor18, Theorem 2.1 and Remark 2.2] it is shown that there is p ∈ N such that Γ ( p ) is locally open at ( ξ , . . . , ξ ) ∈ ( R m p ) . This provides examples where the local openness (1.2) holds for some p ∈ N , while the stronger submersion condition (1.1) fails for all p ∈ N .

Here is the statement of our first result, on the cone property for horizontally convex sets.

Theorem 1.1. Let G = ( R n , · ) be a Carnot group and assume that for some V = ξ · X ∈ V , 1 there is p ∈ N such that the local openness condition (1.2) holds. Let also A ⊂ G be a horizontally convex set such that for some x ∈ A we have x · exp ( V ) ∈ int ( A . Then there is ) ε &gt; 0 such that for all x ∈ A with d ( x x , ) &lt; ε we have

$$\cdots, \cdots, \cdots, \cdots, \\ \bigcup _ { 0 < s < 1 } B \left ( x \cdot \exp ( s V ), \varepsilon s \right ) \subset \text{int} ( A ).$$

In the statement of the theorem B x r ( , ) denotes the ball centered at x and with radius r with respect to the subRiemannian distance d defined by the vector fields X 1, . . . , Xm . The set appearing in the left-hand side of (1.3) is a (truncated) subRiemannian twisted cone and the horizontal segment { x · exp ( sV ) : 0 ≤ s ≤ 1 } can be considered as the axis of the cone. Note that a horizontal segment does not need to be an Euclidean segment, as explicit examples will show later. Finally, note that int ( A ) and A denote the interior and the closure of a set A in the Euclidean topology (which is the same of that induced by the subRiemannian distance).

The cone property appears in several interesting questions in the geometric analysis of subRiemannian spaces:

- (i) in the theory of sets with finite horizontal perimeter in Carnot groups (see [MV12];
- (ii) in the intrinsic version of Rademacher's theorem in the case of the Heisenberg group (see [FSSC11]);
- (iii) in the definition of intrinsic Lipschitz continuous graphs inside Carnot groups (see [FS16] and the references therein).

Let us observe that the cone property (1.3) is trivial for convex sets in the Euclidean space. In such case the submersion propery (1.1) is always fulfilled with p = 1. On the other side, in subRiemannian settings we will see that if we do not assume the local openness (1.2) for some p ∈ N , then Theorem 1.1 can be false. Counterexamples will be presented in Sections 4.2 and 4.3.

The proof of Theorem 1.1 is based on an argument used by Cheeger and Kleiner in [CK10], in the context of classification of monotone sets in the Heisenberg group. Namely, the mentioned authors used the maps Γ ( p ) with p = 2 to prove a qualitative version of Theorem 1.1 in the three-dimensional Heisenberg group. Then, a similar argument with maps Γ ( p ) with p ≥ 2 has been used by the second author to prove a cone property in general two-step Carnot groups in [Mor18]. Here we adapt the argument in order to show a statement which holds in any Carnot group of any step.

In this paper we are able to find a new interesting class of models, known as filiform Carnot groups of first type , where the hypotheses of such theorem are fulfilled. In order to state our result, let us introduce some notation. Consider in R p + 2 , equipped with coordinates ( x y t , , 1 , t 2, . . . , t p ) , the vector fields

$$X = \partial _ { x } \quad \text{and} \quad Y = \partial _ { y } + x \partial _ { t _ { 1 } } + \frac { x ^ { 2 } } { 2 } \partial _ { t _ { 2 } } + \dots + \frac { x ^ { p } } { p! } \partial _ { t _ { p } } = \partial _ { y } + \sum _ { k = 1 } ^ { p } \frac { x ^ { k } } { k! } \partial _ { t _ { k } }. \quad \quad ( 1. 4 )$$

Given the vector fields X Y , , there is a Carnot group ( R p + 2 , · ) of step p + 1 such that V 1 = span { X Y , } . See the discussion in Section 3, for details. Note that if p = 1 then we get the Heisenberg group. If p = 2, then we get a Carnot group of step three which is known as the Engel group. Otherwise, we will call it the filiform group of step p + 1. The nilpotent stratified Lie algebra generated by X and Y is known as filiform algebra of first type . See Vergne's paper [Vergne70] and see also [DLDMV19, Section 6].

/negationslash

Theorem 1.2. Let p ≥ 2 , let X and Y be the vector fields in (1.4) . Consider a horizontal left invariant vector field Z = uX + vY. Then, there is q ∈ N such that (1.1) holds if and only if u = 0 .

/negationslash

The proof that u = 0 is a sufficient condition in Theorem 1.2 is proved in Theorem 3.1, while the fact that it is also a necessary condition is proved in Section 4.2.

Then we get the following corollary.

/negationslash

Corollary 1.3. Let A ⊂ R p + 2 be a horizontally convex set with respect to the pair of vector fields in (1.4) . Assume that ( z t , ) = ( x y t , , 1 , . . . , t p ) ∈ ∂ A and assume that there is Z : = uX + vY such that ( z t , ) · exp ( Z ) ∈ int ( A and u ) = 0 . Then there is ε &gt; 0 such that

$$\partial ^ { \cdot } \, ^ { \prime } \, \Delta ^ { \cdot } \, ^ { \prime } \, \Delta ^ { \cdot } \, ^ { \prime } \, \Delta ^ { \cdot } \, ^ { \prime } \\ \bigcup _ { 0 < s \leq 1 } B \Big { ( } ( z, t ) \cdot \exp ( s Z ), \varepsilon s \Big { ) } \subset \text{int} ( A ). \\.. \. \. \. \. \. \. \. \. \. \.$$

Corollary 1.3 generalizes the result proved by Arena, Caruso and Monti in [ACM12] and by the second author in [Mor18].

Next we pass to a description of our second set of results. In Section 5, we will prove the following statement.

Theorem 1.4. Let ( R n , · ) be a Carnot group and assume that for some V = ξ · X ∈ V con1 dition (1.1) holds for some p ∈ N . Then the subRiemannian distance from the origin is Pansu differentiable at exp ( V . )

In particular we shall apply our statement to get a new proof of some recent results by Pinamonti and Speight in [PS18].

/negationslash

Corollary 1.5 ([PS18]) . Let ( R n , · ) be a filiform Carnot group. If u = 0 , then the subRiemannian distance from the origin is Pansu differentiable at exp ( uX + vY . )

The proof of Corollary 1.5 follows immediately putting together Theorems 1.2 and 1.4. Our argument seems to be somewhat simpler than the original one in [PS18].

In the setting of Carnot groups of step two, Le Donne, Pinamonti and Speight [LPS17] proved that the subRiemannian distance is differentiable at exp ( V ) for any V ∈ V 1. Such statement can not be obtained as a consequence of Theorem 1.4, because it may happen that the curve γ ( s ) = exp ( sV ) is abnormal and in such case there is no p ∈ N such that the p -th multiexponential satisfies the submersion condition (1.1) at the corresponding point ( ξ , . . . , ξ ) ∈ ( R m p ) , where ξ · X = V . However, the Pansu differentiability can be proved at abnormal points using the local openness (1.2) of the maps Γ ( p ) . The argument, which can have some independent interest in other questions related with two-step Carnot groups, will be carried out in Section 5.2. Here is the statement.

Theorem 1.6 ([LPS17]) . If ( R n , · ) is a Carnot group of step two, then the subRiemannian distance from the origin is Pansu differentiable at the point exp ( V ) for any nonzero V ∈ V . 1

## 2. Preliminaries

Control distances. Let X 1, . . . , Xm be a family of smooth vector fields in R n . Assume that the vector fields are linearly independent at every point. A Lipschitz path γ : [ a b , ] → R n is said to be horizontal if it satisfies almost everywhere in [ a b , ] the ODE ˙ γ = ∑ m j = 1 uj ( ) t Xj ( γ ) , where the control u = ( u 1, . . . , um ) belongs to L 1 (( a b , ) , R m ) . In such case, define the subRiemannian length of γ as length ( γ ) : = ∫ b a | u s ( ) | ds and given two points x and y ∈ R n the subRiemannian distance d ( x y , ) = inf { length ( γ ) } , where the infimum is taken on all horizotal curves connecting x and y .

Carnot groups. Let us recall the definition of Carnot group of step s ≥ 2. See [BLU07, Section 1.4] for more details. Let G : = ( R n , · ) be a Lie group with identity 0 ∈ R n . Assume that R n can be written as R n = R m 1 × R m 2 ×··· × R ms /owner ( x ( 1 ) , . . . , x ( s ) ) and require that for all λ &gt; 0 the dilation map δλ defined as

↦

$$x = ( x ^ { ( 1 ) }, x ^ { ( 2 ) }, \dots, x ^ { ( s ) } ) \mapsto \delta _ { \lambda } ( x ) \coloneqq ( \lambda x ^ { ( 1 ) }, \lambda ^ { 2 } x ^ { ( 2 ) }, \dots, \lambda ^ { s } x ^ { ( s ) } )$$

is a group automorphism of G for all λ &gt; 0. Let m = m 1 and let X 1, X 2, . . . , Xm be the leftinvariant vector fields such that Xj = ∂ xj at the origin for j = 1, . . . , m . Weassume that the family X 1 , . . . , Xm satisfies the Hörmander condition. It is well known that the Lie algebra g of G has a natural stratification g = V 1 ⊕··· ⊕ Vs , where V 1 = span { X 1, . . . , Xm } and [ V 1, Vj ] = Vj + 1 for all j ≤ s -1. Here Vk denotes the span of the left invariant commutators of length k .

Carnot groups of step 2. Let us consider ( x ( 1 ) , x ( 2 ) ) = ( x t , ) ∈ R m x × R /lscript t . Assume that we are given a map Q = ( Q 1 , . . . , Q /lscript ) : R m × R m → R /lscript , bilinear and skew-symmetric. Assume also that

$$\text{span} \{ Q ( e _ { j }, e _ { k } ) \, \colon 1 \leq j < k \leq m \} = \mathbb { R } ^ { \ell }.$$

We can define the law

$$( x, t ) \cdot ( \xi, \tau ) \coloneqq ( x + \xi, t + \tau + Q ( x, \xi ) ).$$

The vector fields Xk = ∂ xk + ∑ j = 1,..., m , α = 1,..., /lscript Q α ( ej , ek ) xj ∂ t α , as k = 1, 2, . . . , m , are a ba- sis of V 1 satisfying Xk ( 0 ) = ∂ xk . Another standard computation shows that the condition (2.1) ensures that the Hörmander condition holds. Namely span { Xi , [ Xj , Xk ] : i , j , k = 1, . . . , m } = R n at any point.

The easiest example of two-step Carnot group is the Heisenberg group , where R m × R /lscript = R 2 × R and Q (( x 1, x 2 ) , ( ξ 1, ξ 2 )) = x 1 ξ 2 -x 2 ξ 1.

Pansu differentiability. It has been shown by Pansu [Pan89] that, given a Carnot group G = ( R n , · ) with dilations δλ and given a map f : G → R that is Lipschitz-continuous with respect to the subRiemannian distance, then the map f is Carnot differentiable L n -almost everywhere. Namely, for almost all x ∈ R n there exists a G -linear map T : G → R such that

$$\lim _ { y \to 0 } \frac { f ( x \cdot y ) - f ( x ) - T y } { d ( 0, y ) } = 0.$$

Recall that a map T : G → R is said to be G -linear if it satisfies T x ( · y ) = T x ( ) + T y ( ) and T ( δλ x ) = λ T x ( ) for all x y , ∈ G and λ &gt; 0. Since by elementary properties of metric spaces, the distance function from a fixed set (or from a point) is Lipschitz-continuous, Pansu's theorem of differentiability ensures that the distance function is Pansu differentiable almost everywhere.

Horizontal lines and horizontally convex sets. Let X 1, . . . , Xm be the horizontal leftinvariant vector fields on a Carnot group. Given u = ( u 1, . . . , um ) ∈ R m we denote by u · X : = ∑ m j = 1 ujXj . Note that any horizontal left-invariant vector field can be written in

the form u · X for some u ∈ R m . A horizontal line (briefly, a line ) is any set of the form /lscript : = { x · exp ( su · X ) : s ∈ R } for some x ∈ G . Observe that not all Euclidean lines are horizontal lines. On the other side, in Carnot groups of step at least three, it can happen that a line is not an Euclidean line.

We say that the points x and y ∈ G are horizontally aligned if they belong to the same horizontal line /lscript = { γ ( s ) : = x · ( exp ( sV )) : s ∈ R } for some x ∈ R n and V ∈ V 1. A set A ⊂ G is horizontally convex if for all horizontally aligned points x = γ ( a ) and y = γ ( b ) ∈ /lscript , then the horizontal segment γ ([ a b , ]) connecting x and y is contained in A .

Multiexponentials. Given a Carnot group G with a basis of left-invariant horizontal vector fields X 1, . . . , Xm , and a fixed number p ∈ N , we define for all vectors u = ( u 1, u 2, . . . , up ) ∈ ( R m p ) , the map

$$\Gamma ^ { ( p ) } ( u _ { 1 }, \dots, u _ { p } ) \coloneqq \exp ( u _ { 1 } \cdot X ) \cdot \exp ( u _ { 2 } \cdot X ) \cdots \exp ( u _ { p } \cdot X ) = e ^ { u _ { p } \cdot X } \cdots e ^ { u _ { 1 } \cdot X } ( 0 ),$$

where e Z x denotes the value at time t = 1 of the integral curve of Z starting from x at t = 0, while exp : g → G denotes the exponential map of the Lie group theory. See [BLU07]. The map Γ ( p ) can be thought of as defined on the product ( V 1 ) p . Finally, observe the dilation formula

$$\Gamma ^ { ( p ) } ( \lambda u _ { 1 }, \dots, \lambda u _ { p } ) = \delta _ { \lambda } ( \Gamma ^ { ( p ) } ( u _ { 1 }, \dots, u _ { p } ) ), \\ \underset { \sim } { \downarrow }, u _ { 1 }, \dots, u _ { p } \in \mathbb { R } ^ { m } \text{ and } \lambda > 0. \text{ Formula } ( 2. 3 ) \text{ with } p = 1 \text{ follows from } [ \text{BLU07},$$

for all p ∈ N , u 1, . . . , up ∈ R m and λ &gt; 0. Formula (2.3) with p = 1 follows from [BLU07, Lemma 1.3.27] and the general case is a consequence of the fact that δλ : G → G is a morphism of ( G , · ) ).

Definition 2.1. Given a Carnot group ( G , · , δλ ) , ξ ∈ R m \ { 0 } and p ∈ N , we say that the p -th multiexponential is a submersion at ( ξ , . . . , ξ ) if

$$d \Gamma ^ { ( p ) } ( \xi, \xi, \dots, \xi ) \colon ( \mathbb { R } ^ { m } ) ^ { p } \to \mathbb { G }$$

is onto. We say that the p -th multiexponential is locally open at ( ξ , . . . , ξ ) ∈ ( R m p ) if for all ε &gt; 0 there is σε &gt; 0 such that

$$\Gamma ^ { ( p ) } ( B _ { \text{Euc} } ( \xi, \xi, \dots, \xi ), \varepsilon ) \supset B _ { \text{Euc} } ( \Gamma ^ { ( p ) } ( \xi, \xi, \dots, \xi ), \sigma _ { \varepsilon } ). \\ \text{known properties of dilations (see (2.3)) show that } \Gamma ^ { ( p ) } \text{ is a submersior}$$

Well known properties of dilations (see (2.3)) show that Γ ( p ) is a submersion (respectively, locally open) at ( ξ , . . . , ξ ) ∈ ( R m p ) if and only if Γ ( p ) is a submersion (respectively, locally open) at ( λξ , . . . , λξ ) ∈ ( R m p ) for any λ &gt; 0.

Remark 2.2. If condition (2.4) holds for some p ∈ N and ξ ∈ R m , then the curve γ ( s ) = exp ( s ξ · X ) is nonsingular in the sense of SubRiemannian control theory. To check this remark, it suffices to consider the end-point map E : L 2 (( 0, 1 ) , R n ) defined as follows. Given u ∈ L 2 we put E u ( ) = γ ( 1 ) , where γ : [ 0, 1 ] → R n solves the problem ˙ γ ( )= t ∑ m j = 1 uj ( ) t Xj ( γ ( )) t , a.e. and γ ( 0 ) = 0. Let us restrict the end point map E to the finite dimensional affine subspace

$$\Sigma = \left \{ u \in L ^ { 2 } ( ( 0, 1 ), \mathbb { R } ^ { m } ) \, \colon u ( t ) = \xi + \sum _ { j = 1 } ^ { p } h _ { j } \mathbb { I } _ { [ \frac { j - 1 } { p }, \frac { j } { p } ] } ( t ), \, w i t h \left ( h _ { 1 }, \dots, h _ { p } \right ) \in ( \mathbb { R } ^ { m } ) ^ { p } \right \}.$$

Let u ∈ L 2 (( 0, 1 ) , R m ) , u t ( ) = ξ for t ∈ ( 0, 1 ) . Looking at the restriction of E to Σ , it turns out easily that the image of L 2 through the differential dE u ( ) of the end point map contains the image of ( R m p ) through d Γ ( p ) ( ξ , . . . , ξ ) . Thus (2.4) implies that dE u ( ) : L 2 → R n is onto.

/negationslash

Métivier groups. Atwo-step Carnot group, see (2.2), is said to be of Métivier type if for all t ∈ R /lscript and for all x = 0 there is a solution y ∈ R m of the system Q x y ( , ) = t . Métivier groups were introduced in [Mét80]. The most elementary example of Métivier group is the Heisenberg group, while the easiest example of non-Métivier group is R 3 x × R , with the map Q (( x 1, x 2, x 3 ) , ( y 1, y 2, y 3 )) = x y 1 2 -x y 2 1. Here, taking x = ( 0, 0, 1 ) , we see that Q x y ( , ) = 0 for all y .

/negationslash

Note that in a two-step group of Métivier type the map Γ ( 2 ) is a submersion at any ( ξ , ξ ) ∈ ( R m ) 2 with ξ = 0. Indeed, differentiating the quadratic map Γ ( 2 ) ( u v , ) = ( u + v Q u v , ( , )) , we have

↦

$$( u, v ) \mapsto d \Gamma ^ { ( 2 ) } ( \xi, \xi ) ( u, v ) = ( u + v, Q ( \xi, v ) + Q ( u, \xi ) ) = ( u + v, Q ( u - v, \xi ) ),$$

/negationslash and for all ξ = 0 this map is onto because the function y → Q y ( , ξ ) is onto. Vice-versa, if in a two-step Carnot group the Métivier condition fails, i.e. there is u ∈ R m such that the map Q u ( , · ) : R m → R /lscript is not onto, then, considering the constant control u t ( ) = u for t ∈ [ 0, 1 , by [MM15, Proposition 3.4], we have Im ] dE u ( ) = R m ×{ Q u y ( , ) : y ∈ R m } , which is a strict subset of R m × R /lscript . Then for all p ∈ N , Γ ( p ) ( u , . . . , u ) is not a submersion, i.e., (1.1) fails.

↦

## 3. Multiexponentials in filiform groups.

In this section we introduce filiform Carnot groups and we discuss multiexponentials in that setting. As observed before the statement of Theorem 1.2, we work on filiform groups of the first type.

Let us consider in R p + 2 equipped with coordinates ( x y t , , 1 , t 2, . . . , t p ) the vector fields

$$X = \partial _ { x } \quad \text{and} \quad Y = \partial _ { y } + x \partial _ { t _ { 1 } } + \frac { x ^ { 2 } } { 2 } \partial _ { t _ { 2 } } + \cdots + \frac { x ^ { p } } { p! } \partial _ { t _ { p } } = \partial _ { y } + \sum _ { k = 1 } ^ { p } \frac { x ^ { k } } { k! } \partial _ { t _ { k } }. \quad \quad ( 3. 1 )$$

where ( z t , ) = ( x y t , , 1, . . . , t p ) ∈ R p + 2 . Let us denote ad X Y : = [ X Y , ] and ad k X Y : = [ X , ad k -1 X Y ] for k ≥ 2. A computation shows that for j = 1, . . . , p , we have

$$\text{ad} _ { X } ^ { j } \, Y = \partial _ { t _ { j } } + \sum _ { k = j + 1 } ^ { p } \frac { x ^ { k - j } } { ( k - j )! } \partial _ { t _ { k } }.$$

In particular ad p X Y = ∂ t p + 1 . The vector fields X and Y generate a nilpotent filiform Lie algebra of step p + 1. This is the structure denoted with µ 0 in [Vergne70, Corollaire 1, p. 93]. Defining in R p + 2 = R 2 x y , × R p t the binary law

$$p. \infty \, \text{P} \, \text{P} \, \text{P} \, \text{P} \, \text{P} \, \text{P} \, \text{P} \, \text{P} \, \text{P} \, \text{P} \, \text{P} \, \text{P} \, \text{P} \, \text{P} \, \text{P} \, \text{P} \, \text{P} \, \text{P} \, \text{P} \, \text{P} \, \text{P} \, \text{P} \, \text{P} \, \text{P} \, \text{P} \, \text{P} \, \text{P} \, \text{P} \, \text{P} \, \Text{P} \, \text{P} \, \text{P} \, \text{P} \, \text{P} \, \text{P} \, \text{P} \, \text{P} \, \text{P} \, \text{P} \, \text{P} \, \text{P} \, \text{P} \, \text{P} \, \text{P} \, \text{P} \, \text{P} \, \text{P} \, \text{P} \, \text{P} \, \text{P} \, \text{P} \, \text{P} \, \text{P} \, \text{P} \, \text{P} \, \text{P} \, \text{P} \, \text{P} \\ ( x, y, t ) \cdot ( \xi, \eta, \tau ) = & \left ( x + \xi, y + \eta, t _ { 1 } + \tau _ { 1 } + x \eta, t _ { 2 } + \tau _ { 2 } + \frac { x ^ { 2 } } { 2 } \eta + x \tau _ { 1 }, \\ \dots, t _ { k } + \tau _ { k } + \frac { x ^ { k } } { k! } \eta + \sum _ { j = 1 } ^ { k - 1 } \frac { x ^ { k - j } } { ( k - j )! } \tau _ { j, } \dots \right ), \\ & \quad -$$

where k = 2, . . . , p , it turns out that ( R p + 2 , · ) is a Carnot group of step p + 1.

Particular familiar instances of filiform groups occur when p = 1, and then we have the law

$$( x, y, t ) \cdot ( \xi, \eta, \tau ) = ( x + \xi, y + \eta, t + \tau + x \eta ),$$

with horizontal vector fields X = ∂ x and Y = ∂ y + x ∂ t 1 , which after a linear change of variables becomes the familiar Heisenberg group. A second particular case is the socalled Engel group, which has step p + 1 = 3 and whose group law is

$$( x, y, t _ { 1 }, t _ { 2 } ) \cdot ( \xi, \eta, \tau _ { 1 }, \tau _ { 2 } ) = \left ( x + \xi, y + \eta, t _ { 1 } + \tau _ { 1 } + x \eta, t _ { 2 } + \tau _ { 2 } + x \tau _ { 1 } + \frac { x ^ { 2 } } { 2 } \eta \right ), \\ \text{with how an total number of total $kA_{\nu}$} \, V = \frac { 1 } { 2 } \, \text{and} \, V = \frac { 1 } { 2 } + \tau _ { 2 } \, + \tau _ { 2 } ^ { 2 } \, \text{a}.$$

1 2 2 . The associative property of the law (3.2) can be checked easily if we identify with horizontal vector fields X = ∂ x and Y = ∂ y + x ∂ t + x 2 ∂ t

$$( x, y, t _ { 1 }, t _ { 2 }, \dots, t _ { p } ) \sim \begin{bmatrix} 1 & 0 & 0 & \cdots & 0 \\ y & 1 & 0 & 0 & \cdots & 0 \\ t _ { 1 } & x & 1 & 0 & \cdots & 0 \\ t _ { 2 } & x ^ { 2 } / 2 & x & 1 & \cdots & 0 \\ t _ { 3 } & x ^ { 3 } / 3! & x ^ { 2 } / 2 & x & \cdots & 0 \\ \vdots & \vdots & \vdots & \vdots & \ddots & 0 \\ t _ { p } & \frac { x ^ { p } } { p! } & \frac { x ^ { p - 1 } } { ( p - 1 )! } & \frac { x ^ { p - 2 } } { ( p - 2 )! } & \cdots & 1 \end{bmatrix} \in \mathbb { R } ^ { ( p + 2 ) \times ( p + 2 ) }. \quad ( 3. 3 )$$

Under (3.3), the binary law (3.2) can be identified with the matrix product. See [BLU07, Section 4.3.5 and 4.3.6].

Define for ( w 1, w 2, . . . , wq ) ∈ R 2 q

$$\Gamma ^ { ( q ) } ( w _ { 1 }, \dots, w _ { q } ) = e ^ { w _ { q } \cdot Z } \cdots e ^ { w _ { 1 } \cdot Z } ( 0 ) = \exp ( w _ { 1 } \cdot Z ) \cdot \exp ( w _ { 2 } \cdot Z ) \cdot \dots \exp ( w _ { q } \cdot Z ) \quad ( 3. 4 )$$

where wk = ( uk , vk ) ∈ R 2 and wk · Z = ukX + vkY .

/negationslash

Theorem 3.1. Fix p ∈ N and consider the vector fields in (3.1) . Let ζ = ( ξ , η ) ∈ R 2 such that ξ = 0 . Then the map Γ ( p + ) 1 : R 2 p + 2 → R p + 2 defined in (3.4) is a submersion at ( ζ , ζ , . . . , ζ ) ∈ R 2 p + 2 .

/negationslash

Remark 3.2. Note that if p ≥ 2 there is no q ∈ N such that the map Γ ( q ) is a submersion at (( 0, η ) , ( 0, η ) , . . . , ( 0, η )) ∈ ( R 2 ) q for some η = 0. Indeed, if this would happen, by Remark 2.2 we would contradict the well-known fact that the curve γ ( s ) : = exp ( sY ) is a singular extremal for the subRiemannian length minimization problem. See [LS95].

Proof of Theorem 3.1. Wehave to show that the linear map d Γ ( p + ) 1 ( ζ , . . . , ζ ) : R 2 ( p + ) 1 → G is onto. We claim that the square matrix

$$& \text{$w,w,w,w,w,w,w,w,w,w,w,w,w,w,w,w,w,w,w,w,w,w,w,w,w,w,w,w,w,w,w,w,w,w,w,w,w,w,w,w,w,w,w,w,w,w,w,w,w,w,w,w,w,w,w,w,w,w,w,w,w,w,w,w,w,w,w,w,w,w,w,w,w,w,w,w,w,w,w,w,w,w,w,w,w,w,w,w,w,w,w,w,w,w,w,w,w,w,w,w,w} \\ & M ( \zeta ) \coloneqq \left [ \frac { \partial \Gamma ^ { ( p + 1 ) } } { \partial u _ { 1 } }, \frac { \partial \Gamma ^ { ( p + 1 ) } } { \partial v _ { 1 } }, \frac { \partial \Gamma ^ { ( p + 1 ) } } { \partial v _ { 2 } }, \frac { \partial \Gamma ^ { ( p + 1 ) } } { \partial v _ { 3 } }, \dots, \frac { \partial \Gamma ^ { ( p + 1 ) } } { \partial v _ { p + 1 } } \right ] ( \zeta, \zeta, \dots, \zeta ) \in \mathbb { R } ^ { ( p + 2 ) \times ( p + 2 ) } \\ & \text{is non singular Since the matrix above is formed taking $\alpha_{n+2}$ of the $\zeta_{n+1}$ columns of}$$

is non singular. Since the matrix above is formed taking p + 2 of the 2 ( p + ) 1 columns of the Jacobian matrix, the statement will follow immediately.

A first calculation shows that for w = ( u v , ) ∈ R 2 and ( z t , ) = ( x y t , , ) ∈ R 2 × R p we have

$$\text{have} \\ e ^ { w \cdot Z } ( z, t ) = \left ( x + u, y + v, t _ { 1 } + v \int _ { 0 } ^ { 1 } ( x + s u ) d s, t _ { 2 } + v \int _ { 0 } ^ { 1 } \frac { ( x + s u ) ^ { 2 } } { 2! } d s, \dots, \\ \dots, t _ { p } + v \int _ { 0 } ^ { 1 } \frac { ( x + s u ) ^ { p } } { p! } d s \right ). \\ \text{In particular}$$

In particular

Iterating the computation, we discover that the point Γ ( p + ) 1 ( w 1, . . . , wp + ) 1 ∈ R p + 2 takes the form

$$& \text{ular} \\ & \exp \left ( \xi X + \eta Y \right ) = \left ( \xi, \eta, \frac { \eta \xi } { 2 }, \frac { \eta \xi ^ { 2 } } { 3!$$

$$\text{Iterating the computation, we discover that the point } \Gamma ^ { ( p + 1 ) } ( w _ { 1 }, \dots, w _ { p + 1 } ) \in \mathbb { R } ^ { p + 2 } \text$$

In order to calculate the matrix M ( ζ ) , we write the first column in the form ∂ Γ ( p + ) 1 ∂ u 1 ( ξ , . . . , ξ ) = [ 1, ∗ , . . . , ∗ ] T , where the terms ∗ are unimportant in the computation of the rank. All other variables v 1, v 2, . . . , vp + 1 appear linearly. Then it is easy to see that

$$M ( \xi, \eta ) = \begin{bmatrix} 1 & 0 & 0 & \cdots & 0 \\ * & 1 & 1 & \cdots & 1 \\ * & \xi \int _ { 0 } ^ { 1 } s d s & \xi$$

/negationslash

In order to check the nonsingularity, we look at the submatrix obtained by deleting the first row and column. Since ξ = 0, it suffices to check the nonsingularity of the square matrix of order p + 1

$$\widehat { M } \colon = \begin{bmatrix} 1 & 1 & \cdots & 1 \\ 2 \int _ { 0 } ^ { 1 } s d s & 2 \int _ { 0 } ^ { 1 } ( 1 + s ) d s$$

whose determinant, after some trivial column operations, is equal to a nonsingular Vandermonde determinant.

## 4. Inner cone property for horizontally convex sets

## 4.1. Existence of inner cones to convex sets

Proof of Theorem 1.1. The proof of the inner cone property (1.3) is based on a modification of the arguments of [Mor18, Section 2.2, proof of Theorem 1.1].

Let us consider x ∈ ∂ A , assume that for some p ∈ N and ξ ∈ R m \ { 0 } , the openness condition (1.2) holds. Assume also that we have x · exp ( p ξ · X ) ∈ int A . This means that for some ρ &gt; 0 we have B x ( · Γ ( p ) ( ξ , . . . , ξ ) , ρ ) ⊂ int ( A ) . By continuity, there is ε &gt; 0 such that if then

$$\max \left \{ d ( \overline { x }, y ), | u _ { j } - \xi | \, \colon j = 1, \dots, p \right \} < \varepsilon \quad \quad \quad$$

$$y \cdot \Gamma ^ { ( p ) } ( u _ { 1 }, u _ { 2 }, \dots, u _ { p - 1 }, u _ { p } ) \in B ( \overline { x } \cdot \Gamma ^ { ( p ) } ( \xi, \dots, \xi ), \rho ) \subset \text{int} ( A ).$$

We organize the proof in four steps.

Step 1. We claim that for all x ∈ A with d x x ( , ) &lt; ε we have

$$x \cdot \Gamma ^ { ( p ) } ( \lambda _ { 1 } w _ { 1 }, \dots, \lambda _ { p } w _ { p } ) \in B ( \overline { x } \cdot \Gamma ^ { ( p ) } ( \xi, \dots, \xi ), \rho ) \subset \text{int} ( A ),$$

for all λ 1, . . . , λ p ∈ [ 0, p ] such that ∑ p j = 1 λ j = p and w 1, . . . , wp such that max j | wj - | ξ &lt; ε . Let us consider for p ∈ N and C &gt; 0 the set

$$K _ { C } \colon = \left \{ ( x, \lambda _ { 1 }, \lambda _ { 2 }, \dots, \lambda _ { p }, w _ { 1 }, w _ { 2 }, \dots, w _ { p } ) \, \colon | x | + \sum _ { j = 1 } ^ { p } | w _ { j } | \leq C, \lambda _ { j } \geq 0, \sum _ { j = 1 } ^ { p } \lambda _ { j } = p \right \}.$$

For any C &gt; 0 the set KC is compact. Furthermore, for any C , the function

↦

$$K _ { C } \ni ( x, \lambda _ { 1 }, \dots, \lambda _ { p }, w _ { 1 }, \dots, w _ { p } ) \mapsto x \cdot \exp ( \lambda _ { 1 } w _ { 1 } \cdot X ) \cdot \dots \cdot \exp ( \lambda _ { p } w _ { p } \cdot X )$$

depends in a polynomial way from its arguments. Therefore, given any x ∈ G , ξ ∈ R m , λ 1, . . . , λ p ≥ 0 with ∑ p j = 1 λ j = p , there is σ &gt; 0 such that

$$\cdot \quad - _ { j - \ell } \cdot \cdot \cdot \\ \left | x \cdot \Gamma ^ { ( p ) } ( \lambda _ { 1 } w _ { 1 }, \lambda _ { 2 } w _ { 2 }, \dots, \lambda _ { p } \bar { w } _ { p } ) - \overline { x } \cdot \Gamma ^ { ( p ) } ( \lambda _ { 1 } \xi, \lambda _ { 2 } \xi, \dots, \lambda _ { p } \xi ) \right | < \rho \quad \quad \quad$$

∣ ∣ if | x - | x &lt; σ λ , j ≥ 0 for j ∈ { 1, . . . , p } , with ∑ j λ j = p and max j | wj - | ξ &lt; σ . Then the equality

$$\overline { x } \cdot \Gamma ^ { ( p ) } ( \lambda _ { 1 } \xi, \lambda _ { 2 } \xi, \dots, \lambda _ { p } \xi ) = \overline { x } \cdot \exp ( p \xi \cdot X )$$

and a choice of small ε in (4.1) gives the inclusion (4.2).

Step 2. We claim that for all x ∈ A with d x x ( , ) &lt; ε and for all λ ∈ ] 0, 1 ] we have

$$\begin{array} { c } \theta \cdot \theta, & \theta \cdot \theta, \\ \left \{ x \cdot \Gamma ^ { ( p ) } ( \lambda u _ { 1 }, \lambda u _ { 2 }, \dots, \lambda u _ { p } ) \colon \max _ { j \in \{ 1, \dots, p \} } | u _ { j } - \xi | < \varepsilon \right \} \subset A. \end{array}$$

The proof is the same presented in [Mor18] and works as follows. Let us look at any point x ∈ A such that d x x ( , ) &lt; ε . Consider also the point x · Γ ( p ) ( pu 1, 0, . . . , 0 ) . This point belongs to A and is aligned with x ∈ A . Then the horizontal segment connecting these two points, and in particular the point x · Γ ( p ) ( λ u 1, 0, . . . , 0 ) belongs to A .

Next we repeat the argument considering the pair of points x · Γ ( p ) ( λ u 1, 0, . . . , 0 ) ∈ A and x · Γ ( p ) ( λ u 1, ( p -λ ) u 2, 0, . . . , 0 ) , which belongs to A by Step 1. Since both these points belong to A and are aligned, we deduce that the horizontal segment connecting them is contained in A . In particular x · Γ ( p ) ( λ u 1, λ u 2, 0, . . . , 0 ) . An iteration of the argument completes the proof of Step 2.

Step 3. Following [Mor18], by dilation and translation arguments in Carnot groups, for a suitable δ 0 &gt; 0 we get the inclusion

$$\text{aive} \, \upsilon _ { 0 } \succ \, \text{v} \, \text{we get use missing} \\ \left \{ x \cdot \Gamma ^ { ( p ) } ( \lambda u _ { 1 }, \dots, \lambda u _ { p } ) & \, \colon \lambda \in \, ] 0, 1 \right ] \, \text{and} \, \max _ { 1 \leq j \leq p } | u _ { j } - \xi | < \varepsilon \right \} \\ & \succ \, \bigcup _ { \lambda \in \, ] 0, 1 \right ] } B \left ( x \cdot \exp ( \lambda p \xi \cdot X ), \delta _ { 0 } \lambda \right ), \\ \text{task} \, \text{in} \, \text{in} \, \text{in} \, \text{in} \, \text{in} \, \text{in} \, \text{in} \, \text{in} \, \text{in} \, \text{in} \, \text{in} \, \text{in} \, \text{in} \, \text{in} \, \text{in} \, \text{in} \, \text{in} \, \text{in} \, \text{in} \, \text{in} \, \text{in} \, \text{in} \, \text{in} \, \text{in} \, \text{in} \, \text{in} \, \text{in} \, \text{in} \, \text{in} \,\text{in} \, \text{in} \, \text{in} \, \text{in} \, \text{in} \, \text{in} \, \text{in} \, \text{in} \, \text{in} \, \text{in} \, \text{in} \, \text{in} \, \text{in} \, \text{in} \, \text{in} \, \text{in} \, \text{in} \, \text{in} \, \text{in} \, \text{in} \, \text{in} \, \text{in} \, \text{in} \, \text{in} \, \text{in} \, \text{in} \, \text{in} \, \text{in} \, \text{in } \, \text{in} \, \text{in} \, \text{in} \, \text{in} \, \text{in} \, \text{in} \, \text{in} \, \text{in} \, \text{in} \, \text{in} \, \text{in} \, \text{in} \, \text{in} \, \text{in} \, \text{in} \, \text{in} \, \text{in} \, \text{in} \, \text{in} \, \text{in} \, \text{in} \, \text{in} \, \text{in} \, \text{in} \, \text{in} \, \text{in} \, \text{in} \, \text{in} \, \end{cases}$$

which gives ultimately the proof of (1.3).

Let us check the desired inclusion following [Mor18]. Let x ∈ A with d x x ( , ) &lt; ε . Then denoting by Lx : G → G the left translation, Lxy = x · y for all x y , ∈ G , starting from (2.3), we have

$$& \quad \text{from} \, ( 2. 3 ), \, \text{we have} \\ & \quad L _ { x } \Big ( \Big \{ \Gamma ^ { ( p ) } ( \lambda u _ { 1 }, \dots, \lambda u _ { p } ) \, \colon \lambda \in \, ] 0, 1 \Big ) \text{ and } \max _ { \, j \leq p } | u _ { j } - \xi | < \varepsilon \Big \} \Big ) \\ & \quad = L _ { x } \Big ( \bigcup _ { 0 < \lambda \leq 1 } \delta _ { \lambda } \Big \{ \Gamma ^ { ( p ) } ( u _ { 1 }, \dots, u _ { p } ) \, \colon \max _ { \, j \leq p } | u _ { j } - \xi | < \varepsilon \Big \} \Big ) \\ & \quad \supset \bigcup _ { 0 < \lambda \leq 1 } L _ { x } \Big ( \delta _ { \lambda } B _ { \text{Euc} } ( \Gamma ^ { ( p ) } ( \xi, \dots, \xi ), \sigma _ { \varepsilon } ) ) \supsetneq \bigcup _ { 0 < \lambda \leq 1 } L _ { x } ( \delta _ { \lambda } B ( \Gamma ^ { ( p ) } ( \xi, \dots, \xi ), c _ { 0 } \sigma _ { \varepsilon } ) ). \\ & \quad \text{The penultimate inclusion follows from the local openness assumption.  The last is a} \\ & \quad \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \, \end{matrix}$$

The penultimate inclusion follows from the local openness assumption. The last is a consequence of the standard local estimates for distances defined by vector fields. 1 Thus, since δλ Γ ( p ) ( ξ , . . . , ξ ) = exp ( λ ξ p · X ) , we have finished the proof of (4.4).

Step 4. Until now we proved the inner cone inclusion for vertices x ∈ A . By an approximation argument, we can approximate any point x ∈ ∂ A with d x x ( , ) &lt; ε with a family xn ∈ A for all n ∈ N such that xn → x as n → ∞ . Since the aperture of the cones are stable as n ∈ N , we get inclusion (1.3) for x ∈ ∂ A . Note that we are not assuming that A is closed.

## 4.2. Examples of failure of the cone property - the filiform case

In this section we consider the pair of vector fields

$$X = \partial _ { x } \text{ \ and \ } Y = \partial _ { y } + x \partial _ { t _ { 1 } } + \dots + \frac { x ^ { p } } { p! } \partial _ { t _ { p } }$$

1 If d is the subRiemannian distance defined by a given family of C 1 vector fields X 1 , . . . , Xm and B denotes the corresponding ball, then for any compact set K ⊂ R n there is c 0 &gt; 0 such that B Euc ( y r , ) ⊇ B y c r ( , 0 ) for all r ≤ c 0 and y ∈ K .

described in Section 3. We look at the direction Y and we show an example where Theorem 1.1 fails at that direction, for some convex sets. This gives also an indirect proof of the fact that the for any p ∈ N , the p -th multiexponential cannot be locally open at (( 0, 1 ) , . . . , ( 0, 1 )) ∈ ( R 2 ) p .

Example 4.1. Let p ≥ 2. Assume first that p is even and let us look at the set

$$E = \{ ( x, y, t _ { 1 }, \dots, t _ {$$

It is easy to check that XF = 0 identically, and

$$Y F ( x, y, t _ { 1 }, t _ { 2 }, \dots$$

because p is even. It follows that both E and E c are horizontally convex. (The set has also constant horizontal normal, see [FSSC03, BASCV07, BLD13] and the references therein for the related definition).

If we consider the point P = 0 ∈ ∂ E , the point Q : = exp ( Y ) = ( 0, 1, 0, . . . , 0 ) ∈ int ( E ) and the curve γ ( s ) = exp ( sY ) = ( 0, s , 0, . . . , 0 ) , it turns out that γ ( s ) ∈ ∂ E for all s ≤ 0 and γ ( s ) ∈ int ( E ) for all s &gt; 0. However for any ε &gt; 0 and s 0 &gt; 0 the inclusion

$$\begin{array} {$$

fails. Indeed, by the translation law (3.2) and the standard ball-box theorem, B (( 0, s , 0, . . . ) , ε s ) contains all points of the form Ps : = ( 0, s , 0, 0, . . . , , -c ( s ε ) p + 1 ) for some universal c &gt; 0. Instead, the point Ps can not belong to the set E for s belonging to any nontrivial interval with left extremum 0 ∈ R .

Even more strikingly, if we choose P = exp ( -Y ) = ( 0, -1, 0, . . . ) ∈ ∂ E and Q = P exp 2 ( Y ) = ( 0, 1, 0, . . . ) ∈ int ( E ) , we see that even the much weaker qualitative property { exp ( sY ) : s ∈ -] 1, 1 [ } ⊂ int ( E ) fails.

If p ≥ 3 is odd then the set in (4.5) is not horizontally convex. To check this claim it suffices to take γ ( s ) = exp ( s ( -X + Y )) = ( -s , s , -s 2 2 , s 3 3! , -s 4 4! , . . . , -s p + 1 ( p + ) 1 ! ) , by (3.6). It is easy to see that the path γ satisfies γ ( 0 ) ∈ E , γ ( 1/ ( p + ) ) 1 ! ∈ E and γ ( ] 0, 1 ( p + ) 1 ! [ ) ⊂ E c . However the discussion concerning the set defined in (4.5) can be modified by taking

$$E = \{ t _ { p - 1 } + y ^ { p + 1 } \mathbb$$

and arguing as above.

Remark 4.2. In the Engel group E = R 4 with vector fields X 1 = ∂ 1 and X 2 = ∂ 2 + x 1 ∂ 3 + x 2 1 2 ∂ 4 , and group law

$$\mu \\ x \cdot y = \left ( x _ { 1 } + y _ { 1$$

the analogous example is given by x 4 &gt; ψ ( x 2 ) with ψ ′ 2 ≤ 0. See [BLD13] where many examples of constant horizontal normal sets are exhibited. In such case a counterexample to the cone property is given by E = { x 4 &gt; -x 4 2 1 [ 0, + ∞ [ ( x 2 ) } where the inner cone property does not hold.

Remark 4.3. Let us observe that the failure of the cone property at some direction V ∈ V 1 , as in the examples discussed here, does not imply that the curve γ ( s ) = exp ( sV ) is C 1 -rigid in the sense of Bryant and Hsu [BH93]. In this regard, given the Engel group E of Remark 4.2, let us consider the direct product G = R × E /owner ( x 0, x ) with group law ( x 0, x ) · ( y 0, y ) : = ( x 0 + y 0, x · y ) and with horizontal vector fields X 0 = ∂ 0, X 1 = ∂ 1 and X 2 = ∂ 2 + x 1 ∂ 3 + x 2 1 2 ∂ 4 . It is easy to see that the set

$$E = \{ ( x _ { 0 }, x ) \in \mathbb { R } \times \mathbb { E } \, \colon x _ { 4 } > - x _ { 2 } ^ { 4 } \mathbb { 1 } _ { [ 0, + \infty ] } ( x _ { 2 } ) \}$$

does not satisfy the cone property in the direction X 2 , (see Example 4.1), but the curve γ ( s ) = exp ( sX 2 ) = ( 0, ( 0, s , 0, 0 )) with s ∈ [ 0, 1 ] is not C 1 -rigid, because it can be perturbed smoothly with horizontal curves of the form

˜ γ ( s ) = ( η ( s ) , ( 0, s , 0, 0 )) , with η is an arbitrary smooth, compactly supported function in ] 0, 1 [ .

## 4.3. Examples of failure of the cone property - the free group of step three and rank two

Here we show in the model of free three-step Carnot group with two generators an example where Theorem 1.1 fails. The following class of examples are minor modifications of the examples of Section 4.2.

Consider in R 5 with variables ( x 1, x 2, x 3, x 4, x 5 ) the vector fields

$$X _ { 1 } = \partial _ { 1 } - \frac { x _ { 2 } } { 2 } \partial _ { 3 } - \frac { x _ { 1 } ^ { 2 } + x _ { 2 } ^ { 2 } } { 2 } \, \partial _ { 5 } \quad \text{and} \quad X _ { 2 } = \partial _ { 2 } + \frac { x _ { 1 } } { 2 } \partial _ { 3 } + \frac { x _ { 1 } ^ { 2 } + x _ { 2 } ^ { 2 } } { 2 } \, \partial _ { 4 } \quad \quad \quad ( 4. 8 )$$

which together with their commutators

$$X _ { 3 } \coloneqq [ X _ { 1 }, X _ { 2 } ] = \partial _ { 3 } + x _ { 1 } \partial _ { 4 } + x _ { 2 } \partial _ { 5 }, \ \ X _ { 4 } \coloneqq [ X _ { 1 }, X _ { 3 } ] = \partial _ { 4 } \ \text{ and } \ X _ { 5 } \coloneqq [ X _ { 2 }, X _ { 3 } ] = \partial _ { 5 }$$

generate the free Lie algebra of step three with two generators and are left invariant with respect to the law

$$\det & \quad \times \quad \cdot \quad \cdot \quad \cdot \\ x \cdot y & = \left ( x _ { 1 } + y _ { 1 }, x _ { 2 } + y _ { 2 }, x _ { 3 } + y _ { 3 } + \frac { 1 } { 2 } ( x _ { 1 } y _ { 2 } - x _ { 2 } y _ { 1 } ), \\ & \quad x _ { 4 } + y _ { 4 } + \frac { y _ { 2 } } { 2 } ( x _ { 1 } ^ { 2 } + x _ { 2 } ^ { 2 } + x _ { 1 } y _ { 1 } + x _ { 2 } y _ { 2 } ) + x _ { 1 } y _ { 3 }, \\ & \quad x _ { 5 } + y _ { 5 } - \frac { y _ { 1 } } { 2 } ( x _ { 1 } ^ { 2 } + x _ { 2 } ^ { 2 } + x _ { 1 } y _ { 1 } + x _ { 2 } y _ { 2 } ) + x _ { 2 } y _ { 3 } \right ). \\ \text{model has been studied by Sachkov } [ \text{Sac03} ] \ [ \text{ALDS19} ].$$

This model has been studied by Sachkov [Sac03] [ALDS19].

Astandard computation gives for all ( ξ 1 , ξ 2 ) ∈ R 2

$$\dashrightarrow \dashrightarrow \dashrightarrow \sigma \dashrightarrow \dashrightarrow \sigma \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \rangle \\ \exp \left ( s ( \xi _ { 1 } X _ { 1 } + \xi _ { 2 } X _ { 2 } ) \right ) = \left ( \xi _ { 1 } s, \xi _ { 2 } s, 0, \frac { \xi _ { 2 } } { 6 } ( \xi _ { 1 } ^ { 2 } + \xi _ { 2 } ^ { 2 } ) s ^ { 3 }, - \frac { \xi _ { 1 } } { 6 } ( \xi _ { 1 } ^ { 2 } + \xi _ { 2 } ^ { 2 } ) s ^ { 3 } \right ). \\ \text{It is well known that in this model all integral curves } \gamma ( s ) \, = \, \exp ( s ( \xi _ { 1 } X _ { 1 } + \xi _ { 2 } X _ { 2 } ) ) \, \text{ are}$$

It is well known that in this model all integral curves γ ( s ) = exp ( s ( ξ 1 X 1 + ξ 2 X 2 )) are normal and abnormal minimizers. Therefore the construction of the multiexponential map does not provide the inner cone property. In the following discussion we present some examples of sets where inclusion (1.3) fails.

Lemma4.4. Let ψ : R → R be a nonincreasing regular function. Then, for any fixed unit vector ξ : = ( ξ 1, ξ 2 ) ∈ R 2 , the set

$$E \coloneqq \left \{ x = ( x _ { 1 }, \dots, x _ { 5 } ) \colon F ( x _ { 1 }, \dots, x _ { 5 } ) \coloneqq \xi _ { 2 } x _ { 4 } - \xi _ { 1 } x _ { 5 } - \frac { \langle \xi, x \rangle ^ { 3 } } { 6 } - \psi ( \langle \xi, x \rangle ) > 0 \right \} \quad ( 4. 1 0 ) \\ \text{to other with its comnlementar} u \, F ^ { c } \text{ is horizontal} u \, convex.$$

together with its complementary E c is horizontally convex.

Note that it turns out from the proof that the set has constant horizontal normal too. In the statement and below we denoted 〈 ξ , x 〉 = ξ 1 x 1 + ξ 2 x 2.

Proof. Let F x ( ) = ξ 2 x 4 -ξ 1 x 5 - 〈 ξ , x 〉 3 6 -ψ ( 〈 ξ , x 〉 ) . Atrivial computation shows that

$$( - \xi _ { 2 } X _ { 1 } + \xi _ { 1 } X _ { 2 } ) F = 0 \quad \text{and} \\ ( \xi _ { 1 } X _ { 1 } + \xi _ { 2 } X _ { 2 } ) F = \frac { | \xi | ^ { 2 } } { 2 } \left ( x _ { 1 } ^ { 2 } + x _ { 2 } ^ { 2 } - \langle x, \xi \rangle ^ { 2 } \right ) - | \xi | ^ { 2 } \psi ^ { \prime } ( \langle x, \xi \rangle ) \geq 0, \\ \text{because } \psi \text{ is nonincreasing and } | \xi | = 1. \text{ Therefore the set has constant horizontal normal}$$

because ψ is nonincreasing and | ξ | = 1. Therefore the set has constant horizontal normal and in particular both E and E c are horizontally convex.

Example 4.5. Let ξ ∈ R 2 be a unit vector and let us consider the set E defined in (4.10). Let us choose the function ψ ( ) = t -t 4 1 [ 0, + ∞ [ ( ) t , so that the set E becomes

$$E \coloneqq \left \{ x \colon \xi _ { 2 } x _ { 4 } - \xi _ { 1 } x _ { 5 } - \frac { \langle \xi, x \rangle ^ { 3 } } { 6 } + \langle \xi, x \rangle ^ { 4 } \mathbb { 1 } _ { [ 0, + \infty ] } ( \langle \xi, x \rangle ) > 0 \right \}. \\ \intertext { e t the origin } 0 \text{ belongs to } \partial E. \text{ while }$$

Here the origin 0 belongs to ∂ E , while

$$\psi _ { \ } \exp ( s \xi \cdot X ) = \left ( s \xi _ { 1 }, s \xi _ { 2 }, 0, \frac { \xi _ { 2 } } { 6 } s ^ { 3 }, - \frac { \xi _ { 1 } } { 6 } s ^ { 3 } \right ) \in \text{int} ( E ) \quad \text{for all} \, s > 0. \\. \text{ssum that there exist positive numbers $\varepsilon$ and $\varsigma$ such that}$$

Assume that there exist positive numbers ε and s 0 such that

$$\Psi _ { \begin{array} { c } C _ { \varepsilon, s _ { 0 } } \\ C _ { \varepsilon, s _ { 0 } } \coloneqq \bigcup _ { 0 < s < s _ { 0 } } B \left ( \exp ( s \xi \cdot X ), \varepsilon s \right ) \subset E \\ \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \end{array} } \Psi _ { \begin{array} { c } C _ { \varepsilon, s _ { 0 } } \coloneqq \bigcup _ { 0 < s < s _ { 0 } } B \left ( \exp ( s \xi \cdot X ), \varepsilon s \right ) \subset E \\ \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \end{array} }$$

for all s &gt; 0. We claim that this gives a contradiction. The cone C s ε , 0 must contain all points of the form exp ( s ( ξ 1 X 1 + ξ 2 X 2 )) · ( ε su 1 , ε su 2, ε 2 s 2 u 3, ε 3 s 3 u 4, ε 3 s 3 u 5 ) , where | u | ≤ c and c &gt; 0 is an absolute constant. In particular,

$$\det \times \times \times \max \max \max \max \max \max \max \max \max \max \max \max \max \max \max \max \max \max \max \max \max \max \max \max \max \max \max \max \max \max \max \max \max \max \max \max \max \max \max \max \max \max \max \max \max \max \max \max \max \max \max \max \max \max \max \max \max \max \max \max \max \max \max \max \max \max \max \max \max \max \max \max \max \max \max \max \max \max \max \max \max \max \max \max \max \max \max \max \max \max \max \max \max \max \max \max \max \max \max \max \min \max \max \max \max \max \max \max \max \max \max \max \max \max \max \max \max \max \max \max \max \max \max \max \max \max \max \max \max \max \max \max \max \max \max \max \max \max \max \max \max \max \max \max \max \max \max \max \max \max \max \max \max \max \max \max \max \max \max \max \max \max \max \max \max \max \max \max \max \max \max \max \max \max \max \max \max \max \max \max \max \max \max \max \max \max \max \max \max \max \max \max \max \max \max \max \max \max \max \max \text{$\mathrm e $ \mathrm e $ $ \mathrm e $ $ \mathrm e $ $ \mathrm e $ $ \mathrm e $ $ \mathrm e $ $ \mathrm e $ $ \mathrm e $ $ \mathrm e $ $ \mathrm e $ $ \mathrm e $ $ \mathrm e $ $ \mathrm e $ $ \mathrm e $ $ \mathrm e $ $ \mathrm e $ $ \mathrm e $ $$$

where we recall again that ξ 2 1 + ξ 2 2 = 1. An elementary computation shows that for s &gt; 0 we have γ ( s ) ∈ E if and only if -c ε 3 s 3 + s 4 &gt; 0 and this inequality fails for s ∈ ] 0, c ε 3 [ . In other words for any ε &gt; 0 fixed, the point γ ( s ) does not belong to the set E defined in (4.10) for positive s close to 0.

## 5. Differentiability of the distance

## 5.1. Proof of Theorem 1.4

Proof of Theorem 1.4. Let ( R n , · ) be a Carnot group of step s . Write x = ( x 1 , x 2 , . . . , x s ) ∈ R n = R m 1 × R m 2 ×··· × R ms . Denote for brevity m = m 1. Assume that d Γ ( p ) ( ξ , ξ , . . . , ξ ) : ( R m p ) → R n is onto for some given ξ ∈ R m . This is equivalent to require that the map d Γ ( p ) ( λξ λξ , , . . . , λξ ) : ( R m p ) → R n is onto for any λ &gt; 0. Let w = : p ξ . We want to show that as x → 0 ∈ R n . We adopt here and hereafter the standard notation d x ( ) : = d ( 0, x ) . In [LPS17, Lemma 3.2] it has been proved that the lower estimate ≥ in (5.1) holds in any Carnot group of arbitrary step and for all choice of ξ ∈ R m \ { 0 } . Therefore, we discuss here the upper estimate only. If (5.1) holds, then this means that the distance from the origin is Pansu differentiable at exp ( w · X ) and its differential is the map T : G → R defined by T x ( 1 , . . . , , x s ) = 〈 w | w | , x 1 〉 R m . This explicit formula shows that the differential is the same at any point exp ( λ w · X ) for any λ &gt; 0, as it happens in the Euclidean case.

$$\text{that} ^ { \infty, \, \infty, \, \infty, \, \infty, \, \infty, \, \infty, \, \infty, \, \infty, \, \infty, \, \infty, \, \infty, \, \infty, \, \infty, \, \infty, \, \infty, \, \infty, \, \infty, \, \infty, \, \infty, \, \infty, \, \infty, \, \infty, \, \infty, \, \infty, \, \infty, \, \infty, \, \infty, \, \infty, \, \infty, \, \infty, \, \infty, \, \infty, \, \infty, \, \infty, \, \end{cases} \text{$\quad \text{$\quad \text{$\quad \text{$\quad \text{$\quad \text{$\quad \text{$\quad \text{$\quad \text{$\quad \text{$\quad \text{$\quad \text{$\quad \text{$\quad \text{$\quad \text{$\quad \text{$\quad \text{$\quad \text{$\quad \text{$\quad \text{$\quad \text{$\quad \text{$\quad \text{$\quad \text{$\quad \text{$\quad \text{$\quad \text{$\quad \text{$\quad \text{$\quad \text{$\quad \text{$\quad \text{$\quad \text{$\quad \text{$\quad \infty } } } } } } d \Big ( \exp ( w \cdot X ) \cdot x \Big ) = d \Big ( \exp ( w \cdot X ) \Big ) + \Big ( \frac { w } { | w | }, x ^ { 1 } \Big > _ { \mathbb { R } ^ { m } } + o ( d ( x ) ), \quad \quad \quad$$

Let us discuss the upper estimate in (5.1). Let w p = ξ . Look at the map

↦

Note that F ( 0 ) = exp ( w X · ) . Since dF ( 0, . . . , 0 ) is onto, there is a n -dimensional subspace V ⊂ ( R m p ) such that dF ( 0 ) ∣ ∣ ∣ V : V → R n is invertible. By the inverse function theorem there is a neighborhood U of the origin in R n such that for all x ∈ U the system of equations

$$\begin{array} { c } \cdots & r & \cdot & \cdot \\ ( \mathbb { R } ^ { m } ) ^ { p } \ni & ( \alpha _ { 1 }, \alpha _ { 2 }, \dots, \alpha _ { p } ) \longmapsto F ( \alpha _ { 1 }, \alpha _ { 2 }, \dots, \alpha _ { p } ) \\ & \coloneqq \exp \left ( ( \xi + \alpha _ { 1 } ) \cdot X \right ) \cdots \exp \left ( ( \xi + \alpha _ { p } ) \cdot X \right ) \in \mathbb { R } ^ { n }. \\ \intertext { t e that $ F ( 0 ) = \exp ( w \cdot X ). \, \text{Since $d F ( 0, \dots, 0 )$ is onto, there is a $n$-dimensional subspace} \\ \leftarrow / \mathbb { D } ^ { m \vee p $ c o b $ b $ a $ e / \partial \nmid $ \cdot $ 1 / \cdot $ 1 / \cdot $ 1 / \cdot $ 1 / \cdot $ 1 / \cdot $ 1 / \cdot $ 1 / \cdot $ 1 / \cdot $ 1 / \cdot $ 1 / \cdot $ 1 / \cdot $ 1 / \cdot $ 1 / \cdot $ 1 / \cdot $ 1 / \cdot $ 1 / \cdot $ 1 / \cdot $ 1 / \cdot $ 1 / \cdot $ 1 / \cdot $ 1 / \cdot $ 1 / \cdot $ 1 / \cdot $ 1 / \cdot $ 1 / \cdot $ 1 / \cdot $ 1 / \cdot $ 1 / \cdot $ 1 / \cdot $ 1 / \cdot $ 1 / \cdot $ 1 / \cdot $ 1 / \cdot $ 1 / \vdots $ 1 / \cdot $ 1 / \cdot $ 1 / \cdot $ 1 / \cdot $ 1 / \cdot $ 1 / \cdot $ 1 / \cdot $ 1 / \cdot $ 1 / \cd$$

$$\text{there is a neighborhood $U$ of the origin in $R^{n}$ such that for all $x\in\ U$ the system of} \\ \text{equations} \quad & \exp \left ( ( \xi + \alpha _ { 1 } ) \cdot X \right ) \cdots \exp \left ( ( \xi + \alpha _ { p } ) \cdot X \right ) = \exp ( w \cdot X ) \cdot x \quad & ( 5. 3 ) \\ \text{has a unique solution ( $\overline{\alpha_{1}, \dots, \overline{\alpha_{p}}) \in V$ which satisfies, for suitable constants $C$ and $\widehat{C} > 0$,} \\ | ( \overline{\alpha_{1}, \dots, \overline{\alpha_{p}}) | _ { \text{Euc} } \leq C \left | \exp ( w \cdot X ) \cdot x - \exp ( w \cdot X ) \right | _ { \text{Euc} } \\ \leq \widehat { C } d \left ( \exp ( w \cdot X ) \cdot x, \exp ( w \cdot X ) \right ) = \widehat { C } d ( x ), \\ \text{by standard subRiemannian facts.  In the formula above, we denote by $|\cdot|_{\text{Euc} } the $Eu$-} \\ \text{disean norm.} \\ \text{$Bv definition of distance we have}$$

by standard subRiemannian facts. In the formula above, we denote by | · | Euc the Euclidean norm.

By definition of distance we have

$$\text{by} \, \text{will} \, \text{in} \, \text{is} \, \text{we have} \\ d \Big ( \, \exp ( w \cdot X ) \cdot x \Big ) \leq \sum _ { j = 1 } ^ { p } | \xi + \overline { \alpha } _ { j } | = p | \xi | + \Big < \frac { \xi } { | \xi | }, \sum _ { j = 1 } ^ { p } \overline { \alpha } _ { j } \Big > + O ( | \overline { \alpha } | ^ { 2 } ), \\ \text{how to have for multi} \, \text{$a$} \, \nu \, \rightharpoonup \, \partial \, \text{Normal} \, \text{$b$} \, \partial \, \text{$\mathbb{ }$\mathbb{ }$\mathbb{ }$\mathbb{ }$\mathbb{ }$\mathbb{ }$\mathbb{ }$\mathbb{ }$\mathbb{ }$\mathbb{ }$\mathbb{ }$\mathbb{ }$\mathbb{ }$\mathbb{ }$\mathbb{ }$\mathbb{ }$\mathbb{ }$\mathbb{ }$\mathbb{ }$\mathbb{ }$\mathbb{ }$\mathbb{ }$\mathbb{ }$\mathbb{ }$\mathbb{ }$\mathbb{ }$\mathbb{ }$\mathbb{ }$\mathbb{ }$\mathbb{ }$\mathbb{ }$\mathbb{ }$\mathbb{ }$\mathbb{ }$ \mathbb{ }$\mathbb{ }$\mathbb{ }$\mathbb{ }$\mathbb{ }$\mathbb{ }$\mathbb{ }$\mathbb{ }$\mathbb{ }$\mathbb{ }$\mathbb{ }$\mathbb{ }$\mathbb{ }$\mathbb{ }$\mathbb{ }$\mathbb{ }$\mathbb$$

by the Taylor formula, as x → 0. Formula (5.4) tells that O ( | α | 2 ) = O d x ( ( ) 2 ) .

Recall also that d ( exp ( w · X )) = | w | = p | ξ | . A look to the first m equations of the system (5.3) gives also the equality ∑ p j = 1 α j = x 1 ∈ R m . Therefore, we have obtained the inequality which concludes the proof.

![image](https://ac.marcodsn.me/arxiv-markdown-images/1908.01124v2-figure-be917271-9482-48b4-ab31-c183de44065a.jpg)

$$\text{equality} \\ d ( \exp ( w \cdot X ) \cdot x ) \leq d ( \exp ( w \cdot X ) ) + \left \langle \frac { w } { | w | }, x ^ { 1 } \right \rangle _ { \mathbb { R } ^ { m } } + O ( d ( x ) ^ { 2 } ), \\ \text{hich concludes the proof.}$$

## 5.2. The step-two case

↦

Here we prove Theorem 1.6, stating that in Carnot groups of step two the subRiemannian distance is differentiable at any point exp ( W ) for any W ∈ V 1 . As we already observed, here we are able to get the differentiability also when s → exp ( sW ) is a singular subRiemannian length-minimizer. The theorem was first proved in [LPS17], but our proof relies on a different argument.

Let us consider a Carnot group of step two. Namely, equip R m z × R /lscript t with the group law (2.2)

$$( z, t ) \cdot ( \zeta, \tau ) = ( z + \zeta, t + \tau + Q ( z, \zeta ) ) \in \mathbb { R } ^ { m } \times \mathbb { R } ^ { \ell }.$$

See Section 2 for further details. In the sequel we will use several times the fact that the bilinear function Q satisfies the alternating property Q z z ( , ) = 0 for all z ∈ R m .

An easy computation based on the skew-symmetry of Q gives ( w , 0 ) = exp ( w · X ) , where w ∈ R m and w X · : = ∑ m j = 1 wjXj . For any w ∈ R m \ { 0 } wewant to get the estimate

$$\cdots \quad \bar { \cdot } _ { j = 1 } \cdots \cdots \quad & \varepsilon _ { j = 1 } \cdots \cdots \cdots \cdots \\ d ( ( w, 0 ) \cdot ( z, t ) ) \leq d ( w, 0 ) + \left \langle \frac { w } { | w | }, z \right \rangle + o ( d ( z, t ) ) \quad \text{as} \, ( z, t ) \to ( 0, 0 ). \\ \text{Recall again that the opposite inequality holds in general Carnot groups. see IIPS17.}$$

Recall again that the opposite inequality holds in general Carnot groups, see [LPS17, Lemma 3.2] and [PS18, Lemma 2.11].

In order to prove (5.5), we analyze the multiexponential map

$$\Gamma ^ { ( p ) } ( u _ { 1 }, \dots, u _ { p } ) & \coloneqq \exp ( u _ { 1 } \cdot X ) \cdots \exp ( u _ { p } \cdot X ) = \left ( \sum _ { j \leq p } u _ { j }, \sum _ { 1 \leq j < k \leq p } Q ( u _ { j }, u _ { k } ) \right ), \\ \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \end{array}.$$

where p ∈ N will be chosen later on, and the vectors u 1, . . . , up belong to R m .

Our purpose is to analyze the system Γ ( p ) ( ξ + u 1, . . . , ξ + up ) = ( w , 0 ) · ( z t , ) , where ξ : = w p , in order to get the upper estimate (5.5). Using the group law we get the set of equations

$$\mathbb { m } { w } \quad & \left ( \sum _ { j \leq p } ( \xi + u _ { j } ), \sum _ { 1 \leq j < k \leq p } Q ( \xi + u _ { j }, \xi + u _ { k } ) \right ) = ( w + z, t + Q ( w, z ) ). \quad & \left ( 5. 6 \right ) \quad & \quad \ \. \quad \. \quad \.$$

After a short manipulation, we get

$$\text{After a short manipulation, we get} \\ \begin{cases} \sum _ { j = 1 } ^ { p } u _ { j } = z \\ Q \Big ( \sum _ { j = 1 } ^ { p } ( p - 2 j + 1 ) u _ { j }, \xi \Big ) + \sum _ { 1 \leq j < k \leq p } Q ( u _ { j }, u _ { k } ) = t + Q ( p \xi, z ). \\ \text{By definition of subRiemannian distance, a solution } u _ { 1 }, \dots, u _ { p } \text{ of } ( 5. 7 ) \text{ provides immedi-} \\ \text{ately the estimate } d ( ( w, 0 ) \cdot ( z, t ) ) \leq \sum _ { j } | \xi + u _ { j } |. \text{ Besides this trivial remark, the key point} \end{cases}$$

By definition of subRiemannian distance, a solution u 1, . . . , up of (5.7) provides immediately the estimate d (( w , 0 ) · ( z t , )) ≤ ∑ j | ξ + uj | . Besides this trivial remark, the key point in the proof of (5.5) is the following proposition.

Proposition 5.1. There are p ∈ N and C &gt; 0 such that for all ξ ∈ R m and for each ( z t , ) ∈ R m × R /lscript , the system (5.7) has a solution ( u 1, . . . , up ) satisfying the inequality

$$\sum _ { j = 1 } ^ { p } | u _ { j } | \leq C ( | z | + | t | ^ { 1 / 2 } ).$$

By standard facts, | z | + | t | 1/2 is equivalent to d z t ( , ) . In [Mor18, Theorem 2.1] the second author solved a system similar to (5.7), but without the term Q p ( ξ , z ) . Unfortunately, the estimates of the mentioned paper are not sufficient to discuss the present case. Furthermore, here we find a method of solution which is much simpler than the one in [Mor18].

Before proving Proposition 5.1 we show how such result gives the required estimate (5.5).

Proof of Theorem 1.6. Let us fix ( w , 0 ) ∈ R m × R /lscript . Let ( z t , ) and take a solution of (5.7) satisfying (5.8). Using the definition of control distance and the Euclidean Taylor formula we discover that

$$\text{we uncovered una} \\ d ( ( w, 0 ) \cdot ( z, t ) ) & \leq \sum _ { j = 1 } ^ { p } | \xi + u _ { j } | = \sum _ { j = 1 } ^ { p } \left ( | \xi | + \left \langle u _ { j }, \frac { \xi } { | \xi | } \right \rangle + O ( | u _ { j } | ^ { 2 } ) \right ) \\ & = | p \xi | + \left \langle z, \frac { \xi } { | \xi | } \right \rangle + O ( | z | ^ { 2 } + | t | ), \\ \text{which is the required inequality } ( 5. 5 ).$$

which is the required inequality (5.5).

Proof of Proposition 5.1. It suffices to show that there is C &gt; 0 such that for all ( z t , ) ∈ R m × R /lscript , the system has a solution that satisfies estimate (5.8). Note that the system (5.10) does not contain ξ . Therefore our final estimates will be independent of ξ ∈ R m .

$$1. \text{ It suffices to show that there is $C$ > $0$ such that for all $(z,t)$} \in \\ \begin{cases} \sum _ { j = 1 } ^ { p } u _ { j } = z \\ \sum _ { j = 1 } ^ { p } ( p - 2 j + 1 ) u _ { j } = - p z & ( 5. 1 0 ) \\ \sum _ { 1 \leq j < k \leq p } Q ( u _ { j }, u _ { k } ) = t \\ \end{cases} \\ \text{atisfes estimate} ( 5. 8 ). \text{ Note that the system} ( 5. 1 0 ) does not contain $\zeta$.} \\ \text{stimates will be independent of $\zeta \in \mathbb{R}^{m}$.} \\ \text{t the second equation of} ( 5. 1 0 ), combined with the first, can be writ-$$

Observe now that the second equation of (5.10), combined with the first, can be written in the form

$$\sum _ { j = 1 } ^ { p } j u _ { j } = \frac { 1 + 2 p } { 2 } z$$

Let us make the linear change of variable

$$v _ { 1 } = u _ { 1 }, \ \ v _ { 2 } = u _ { 1 } + u _ { 2 }, \ \ \dots, v _ { k } = \sum _ { j = 1 } ^ { k } u _ { j } = v _ { k - 1 } + u _ { k }, \ \ \uparrow \, \text{to} \, k = p.$$

Therefore, we have

$$\sum _ { j = 1 } ^ { p - 1 } v _ { j } = \sum _ { k = 1 } ^ { p - 1 } ( p - k ) u _ { k } = p \sum _ { k = 1 } ^ { p } u _ { k } - \sum _ { k = 1 } ^ { p } k u _ { k } = p z - \sum _ { k = 1 } ^ { p } k u _ { k }.$$

Comparing with (5.11), we discover that the first two equations of the system (5.10) become

$$v _ { p } = z \quad \text{and} \quad \sum _ { j = 1 } ^ { p - 1 } v _ { j } = - z / 2.$$

Since we would have no advantage in solving the problem with small p , we will feel free to use large values of p in the argument below. The quadratic part takes the form

$$\int _ { 1 } \infty \in \Pi \Pi \Pi \Pi \Pi \Pi \Pi \Pi \Pi \Pi \Pi \Pi \Pi \Pi \Pi \Pi \Pi \Pi \Pi \Pi \Pi \Pi \Pi \Pi \Pi \Pi \Pi \Pi \Pi \Pi \Pi \Pi \Pi \Pi \Pi \Pi \Pi \Pi \Pi \Pi \Pi \Pi \Pi \Pi \Pi \Pi \Pi \Pi \Pi \Pi \Pi \Pi \Pi \Pi \Pi \Pi \Pi \Pi \Pi \Pi \Pi \Pi \Pi \Pi \Pi \Pi \Pi \Pi \Pi \Pi \Pi \Pi \Pi \Pi \Pi \Pi \Pi \Pi \Pi \Pi \Pi \Pi \Pi \Pi \Pi \Pi \Pi \Pi \Pi \Pi \Pi \Pi \Pi \Pi \Pi \Pi \Pi \Pi \Pi \Pi \pi \Pi \Pi \Pi \Pi \Pi \Pi \Pi \Pi \Pi \Pi \Pi \Pi \Pi \Pi \Pi \Pi \Pi \Pi \Pi \Pi \Pi \Pi \Pi \Pi \Pi \Pi \Pi \Pi \Pi \Pi \Pi \Pi \Pi \Pi \Pi \Pi \Pi \Pi \Pi \Pi \Pi \Pi \Pi \Pi \Pi \Pi \Pi \Pi \Pi \Pi \Pi \Pi \Pi \Pi \Pi \Pi \Pi \Pi \Pi \Pi \Pi \Pi \Pi \Pi \Pi \Pi \Pi \Pi \Pi \Pi \Pi \Pi \Pi \Pi \Pi \Pi \Pi \Pi \Pi \Pi \Pi \Pi \Pi \Pi \Pi \Pi \Pi \Pi \Pi \Pi \Pi \Pi \Pi \Pi \Pi \Pi \Pi \Pi \Pi \ellast \\ t = \sum _ { 1 \leq j < k \leq p } Q ( u _ { j }, u _ { k } ) = \sum _ { k = 1 } ^ { p - 1 } Q ( v _ { k }, v _ { k + 1 } ) \\ = \sum _ { k \leq p - 3 } Q ( v _ { k }, v _ { k + 1 } ) + Q ( v _ { p - 2 } - v _ { p }, v _ { p - 1 } ). \\ \intertext { s e v _ { p - 1 } } = 0, \, \text{so that the last term in (5.13) vanishes.  Fix also $v_{p-3} = 0$.  Then}$$

Let us choose vp -1 = 0, so that the last term in (5.13) vanishes. Fix also vp -3 = 0. Then we have fixed the set of conditions

$$v _ { p } = z, \quad v _ { p - 1 } = 0, \quad v _ { p - 2 } = - \frac { z } { 2 } - \sum _ { j \leq p - 4 } v _ { j }, \quad v _ { p - 3 } = 0.$$

Under all these choices, the first two equations of (5.10) are satisfied, while the quadratic part takes the easy form

$$\sum _ { j \leq p - 5 } Q ( v _ { j }, v _ { j + 1 } ) = t,$$

where the variables v 1, v 2, . . . , vp -4 are completely free. Finally, taking h ∈ N and p -5 = 1 + 3 h and chooosing v 3 = v 6 = v 9 = · · · = v 3 h = 0 for all h ∈ { 1, 2, . . . } , the system becomes

$$Q ( v _ { 1 }, v _ { 2 } ) + Q ( v _ { 4 }, v _ { 5 } ) + Q ( v _ { 7 }, v _ { 8 } ) + \dots + Q ( v _ { 1 + 3 h }, v _ { 2 + 3 h } ) = t,$$

which takes a pairwise decoupled form. Then it suffices to apply the Hörmander condition, as in [Mor18, Lemma 2.3] to see that if h ∈ N is sufficiently large (depending on the algebraic strucure of the group only) then there is a solution satisfying the required estimates | vj | ≤ C t | | 1/2 for all j ≤ 2 + 3 h = p -4. The final terms vj with j = p -3, p -2, p -1 and p can be estimated by (5.14) with C ( | z | + | t | 1/2 ) .

Remark 5.2. In [PS18], Pinamonti and Speight introduce the notion of deformable direction in a Carnot group of step s ≥ 1. We observe informally that from our results one can get the following two facts.

- · In any Carnot group, if there are p ∈ N and w ∈ R m \ { 0 } such that Γ ( p ) is a submersion at ( w , . . . , w ) ∈ ( R m p ) , then the direction w · X ∈ V 1 is deformable.
- · If we restrict to Carnot groups of step two, the discussion of Section 5.2 proves that any horizontal direction is deformable.

Therefore, our results can be used to give another proof of the deformability results in [LPS17, PS18].

## Acknowledgements

We thank the referee, whose remarks contributed to some improvements of the paper.

The authors are members of the Gruppo Nazionale per l'Analisi Matematica, la Probabilità e le loro Applicazioni (GNAMPA) of the Istituto Nazionale di Alta Matematica (INdAM)

## References

| [ABB19]   | A. Agrachev, D. Barilari, and U. Boscain, A Comprehensive Introduction to Sub-Riemannian Ge- ometry , Cambridge Studies in Advanced Mathematics 181 (2020).                                                                                                                     |
|-----------|---------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------|
| [ACM12]   | G. Arena, A. O. Caruso, and R. Monti, Regularity properties of H-convex sets , J. Geom. Anal. 22 (2012), no. 2, 583-602.                                                                                                                                                        |
| [ALDS19]  | Andrei A. Ardentov, Enrico Le Donne, and Yuri L. Sachkov, Sub-Finsler geodesics on the Cartan group , Regul. Chaotic Dyn. 24 (2019), no. 1, 36-60.                                                                                                                              |
| [BASCV07] | Vittorio Barone Adesi, Francesco Serra Cassano, and Davide Vittone, The Bernstein problem for intrinsic graphs in Heisenberg groups and calibrations , Calc. Var. Partial Differential Equations 30 (2007), no. 1, 17-49.                                                       |
| [BLD13]   | Costante Bellettini and Enrico Le Donne, Regularity of sets with constant horizontal normal in the Engel group , Comm. Anal. Geom. 21 (2013), no. 3, 469-507.                                                                                                                   |
| [BLU07]   | A. Bonfiglioli, E. Lanconelli, and F. Uguzzoni, Stratified Lie groups and potential theory for their sub-Laplacians , Springer Monographs in Mathematics, Springer, Berlin, 2007.                                                                                               |
| [BH93]    | Robert L. Bryant and L. Hsu Rigidity of integral curves of rank 2 distributions. Invent. Math. 114 (1993), 435âA¸461. ˘ S                                                                                                                                                       |
| [CK10]    | Jeff Cheeger and Bruce Kleiner, Metric differentiation, monotonicity and maps to L 1 , Invent. Math. 182 (2010), no. 2, 335-370.                                                                                                                                                |
| [DLDMV19] | Don, Sebastiano; Le Donne, Enrico; Moisala, Terhi; Vittone, Davide, A rectifiability result for finite-perimeter sets in Carnot groups , Arxiv e-prints (2019)                                                                                                                  |
| [FS16]    | Bruno Franchi and Raul Paolo Serapioni, Intrinsic Lipschitz graphs within Carnot groups , J. Geom. Anal. 26 (2016), no. 3, 1946-1994.                                                                                                                                           |
| [FSSC03]  | Bruno Franchi, Raul Serapioni, and Francesco Serra Cassano, On the structure of finite perimeter sets in step 2 Carnot groups , J. Geom. Anal. 13 (2003), no. 3, 421-466.                                                                                                       |
| [FSSC11]  | , Differentiability of intrinsic Lipschitz functions within Heisenberg groups , J. Geom. Anal. 21 (2011), no. 4, 1044-1084.                                                                                                                                                     |
| [LPS17]   | Enrico Le Donne, Andrea Pinamonti, and Gareth Speight, Universal differentiability sets and maximal directional derivatives in Carnot groups , J. Math. Pures Appl. (9) 121 (2019), 83-212.                                                                                     |
| [LS95]    | Wensheng Liu and Héctor J. Sussman, Shortest paths for sub-Riemannian metrics on rank-two distributions , Mem. Amer. Math. Soc. 118 (1995), no. 564.                                                                                                                            |
| [LU10]    | Ermanno Lanconelli and Francesco Uguzzoni, Potential analysis for a class of diffusion equations: a Gaussian bounds approach , J. Differential Equations 248 (2010), no. 9, 2329-2367.                                                                                          |
| [Mét80]   | Guy Métivier, Hypoellipticité analytique sur des groupes nilpotents de rang 2, Duke Math. J. 47 (1980), no. 1, 195-221.                                                                                                                                                         |
| [MM15]    | Annamaria Montanari and Daniele Morbidelli, On the lack of semiconcavity of the subRiemannian distance in a class of Carnot groups , J. Math. Anal. Appl. 444 (2016), 1652âA¸1674. ˘ S                                                                                          |
| [MV12]    | Roberto Monti and Davide Vittone, Sets with finite H -perimeter and controlled normal , Math. Z. 270 (2012), no. 1-2, 351-367.                                                                                                                                                  |
| [Mor18]   | Daniele Morbidelli, On the inner cone property for convex sets in two-step Carnot groups, with applications to monotone sets , Publ. Mat. (to appear); arXiv e-prints. (2018), arXiv:1808.06513.                                                                                |
| [NS87]    | Paolo Negrini and Vittorio Scornazzani, Wiener criterion for a class of degenerate elliptic operators , J. Differential Equations 66 (1987), no. 2, 151-164. MR871992                                                                                                           |
| [Pan89]   | Pierre Pansu, Métriques de Carnot-Carathéodory et quasiisométries des espaces symétriques de rang un , Ann. of Math. (2) 129 (1989), no. 1, 1-60.                                                                                                                               |
| [PS18]    | A. Pinamonti and G. Speight, Universal Differentiability Sets in Carnot Groups of Arbitrarily High Step , ArXiv e-prints, https://arxiv.org/abs/1711.11433 (2017).                                                                                                              |
| [Ric06]   | Matthieu Rickly, First-order regularity of convex functions on Carnot groups , J. Geom. Anal. 16 (2006), no. 4, 679-702.                                                                                                                                                        |
| [Sac03]   | Yu. L. Sachkov, An exponential mapping in the generalized Dido problem , Mat. Sb. 194 (2003), no. 9, 63-90.                                                                                                                                                                     |
| [Ugu07]   | Francesco Uguzzoni, Cone criterion for non-divergence equations modeled on Hörmander vector fields , Subelliptic PDE's and applications to geometry and finance, Lect. Notes Semin. Inter- discip. Mat., vol. 6, Semin. Interdiscip. Mat. (S.I.M.), Potenza, 2007, pp. 227-241. |

## [Vergne70]

Vergne, Michèle, Cohomologie des algèbres de Lie nilpotentes. Application à l'étude de la variété des algèbres de Lie nilpotentes , Bull. Soc. Math. France 98 (1970), 81-116.
Annamaria Montanari Daniele Morbidelli
Multiexponential maps in Carnot groups with applications to convexity and differentiability
We analyze some properties of a class of multiexponential maps appearing
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 the Pansu
differentiability of the subRiemannian distance from a fixed point.