# Baker-Campbell-Hausdorff formula for nilpotency class two

## Contents

## Statement

The Baker-Campbell-Hausdorff formula for nilpotency class two is a special case of the Baker-Campbell-Hausdorff formula that works in the case of nilpotency class two. In particular, it is a formula that can be used to go back and forth along the Baer correspondence.

The explicit formula for is given in a number of forms below:

Form | Expression | Primes required to be invertible |
---|---|---|

sum of associative products | 2 | |

sum of Lie products (left-normed or right-normed, it doesn't matter) | 2 | |

sum of basic Lie products (using Khukhro's left-normed convention, treating ) | 2 |

## Deducing the formula

### Using the explicit formula

The explicit formula says the following. The iterated Lie bracket in this version of the formula is right-normed, i.e., stands for ::

We calculate each of the terms individually for the case . Note that in this case, the expression for the outer sum is :

, which in this case is just | Simplified form | |||
---|---|---|---|---|

1 | 0 | 1 | ||

0 | 1 | 1 | ||

1 | 1 | 2 | ||

2 | 0 | 2 | 0 | |

0 | 2 | 2 | 0 | |

Total (--) | -- | -- | -- |

If , the degree becomes greater than two, and the term becomes zero if we are in class two.

For , we have:

, which in this case is just | Simplified form | |||||
---|---|---|---|---|---|---|

1 | 0 | 1 | 0 | 2 | 0 | |

1 | 0 | 0 | 1 | 2 | ||

0 | 1 | 1 | 0 | 2 | ||

0 | 1 | 0 | 1 | 2 | 0 | |

Total (--) | -- | -- | -- | -- | -- | 0 |

Note that all other terms are zero simply by degree considerations.

Combining both, we obtain that:

### Using the general procedure

We describe here how the formula can be deduced using the *general* procedure outlined in deducing the Baker-Campbell-Hausdorff formula from associative algebra manipulation.

#### Quick version

By the quick formula, we have:

Further, since we are in class two, , so we get:

In the second square term, the class two condition means that the only surviving part is , so we get:

Simplify, and get:

This further simplifies to:

This can be rewritten as:

#### Detailed version

In this case, we work with non-commuting variables such that . Thus:

We thus get:

We drop all products of degree three or more and rearrange the remaining terms to get:

We thus get:

Finally, we compute . We have:

We note that is the same as the square of its linear part because the square of the degree two part, as well as products of the degree two and the linear part, are degree three or more and hence zero. Thus:

Simplifying, we get:

Now note that:

Plugging this in, we get:

Simplifying, we get:

Rewrite and we get the formula: