Register to reply 
Irreducible representations of the Lorentz group 
Share this thread: 
#1
Dec2612, 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 {T_{i}}, then the real interpretation of the complexified L(G) (which we'll call Re{L(G)^{C}}) has basis {X_{i},Y_{i}}, where X_{i} = T_{i}, Y_{i} = iT_{i}. 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 convolutedseeming 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 4vector (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? 


#2
Dec2812, 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. 


#3
Dec2812, 06:31 AM

Sci Advisor
Thanks
P: 4,160

Given any representation of G, you can construct a representation of G_{1} or G_{2} from it by restriction. Conversely from representations of G_{1} and G_{2}, one constructs the representation of G. The theorem is that if the representations of G_{1} and G_{2} 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 G_{1}. Then the representation of G_{1} would be reducible also. 


#4
Dec2812, 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.



#5
Dec2812, 01:27 PM

Sci Advisor
Thanks
P: 4,160

From the commutation relations you've quoted,
[X_{i},X_{j}] = c_{ijk} X_{k} [X_{i},Y_{j}] = c_{ijk} Y_{k} [Y_{i},Y_{j}] = −c_{ijk} X_{k} form the combinations J_{i} = X_{i} + iY_{i} and K_{i} = X_{i}  iY_{i}. Then [J_{i}, J_{i}] = 2 c_{ijk} J_{k} [K_{i}, K_{i}] = 2 c_{ijk} K_{k} [J_{i}, K_{i}] = 0 which shows the group is a direct product of G_{1} generated by the J's and G_{2} generated by the K's. 


#6
Dec2812, 02:01 PM

P: 718

Fantastic, thank you.



#7
Dec2812, 07:29 PM

Sci Advisor
P: 922

[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 


#8
Dec2912, 05:09 AM

Sci Advisor
HW Helper
P: 11,946

[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 noncompact. 


#9
Dec2912, 06:20 AM

Sci Advisor
HW Helper
P: 11,946




#10
Dec2912, 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 