Suppose I have the Heisenberg group H say over the $p$-adic integers $\mathbb{Z}_p$, which is the set of $3\times 3$ uni-upper-trianglar matrices over $\mathbb{Z}_p$ . Its Lie algebra $h$ is the set of all $3\times 3$ strictly-upper-trianglar matrices over $\mathbb{Z}_p$.

The commutator relations of the presentation of $H$ carry over exactly to give the Lie bracket for $h$. My question is: does this hold for any arbitrary nilpotent Lie group G in place of the Heisenberg group?


$\newcommand\Lie{\mathrm{Lie}}$If we endow the Lie algebra $\Lie(G)$ of a unipotent algebraic Lie group $G$ over a field of characteristic zero with the product given by the Baker-Campbell-Hausdorff formula —it thereby becomes a Lie group— the exponential map $\Lie(G)\to G$ becomes an isomorphism.

This is what you are seeing in the case of the Heisenberg group. Since its nilpotency index is $2$, the B-H-C series collapses to a very short Lie polynomial.

  • 1
    $\begingroup$ A useful keyword to search for in this context is Malcev completion. $\endgroup$ – Mariano Suárez-Álvarez Jan 10 '12 at 3:02

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.