Lorentz Generators: (J and M) vs. S

In summary: How can I know how to decompose them to orbital and to spin? If orbital angular momentum themselves generate the rotations, what does spin generate? and where is it "hidden" in the Lorentz group?
  • #1
liorde
15
0
(if I am not even wrong, please let me know :smile:)
The generators of the (proper-orthochronous) Lorentz transformations are usually denoted by [itex]{J_{\mu \nu }}[/itex] or by [itex]{M_{\mu \nu }}[/itex]. They consist of angular momentum generators and boost generators.
When discussing spinors, the notation changes to [itex]{S_{\mu \nu }}[/itex] (which is equal to the commutator of gamma matrices).

I am trying to understand if the change of notation reflects a difference between [itex]S[/itex] and [itex]J[/itex], or if it just a change of convention.

Is there any sense in which [itex]{S_{\mu \nu }}[/itex] is just spin while [itex]{J_{\mu \nu }}[/itex] is angular momentum?
Is there any sense in which [itex]{S_{\mu \nu }}[/itex] generates inner transformations while [itex]{J_{\mu \nu }}[/itex] does not?

Thanks
 
Physics news on Phys.org
  • #2
When refernig generaly to Lorentz group, it's generators are not specific mathematical items, but they could be anything that satisfy Poicare algebra. When you want to find a specific representation of Lorentz group, then you are searching for matrices that satisfy Poincare aglebra. So, Sμν are a particular (up to similarity transormations) set of matrices, that satisfy Poincare algebra and they are used to describe spin-1/2 particles. These matrices can be constructed by the commutators of gamma matrices (you can check it by verifying that Sμν indeed satisfy Poincare algebra). Their difference with Jμν is that Sμν are the matrices of spinor representation while Jμν could be anything and that Sμν can be used only to rotate spin 1/2 systems while Jμν are used for every system.
 
  • #3
liorde said:
Is there any sense in which [itex]{S_{\mu \nu }}[/itex] is just spin while [itex]{J_{\mu \nu }}[/itex] is angular momentum?
NO.
Is there any sense in which [itex]{S_{\mu \nu }}[/itex] generates inner transformations while [itex]{J_{\mu \nu }}[/itex] does not?
what is inner transformation?
 
  • #4
what is inner transformation?

Maybe the word "internal" should have been used... I'm not sure what I mean, but I hear people referring to spin as generating an "internal" transformation.

