Register to reply

Irreducible representations of the Lorentz group

by LastOneStanding
Tags: irreducible, lorentz, representations
Share this thread:
LastOneStanding
#1
Dec26-12, 09:52 PM
P: 718
I'm having some difficulty understanding the representation theory of the Lorentz group. While it's a fundamentally mathematical question, mathematicians and physicists use very different language for representation theory. I think a particle physicist will be more likely than a mathematician to be able to explain this in a way I can follow.

Suppose we have some Lie algebra L(G) over the real numbers, already equipped with a set of irreducible representations. We can complexify L(G) by extending scalar multiplication to the complex numbers. We can then reinterpret this complexified Lie algebra, L(G)C, as a real algebra whose dimension is twice as large as the original L(G). A bit more concretely, if L(G) has basis {Ti}, then the real interpretation of the complexified L(G) (which we'll call Re{L(G)C}) has basis {Xi,Yi}, where Xi = Ti, Yi = iTi. We now want to figure how to generate the irreps of Re{L(G)C} in terms of those of the original L(G). The reason why we're interested in doing such a convoluted-seeming construction is that the Lorentz group's Lie algebra (either the whole thing or just the component connected to the identity, I can't remember which) is precisely Re{L(SU(2))C}.

If [itex]c_{ijk}[/itex] are the structure constants of L(G), then by definition: [itex][T_i,T_j]=c_{ijk}T_k[/itex]. Hence, Re{L(G)C}) has the commutation relations:
[itex][X_i,X_j]=c_{ijk}X_k[/itex]
[itex][X_i,Y_j]=c_{ijk}Y_k[/itex]
[itex][Y_i,Y_j]=-c_{ijk}X_k[/itex]
Thus, if L(G) has an irrep [itex]{d(T_i)}[/itex], we can write down two distinct representations of Re{L(G)C}) that respect these commutation relations:
[itex]d(X_i) = d(T_i), d(Y_i) = i d(T_i)[/itex] (type 1)
and
[itex]d(X_i) = d(T_i), d(Y_i) = -i d(T_i)[/itex] (type 2)

This is where I get confused: I'm then told that if we want to get the most general irrep for Re{L(G)C}) we need to take the tensor product of irreps of L(G): one of type 1 and the other of type 2.
[itex]d(X_i) = d^{(1)}(T_i) \otimes I + I \otimes d^{(2)}(T_i)[/itex]
[itex]d(Y_i) = i d^{(1)}(T_i) \otimes I - i I \otimes d^{(2)}(T_i)[/itex]
where I is the identity matrix of the representation space and [itex]d^{(1)},d^{(2)}[/itex] are in general allowed to be two different irreps of L(G). I don't understand how this construction gives us irreps of Re{L(G)C}). I can see how the special cases work: if [itex]d^{(1)}[/itex] or [itex]d^{(2)}[/itex] is the trivial irrep then we obviously recover the type 2 and type 1 (respectively) representations from earlier. But why in general does this give us an irrep of the complexified algebra? Tensor product representations generated from irreps are not, in general, irreducible—I don't understand why this is an exception.

This is clearly a very important result since it allows us to conclude that [itex]SU(2) \otimes SU(2)[/itex] provides us with the representations of the Lorentz group: (1/2,1/2) is the 4-vector (fundamental) rep; (1/2,0) and (0,1/2) are the left- and right- handed Weyl spinor reps, and their direct sum is the Dirac spinor rep.; etc. I just don't see how the L(G) irreps yield Re{L(G)C}) irreps in the construction given above. Can someone explain that part?
Phys.Org News Partner Physics news on Phys.org
Three's a charm: NIST detectors reveal entangled photon triplets
How did evolution optimize circadian clocks?
New webcast series brings cutting-edge physics talks to the world
dextercioby
#2
Dec28-12, 05:18 AM
Sci Advisor
HW Helper
P: 11,946
First of all, read here: http://physicsforums.com/showthread.php?t=659011

Second, I don't understand why you chase the local approach, the global one based on SL(2,C) is standard for every theoretical physicist and is pretty well covered in textbooks on field theory.

The local approach is only sketched in the physics books, what you really need is a mathematician's treatment on this matter.
Bill_K
#3
Dec28-12, 06:31 AM
Sci Advisor
Thanks
Bill_K's Avatar
P: 4,160
Tensor product representations generated from irreps are not, in general, irreducible—I don't understand why this is an exception.
A tensor product of two representations of the same group is in general reducible, but that's quite different from what we have here. The Lorentz group is a direct product of two subgroups, G = G1 x G2. Each element g of G can be written uniquely as a product of elements of G1 and G2: g = g1g2.

Given any representation of G, you can construct a representation of G1 or G2 from it by restriction. Conversely from representations of G1 and G2, one constructs the representation of G. The theorem is that if the representations of G1 and G2 are irreducible, so is the representation of G.

Proof by contradiction. If the representation of G is reducible, it means that a subset of its basis elements transform only among themselves under all group transformations. In particular, they would do so under transformations belonging only to G1. Then the representation of G1 would be reducible also.

LastOneStanding
#4
Dec28-12, 12:03 PM
P: 718
Irreducible representations of the Lorentz group

Thanks, Bill. Is what I've written above enough to show that, in the general case, the group corresponding to the Lie algebra Re{L(G)C} is the direct product of two copies of the group corresponding to L(G)? I don't see how to prove that from what I've given—but I do see that if it's true, it answers my question.
Bill_K
#5
Dec28-12, 01:27 PM
Sci Advisor
Thanks
Bill_K's Avatar
P: 4,160
From the commutation relations you've quoted,
[Xi,Xj] = cijk Xk
[Xi,Yj] = cijk Yk
[Yi,Yj] = −cijk Xk
form the combinations Ji = Xi + iYi and Ki = Xi - iYi. Then
[Ji, Ji] = 2 cijk Jk
[Ki, Ki] = 2 cijk Kk
[Ji, Ki] = 0

