A Why must a polar vector parameterized by spinor be timelike?

[EnigmaticField]

I heard (somebody told me and I also read from some paper) that a polar vector whose components are parameterized by the Dirac spinor \bar\psi\gamma^\mu\psi must be a timelike vector. Why is so? I think a general polar vector can either be timelike or spacelike, isn't it? Is that because a spinor parameterized polar vector is not the most general polar vector, that is, \bar\psi\gamma^\mu\psi can only parameterize a timelike polar vector or what?

So, in contrast, must a spinor parameterized axial vector (pseudovector) \bar\psi\gamma^\mu\gamma\psi be spacelike? Why is so?

P.S. \psi denotes the components of a Dirac spinor expressed in terms of a column matrix, \bar{\psi}=\psi^\dagger\gamma^0 is the adjoint spinor to \psi, \gamma^\mu denote the Dirac matrices, and \gamma=\gamma^0\gamma^1\gamma^2\gamma^3.

In addition, please help me confirm the following. Does the notion that under spatial inversion the components of a polar vector change a sign while the components of an axial vector (a pseudovector) keep invariant only apply to Riemannian geometry? Because it's like in pseudo-Riemannian geometry, such as Minkowski space, under spatial inversion the spatial components of a vector change a sign while the temporal component of it keeps invariant.

 

[mfb]

No idea about the topic, but maybe the quantum mechanics forum works better.

 

[EnigmaticField]

I recently got a clue to my question. Is that because the Noether current of the Dirac Lagrangian \mathcal{L}=\frac{\mathrm{i}}{2}[\bar{\psi}\gamma^\nu\partial_\nu\psi-\partial_\nu\bar{\psi}\gamma^\nu\psi]-\mathrm{m}\bar{\psi}\psi under a U(1) gauge transformation is J^\mu=-\bar{\psi}\gamma^u\psi and thus identifies \bar{\psi}\gamma^u\psi as being ``proportional" to the quantum probability current 4-vector of a charged spin 1/2 field? Because the classical electric current 4-vector j is equal to \rho u ( \rho is the charge density per unit volume) and u=\frac{dx}{d\tau}, (with x being the worldline of the charged fermions and \tau being the proper time of the fermions) the velocity 4-vector of the fermions, must be timelike, j must be timelike. And the quantum probability current 4-vector should be consistent with the classical electric current 4-vector, so \bar{\psi}\gamma^u\psi must be timelike. As a result, though a general polar vector can be timelike or spacelike or even lightlike, \bar{\psi}\gamma^u\psi only parameterize a timelike polar vector and thus are not the most general parameterization of a polar vector. Am I right?

As for a spinor parameterized axial vector \bar{\psi}\gamma^\mu\gamma\psi, I still have no clue about whether it's spacelike or timelike or generic (can be spacelike or timelike or lightlike).

Is there anybody knowing about this who can answer me? I guess people researching on Quantum Field Theory should know this.

 

[Demystifier]

The vector you are talking about is the charge current and therefore it must be timelike. Indeed, it can be proved that it is timelike by using the Dirac equation and the fact that the mass $m$ is a real (not imaginary) number.

 

[EnigmaticField]

Really? That \bar{\psi}\gamma^\mu\psi is timelike can be proved directly by using the Dirac equation? I can't see this after some trials. I can only see the Dirac equation \mathrm{i}\gamma^\nu\frac{\partial\bar{\psi}}{\partial x^\nu}+\mathrm{m}\bar{\psi}=0, -\mathrm{i}\gamma^\nu\frac{\partial\psi}{\partial x^\nu}+\mathrm{m}\psi=0 results in \frac{\partial(\bar{\psi}\gamma^\mu\psi)}{\partial x^\mu}=0, which I don't think entails \bar{\psi}\gamma^\mu\psi to be timelike. I can't directly prove \bar{\psi}\gamma^0\psi>\sum_{k=0}^3\bar{\psi}\gamma^k\psi.