In non relativistic quantum mechanics (of particles), when we want to discuss spin we add to the wave function a parameter [itex]s[/itex], which takes 2 values (for a spin 1/2 particle). That is in addition to the parameter [itex]x[/itex] which takes a continuum of values. The angular momentum operator is made out of the position and linear momentum operators. These operate on [itex]x[/itex]. The spin operators are Pauli matrices which operate on [itex]s[/itex] (I know this was a lousy description, but you understand I'm sure...). Thus, you can say that spin is something "internal" since it does not depend on space coordinates, while orbital angular momentum is not "internal" in this sense. Also, it is known that the orbital angular momentum operators generate rotations in three-space, which makes them "not internal" in some sense.
(I know I am using the word "internal" in a obscured way... It's just that I think it is in the jargon and I'm hoping someone will explain it to me)

Now, in relativistic quantum field theory (and probably also in NRQM), we discuss space-time symmetries of the action, specifically Lorentz translations. These consist of rotations, and you can write down the corresponding generators. Do these generators correspond to orbital angular momentum or to spin? or both? How can I know how to decompose them to orbital and to spin? If orbital angular momentum themselves generate the rotations, what does spin generate? and where is it "hidden" in the Lorentz group? (I know that Lorentz can be generated by rotations and boosts, with no other generators needed, so what does spin do?)
 
  • #5
liorde said:
Maybe the word "internal" should have been used... I'm not sure what I mean, but I hear people referring to spin as generating an "internal" transformation.

In non relativistic quantum mechanics (of particles), when we want to discuss spin we add to the wave function a parameter [itex]s[/itex], which takes 2 values (for a spin 1/2 particle). That is in addition to the parameter [itex]x[/itex] which takes a continuum of values. The angular momentum operator is made out of the position and linear momentum operators. These operate on [itex]x[/itex]. The spin operators are Pauli matrices which operate on [itex]s[/itex] (I know this was a lousy description, but you understand I'm sure...). Thus, you can say that spin is something "internal" since it does not depend on space coordinates, while orbital angular momentum is not "internal" in this sense. Also, it is known that the orbital angular momentum operators generate rotations in three-space, which makes them "not internal" in some sense.
(I know I am using the word "internal" in a obscured way... It's just that I think it is in the jargon and I'm hoping someone will explain it to me)

Now, in relativistic quantum field theory (and probably also in NRQM), we discuss space-time symmetries of the action, specifically Lorentz translations. These consist of rotations, and you can write down the corresponding generators. Do these generators correspond to orbital angular momentum or to spin? or both? How can I know how to decompose them to orbital and to spin? If orbital angular momentum themselves generate the rotations, what does spin generate? and where is it "hidden" in the Lorentz group? (I know that Lorentz can be generated by rotations and boosts, with no other generators needed, so what does spin do?)

Didn't you ask this before? I have given you a complete answer before! If you did not anderstand the answer, then you could have asked for clarification. So, go and read my answer in the link below:

www.physicsforums.com/showthread.php?t=650570
 
  • #6
samalkhaiat said:
Didn't [liorde] ask this before? [...]
As always, your answers were excellently informative. But sometimes it's tricky to match the level of one's answers to the level of the questioner's educational background...

Liorde,
Perhaps you should give a quick summary of your background and what level of math/physics studies you've reached so far. That would help responders to tailor their answers appropriately. (Sam is right that, if you had trouble understanding his answers in thorough detail, then you should have given some hint of this.)

[Afterthought... can you access a copy of Ballentine's textbook "QM -- A Modern Development". If so, are you comfortable with the level of math therein? If you can cope with it, you'll find good answers to lots of your questions...]
 
  • #7
Now, in relativistic quantum field theory (and probably also in NRQM), we discuss space-time symmetries of the action, specifically Lorentz translations. These consist of rotations, and you can write down the corresponding generators. Do these generators correspond to orbital angular momentum or to spin? or both? How can I know how to decompose them to orbital and to spin? If orbital angular momentum themselves generate the rotations, what does spin generate? and where is it "hidden" in the Lorentz group? (I know that Lorentz can be generated by rotations and boosts, with no other generators needed, so what does spin do?)
In correct theory of angular momentum as discovered by dirac,it is orbital angular momentum+spin which is a constant of motion and is a good quantum number.So spin is necessary.You can see for these related point in sakurai 'advanced quantum mechanics'
 
  • #8
Didn't you ask this before? I have given you a complete answer before! If you did not anderstand the answer, then you could have asked for clarification. So, go and read my answer in the link below:

www.physicsforums.com/showthread.php?t=650570


(Sam is right that, if you had trouble understanding his answers in thorough detail, then you should have given some hint of this.)

I'm sorry, but at the time (and for a long while) I didn't have any means of connecting to the internet, for technical reasons... And now I wanted to ask some more questions about this subject, but to approach it from a different angle, and that is why I opened a new thread (I also posted it in a more relevant forum - Quantum Physics as opposed to Relativity).

Anyway, I feel quite comfortable with the quantum field theory that I studied so far (and I am still studying), but I have this little yet substantial gap of understanding that drives me crazy. It has to do with the origin and justification of spin. I assume that my misunderstanding is due to the fact that this subject isn't presented to me with enough mathematical rigor (I am taking a course on QFT and I also use Peskin+Sredinski+Ramond+Greiner+... this series does not converge...)

I guess that the problem is that I am not managing to state clearly my questions, as I haven't received satisfactory answers yet...


I'll try to rephrase my main question :

The generators of the Lorentz group (in 3+1 dimensions) are 3 boosts and 3 rotations. To the rotation elements of the group correspond three infinitesimal generators (which, of course, can be represented irreducibly in various vector spaces). Are these infinitesimal generators equal to orbital angular momentum (AM) operators? Or to total AM operators (=orbital+spin)? If it is the former, then where does spin come from - as it is not needed to generate Lorentz (since in this case we say that orbital AM generates the rotations)? If it is the latter, then why can we speak of two kinds of separate things - orbital AM and spin - while the generator generates only one kind of thing, namely rotations, and what is the precise way to decompose AM to orbital and spin?


If you feel that you keep trying to explain something simple to me and that I just don't get it, let me know and I will move on and try to find the answer in books... I just thought that since this subject is not treated well in books, I could get a better answer here.


P.S.
Weinberg I and Ryder reason that spin originates from extra degrees of freedom when Lorentz transforming in the representations of the Poincare group. This is called "the little group method". If someone could explain this to me I would be grateful.
 
  • #9
For the Lorentz group (more precisely its component connected to the identity), the 6 generators of the group are the 3 boost operators and the 3 orbital angular momentum operators, since by exponentiation they generate 3 independent rotations in the boosts space and 3 in the real 3-dimensional space respectively.

In addendum, spin doesn't come from the Lorentz group actually, but from the Poincaré group (the component connected to identity of the full Poincaré group), just like in non-relativistic QM spin is derived from the connected component of the Galilei group, not from the rotations subgroup.
 
Last edited:
  • #10
liorde said:
QFT and I also use Peskin+Sredinski+Ramond+Greiner+... this series does not converge...)

These texts explain to you that
[tex]SO(3) \subset SO(1,3) \approx SL(2, \mathbb{C}) \approx SU(2) \times SU^{*}(2)[/tex]

The action of the generators of SO(3) subgroup on geometrical objects (fields) give you 3-dimentional orbital angular momentum plus INTEGER spin. This why we complexify the generators to get to SL(2,C).

The generators of the Lorentz group (in 3+1 dimensions) are 3 boosts and 3 rotations. To the rotation elements of the group correspond three infinitesimal generators (which, of course, can be represented irreducibly in various vector spaces). Are these infinitesimal generators equal to orbital angular momentum (AM) operators? Or to total AM operators (=orbital+spin)? If it is the former, then where does spin come from - as it is not needed to generate Lorentz (since in this case we say that orbital AM generates the rotations)? If it is the latter, then why can we speak of two kinds of separate things - orbital AM and spin - while the generator generates only one kind of thing, namely rotations, and what is the precise way to decompose AM to orbital and spin?

If you study the above relations, you will understand the meaning of the transformation equation which I told you about in the other thread and its connection to Lorentz group representations, namely

[tex]\bar{\phi} (\bar{x})= U^{-1}\phi (\bar{x})U = D(\Lambda) \phi (x)[/tex]
 
  • #11
dextercioby said:
In addendum, spin doesn't come from the Lorentz group actually, but from the Poincaré group (the component connected to identity of the full Poincaré group)
I would say, it has nothing to do with the Poincare group. Take a typical group element [itex](\Lambda , a)[/itex] and set [itex]\Lambda = 1[/itex], Do you get spinors from [itex](1,a)[/itex]? No, you don't.
Spin is and Spinors are the natural objects of the abstract group [itex]SL(2, \mathbb{c})[/itex]: the group of linear mapping in 2-dimentional, complex, symplectic space, namely the spinor space. This has direct relation to Lorentz group [itex]SO(1,3) \approx SL(2, \mathbb{C})[/itex]. With or without translations, that relation still hold.

Sam
 
  • #12
Actually, spin comes from the quantum mechanical symmetry group, which for a flat Minkowskian space time is the universal covering group of the connected component of the Poincaré group, by means of the second Casimir, first being linked to the mass of the (quanta of the) field.
Your remark is about spinorial / SL(2,C) indices, not about spin.
 
  • #13
dextercioby said:
Your remark is about spinorial / SL(2,C) indices, not about spin.


In post #11, I said and meant SPIN ( [itex]s = (n + m) /2[/itex] ) and SPINORS ( [itex]\psi_{\alpha}[/itex], [itex]\psi_{\dot{\alpha}}[/itex]) can be introduced NATURALLY in the Lorentz group [itex]SO(3,1) \approx SL(2, \mathbb{C}) / \mathbb{Z}_{2}[/itex]. This relation means that the Lorentz algebra [itex]so(1,3)[/itex] is isomorphic to a direct sum of two mutually conjugate [itex]sl(2, \mathbb{C})[/itex] algebras and therefore has two Casimir operators
[tex]C_{1}\left( \frac{n}{2}, \frac{m}{2}\right) \equiv M^{\alpha \beta } M_{\alpha \beta}\left( \frac{n}{2}, \frac{m}{2}\right) = - 2 \frac{n}{2}( \frac{n}{2} + 1 ) \mathbb{E}[/tex]
[tex]C_{2} \left( \frac{n}{2}, \frac{m}{2}\right) \equiv \bar{M}^{\dot{\alpha} \dot{ \beta}} \bar{M}_{ \dot{\alpha} \dot{\beta}}\left( \frac{n}{2} , \frac{m}{2}\right) = - 2 \frac{m}{2} ( \frac{m}{2} + 1 ) \mathbb{E}[/tex]
where [itex](n/2 , m/2)[/itex] is the [itex](n + 1)(m + 1)- \mbox{dimensional}[/itex] irreducible representation (sequence) of the Lorentz algebra.
So, up to this point, SPIN and SPIONRS do not need the Poincare algebra. However, when we want to realize the SPIONRS in terms of FIELDS on Minkowski space-time we run into troubles because, in general, the [itex]( n/2 , (2s – n)/2 )[/itex] type spinor with [itex]n \neq 0[/itex] admits several realizations in terms of FIELDS. So, to select the spin-s fields, we need (the Momentum operator) to impose the following supplementary condition

[tex]
P^{\alpha \dot{ \alpha}}\Psi_{\alpha \alpha_{1}…\alpha_{n -1}\dot{\alpha}\dot{\alpha}_{1}… \dot{\alpha}_{m - 1}}(x) = 0.
[/tex]

We also need our spin-s representation to satisfy the on-shell condition

[tex]
( \partial^{2} - m^{2}) \Psi_{\alpha_{1}… \alpha_{n}\dot{\alpha}_{1}… \dot{\alpha}_{m}}(x) = 0.
[/tex]

So, you see that the Poincare generators

[tex]
P^{\mu} = \frac{1}{2} ( \bar{ \sigma }^{ \mu } )_{ \dot{ \alpha } \alpha } P^{ \alpha \dot{ \alpha }},
[/tex]

and

[tex]
M^{\mu \nu} = ( \sigma^{\mu \nu})_{\alpha \beta} M^{\alpha \beta} - ( \bar{\sigma}^{\mu \nu} )_{\dot{\alpha}\dot{\beta}}\bar{M}^{\dot{ \alpha} \dot{ \beta}}
[/tex]

come into the picture when we need to talk about fields and their evolution on space-time. But, if you start from the Poincare group, then you get your spin by squaring the Pauli-Lubanski vector


[tex]
W_{\alpha \dot{\alpha}} = -iM_{\alpha \beta}P^{\beta}{}_{\dot{\alpha}} + i \bar{M}_{\dot{\alpha}\dot{\beta}}P_{\alpha}{}^{ \dot{ \beta}}
[/tex]

Sam
 
  • #14
liorde said:
The generators of the (proper-orthochronous) Lorentz transformations are usually denoted by [itex]{J_{\mu \nu }}[/itex] or by [itex]{M_{\mu \nu }}[/itex]. They consist of angular momentum generators and boost generators.
J (or M) consists only of angular momentum generators. It's an antisymmetric matrix (i.e. ##J^T=-J##), so the diagonal elements are zero, and the ones below the diagonal are determined by the ones above it. So only 3 independent components.
 
  • #15
Usually [itex]J_{\mu \nu}[/itex] are the generators of the special orthochronous Lorentz group (or its covering group, the SL(2,C)) in some of its representations. Thus indeed it generates both boosts ([itex]J_{0\nu}[/itex]) and rotations ([itex]J_{jk}[/itex] with [itex]j,k \in \{1,2,3\}[/itex]). It's antisymmetric under exchange of the two space-time indices, i.e., there are 6 independent generators as it must be for the six-dimensional Lie algebra sl(2,C).

You find a treatment of these matters in Appendix B of my QFT manuscript:
http://fias.uni-frankfurt.de/~hees/publ/lect.pdf
 
  • #16
Oh yeah, I had a little brain malfunction there. An antisymmetric 4×4 matrix has 6 independent components, not 3. But I'm pretty sure I've seen both J and M denote an antisymmetric 3×3 matrix whose independent components are the spin operators. (I don't have time to look at your notes right now).
 
  • #17
vanhees71 said:
there are 6 independent generators as it must be for the six-dimensional Lie algebra sl(2,C).

As a vector space, the Lie algebra [itex]sl(2, \mathbb{ C })[/itex] is 3-dimensional, i.e. it has 3 generators. In general [itex]sl(n , \mathbb{ C })[/itex] is a [itex](n^{2} - 1)[/itex]-dimensional Lie algebra. The Lorentz algebra is 6-dimensional because of the relation
[tex]so(1,3) \sim sl(2 , \mathbb{ C }) \oplus sl(2 , \mathbb{ C })[/tex]

Sam
 
  • #18
Sam,

sl(2,C) is 3-dimensional only when viewed as a vector space over the field of complex numbers. When viewed as a vector space over the field of real numbers, it's 6 dimensional. The correct Lie algebra isomorphisms are

[tex] \mbox{so(1,3)} \simeq \mbox{sl}(2,\mathbb{C}) \simeq \mbox{su(2)} \oplus \mbox{su(2)} [/tex]

[tex] \mbox{so(1,3)}_{C} \simeq \mbox{su(2)} \oplus \mbox{su(2)} [/tex]
 
  • #19
samalkhaiat said:
In post #11, I said and meant SPIN ( [itex]s = (n + m) /2[/itex] ) and SPINORS ( [itex]\psi_{\alpha}[/itex], [itex]\psi_{\dot{\alpha}}[/itex]) can be introduced NATURALLY in the Lorentz group [itex]SO(3,1) \approx SL(2, \mathbb{C}) / \mathbb{Z}_{2}[/itex]. This relation means that the Lorentz algebra [itex]so(1,3)[/itex] is isomorphic to a direct sum of two mutually conjugate [itex]sl(2, \mathbb{C})[/itex] algebras and therefore has two Casimir operators
[tex]C_{1}\left( \frac{n}{2}, \frac{m}{2}\right) \equiv M^{\alpha \beta } M_{\alpha \beta}\left( \frac{n}{2}, \frac{m}{2}\right) = - 2 \frac{n}{2}( \frac{n}{2} + 1 ) \mathbb{E}[/tex]
[tex]C_{2} \left( \frac{n}{2}, \frac{m}{2}\right) \equiv \bar{M}^{\dot{\alpha} \dot{ \beta}} \bar{M}_{ \dot{\alpha} \dot{\beta}}\left( \frac{n}{2} , \frac{m}{2}\right) = - 2 \frac{m}{2} ( \frac{m}{2} + 1 ) \mathbb{E}[/tex]
where [itex](n/2 , m/2)[/itex] is the [itex](n + 1)(m + 1)- \mbox{dimensional}[/itex] irreducible representation (sequence) of the Lorentz algebra.
So, up to this point, SPIN and SPIONRS do not need the Poincare algebra. However, when we want to realize the SPIONRS in terms of FIELDS on Minkowski space-time we run into troubles because, in general, the [itex]( n/2 , (2s – n)/2 )[/itex] type spinor with [itex]n \neq 0[/itex] admits several realizations in terms of FIELDS. So, to select the spin-s fields, we need (the Momentum operator) to impose the following supplementary condition

[tex]
P^{\alpha \dot{ \alpha}}\Psi_{\alpha \alpha_{1}…\alpha_{n -1}\dot{\alpha}\dot{\alpha}_{1}… \dot{\alpha}_{m - 1}}(x) = 0.
[/tex]

We also need our spin-s representation to satisfy the on-shell condition

[tex]
( \partial^{2} - m^{2}) \Psi_{\alpha_{1}… \alpha_{n}\dot{\alpha}_{1}… \dot{\alpha}_{m}}(x) = 0.
[/tex]

So, you see that the Poincare generators

[tex]
P^{\mu} = \frac{1}{2} ( \bar{ \sigma }^{ \mu } )_{ \dot{ \alpha } \alpha } P^{ \alpha \dot{ \alpha }},
[/tex]

and

[tex]
M^{\mu \nu} = ( \sigma^{\mu \nu})_{\alpha \beta} M^{\alpha \beta} - ( \bar{\sigma}^{\mu \nu} )_{\dot{\alpha}\dot{\beta}}\bar{M}^{\dot{ \alpha} \dot{ \beta}}
[/tex]

come into the picture when we need to talk about fields and their evolution on space-time. But, if you start from the Poincare group, then you get your spin by squaring the Pauli-Lubanski vector


[tex]
W_{\alpha \dot{\alpha}} = -iM_{\alpha \beta}P^{\beta}{}_{\dot{\alpha}} + i \bar{M}_{\dot{\alpha}\dot{\beta}}P_{\alpha}{}^{ \dot{ \beta}}
[/tex]

Sam

Actually, to assign the name <spin> to a particular weight (n+m)/2 of a finite-dimensional irreducible representation of SL(2,C) is quite confusing, since it automatically raises the question whether and how this number is linked to the eigenvalues of the squared Pauli-Lubanskii 4 vector (operator) when evaluated in the <particle's> own reference frame (if any).

If you can link these 2 numbers (by a proof), then you're guaranteed to be correct when using the word 'spin' when discussing the representation theory of SL(2,C). Else, you should call that number by the name it bears in mathematics, weight.
 
  • #20
Let me add my 2 cents worth, as this may help answer the original question in a simplistic manner (which is usually the way I think, unfortunately!). Let's say we have 3 types of fields: Scalar, Vector, and Spinor. We wish to look at these types of fields in another coordinate system (e.g. one that has been boosted and/or rotated). Now the scalar field is the simplest case, since it consists of just a single number at each point in space. So all we have to do is transform the coordinates of the field and we're done. The generators for such transformations are the orbital angular momentum operators Lαβ where the L0i generate boosts and the Lij generate rotations. For scalar fields there is no spin, so Jαβ = Lαβ. Now take a vector field and look at it from the same rotated/boosted coordinate frame. The vector field has 4 components at each point in spacetime. So just transforming the coordinates of where each vector is located is not enough. We also have to ROTATE/BOOST the vector which means mixing the COMPONENTS of the vector accordingly, as the components will be different in the new frame. So what operator mixes the components? The spin operators Sαβ. And the S0i mix the components for coordinate boosts, while the Sij mix the components for coordinate rotations. So the total angular momentum operator needed is equal to orbital angular momentum (to transform the coordinates) plus spin angular momentum (to mix the components): Jαβ = Lαβ + Sαβ. This means vector fields (particles) have spin, and it is not that difficult to show that for vector fields s = 1 by doing some work with the spin matrices. Now you are probably aware that Dirac spinors transform differently than vectors, thus the spin matrices for Dirac 4-spinor fields are different than for 4-vector fields, but again the operator needed is Jαβ = Lαβ + Sαβ, where again L transforms the coordinates (of where each spinor is located in the new frame) and S mixes the components (boosts/rotates the spinor itself). And these spin matrices for Dirac fields can be used to show that s = 1/2 for this field.
 
  • #21
Another 2 cents. It's a bit dangerous to talk about "spin" and "orbital angular momentum" in relativistic quantum theory since this distinction usually is problematic, to say the least. That's why, for a full understanding of relativistic quantum theory (i.e., relativistic quantum field theory!), it is so important to understand the unitary representations of the Poincare group to a certain extent.

This analysis shows, expressed in a simplified way, that the single-particle states for (asymptotically) free particles can first of all be characterized by the particle's mass. Here, we have just to distinguish massive particles with [itex]m>0[/itex] and massless particles with [itex]m=0[/itex]. In the following we'll use the momentum eigenstates as a basis of the single-particle space. These are also energy eigenstates with [itex]E=\sqrt{m^2+\vec{p}^2}[/itex] (using natural units with [itex]\hbar=c=1[/itex]).

For massive particles, you can always transform into the restframe of the particle, where [itex]\vec{p}=0[/itex] and [itex]E=m[/itex]. The corresponding energy eigenstate has to be further characterized by the transformation properties of this state under those proper orthochronous Lorentz transformations that keep this "standard momentum", [itex]\vec{p}=0[/itex], invariant (the "little group"), which of course is the subgroup of spatial rotations in this particular reference frame, the restframe of the particle. Now you can apply the usual representation theory of the rotation group, which is for quantum theoretical purposes the covering group of the usual rotationgroup, the SO(3), which is SU(2). The irresucible representations of this group are characterized by an integer or half-integer number [itex]s \in \{0,1/2,1,\ldots \}[/itex], and the basis states are given by the eigenstates of the corresponding threecomponent of the spin operator. Then the representation theory of the Poincare tells you how to extend this irrep. of the little group to a unitary representation of the full (proper orthochronous) Poincare group, the socalled Frobenius construction. Thus, the usual angular-momentum algebra for the spin of a particle is defined in the restframe of the particle. Since Lorentz boosts and rotation don't commute, there is no frame-independent separation into spin and orbital angular momentum. The spin-three vector in the restframe of the particle can be expressed in a Lorentz covariant way, which leads to the socalled Pauli-Ljubanski vector.

The massless case is more subtle. Since here the four momentum is lightlike, [itex]E=|\vec{p}|[/itex], you cannot transform into a reference frame, where [itex]\vec{p}=0[/itex]. To find the irreps of the Poincare group, you rather have to define a standard momentum arbitrarily, which usually is taken to be [/itex]\vec{p}_0=E \vec{e}_z[/itex]. Now you do the same "Frobenius construction" as in the massless case, i.e., you first look for the irreps of the corresponding "little group", which is defined as the subgroup of the proper orthochronous Lorentz group that leaves the standard four-momentum [itex]p_0=(E,0,0,E)[/itex] invariant. Of course one part of this subgroup is the Abelian rotation SO(2) group, given by the rotations around the [itex]z[/itex] axis, but that's not the full little group. There are also two other independent one-parameter subgroups, the socalled "null rotations", which also leave [itex]p_0[/itex] invariant. All together you find that the little group is isomorphic to the ISO(2), i.e., the full symmetry group of the Euclidean two-dimensional plane. This is the same semidirect product of translations and rotations within this plane as in usual two-dimensional space, and you get its irreps. by the same construnction as in quantum theory, using the "Heisenberg algebra". The "translations" have only infinite-dimensional irreps., and the "momenta" have always a continuous spectrum, except the trivial one. This would mean that a particle described by such a general irrep. would have some strange continuous intrinsic quantum number, but such a thing nobody ever has found necessary to describe a real-world particle. Thus we must consider only those irreps. of the little group that represent the "translations" trivially, and for the real-world particles, we are left with the irreps. of the two-dimensional rotation group SO(2) or, more appropriate for the quantum theory, its covering group, which is the U(1).

The U(1) is abelian and has a lot of representations, but now, you must keep in mind that we are after the unitary irreps. of the full proper orthochronous Poincare group and not only the little group via the Frobenius construction. This of course always implies a irrep of the full (quantum) rotation group SU(2), which tells us that we have to use the representations [itex]\exp(\mathrm{i} \lambda \varphi)[/itex] for the rotations around the three axis in the subspace of fixed standard three momentum to induce the correct integer or half-integer representations of the full rotation group. Thus, one characterizes also the irreps. for the one-particle states of massless particles by a "spin" [itex]s \in \{0,1/2,1,\ldots \}[/itex], but there are always only two states [itex]\lambda =\pm s[/itex]. Since this irrep. of the rotations around the three axis represents the rotations around the direction of the three momentum of the particle (in the reference frame, where the momenum points into [itex]z[/itex] direction), this is the helicity of the particle.

For massless particles with spin larger than 1/2 it turns out that, if you want to express them in terms of local quantum fields, one must take them as gauge fields in order to get rid of the non-physical degrees of freedom like for photons with spin 1, where you start with a four-vector field [itex]A^{\mu}[/itex] and have to get rid of the timelike and the longitudinal part, which both are unphysical, to end up with the two physical transverse polarization states. The helicity eigenstates are just left and right circular polarization states.
 
  • #22
dextercioby said:
Sam,

sl(2,C) is 3-dimensional only when viewed as a vector space over the field of complex numbers. When viewed as a vector space over the field of real numbers, it's 6 dimensional.

Yes, I am aware of that. Nearly all elements [itex]A \in SL( 2 , \mathbb{ C } )[/itex] can be parameterized by

[tex]A = \exp ( c_{ i } \sigma_{ i } )[/tex]

where [itex]c_{ i }[/itex] is a complex 3-vector playing the role of local complex coordinates, and the Pauli matrices form a basis in the corresponding Lie algebra. We can also treat [itex]SL( 2 , \mathbb{ C } )[/itex] as a real six-dimensional Lie group using the following parameterization

[tex]A = \exp ( \frac{ 1 }{ 2 } \omega^{ ab } \sigma_{ ab } ),[/tex]

where

[tex]( \omega^{ ab } )^{ * } = \omega^{ ab } = - \omega^{ ba }.[/tex]

The two parameterizations are related by

[tex]
2 c_{ 1 } = \omega^{ 01 } + i \omega^{ 23 }, \ 2 c_{ 2 } = \omega^{ 02 } + i \omega^{ 31 }, \ 2 c_{ 3 } = \omega^{ 03 } + i \omega^{ 12 }.
[/tex]

And [as a basis of the REAL Lie algebra of [itex]SL( 2 , \mathbb{ C } )[/itex]]

[tex]
\sigma_{ ab } = - \frac{ 1 }{ 4 } ( \sigma_{ a } \bar{ \sigma }_{ b } - \sigma_{ b } \bar{ \sigma }_{ a } ),
[/tex]

where

[tex]\sigma_{ a } \equiv ( I_{ 2 } , \sigma_{ i } ), \ \bar{ \sigma }_{ a } \equiv ( I_{ 2 } , - \sigma_{ i } )[/tex]

These are related by

[tex]
( \bar{ \sigma }_{ a } )^{ \dot{ \alpha } \alpha } = \epsilon^{ \dot{ \alpha } \dot{ \beta } } \epsilon^{ \alpha \beta } ( \sigma_{ a } )_{ \beta \dot{ \beta } }
[/tex]

Notice that Pauli matrices carry mixed indices whereas [itex]( \sigma_{ ab } )_{ \alpha } {}^{ \beta }[/itex] carry un-dotted indices. There are other generators carrying two dotted indices, I include them here for later use

[tex]
( \bar{ \sigma } )^{ \dot{ \alpha }} {}_{ \dot{ \beta } } = - \frac{ 1 }{ 4 } ( \bar{ \sigma }_{ a } \sigma_{ b } - \bar{ \sigma }_{ b } \sigma_{ a } )^{ \dot{ \alpha } } {}_{ \dot{ \beta } }
[/tex]

We will also need the following identities

[tex]
\mbox{ Tr } ( \sigma_{ a } \bar{ \sigma }_{ b } ) = - \eta_{ ab }
[/tex]
[tex]
( \sigma^{ a } )_{ \alpha \dot{ \alpha } } ( \bar{ \sigma }_{ a } )^{ \dot{ \beta } \beta } = - 2 \delta^{ \beta }_{ \alpha } \delta^{ \dot{ \beta } }_{ \dot{ \alpha } }
[/tex]

Those who have not studied supersymmetry or the representations of [itex]SL( 2 , \mathbb{ C } )[/itex] and want to follow what I am about to do, they need work through the above and many other relations between the sigmas.


The correct Lie algebra isomorphisms are

[tex] \mbox{so(1,3)} \simeq \mbox{sl}(2,\mathbb{C}) \simeq \mbox{su(2)} \oplus \mbox{su(2)} [/tex]

[tex] \mbox{so(1,3)}_{C} \simeq \mbox{su(2)} \oplus \mbox{su(2)} [/tex]


DEFINITION (to avoid pages of mathematical gibberish here, I will give a physicist’s definition):

A Lie algebra [itex]\mathcal{ L }[/itex] is the direct sum of two Lie algebras [itex]\mathcal{ L }_{ 1 }[/itex] and [itex]\mathcal{ L }_{ 2 }[/itex] if it is the vector sum and all the elements of [itex]\mathcal{ L }_{ 1 }[/itex] commute with all the elements of [itex]\mathcal{ L }_{2}[/itex]. Symbolically, we represent this by:

[tex]
\mathcal{ L } = \mathcal{ L }_{ 1 } \oplus \mathcal{ L }_{ 2 },
[/tex]

if

[tex]
[ \mathcal{ L }_{ 1 } , \mathcal{ L }_{ 2 } ] \subset \mathcal{ L }_{ 1 } \cap \mathcal{ L }_{ 2 } = \varnothing
[/tex]

CLAIM 1:

[tex]
\mathcal{ so }( 1 , 3 ) \cong \mathcal{ sl }( 2 , \mathbb{ C } ) \oplus \mathcal{ sl }( 2 , \mathbb{ C } ).
[/tex]

PROOF:

We start with the Lorentz algebra which we all know (I hope)

[tex]
[ M_{ ab } , M_{ cd} ] = \eta_{ ad } M_{ bc } - \eta_{ ac } M_{ bd } + \eta_{ bc } M_{ ad } - \eta_{ bd } M_{ ac } .
[/tex]

Now, define the following three 2 by 2 matrices ( we met them in my previous post)

[tex]
M_{ \alpha \beta } = \frac{ 1 }{ 2 } ( \sigma^{ ab } )_{ \alpha \beta } M_{ ab } = M_{ \beta \alpha } ,
[/tex]

and another 3 by

[tex]
\bar{ M }_{ \dot{ \alpha } \dot{ \beta } } = - \frac{ 1 }{ 2 } ( \bar{ \sigma }^{ ab } )_{ \dot{ \alpha } \dot{ \beta } } M_{ ab }
[/tex]

Using these together with the properties of the sigmas, we can split the Lorentz algebra into two commuting algebras:

[tex]
2 [ M_{ \alpha \beta } , M_{ \gamma \delta } ] = \epsilon_{ \alpha \gamma } M_{ \beta \delta } + \epsilon_{ \alpha \delta } M_{ \beta \gamma } + \epsilon_{ \beta \gamma } M_{ \alpha \delta } + \epsilon_{ \beta \delta } M_{ \alpha \gamma } \ \ (1)
[/tex]

similar one with the bared M and dotted indices [itex][ \bar{ M }_{ \dot{ \alpha } \dot{ \beta } } , \bar{ M }_{ \dot{ \gamma } \dot{ \delta } } ][/itex] and

[tex][ M_{ \alpha \beta } , \bar{ M }_{ \dot{ \gamma } \dot{ \delta } } ] = 0[/tex]

Ok, if we call [itex]M_{ 11 } = E[/itex] (for Elie Cartan), [itex]M_{ 22 } = F[/itex] (for Felix Klein) and [itex]M_{ 12 } = M_{ 21 } = H/2[/itex] (for Hermann Weyl), then eq(1) becomes

[tex]
[ H , E ] = 2 E, \ \ [ E , F ] = H , \mbox{ and } \ [ F , H ] = 2 F ,
[/tex]

which (I hope) every body recognise as the Lie algebra [itex]\mathcal{ sl } ( 2 , \mathbb{ C } )[/itex]. The bared M’s commutation relations lead to another [itex] \mathcal{ sl } ( 2 , \mathbb{ C } )[/itex] algebra. Thus as I claimed, the Lorentz algebra is isomorphic to a direct sum of two mutually conjugate [itex]\mathcal{ sl } ( 2 , \mathbb{ C } )[/itex] algebras.

CLAIM 2:

COMPLEX representation of the REAL Lie algebra [itex]\mathcal{ su } ( 2 )[/itex] is EQUIVALENT to representation of the COMPLEX Lie algebra

[tex]
\mathcal{ su } ( 2 ) \otimes_{ \mathbb{ R } } \mathbb{ C } \left( \equiv \mathcal{ su } ( 2 ) \oplus i \ \mathcal{ su } ( 2 ) \right) = \mathcal{ sl } ( 2 , \mathbb{ C } )
[/tex]

PROOF:
[tex]
\mathcal{ su } ( 2 ) = \left \{ H \in M_{ 2 } \mathbb{ C } : \mbox{ Tr } ( H ) = 0 , \ H^{ \dagger } = - H \right \}
[/tex]

[tex]
i \ \mathcal{ su } ( 2 ) = \left \{ H \in M_{ 2 } \mathbb{ C } : \mbox{ Tr } ( H ) = 0 , \ H^{ \dagger } = H \right \}
[/tex]

Thus

[tex]
\mathcal{ su } ( 2 ) \oplus i \ \mathcal{ su } ( 2 ) = \left \{ H \in M_{ 2 } \mathbb { C } : \mbox{ Tr } ( H ) = 0 \right \} \equiv \mathcal{ sl } ( 2 , \mathbb{ C } ) .
[/tex]

This is a special case of the general theorem which states that the complex representation of a real Lie algebra [itex]\mathcal{ L }[/itex] is equivalent to representation of the complex Lie algebra [itex]\mathcal{ L } \oplus i \mathcal{ L } = \mathcal{ gl } ( n , \mathbb{ C } )[/itex]

Sam
 
Last edited:
  • #23
dextercioby said:
Actually, to assign the name <spin> to a particular weight (n+m)/2 of a finite-dimensional irreducible representation of SL(2,C) is quite confusing, since it automatically raises the question whether and how this number is linked to the eigenvalues of the squared Pauli-Lubanskii 4 vector (operator) when evaluated in the <particle's> own reference frame (if any).

If you can link these 2 numbers (by a proof), then you're guaranteed to be correct when using the word 'spin' when discussing the representation theory of SL(2,C). Else, you should call that number by the name it bears in mathematics, weight.

When you square the Pauli-Lubanski vector, you get
[tex]
W^{ 2 } = - \frac{ m^{ 2 }}{ 2 } ( C_{ 1 } + C_{ 2 } ) + M \cdot P \cdot \bar{ M } \cdot P
[/tex]

where [itex]C_{ 1 }[/itex] and [itex]C_{ 2 }[/itex] are the two Casimir operators of the two [itex]\mathcal{ sl } ( 2 , \mathbb{ C } )[/itex] algebras appearing in the above mentioned direct sum. For massive field, the third term vanishes leaving only the two casimirs to determine the “SPIN”, whatever that means in the group theoretical context. In QM, students learn about the theory of spin through the representations of [itex]\mathcal{ su } ( 2 )[/itex] algebra, i.e. the eigen-values of the single Casimir [itex]J ( J + 1 )[/itex] and the WEIGHT vector [itex]| j , m >[/itex]. The Lorentz group provides more elegant description of spin than that given by the poor single [itex]SU(2)[/itex] of QM.
 
Last edited:

1. What is a Lorentz generator?

A Lorentz generator is a mathematical construct used in physics to define the transformations between two different reference frames in special relativity. It is based on the equations developed by Dutch physicist Hendrik Lorentz and is used to describe the effects of time dilation and length contraction.

2. What is the difference between J and M Lorentz generators?

J and M refer to two different types of Lorentz generators: the J generator (also known as the spin generator) describes the rotational transformations between reference frames, while the M generator (also known as the boost generator) describes the translational transformations.

3. How do Lorentz generators relate to the special theory of relativity?

Lorentz generators are a fundamental part of the special theory of relativity, as they are used to mathematically describe the transformations between reference frames in a relativistic system. These transformations are necessary to maintain the principles of special relativity, such as the constancy of the speed of light.

4. What are the applications of Lorentz generators?

Lorentz generators have numerous applications in physics, particularly in the fields of particle physics and cosmology. They are used to calculate the effects of relativity on particles traveling at high speeds, as well as in the study of black holes, gravitational waves, and the early universe.

5. Can Lorentz generators be extended to general relativity?

While Lorentz generators are a fundamental part of the special theory of relativity, they cannot be extended to general relativity. This is because general relativity deals with the effects of gravity, which cannot be described by a simple transformation between reference frames. However, some techniques from Lorentz generators can be applied in certain scenarios in general relativity.

Similar threads

Replies
24
Views
2K
  • Quantum Physics
Replies
3
Views
2K
Replies
6
Views
1K
Replies
31
Views
3K
  • Quantum Physics
Replies
2
Views
986
Replies
15
Views
2K
Replies
1
Views
1K
  • Advanced Physics Homework Help
Replies
8
Views
621
Replies
3
Views
1K
  • Advanced Physics Homework Help
Replies
1
Views
2K
Back
Top