1
$\begingroup$

Note that this is a partial duplicate of my math.stackexchange question here. In this post I am asking something slightly broader. Note that I am a mathematical physicist and not a representation theorist / Lie algebrist / Lie group researcher so I apologise for any mistakes and would gratefully accept any corrections!

It is well known that the group law for a Lie group is locally (i.e. in some neighborhood around the identity) encoded in the Lie algebra. This encoding can be expressed by the Baker-Campbell-Haussdorf-Dynkin formula and the fact that the BCH formula does not generally converge essentially expresses the failure of the Lie algebra to capture the group law globally. However I do not know anything about where/whether the BCH formula converges for the special orthogonal group.

Because of some physics problem that would be off-topic for this forum I am interested in expressing the product of two $\mathrm{SO}(2n,R)$ matrices exclusively in terms of the Lie algebra. In other words I want a procedure that will take two $ 2n\times 2n $ real, skew-symmetric matrices $A$ and $B$ (elements of $\mathfrak{so}(2n,R))$ and find a third $C$ such that

\begin{align} e^A e^B = e^C. \end{align}

My intuition is that if $C$ is going to be obtained from $A$ and $B$ in any way it is probably going to require BCH in some form, but I would be very happy if I was wrong about that.

I expect that a sensible "first step" would be to first block-diagonalise $A$ and $B$ and use periodicity to make the eigenvalues small (in magnitude). Doing this it is possible (WLOG) to assume $A$ and $B$ have eigenvalues in the ingerval $[-i\pi, i\pi)$, for example.

$\endgroup$
7
  • $\begingroup$ en.wikipedia.org/wiki/… and en.wikipedia.org/wiki/… might help. $\endgroup$
    – Alex M.
    Commented Dec 18, 2021 at 20:00
  • $\begingroup$ @AlexM. Its definitely relevant that the exponential is surjective for $\mathrm{SO}(2n, \mathbb{R})$ (if this was not true I definitely wouldn't be asking the question). I couldn't find anything on the wki page for the BCH formula that answered my questions about the special orthogonal case. $\endgroup$
    – ors
    Commented Dec 18, 2021 at 20:13
  • $\begingroup$ From the BCH Wikipedia page that I linked to above: "Concretely, if working with a matrix Lie algebra and $\| \cdot \|$ is a given submultiplicative norm, convergence is guaranteed if $\| X \| + \| Y \| < \ln \sqrt 2$". $\endgroup$
    – Alex M.
    Commented Dec 18, 2021 at 20:33
  • $\begingroup$ Or this: dx.doi.org/10.1016/j.laa.2003.09.010. $\endgroup$
    – Alex M.
    Commented Dec 18, 2021 at 20:36
  • 1
    $\begingroup$ @AlexM. That I've read the wiki page and that article recently. The condition given is not necessary for convergence, and I was hoping that a much weaker condition suffices for matrices in the special orthogonal Lie algebra. The couterexamples given in the wiki page and the article are such that there does not exist a matrix in the Lie algebra that exponentiates to the product of the two exponentials. This case never happens for the special orthogonal group/algebra since the exponential is surjective. I don't know if there are cases of non-convergence that are not of this form. $\endgroup$
    – ors
    Commented Dec 18, 2021 at 20:51

0

You must log in to answer this question.