which shows the group is a direct product of G1 generated by the J's and G2 generated by the K's.
LastOneStanding
#6
Dec28-12, 02:01 PM
P: 718
Fantastic, thank you.
samalkhaiat
#7
Dec28-12, 07:29 PM
Sci Advisor
P: 922
Quote Quote by Bill_K View Post
From the commutation relations you've quoted,
[Xi,Xj] = cijk Xk
[Xi,Yj] = cijk Yk
[Yi,Yj] = −cijk Xk
form the combinations Ji = Xi + iYi and Ki = Xi - iYi. Then
[Ji, Ji] = 2 cijk Jk
[Ki, Ki] = 2 cijk Kk
[Ji, Ki] = 0

which shows the group is a direct product of G1 generated by the J's and G2 generated by the K's.
Be careful here, in general if [itex]G_{ 1 }[/itex] and [itex]G_{ 2 }[/itex] are two COMPACT groups then [itex]G_{ 1 } \times G_{ 2 } \equiv G[/itex] is also compact. So, if [itex]G_{ 1 } = SU( 2 )[/itex] and [itex]G_{ 2 } = SU( 2 )[/itex], then their direct product can not be the NON-COMPACT Lorentz group [itex]SO( 1 , 3 )[/itex]. Stated differently: the real algebra [itex]\mathcal{ so } ( 1 , 3 ; \mathbb{ R } )[/itex] does not contain two perpendicular copies of the real algebra [itex]\mathcal{ su } ( 2 ; \mathbb{ C } )[/itex]. Depending on the signature of the metric in [itex]\mathbb{ R }^{ 4 }[/itex], one can show the following:
[tex]
\mathcal{ so } ( 4 ; \mathbb{ R } ) \cong \mathcal{ su } ( 2 ; \mathbb{ C } ) \oplus \mathcal{ su } ( 2 ; \mathbb{ C } ) ,
[/tex]
[tex]
\mathcal{ so } ( 1 , 3 ; \mathbb{ C } ) \cong \mathcal{ sl } ( 2 , \mathbb{ C } ) \oplus \mathcal{ sl } ( 2 , \mathbb{ C } ) ,
[/tex]
and,
[tex]
\mathcal{ o } ( 2 , 2 ; \mathbb{ R } ) \cong \mathcal{ sl } ( 2 , \mathbb{ R } ) \oplus \mathcal{ sl } ( 2 , \mathbb{ R } ) .
[/tex]

Sam
dextercioby
#8
Dec29-12, 05:09 AM
Sci Advisor
HW Helper
P: 11,946
Quote Quote by Bill_K View Post
From the commutation relations you've quoted,
[Xi,Xj] = cijk Xk
[Xi,Yj] = cijk Yk
[Yi,Yj] = −cijk Xk
form the combinations Ji = Xi + iYi and Ki = Xi - iYi. Then
[Ji, Ji] = 2 cijk Jk
[Ki, Ki] = 2 cijk Kk
[Ji, Ki] = 0

which shows the group is a direct product of G1 generated by the J's and G2 generated by the K's.
From [itex] \frak{so}(4,\mathbb{R}) \simeq \frak{su}(2)\oplus\frak{su}(2)[/itex] the global isomorphism

[tex] \mbox{SO}(4,\mathbb{R}) \simeq \mbox{SU}(2)\otimes\mbox{SU}{2} [/tex]


will not follow
, because the group in the LHS is not simply connected, while the one in the RHS is.

Actually by forming complex linear combinations of the generators of the initial algebra (call it [itex] \mathcal{l}_{1} [/itex]) you're transforming it into its complexification, [itex] \mathcal{l}_{1}^{C} [/itex]. Isomorphic LIe algebras lead by exponentiation to isomorphic groups iff the groups are simply connected and obviously both groups either compact or non-compact.
dextercioby
#9
Dec29-12, 06:20 AM
Sci Advisor
HW Helper
P: 11,946
Quote Quote by LastOneStanding View Post
[...]
Suppose we have some Lie algebra L(G) over the real numbers, already equipped with a set of irreducible representations. We can complexify L(G) by extending scalar multiplication to the complex numbers. We can then reinterpret this complexified Lie algebra, L(G)C, as a real algebra whose dimension is twice as large as the original L(G). A bit more concretely, if L(G) has basis {Ti}, then the real interpretation of the complexified L(G) (which we'll call Re{L(G)C}) has basis {Xi,Yi}, where Xi = Ti, Yi = iTi. We now want to figure how to generate the irreps of Re{L(G)C} in terms of those of the original L(G). The reason why we're interested in doing such a convoluted-seeming construction is that the Lorentz group's Lie algebra (either the whole thing or just the component connected to the identity, I can't remember which) is precisely Re{L(SU(2))C}.[...]
Precisely this quoted part is addressed on page 228 in Willard Miller's text on symmetry groups and their applications.
LastOneStanding
#10
Dec29-12, 11:02 AM
P: 718
Thank you, I'll try to track down a copy of that book.


Register to reply

Related Discussions
Representations of the Lorentz group Quantum Physics 2
Lorentz invariant theory, irreducible representations Quantum Physics 2
Representations of the Lorentz Group Quantum Physics 9
Representations of Lorentz group High Energy, Nuclear, Particle Physics 12
Representations of the lorentz group Differential Geometry 6