Baker-Campbell-Hausdorff formula
Contents
Statement
Broad statement
The Baker-Campbell-Hausdorff formula is a formula that tried to express:
in terms of and . Here, and are elements of a Lie algebra or Lie ring, is the exponential map from the Lie algebra to its Lie group, the multiplication occurs in the Lie group, and is the inverse of the exponential map.
The expression for the Baker-Campbell-Hausdorff formula is a -linear combination of , , and expressions constructed from them using the Lie bracket.
Clear statement
Fix a positive integer . We will describe here how to obtain the class truncation of the Baker-Campbell-Hausdorff formula.
Let be the free associative -algebra on two generators and . Let be the quotient of by the ideal generated by products of length or more. We use the letters and for the images of and respectively in .
Note that both and are nilpotent elements of . They give rise to nilpotent elements with divided powers, and we can therefore compute their exponentials. Explicitly:
The class truncated Baker-Campbell-Hausdorff formula is an expression such that:
Equivalently, it is the expression for .
Note that because of the freeness of our setup, the expression here is unique in the sense that any two different expressions for would be equal to each other identically.
Explicit expression
The following explicit expression works when the Lie group is a simply connected group. In the nilpotent case, it therefore works if the Lie group is the naturally chosen group corresponding to the Lie algebra, where the exponential and logarithmic maps are global bijections.
Explicit formula
The iterated Lie bracket in this version of the formula is right-normed, i.e., stands for :
First few terms
Deducing the formula
The above explicit formula, as well as a few small cases, can be computed by hand. See deducing the Baker-Campbell-Hausdorff formula from associative algebra manipulation.
Related notions
- Formula for group commutator in terms of Lie bracket
- Inverse Baker-Campbell-Hausdorff formula: This is the formula for .
Facts
- Symmetry and skew symmetry of homogeneous components of Baker-Campbell-Hausdorff formula
- Bound on prime power divisors of denominators in Baker-Campbell-Hausdorff formula
Particular cases
Nilpotent groups
In the case that we have a nilpotent group or equivalently a nilpotent Lie ring, the Baker-Campbell-Hausdorff formula terminates in finitely many steps, because all terms that involve more than a given number of Lie bracket iterations vanish. Below are the formulas for small values of nilpotency class.
For class , the formula makes sense over any field or ring where all the primes less than or equal to are invertible.
Note that in the abelian case, the exponential map is a homomorphism, and hence the Baker-Campbell-Hausdorff formula just gives .
For explicit computations, see deducing the Baker-Campbell-Hausdorff formula from associative algebra manipulation.
Nilpotency class | Details | Formula | Primes required to be invertible |
---|---|---|---|
1 | abelian group and abelian Lie ring -- the group and Lie ring structure are the same | no condition | |
2 | Baker-Campbell-Hausdorff formula for nilpotency class two | 2 only | |
3 | Baker-Campbell-Hausdorff formula for nilpotency class three | 2 and 3 only | |
4 | Baker-Campbell-Hausdorff formula for nilpotency class four | 2 and 3 only | |
5 | Baker-Campbell-Hausdorff formula for nilpotency class five | 2, 3, and 5 only |
Homogeneous components
The formula in the simply connected case (whose truncations give the nilpotent case) can be separated out into homogeneous components. These homogeneous components are given below. Note that the formula for nilpotency class is simply obtained by adding up the homogeneous components of degree up to and including .
Degree | Homogeneous component of degree | Symmetric or skew symmetric? See symmetry and skew symmetry of homogeneous components of Baker-Campbell-Hausdorff formula -- even degree terms are skew symmetric, odd degree terms are symmetric | lcm of denominators | Primes required to be invertible to make sense of this component |
---|---|---|---|---|
1 | symmetric | 1 | no condition | |
2 | skew symmetric | 2 | 2 only | |
3 | symmetric | 12 | 2 and 3 only | |
4 | skew symmetric (proving this for the explicit expression requires use of the Jacobi identity) | 24 | 2 and 3 only | |
5 | symmetric | 720 | 2, 3, and 5 only |
References
- An effective version of the Lazard correspondence by Serena Cicalo, Willem A. de Graaf and M. R. Vaughan-Lee, Journal of Algebra, ISSN 00218693, Volume 352, Page 430 - 450(Year 2012): ^{[dx.doi.org/10.1016/j.jalgebra.2011.11.031 Official copy (gated)]}^{More info}