Classification des métriques invariantes à gauche sur le groupe de Heisenberg. (Classification of left invariant metrics on the Heisenberg group) (Q809376)

The authors prove that every left invariant metric on the Heisenberg group is equivalent with: \[ \lambda^ 2_ 1(\alpha^ 2_ 1+\beta^ 2_ 1)+\lambda^ 2_ 2(\alpha^ 2_ 2+\beta^ 2_ 2)+...+\lambda^ 2_ p(\alpha^ 2_ p+\beta^ 2_ p)+\omega^ 2. \] For this metric the curvature tensor and the Killing vector fields are determined. Proposition 4.1 is proved: Let g be a left invariant metric on \(H_{2p+1}\). If D is a total geodesic distribution in \((H_{2p+1},g)\) which is completely integrable, then codim \(D\geq 2\).