Graduate About Schur's lemma in lie algebra

Click For Summary
Schur's Lemma states that for an irreducible representation of a Lie algebra, the only endomorphisms of the representation space that commute with all elements of the representation are scalar multiples of the identity. In the context of the Lie algebra ##L=\mathfrak{sl}(2)##, this implies that any linear transformation that commutes with the action of ##\mathfrak{sl}(2)## on a two-dimensional vector space must be a scalar matrix. The discussion emphasizes that the irreducibility of the representation is crucial, as it ensures that no non-trivial submodules exist. The example provided illustrates how to verify the conditions of Schur's Lemma using a specific matrix representation. Understanding this lemma is essential for studying representations in Lie algebra theory.
HDB1
Messages
77
Reaction score
7
Please, I have a question about Schur's Lemma ;

Let $\phi: L \rightarrow g I((V)$ be irreducible. Then the only endomorphisms of $V$ commuting with all $\phi(x)(x \in L)$ are the scalars.

Could you explain it, and please, how we can apply this lemma on lie algebra ##L=\mathfrak{s l}(2)##thanks in advance, :heart:
 
Physics news on Phys.org
Dear @fresh_42 , If you could help, I would appreciate it, thanks in advance, :heart: :heart:
 
HDB1 said:
Please, I have a question about Schur's Lemma ;

Let $\phi: L \rightarrow g I((V)$ be irreducible. Then the only endomorphisms of $V$ commuting with all $\phi(x)(x \in L)$ are the scalars.

Could you explain it, and please, how we can apply this lemma on lie algebra ##L=\mathfrak{s l}(2)##thanks in advance, :heart:
It says if ##\varphi \, : \,V\longrightarrow V## is a linear transformation of the vector space ##V## and ##\phi\, : \, L \rightarrow \mathfrak{gl}(V)## an irreducible representation of the Lie algebra ##L## then
\begin{align*}
[\phi(X),\varphi ](v)&=(\phi(X)\cdot \varphi -\varphi \cdot \phi(X))(v)=\phi(X).\varphi (v)-\varphi (\phi(X).v)=0 \text{ for all }X\in L\\ &\Longrightarrow \\
\varphi(v)&=\lambda \cdot v\text{ for some }\lambda \in \mathbb{K}
\end{align*}

Note:
a) ##\varphi \in \operatorname{End}(V)=\mathfrak{gl}(V)##
b) ##\{\alpha \in \mathfrak{gl}(V)\,|\,[\alpha,\beta]=0\text{ for all }\beta\in \mathfrak{gl}(V)\}=Z(\mathfrak{gl}(V)).##
c) Schur's lemma can therefore be phrased as follows:

A linear transformation ##\varphi ## of a finite-dimensional representation space ##V## of an irreducible representation ##\phi## of a Lie algebra ##L,## i.e. ##V## is an irreducible ##L## module, that lies in the center of ##\mathfrak{gl}(V)## is a scalar multiple of the identity matrix.

Consider the case ##L=\mathfrak{sl}(2)\, , \,V_2=\mathbb{K}^2## with ##x.v=[x,v]## being the Lie multiplication of ##\mathfrak{sl}(2)\ltimes V_2## we have seen before, will say: ##x.v## is the multiplication of a matrix ##x\in \mathfrak{sl}(2)## and a vector ##v\in V_2.## This is an irreducible representation, since ##V_2## has no one-dimensional submodule ##U=\mathbb{K}u## such that ##x.u \in U## for every ##x\in \mathfrak{sl}(2).## (Prove it!)

So all conditions of Schur's lemma are fulfilled. Now, if we have a matrix ##\varphi = A= \begin{pmatrix}a&b\\c&d\end{pmatrix}\in \mathfrak{gl}(V_2)## such that
$$
0=[\phi(X),A]=[X,A]=X\cdot A- A\cdot X\text{ for all } X\in \mathfrak{sl}(2) \;\;\Longleftrightarrow \;\;AX=XA
$$
then ##A=\lambda \cdot \begin{pmatrix}1&0\\0&1\end{pmatrix}## for some ##\lambda \in \mathbb{K}.##

You can check this yourself. Prove:
$$
\begin{pmatrix}a&b\\c&d\end{pmatrix}\cdot \begin{pmatrix}h&x\\y&-h\end{pmatrix}=\begin{pmatrix}h&x\\y&-h\end{pmatrix}\cdot \begin{pmatrix}a&b\\c&d\end{pmatrix} \text{ for all }x,h,y\;\;\Longrightarrow \;\;b=c=0 \text{ and }a=d
$$
 
I am studying the mathematical formalism behind non-commutative geometry approach to quantum gravity. I was reading about Hopf algebras and their Drinfeld twist with a specific example of the Moyal-Weyl twist defined as F=exp(-iλ/2θ^(μν)∂_μ⊗∂_ν) where λ is a constant parametar and θ antisymmetric constant tensor. {∂_μ} is the basis of the tangent vector space over the underlying spacetime Now, from my understanding the enveloping algebra which appears in the definition of the Hopf algebra...

Similar threads

  • · Replies 15 ·
Replies
15
Views
3K
  • · Replies 19 ·
Replies
19
Views
3K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 19 ·
Replies
19
Views
3K
  • · Replies 7 ·
Replies
7
Views
2K
Replies
9
Views
2K
  • · Replies 4 ·
Replies
4
Views
3K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K