# Lie correspondence between nilpotent Lie algebras and unipotent algebraic groups

## Contents

## Statement

### General version

Suppose is a field of characteristic zero. The **Lie correspondence** is a correspondence:

nilpotent Lie algebras over unipotent algebraic groups over

This correspondence defines an equivalence of categories over Set. More specifically, for any Lie algebra over , we can define a unipotent algebraic group over with the same underlying set, where the group operations are defined in terms of the Lie algebra operations using the Baker-Campbell-Hausdorff formula (and we can go backward from groups to Lie algebras using the inverse Baker-Campbell-Hausdorff formula).

Note that the Lie correspondence does not require any notion of topology or convergence on the field because, even though the Baker-Campbell-Hausdorff formula has infinite length, in practice we only need to use finitely many terms because of the nilpotency assumption.

### For matrices: linear Lie algebras and linear algebraic groups

In the case of matrices, the correspondence can be made explicit by means of the exponential map.

## Related notions

- The Lazard correspondence is a generalization to the situation where we are not over a field of characteristic zero, but the Lie ring and group are both uniquely divisible for primes up to the nilpotency class.