I can only make sense that \bar{\psi}\gamma^\mu\psi is timelike. I just think the Dirac equation describes the wave of a particle with mass m and the worldline trajectory of any particle with nonvanishing mass must be timelike. \bar{\psi}\gamma^\mu\psi gives the probability current of the wave and should reflect the real particle trajectory so should be timelike. Further, I think a wave satisfying the Dirac equation must satisfy
the Klein-Gordon equation (\frac{\partial^2}{c^2\partial t^2}-\nabla^2)\psi+\frac{\mathrm{m}^2c^2}{\hbar}\psi=0, which is in accord with E^2=\mathrm{m}^2c^4+c^2\textbf{p}^2, which is only satisfied by the energy-momentum of a relativistic particle with nonvanishing mass, so the worldline trajectory of the described particle must be timelike.

On the other hand, I think by the same argument the probability current j^\mu=\frac{\mathrm{i}\hbar}{2\mathrm{m}}(\phi^*\partial^\mu\phi-\partial^\mu\phi^*\phi) of the wave satisfying the Klein-Gordon equation should also be timelike, right? But I do not know how to prove it directly, either.

So can you give me further clue on how to prove it directly? I can't see where in the proof that m is real is invoked. Thank you.

 

[Ravi Mohan]

I think the question you are asking is, how/why the Noether current is timelike vector. You have already answered this question by looking at the classical picture and drawing an analogy. Although I, too, would love to know why j^\mu j_\mu > 0 (in appropriate signature) mathematically.

 

[Demystifier]

Really? That \bar{\psi}\gamma^\mu\psi is timelike can be proved directly by using the Dirac equation?

Well, the proof is quite difficult:
http://arxiv.org/abs/0806.4476

On the other hand, I think by the same argument the probability current j^\mu=\frac{\mathrm{i}\hbar}{2\mathrm{m}}(\phi^*\partial^\mu\phi-\partial^\mu\phi^*\phi) of the wave satisfying the Klein-Gordon equation should also be timelike, right? But I do not know how to prove it directly, either.

You cannot prove it, because in the Klein-Gordon case it is not true.

 

[stevendaryl]

Really? That \bar{\psi}\gamma^\mu\psi is timelike can be proved directly by using the Dirac equation?

It's not too hard to prove for free-particle plane-wave solutions of the Dirac equation. Once you include the electromagnetic field, I'm not sure how much more complicated it gets.

A plane-wave solution to the Dirac equation (-i \alpha \cdot \nabla + \beta m) \Psi = i \frac{\partial}{\partial t} \Psi is (using the most common representation of the Dirac matrices):

\Psi = e^{i \vec{p} \cdot \vec{x} - i E t} \left(\begin{array}\\ \chi \\ \frac{\vec{\sigma} \cdot \vec{p}}{E+m} \chi \end{array} \right)

where \chi is a two-component spinor obeying the Klein-Gordon equation and where \vec{\sigma} is the Pauli spin matrices. Then

\bar{\Psi} \gamma^0 \Psi = \Psi^\dagger \Psi = \chi^\dagger (1 + \frac{(\vec{\sigma}\cdot p)^2}{(E+m)^2)} \chi = \chi^\dagger \chi \frac{2E}{E+m} (which uses facts about spin matrices, and the fact that p^2 + m^2 = E^2)

\bar{\Psi} \gamma^j \Psi = \Psi^\dagger \alpha_j \Psi = \chi^\dagger (\sigma_j \frac{\vec{\sigma} \cdot \vec{p}}{E+m} + \frac{\vec{\sigma} \cdot \vec{p}}{E+m} \sigma_j) \chi = \frac{2 p_j}{E+m} \chi^\dagger \chi

So \bar{\Psi}\gamma^\mu \Psi = \frac{2 P^\mu}{E+m} \chi^\dagger \chi

which is clearly a time-like 4-vector. It's square is \frac{4 m^2}{(E+m)^2} (\chi^\dagger \chi)^2 > 0

 

[Demystifier]

It's not too hard to prove for free-particle plane-wave solutions of the Dirac equation.

The hard problem, of course, is to prove it for arbitrary superpositions of plane wave solutions.

 

[stevendaryl]

The hard problem, of course, is to prove it for arbitrary superpositions of plane wave solutions.

Yes, that looks messy, unless there is a clever way to do it.

 

[EnigmaticField]

I think the question you are asking is, how/why the Noether current is timelike vector.

Not true. My original question is to ask why \bar{\psi}\gamma^\mu\psi is timelike. When I inquired this, I didn't think of invoking that \bar{\psi}\gamma^\mu\psi is involved with a Noether current though I have ever read about the latter in several different places.

