Equality involving matrix exponentials / Lie group representations

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.
A = e^{tX}
B = e^{tY}

We want to show, for a specific matrix M

B^{-1} M B = AM

Does it suffice to show this to first order?

\left(1 -tY + \dots \right)M \left(1 + tY + \dots \right) = \left(1 + tX + \dots \right)M

In other words is

-YM + MY = XM

sufficient to show

B^{-1} M B = AM

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:
B^{-1} M B = AM

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

B^{-1} M^{(\mu)} B = \sum_{\nu} A^\mu{}_\nu M^{(\nu)}
That is, A and B are from four dimensional representations, and there are four different 4x4 matrices M^\mu, which form a space closed under conjugation by B. The matrix A is the corresponding element of a different representation, but marvelously A gives the components of B^{-1} M^{(\mu)} B within that subspace spanned by the M^\mu. 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.
 
I asked online questions about Proposition 2.1.1: The answer I got is the following: I have some questions about the answer I got. When the person answering says: ##1.## Is the map ##\mathfrak{q}\mapsto \mathfrak{q} A _\mathfrak{p}## from ##A\setminus \mathfrak{p}\to A_\mathfrak{p}##? But I don't understand what the author meant for the rest of the sentence in mathematical notation: ##2.## In the next statement where the author says: How is ##A\to...
##\textbf{Exercise 10}:## I came across the following solution online: Questions: 1. When the author states in "that ring (not sure if he is referring to ##R## or ##R/\mathfrak{p}##, but I am guessing the later) ##x_n x_{n+1}=0## for all odd $n$ and ##x_{n+1}## is invertible, so that ##x_n=0##" 2. How does ##x_nx_{n+1}=0## implies that ##x_{n+1}## is invertible and ##x_n=0##. I mean if the quotient ring ##R/\mathfrak{p}## is an integral domain, and ##x_{n+1}## is invertible then...
The following are taken from the two sources, 1) from this online page and the book An Introduction to Module Theory by: Ibrahim Assem, Flavio U. Coelho. In the Abelian Categories chapter in the module theory text on page 157, right after presenting IV.2.21 Definition, the authors states "Image and coimage may or may not exist, but if they do, then they are unique up to isomorphism (because so are kernels and cokernels). Also in the reference url page above, the authors present two...

Similar threads

Replies
3
Views
3K
Replies
7
Views
2K
Replies
1
Views
1K
Replies
14
Views
3K
Replies
3
Views
2K
Back
Top