Fun with spinor indices - Indiana University
Transcript of Fun with spinor indices - Indiana University
![Page 1: Fun with spinor indices - Indiana University](https://reader036.fdocuments.net/reader036/viewer/2022071603/613d7acd736caf36b75dd214/html5/thumbnails/1.jpg)
Fun with spinor indices
invariant symbol for raising and lowering spinor indices:
based on S-35
another invariant symbol:
Simple identities:
proportionality constants from direct calculation
![Page 2: Fun with spinor indices - Indiana University](https://reader036.fdocuments.net/reader036/viewer/2022071603/613d7acd736caf36b75dd214/html5/thumbnails/2.jpg)
from :
for an infinitesimal transformation we had:
What can we learn about the generator matrices from invariant symbols?
and we find:
similarly:
![Page 3: Fun with spinor indices - Indiana University](https://reader036.fdocuments.net/reader036/viewer/2022071603/613d7acd736caf36b75dd214/html5/thumbnails/3.jpg)
from :
for infinitesimal transformations we had:
isolating linear terms in we have:
multiplying by we have:
![Page 4: Fun with spinor indices - Indiana University](https://reader036.fdocuments.net/reader036/viewer/2022071603/613d7acd736caf36b75dd214/html5/thumbnails/4.jpg)
consistent with our previous choice! (homework, S-35.2)
we find:
multiplying by we get:
similarly, multiplying by we get:
let’s define:
![Page 5: Fun with spinor indices - Indiana University](https://reader036.fdocuments.net/reader036/viewer/2022071603/613d7acd736caf36b75dd214/html5/thumbnails/5.jpg)
Convention:
missing pair of contracted indices is understood to be written as:
thus, for left-handed Weyl fields we have:
spin 1/2 particles are fermions that anticommute:the spin-statistics theorem (later)
and we find:
= -
![Page 6: Fun with spinor indices - Indiana University](https://reader036.fdocuments.net/reader036/viewer/2022071603/613d7acd736caf36b75dd214/html5/thumbnails/6.jpg)
for hermitian conjugate we find:
spin 1/2 particles are fermions that anticommute:the spin-statistics theorem (later)
and we find:
= -
as expected if we ignored indices
and similarly:
we will write a right-handed field always with a dagger!
![Page 7: Fun with spinor indices - Indiana University](https://reader036.fdocuments.net/reader036/viewer/2022071603/613d7acd736caf36b75dd214/html5/thumbnails/7.jpg)
Let’s look at something more complicated:
it behaves like a vector field under Lorentz transformations:
the hermitian conjugate is:evaluated at
is hermitian
![Page 8: Fun with spinor indices - Indiana University](https://reader036.fdocuments.net/reader036/viewer/2022071603/613d7acd736caf36b75dd214/html5/thumbnails/8.jpg)
Lagrangians for spinor fields
we want to find a suitable lagrangian for left- and right-handed spinor fields.
based on S-36
Lorentz invariant and hermitian it should be:
quadratic in and equations of motion will be linear with plane wave solutions
(suitable for describing free particles)
terms with no derivative:
terms with derivatives:
+ h.c.
would lead to a hamiltonian unbounded from below
![Page 9: Fun with spinor indices - Indiana University](https://reader036.fdocuments.net/reader036/viewer/2022071603/613d7acd736caf36b75dd214/html5/thumbnails/9.jpg)
to get a bounded hamiltonian the kinetic term has to contain both and , a candidate is:
is hermitian up to a total divergence
does not contribute to the action
are hermitian
![Page 10: Fun with spinor indices - Indiana University](https://reader036.fdocuments.net/reader036/viewer/2022071603/613d7acd736caf36b75dd214/html5/thumbnails/10.jpg)
Taking hermitian conjugate:
Our complete lagrangian is:
the phase of m can be absorbed into the definition of fields
and so without loss of generality we can take m to be real and positive.
Equation of motion:
are hermitian
![Page 11: Fun with spinor indices - Indiana University](https://reader036.fdocuments.net/reader036/viewer/2022071603/613d7acd736caf36b75dd214/html5/thumbnails/11.jpg)
We can combine the two equations:
which we can write using 4x4 gamma matrices:
and defining four-component Majorana field:
as:
Dirac equation
![Page 12: Fun with spinor indices - Indiana University](https://reader036.fdocuments.net/reader036/viewer/2022071603/613d7acd736caf36b75dd214/html5/thumbnails/12.jpg)
and we know that that we needed 4 such matrices;
using the sigma-matrix relations:
we see that
recall:
![Page 13: Fun with spinor indices - Indiana University](https://reader036.fdocuments.net/reader036/viewer/2022071603/613d7acd736caf36b75dd214/html5/thumbnails/13.jpg)
consider a theory of two left-handed spinor fields:
i = 1,2
the lagrangian is invariant under the SO(2) transformation:
it can be written in the form that is manifestly U(1) symmetric:
![Page 14: Fun with spinor indices - Indiana University](https://reader036.fdocuments.net/reader036/viewer/2022071603/613d7acd736caf36b75dd214/html5/thumbnails/14.jpg)
Equations of motion for this theory:
we can define a four-component Dirac field:
Dirac equationwe want to write the lagrangian in terms of the Dirac field:
Let’s define:numerically
but different spinor index structure
![Page 15: Fun with spinor indices - Indiana University](https://reader036.fdocuments.net/reader036/viewer/2022071603/613d7acd736caf36b75dd214/html5/thumbnails/15.jpg)
Then we find:
Thus we have:
![Page 16: Fun with spinor indices - Indiana University](https://reader036.fdocuments.net/reader036/viewer/2022071603/613d7acd736caf36b75dd214/html5/thumbnails/16.jpg)
Thus the lagrangian can be written as:
The U(1) symmetry is obvious:
The Nether current associated with this symmetry is:
later we will see that this is the electromagnetic current
![Page 17: Fun with spinor indices - Indiana University](https://reader036.fdocuments.net/reader036/viewer/2022071603/613d7acd736caf36b75dd214/html5/thumbnails/17.jpg)
There is an additional discrete symmetry that exchanges the two fields, charge conjugation:
we want to express it in terms of the Dirac field:Let’s define the charge conjugation matrix:
then
and we have:
unitary charge conjugation operator
![Page 18: Fun with spinor indices - Indiana University](https://reader036.fdocuments.net/reader036/viewer/2022071603/613d7acd736caf36b75dd214/html5/thumbnails/18.jpg)
The charge conjugation matrix has following properties:
it can also be written as:
and then we find a useful identity:
transposed form of
![Page 19: Fun with spinor indices - Indiana University](https://reader036.fdocuments.net/reader036/viewer/2022071603/613d7acd736caf36b75dd214/html5/thumbnails/19.jpg)
Majorana field is its own conjugate:
similar to a real scalar field
Following the same procedure with:
we get:
does not incorporate the Majorana condition
incorporating the Majorana condition, we get:
lagrangian for a Majorana field
![Page 20: Fun with spinor indices - Indiana University](https://reader036.fdocuments.net/reader036/viewer/2022071603/613d7acd736caf36b75dd214/html5/thumbnails/20.jpg)
If we want to go back from 4-component Dirac or Majorana fields to the two-component Weyl fields, it is useful to define a projection matrix:
just a name
We can define left and right projection matrices:
And for a Dirac field we find:
![Page 21: Fun with spinor indices - Indiana University](https://reader036.fdocuments.net/reader036/viewer/2022071603/613d7acd736caf36b75dd214/html5/thumbnails/21.jpg)
The gamma-5 matrix can be also written as:
Finally, let’s take a look at the Lorentz transformation of a Dirac or Majorana field:
compensates for -
![Page 22: Fun with spinor indices - Indiana University](https://reader036.fdocuments.net/reader036/viewer/2022071603/613d7acd736caf36b75dd214/html5/thumbnails/22.jpg)
Canonical quantization of spinor fields I
Consider the lagrangian for a left-handed Weyl field:
based on S-37
the conjugate momentum to the left-handed field is:
and the hamiltonian is simply given as:
![Page 23: Fun with spinor indices - Indiana University](https://reader036.fdocuments.net/reader036/viewer/2022071603/613d7acd736caf36b75dd214/html5/thumbnails/23.jpg)
the appropriate canonical anticommutation relations are:
or
using we get
or, equivalently,
![Page 24: Fun with spinor indices - Indiana University](https://reader036.fdocuments.net/reader036/viewer/2022071603/613d7acd736caf36b75dd214/html5/thumbnails/24.jpg)
can be also derived directly from , ...
For a four-component Dirac field we found:
and the corresponding canonical anticommutation relations are:
![Page 25: Fun with spinor indices - Indiana University](https://reader036.fdocuments.net/reader036/viewer/2022071603/613d7acd736caf36b75dd214/html5/thumbnails/25.jpg)
For a four-component Majorana field we found:
and the corresponding canonical anticommutation relations are:
![Page 26: Fun with spinor indices - Indiana University](https://reader036.fdocuments.net/reader036/viewer/2022071603/613d7acd736caf36b75dd214/html5/thumbnails/26.jpg)
where we used the Feynman slash:
Now we want to find solutions to the Dirac equation:
then we find:
the Dirac (or Majorana) field satisfies the Klein-Gordon equation and so
the Dirac equation has plane-wave solutions!
![Page 27: Fun with spinor indices - Indiana University](https://reader036.fdocuments.net/reader036/viewer/2022071603/613d7acd736caf36b75dd214/html5/thumbnails/27.jpg)
The general solution of the Dirac equation is:
Consider a solution of the form:
four-component constant spinors
plugging it into the Dirac equation gives:
that requires:
each eq. has two solutions (later)
![Page 28: Fun with spinor indices - Indiana University](https://reader036.fdocuments.net/reader036/viewer/2022071603/613d7acd736caf36b75dd214/html5/thumbnails/28.jpg)
Spinor technology
The four-component spinors obey equations:
based on S-38
s = + or -
In the rest frame, we can choose: for
convenient normalization and phase
![Page 29: Fun with spinor indices - Indiana University](https://reader036.fdocuments.net/reader036/viewer/2022071603/613d7acd736caf36b75dd214/html5/thumbnails/29.jpg)
this choice corresponds to eigenvectors of the spin matrix:
this choice results in (we will see it later):
creates a particle with spin up (+) or down (-)
along the z axis
![Page 30: Fun with spinor indices - Indiana University](https://reader036.fdocuments.net/reader036/viewer/2022071603/613d7acd736caf36b75dd214/html5/thumbnails/30.jpg)
let us also compute the barred spinors:
we get:
![Page 31: Fun with spinor indices - Indiana University](https://reader036.fdocuments.net/reader036/viewer/2022071603/613d7acd736caf36b75dd214/html5/thumbnails/31.jpg)
We can find spinors at arbitrary 3-momentum by applying the matrix that corresponds to the boost:
we find:
and similarly:
![Page 32: Fun with spinor indices - Indiana University](https://reader036.fdocuments.net/reader036/viewer/2022071603/613d7acd736caf36b75dd214/html5/thumbnails/32.jpg)
For any combination of gamma matrices we define:
It is straightforward to show:
homework
![Page 33: Fun with spinor indices - Indiana University](https://reader036.fdocuments.net/reader036/viewer/2022071603/613d7acd736caf36b75dd214/html5/thumbnails/33.jpg)
For barred spinors we get:
It is straightforward to derive explicit formulas for spinors, but will will not need them; all we will need are products of spinors of the form:
which do not depend on p!we find:
![Page 34: Fun with spinor indices - Indiana University](https://reader036.fdocuments.net/reader036/viewer/2022071603/613d7acd736caf36b75dd214/html5/thumbnails/34.jpg)
add the two equations, and sandwich them between spinors,and use:
Useful identities (Gordon identities):
Proof:
An important special case :
![Page 35: Fun with spinor indices - Indiana University](https://reader036.fdocuments.net/reader036/viewer/2022071603/613d7acd736caf36b75dd214/html5/thumbnails/35.jpg)
One can also show:
homework
Gordon identities with gamma-5:
homework
![Page 36: Fun with spinor indices - Indiana University](https://reader036.fdocuments.net/reader036/viewer/2022071603/613d7acd736caf36b75dd214/html5/thumbnails/36.jpg)
We will find very useful the spin sums of the form:
can be directly calculated but we will find the correct for by the following argument: the sum over spin removes all the memory of the spin-quantization axis, and the result can depend only on the momentum four-vector and gamma matrices with all indices contracted.
In the rest frame, , we have:
Thus we conclude:
![Page 37: Fun with spinor indices - Indiana University](https://reader036.fdocuments.net/reader036/viewer/2022071603/613d7acd736caf36b75dd214/html5/thumbnails/37.jpg)
in the rest frame we can write as and as and so we have:
if instead of the spin sum we need just a specific spin product, e.g.
we can get it using appropriate spin projection matrices:in the rest frame we have
the spin matrix can be written as:
we can now boost it to any frame simply by replacing z and p with
their values in that frame frame independent
![Page 38: Fun with spinor indices - Indiana University](https://reader036.fdocuments.net/reader036/viewer/2022071603/613d7acd736caf36b75dd214/html5/thumbnails/38.jpg)
Boosting to a different frame we get:
![Page 39: Fun with spinor indices - Indiana University](https://reader036.fdocuments.net/reader036/viewer/2022071603/613d7acd736caf36b75dd214/html5/thumbnails/39.jpg)
Let’s look at the situation with 3-momentum in the z-direction:
The component of the spin in the direction of the 3-momentum is called the helicity (a fermion with helicity +1/2 is called right-handed, a fermion with helicity -1/2 is called left-handed.
rapidity
In the limit of large rapidity
![Page 40: Fun with spinor indices - Indiana University](https://reader036.fdocuments.net/reader036/viewer/2022071603/613d7acd736caf36b75dd214/html5/thumbnails/40.jpg)
In the limit of large rapidity
dropped m, small relative to p
In the extreme relativistic limit the right-handed fermion (helicity +1/2)(described by spinors u+ for b-type particle and v- for d-type particle) is projected onto the lower two components only (part of the Dirac field that corresponds to the right-handed Weyl field). Similarly left-handed fermions are projected onto upper two components (left-handed Weyl field.
![Page 41: Fun with spinor indices - Indiana University](https://reader036.fdocuments.net/reader036/viewer/2022071603/613d7acd736caf36b75dd214/html5/thumbnails/41.jpg)
Formulas relevant for massless particles can be obtained from considering the extreme relativistic limit of a massive particle; in particular the following formulas are valid when setting :
becomes exact
![Page 42: Fun with spinor indices - Indiana University](https://reader036.fdocuments.net/reader036/viewer/2022071603/613d7acd736caf36b75dd214/html5/thumbnails/42.jpg)
Canonical quantization of spinor fields II
Lagrangian for a Dirac field:
based on S-39
canonical anticommutation relations:
The general solution to the Dirac equation:
creation and annihilation operatorsfour-component spinors
![Page 43: Fun with spinor indices - Indiana University](https://reader036.fdocuments.net/reader036/viewer/2022071603/613d7acd736caf36b75dd214/html5/thumbnails/43.jpg)
We want to find formulas for creation and annihilation operator:
multiply by on the left:
for the hermitian conjugate we get:
b’s are time independent!
![Page 44: Fun with spinor indices - Indiana University](https://reader036.fdocuments.net/reader036/viewer/2022071603/613d7acd736caf36b75dd214/html5/thumbnails/44.jpg)
multiply by on the left:
similarly for d:
for the hermitian conjugate we get:
![Page 45: Fun with spinor indices - Indiana University](https://reader036.fdocuments.net/reader036/viewer/2022071603/613d7acd736caf36b75dd214/html5/thumbnails/45.jpg)
we can easily work out the anticommutation relations for b and d operators:
![Page 46: Fun with spinor indices - Indiana University](https://reader036.fdocuments.net/reader036/viewer/2022071603/613d7acd736caf36b75dd214/html5/thumbnails/46.jpg)
we can easily work out the anticommutation relations for b and d operators:
![Page 47: Fun with spinor indices - Indiana University](https://reader036.fdocuments.net/reader036/viewer/2022071603/613d7acd736caf36b75dd214/html5/thumbnails/47.jpg)
similarly:
![Page 48: Fun with spinor indices - Indiana University](https://reader036.fdocuments.net/reader036/viewer/2022071603/613d7acd736caf36b75dd214/html5/thumbnails/48.jpg)
and finally:
![Page 49: Fun with spinor indices - Indiana University](https://reader036.fdocuments.net/reader036/viewer/2022071603/613d7acd736caf36b75dd214/html5/thumbnails/49.jpg)
We want to calculate the hamiltonian in terms of the b and d operators; in the four-component notation we would find:
let’s start with:
![Page 50: Fun with spinor indices - Indiana University](https://reader036.fdocuments.net/reader036/viewer/2022071603/613d7acd736caf36b75dd214/html5/thumbnails/50.jpg)
thus we have:
![Page 51: Fun with spinor indices - Indiana University](https://reader036.fdocuments.net/reader036/viewer/2022071603/613d7acd736caf36b75dd214/html5/thumbnails/51.jpg)
![Page 52: Fun with spinor indices - Indiana University](https://reader036.fdocuments.net/reader036/viewer/2022071603/613d7acd736caf36b75dd214/html5/thumbnails/52.jpg)
finally, we find:
four times the zero-point energy of a scalar fieldand opposite sign!
we will assume that the zero-point energy is cancelled by a constant term