Spinor fields and spinor wave functions

[fliptomato]

Hi everyone, I've confused myself trying to understand Weyl spinors... here's my best attempt at well-posed questions: (by the way, a nice--if incomplete--reference on computations using Weyl spinors can be found http://www.courses.fas.harvard.edu/~phys253b/handouts/WeylFeynman.ps , from Harvard's Phys 253B page)

1. Fermions are spinor fields which obey anticommutation relations (Zee's motivation for this is that a pair of electrons have to be antisymmetric under exchange of quantum numbers). These spinor fields can be Fourier transformed as a linear combination of spinor wavefunctions. In the above link, the author (Nima Arkani-Hamed, apparently) writes this as:
   
   \xi_\alpha (x) = \sum_s \int \frac{d^3p}{(2\pi)^{3/2}(2E_p)^{1/2}}[x_\alpha a e^{-ip\cdot x} + y_\alpha a^\dagger e^{ip\cdot x}] (NAH, eq.3)
   
   Where now x and y are the wavefunctions (fourier components). x, y, a, a^\dagger are all functions of 3-momentum and spin, and the a^\dagger and a are raising/lowering operators.
   
   That being said, one thing that is not clear to me is why the wavefunctions x and y obey commutation relations while the fields \xi obery anticommutation relations. I understand that the creation operators obey anticommutation relations, but why would the wavefunctions not?
   
   
   [*]I've noticed that I should treat bars and daggers very carefully. For example, the reference above relates barred and daggered (where a dagger means hermetian conjugation) by \bar{x}_{\dot{\alpha}} \equiv x^\dagger_\beta.
   
   Is it fair for me to interpret this as \bar{x}_{\dot{\beta}} = x^*_\beta, that is to say that one takes the complex conjugate of each component (without "transposing" the column spinor into a row spinor)? (This is consistent, I think, with the Peskin and Schroeder definition of \bar{u(p)} = u^\dagger(p)\gamma^0.) I understand that indices are important and are somewhat subtle--is it correct that hermetian conjugation would raise or lower the spinor index?
   
   Now I become a little more uneasy when, in the context of the Standard Model, authors will use the bar notation to represent a right-handed particle. For example, \bar{e}^\dagger = e_R. Is this meaning for the bar still consistent with my previous understanding?
   
   
   [*]Anyway, in addition to the bar, I've noticed that indices are very important and subtle. In particular, since indices are raised and lowered by the totally antisymmetric \epsilon tensor,
   
   x^\alpha y_\alpha = -x_\alpha y^\alpha
   
   but
   
   x^\alpha y_\alpha = y^\alpha x_\alpha.
   
   (I suppose this is a justification for why the wavefunctions commute?) Anyway, it becomes important that one picks a convention for the contraction of dotted and undotted indicies, and the above document suggests having undotted indices go from upper left to lower right and dotted going from lower left to upper right. That is to say that we can drop the indices for terms that look like these: x^\alpha y_\alpha = xy, or \bar{x}^{\dot{\alpha}}\bar{y}_{\dot{\alpha}} = \bar{x}\bar{y}.
   
   So computing Feynman diagrams amounts to following fermion lines and writing down terms with some consistent convention on raised and lowered indicies. (for example, following a fermion line: starting external fermion is raised if it's undotted and lowered if dotted, ending external fermion is the opposite) Once the amplitude is written this way, one needs to square it to get something proportional to cross section. |M|^2 = MM^*.
   
   However, now I'm unsure what the index structure should look like. For example, if I have a term (writing indices explicitly):
   
   x^\alpha y_\alpha
   
   is the complex conjugate equal to \bar{x}_{\dot{\alpha}}\bar{y}^{\dot{\alpha}} or \bar{x}^{\dot{\alpha}}\bar{y}_{\dot{\alpha}}? Or is it equal to something in terms of daggers?
   
   The appendix to the above reference claims that: (xy)^\dagger = \bar{y}\bar{x}, which, using the above index notation is:
   
   (x^\alpha y_\alpha)^\dagger = \bar{x}_{\dot{\alpha}}\bar{y}^{\dot{\alpha}}.
   
   The claim is made that this is applicable to both anti-commuting and commuting spinors. (Why?) Well, then... why does the author use a dagger when the term in parenthesis should be a scalar? (i.e. a complex conjugate should do) Further, is this equation arbitary, or is there any motivation for why the indices must end up this way? Earlier, we picked an arbitrary convention for when indices can be dropped. It was "understood" that unbarred and barred spinors were contracted with the indices a certain way... but it's not clear that the complex conjugate of a contraction of the unbarred spinors would give a contraction of the barred spinors in with the appropriate convention. That is to say, why is it that undotted indices are contracted in one way (upper then lower) while dotted indices are contracted in the opposite way (lower then upper)?
   
   

Any insight would be much appreciated!

-Flip

 

[salsero]

Hi tomato,

Let me try.

That being said, one thing that is not clear to me is why the wavefunctions x and y obey commutation relations while the fields \xi obery anticommutation relations. I understand that the creation operators obey anticommutation relations, but why would the wavefunctions not?

I have three answers:
1) What makes you think that x and y should anticommute? - There is NO principle that says that for fermions all comutators are blindly replaced by anticommutators.
2) We have the same in Dirac fermions: x and y (which are usually denoted by u and v) commute.
3) If x and y were anticommuting, their product with the raising and lowering operators would be a commuting object, so the resulting field would be a commuting object, which would not make you happy.