Some time ago I asked my graduate advisor why he needn't constrain \bar{\psi}\gamma^\mu\psi to be timelike in one of his proofs which requires the vector to be timelike to get the result in his paper, then he replied me \bar{\psi}\gamma^\mu\psi has already been timelike. I kept keeping his answer in doubt until afterwards I read that \bar{\psi}\gamma^\mu\psi is timelike in a paper which uses spinor to work on something in physics. Recently I also read in a literature about spinor which says \bar{\psi}\gamma^\mu\psi is timelike. Then I started to dispel away my doubt and believe that \bar{\psi}\gamma^\mu\psi is timelike, but I kept wondering why because I think a generic polar vector can be either timelike or spacelike or lightlike. This question has haunted my mind several times but I kept not being able to figure out the answer.

On the other hand, I doubt all Noether currents are timelike. I guess the Noether current which is interpreted as the energy-momentum (which is not a tensor in the case of gravity, meaning it's coordinate or gauge dependent) of the gravitational field in General Relativity is not necessarily timelike because that the speed of light is the biggest reachable speed doesn't apply to spacetime, the background where physical events take place.

 

[Ravi Mohan]

On the other hand, I doubt all Noether currents are timelike.

Apparently that is true (especially with a counter example mentioned in this very thread ). It seems that the equation of motion has some role to play in deciding the nature of the 4-vector. Currently, I am trying to prove it in a general sense i.e given a Lagrangian and thus the on-shell constraint, how can we decide the nature of the current.

The reason I am stressing on the current formalism is because we also need to find the nature of \bar{\psi}\gamma^\mu\gamma\psi (although stevendaryl's approach should answer that too).

 

[Demystifier]

On the other hand, I doubt all Noether currents are timelike.

They are certainly not. For example, the Dirac current for imaginary $m$ is spacelike. Or to take a more physical example, the Klein-Gordon current (with positive $m^2$) is not timelike at some points when you take a superposition of different frequencies, even if all frequencies are positive.

 

[EnigmaticField]

Well, the proof is quite difficult:
http://arxiv.org/abs/0806.4476

This paper, at first glance, looks very intriguing, but as I read it in detail, I found it is so hard to understand its derivations because it uses the technique of differential topology, of which I don't have systematical knowledge. I'm not sure why the paper keeps stressing that set transversal to S is open and dense with respect to some smooth weak topology. Is this what explains the probability that a Bohmian electron will always spend time in that transversal set so that the probability it touches S (when its speed is the speed of light) is zero? It's like the paper mainly uses differential topology to prove a Bohmian electron can never reach the speed of light. It doesn't invoke that the mass m is real at all.

They are certainly not. For example, the Dirac current for imaginary $m$ is spacelike. Or to take a more physical example, the Klein-Gordon current (with positive $m^2$) is not timelike at some points when you take a superposition of different frequencies, even if all frequencies are positive.

I've heard, in a string theory book, tachyon is a hypothetical particle with imaginary mass. So is the current associated with tachyons an example of the spacelike Dirac current you talk about? If so, then the spin of tachyon should be 1/2. Tachyon is a quantum particle so its property can't be envisaged by the classical view--there is no corresponding imaginary mass in classical mechanics to provide intuition. But, in the latter example, is it possible that a frequency is negative? Is it also a whim in quantum field theory?

 

[EnigmaticField]

It seems that the equation of motion has some role to play in deciding the nature of the 4-vector. Currently, I am trying to prove it in a general sense i.e given a Lagrangian and thus the on-shell constraint, how can we decide the nature of the current.

I wonder, given a manifold which has spin structures so that we can construct a spinor bundle on it, whether any spinor field on the bundle satisfies the Dirac equation. I don't think the answer is yes, because if that's the case, the Dirac equation is an identity, instead of an equation which needs to be solved for the spinor $\psi(x)$. Then for any spinor field which doesn't satisfy the Dirac equation, \bar{\psi}\gamma^\mu\psi isn't necessarily timelike?

The reason I am stressing on the current formalism is because we also need to find the nature of \bar{\psi}\gamma^\mu\gamma\psi (although stevendaryl's approach should answer that too).

Does \bar{\psi}\gamma^\mu\gamma\psi present a Noether current? If so, what is the Lagrangian giving this Noether current?
Maybe \mathcal{L}=\frac{\mathrm{i}}{2}[\bar{\psi}\gamma^\nu\gamma\partial_\nu\psi-\partial_\nu\bar{\psi}\gamma^\nu\gamma\psi]-\mathrm{m}\bar{\psi}\psi, which gives the Euler-Lagrangian equations \mathrm{i}\gamma^\nu\gamma\frac{\partial\bar{\psi}}{\partial x^\nu}+\mathrm{m}\bar{\psi}=0, -\mathrm{i}\gamma^\nu\gamma\frac{\partial\psi}{\partial x^\nu}+\mathrm{m}\psi=0, which result in \frac{\partial(\bar{\psi}\gamma^\mu\gamma\psi)}{\partial x^\mu}=0. But is there such a Lagrangian \mathcal{L}=\frac{\mathrm{i}}{2}[\bar{\psi}\gamma^\nu\gamma\partial_\nu\psi-\partial_\nu\bar{\psi}\gamma^\nu\gamma\psi]-\mathrm{m}\bar{\psi}\psi in literature and is there actually such particles in nature whose corresponding field is described by it?

 

[Demystifier]

It doesn't invoke that the mass m is real at all.

Yes it does. Page 13, the beginning of third paragraph:
"Another remark concerns the mass m that appears in the Dirac equation. It played no role in our reasoning whether m>0 or m=0."

I've heard, in a string theory book, tachyon is a hypothetical particle with imaginary mass. So is the current associated with tachyons an example of the spacelike Dirac current you talk about? If so, then the spin of tachyon should be 1/2.

The string-theory tachyon has spin zero and is not described by the Dirac equation.

 

[Ravi Mohan]

I wonder, given a manifold which has spin structures so that we can construct a spinor bundle on it, whether any spinor field on the bundle satisfies the Dirac equation. I don't think the answer is yes, because if that's the case, the Dirac equation is an identity, instead of an equation which needs to be solved for the spinor $\psi(x)$. Then for any spinor field which doesn't satisfy the Dirac equation, \bar{\psi}\gamma^\mu\psi isn't necessarily timelike?

I am sorry I don't understand that completely. I leave it to the experts here.

Does \bar{\psi}\gamma^\mu\gamma\psi present a Noether current?

Yes. In literature it corresponds to the axial symmetry. See equation 4.101 in http://www.damtp.cam.ac.uk/user/tong/qft/four.pdf. The current is conserved for zero mass.

If so, what is the Lagrangian giving this Noether current?
Maybe \mathcal{L}=\frac{\mathrm{i}}{2}[\bar{\psi}\gamma^\nu\gamma\partial_\nu\psi-\partial_\nu\bar{\psi}\gamma^\nu\gamma\psi]-\mathrm{m}\bar{\psi}\psi, which gives the Euler-Lagrangian equations \mathrm{i}\gamma^\nu\gamma\frac{\partial\bar{\psi}}{\partial x^\nu}+\mathrm{m}\bar{\psi}=0, -\mathrm{i}\gamma^\nu\gamma\frac{\partial\psi}{\partial x^\nu}+\mathrm{m}\psi=0, which result in \frac{\partial(\bar{\psi}\gamma^\mu\gamma\psi)}{\partial x^\mu}=0. But is there such a Lagrangian \mathcal{L}=\frac{\mathrm{i}}{2}[\bar{\psi}\gamma^\nu\gamma\partial_\nu\psi-\partial_\nu\bar{\psi}\gamma^\nu\gamma\psi]-\mathrm{m}\bar{\psi}\psi in literature and is there actually such particles in nature whose corresponding field is described by it?

That is a very interesting Lagrangian and the equations of motion (there is typo in equation corresponding to \bar{\psi}) certainly imply \frac{\partial(\bar{\psi}\gamma^\mu\gamma\psi)}{\partial x^\mu}=0. It is certainly a Noether current corresponding to the (global) symmetry \psi\to e^{-i\alpha}\psi which is conserved irrespective of the mass. I have not seen such Lagrangian in literature (but that doesn't mean that it do not exist).

I've heard, in a string theory book, tachyon is a hypothetical particle with imaginary mass.

Just for the information, it is true in Bosonic string theory. Once you include supersymmetry, the tachyons disappear from the spectrum of the theory.