Equality involving matrix exponentials / Lie group representations

Join the discussion
Ask a follow-up here, or get your own question answered by working scientists, mathematicians and engineers — people, not an autocomplete.
Real named experts · corrections over time · the nuance an AI answer skips
3 replies · 2K views
MisterX
Messages
758
Reaction score
71
We have that A and B belong to different representations of the same Lie Group. The representations have the same dimension. X and Y are elements of the respective Lie algebra representations.
[itex]A = e^{tX}[/itex]
[itex]B = e^{tY}[/itex]

We want to show, for a specific matrix M

[itex]B^{-1} M B = AM[/itex]

Does it suffice to show this to first order?

[itex]\left(1 -tY + \dots \right)M \left(1 + tY + \dots \right) = \left(1 + tX + \dots \right)M[/itex]

In other words is

[itex]-YM + MY = XM[/itex]

sufficient to show

[itex]B^{-1} M B = AM[/itex]

for all t?

I have seen this used in physics derivations, but it's not clear to me if and why this is sufficient.
 
Last edited:
Physics news on Phys.org
Never mind, this came as a result of misreading something.
 
I've been wondering the same thing, so I wouldn't mind following some discussion.

According to my experience with theoretical physics, usually in particular situations it is quite easy to prove

MisterX said:
[itex]B^{-1} M B = AM[/itex]

directly, and therefore the "Lie algebra way" isn't critical. Of course it would still be interesting to know some theory about the topic.
 
actually the expression I am trying to prove is

[tex]B^{-1} M^{(\mu)} B = \sum_{\nu} A^\mu{}_\nu M^{(\nu)}[/tex]
That is, [itex]A[/itex] and [itex]B[/itex] are from four dimensional representations, and there are four different 4x4 matrices [itex]M^\mu[/itex], which form a space closed under conjugation by [itex]B[/itex]. The matrix [itex]A[/itex] is the corresponding element of a different representation, but marvelously [itex]A[/itex] gives the components of [itex]B^{-1} M^{(\mu)} B[/itex] within that subspace spanned by the [itex]M^\mu[/itex]. I think this is not a general problem, we have to get into the specifics. I may follow up in the quantum mechanics forum, in case you are interested.