I've noticed that I should treat bars and daggers very carefully. For example, the reference above relates barred and daggered (where a dagger means hermetian conjugation) by \bar{x}_{\dot{\alpha}} \equiv x^\dagger_\beta.

Probably you meant here \bar{x}_{\dot{\beta}} \equiv x^\dagger_\beta

Is it fair for me to interpret this as \bar{x}_{\dot{\beta}} = x^*_\beta, that is to say that one takes the complex conjugate of each component (without "transposing" the column spinor into a row spinor)? (This is consistent, I think, with the Peskin and Schroeder definition of \bar{u(p)} = u^\dagger(p)\gamma^0.) I understand that indices are important and are somewhat subtle--is it correct that hermetian conjugation would raise or lower the spinor index?

For Weyl spinors, the situation is more complicated than in the more simple cases where we have only covariant and contravariant vectors (so that they can be represented by row and column vectors). Weyl spinors include not 2 types of objects, but 4:
For a Lorentz transformation with rotation angle \theta and rapidity \beta, we have the matrix
M=\exp\left(-\frac{1}{2}(i\theta+\beta)\sigma\right)
How do the spinors transform? There are 4 cases: \psi_\alpha transforms by the matrix M, \bar\psi_{\dot\alpha} by the matrix M^*, \psi^\alpha by the matrix M^{-1}, and \bar\psi^{\dot\alpha} by the matrix M^{-1*}. This is where the subtlety is coming from.

The appendix to the above reference claims that: (xy)^\dagger = \bar{y}\bar{x}, which, using the above index notation is:

(x^\alpha y_\alpha)^\dagger = \bar{x}_{\dot{\alpha}}\bar{y}^{\dot{\alpha}}.

You should not switch the order of x and y on the RHS.

Well, then... why does the author use a dagger when the term in parenthesis should be a scalar? (i.e. a complex conjugate should do)

Maybe the author wanted to include the case of a spinor field (like the expression for \xi you wrote at the beginning of your post), and the dagger means that also a should be relaced by a^\dagger, and vice versa, which is more than just complex conjugation. Is this the right thing to do? - I am confused about that at the moment.

 

[R0man]

per


Spinor fields and spinor wave functions are important concepts in theoretical physics, particularly in the study of fermions. Spinor fields are fundamental fields that describe fermions, such as electrons and quarks. They are different from scalar and vector fields in that they transform differently under rotations and reflections. Spinor fields are also characterized by their spin, which can take half-integer values.

Spinor wave functions, on the other hand, are the Fourier components of spinor fields. They are used in the study of Weyl spinors, which are the fundamental building blocks of spinor fields. Weyl spinors are used to describe massless particles, such as neutrinos, and are important in theories like the Standard Model.

One of the key differences between spinor fields and spinor wave functions is their commutation or anticommutation relations. While spinor fields obey anticommutation relations, spinor wave functions obey commutation relations. This is because spinor fields are fundamental fields, while spinor wave functions are just Fourier components of these fields.

The notation used for spinor fields and spinor wave functions can be confusing, particularly with the use of bars and daggers. In general, the bar notation is used to represent the Hermitian conjugate of a spinor field or wave function. This means that the complex conjugate is taken for each component, but the spinor index is not "transposed" from a column spinor to a row spinor. It is important to keep track of indices, as they can be raised and lowered by the totally antisymmetric \epsilon tensor.

In the context of the Standard Model, the bar notation can also be used to represent right-handed particles, such as \bar{e}^\dagger = e_R. This notation is still consistent with the previous understanding, as the Hermitian conjugate of a right-handed spinor is still a right-handed spinor.

When computing Feynman diagrams, it is important to follow a consistent convention for raised and lowered indices. This convention is arbitrary, but it is important to be consistent in order to correctly write down the amplitude and compute the cross section. The complex conjugate of a term with indices can be written as \bar{x}_{\dot{\alpha}}\bar{y}^{\dot{\alpha}} or \bar{x}^{\dot{\alpha}}\bar{y}_{\dot{\alpha}}, depending on the convention chosen.