ba4925b2cc475fd5.tex
1: \begin{abstract}
2:  We consider the free nilpotent Lie algebra
3: $L$  with 2 generators, of step~4, and the corresponding connected simply connected Lie group $G$. We study the left-invariant sub-Riemannian structure on $G$ defined by the generators of $L$ as an orthonormal frame.
4: 
5: We compute two vector field models of $L$ by polynomial vector fields in~$\R^8$, and find an infinitesimal symmetry of the   \sR structure. Further,
6:   we compute explicitly  
7: the product rule in~$G$, 
8: the right-invariant frame on $G$, 
9: linear on fibers Hamiltonians corresponding to the left-invariant and right-invariant frames  on $G$,  
10: Casimir functions and co-adjoint orbits on  $L^*$.
11: 
12: 
13: Via Pontryagin maximum principle,  we describe abnormal extremals and derive a Hamiltonian system $\dlam = \vH(\lam)$, $\lam \in T^*G$, for normal extremals. 
14:  We compute 10 independent integrals of $\vH$, of which only 7 are in involution.  After reduction by 4 Casimir functions, the vertical subsystem of $\vH$ on $L^*$  shows numerically a chaotic dynamics, which leads to a conjecture  on non-integrability of~$\vH$ in the Liouville sense.
15: \end{abstract}