Non-existence of rest-frame spin-eigenstate spinors in their own electrodynamics

We assume a physical situation where gravity with torsion is neglected for an electrodynamically self-interacting spinor that will be taken in its rest-frame and spin-eigenstate: we demonstrate that under this circumstance no solution exists for the system of field equations. Despite such a situation might look artificial nevertheless it represents the instance that is commonly taken as the basis for all computations of quantum electrodynamics.


I. INTRODUCTION
Quantum electrodynamics is arguably one of the most successful models ever developed in physics, although the need of renormalizability, ultra-violet divergences and the non-convergence of perturbative series make it clear that a proper systematization is needed. While it is possible to think that for such a predictive set of rules most of the problems may be solved in terms of rigorous mathematical treatments, results like the Haag theorem [1,2] seem to inexorably undermine the essence of field quantization.
In this paper however, we are not going to consider the protocols of field quantization at all. In fact, we shall be focusing on a purely classical theory of electrodynamics, but we will see there are still consistency problems under the assumptions and hypotheses that are usually made.
These assumptions and hypotheses consist in neglecting torsion with gravity and in postulating that it is always possible to find a system of reference where a single fermion can be taken at rest and with spin aligned along the third axis: as a matter of fact, all this appears to be very reasonable, but despite of this, precise mathematical implementations of these ideas will lead toward a system of field equations that can be proven to have no solution.

II. GEOMETRY OF DIRAC SPINOR FIELDS
We begin by recalling that γ a are matrices belonging to the Clifford algebra from which [γ a ,γ b ] = 4σ ab defines the set of generators while 2iσ ab = ε abcd πσ cd defines the parity-odd π matrix 1 in a covariant and implicit manner.
As it is well known, Dirac spinor fields can be classified in terms of the so-called Lounesto classification according to two classes: singular spinor fields are those subject to the conditions iψπψ ≡ 0 and ψψ ≡ 0 while regular spinor fields are all those for which the two above conditions do not identically hold [3][4][5]. For regular spinor fields, it is always possible to perform what is known to be the polar decomposition of the Dirac spinor field given in the form up to the ψ ′ = πψ transformation, with γ = 1/ √ 1−v 2 the relativistic factor, while ξ such that ξ † ξ = 1 is any generic 2-component spinor, and the real α a phase parameter.
The bi-linear spinor fields are the di-pole moment the axial-vector and vector and the pseudo-scalar and scalar where φ and β are the module and the Yvon-Takabayashi angle: one can easily prove that the directions are such that conditions u a u a = −s a s a = 1 and u a s a = 0 hold, with ξ † σξ = 2 ς as the spin and v as the velocity, and with the module and YT angle as the only two true degrees of freedom that the spinor field can have in general.
Calling Ω a bπ the spin connection, it is possible to define Ω µ = 1 2 Ω ab µ σ ab +iqA µ I in terms of the spin connection and the gauge potential of charge q and called spinorial connection. Remark that for the moment everything is in the torsionless case.
With the spinorial covariant derivative of (1) we get from which where α is the phase parameter and θ ij encode the three rapidities expressed through the velocity v as well as the three rotations expressed as coefficients of the semi-spinor ξ such that ξ † ξ = 1 in the most general circumstance.
For the dynamics, we assume the action given by with (∂W ) µν the curl of W µ being the torsion axial vector while R is the Ricci scalar and F µν is the Faraday tensor, where X is the strength of the interaction between torsion and the spin of spinor fields while M and m are the mass of torsion and the spinor field itself, respectively. Having defined the connection in the torsionless case it may seem we have restricted generality, but in reality we can still be in the most general situation even though the connection is torsionless so long as torsion is later included in the form of some supplementary massive axial vector field. Varying the above Lagrangian functional with respect to the spinor field gives the Dirac spinor field equations and it is possible to demonstrate that with the polar form of the spinor there is a corresponding polar decomposition of the spinor field equations into the equivalent as field equations specifying all first-order derivatives of the module and the YT angle: the polar decomposition of the spinor field equations is essentially the way in which the four complex spinor field equations can be converted into two real vector field equations, which therefore turn out to be much easier to manipulate [6,7]. The geometric field equations are given by as the field equations coupling electrodynamics, gravity and torsion to the currents, the energy and the spin [8].

III. TORSION-ELECTRODYNAMICS FOR SPINOR FIELDS
So far everything is in its most general case. Nevertheless, this very general theoretical situation is intractable in practice: the problem is the presence of the gravitational field, for the reason that follows.
Considering the spinor field equations in the polar form given by (15, 16) it is clear that of the three irreducible parts of the spin connection, only the completely antisymmetric part and the trace part enter in the dynamics of the spinor field: this means that we can not even as a matter of principle write the gravitational information in terms of the spinorial degrees of freedom. Therefore, we must solve Einstein equations (18) exactly for the spin connection, and this is an extremely difficult enterprise.
Some simpler situation can be encountered when gravity is neglected. Neglecting gravity would amount to have the constraint ∂θ−Ω ≡ 0 and as a consequence a first advantage is that (11, 12) reduce to ∇ µ s α = ∇ µ u α = 0 in all remaining equations: then (17, 19) are always and but (15, 16) become having called ∇α = P for the sake of simplicity [9]. We remark that now both torsion and gauge potential are fully present in these field equations: on the one hand, we can invert (22) in order to make torsion explicit as while on the other hand, combining (22, 23) gives showing that both torsion and gauge potential can in fact be written in terms of the spinorial degrees of freedom. Then we can have torsion and gauge potentials substituted in terms of (24, 25) into the torsional and electrodynamic field equations. Nevertheless, in (24) we observe the presence of the gauge potential while in (25) we see the presence of torsion, and as a consequence we cannot perform both substitutions at once removing both torsion and gauge potentials in both equations simultaneously.
In [10] we studied the case where electrodynamics was absent to appreciate the effects of torsion, while here we neglect torsion to study electrodynamics for spinors.

IV. ELECTRODYNAMICS WITH SPINORS
So as we have anticipated, here we will proceed to assume that no torsion is allowed in the field equations.
In the case of no torsion the spinor field equations are which we plan to substitute into in order to look for exact solutions. When the expression of the gauge potential is inserted into the electrodynamic field equations we obtain while inserting it back into the spinor field equations gives u µ u·∇ ln φ−s µ s·∇ ln φ+s µ m sin β = 0 (31) ∇ µ β −u µ u·∇β +s µ s·∇β = 0 (32) as field equations in terms of the spinor field alone.
In the scalar product with u and s we obtain that (32) does not produce any relation while (31) gives that s·∇ ln φ−m sin β = 0 (33) u·∇ ln φ = 0 whereas (30) gives where in the last ones we used (32) to simplify: plugging them back into the original field equations gives that (31) is verified while (30) simplifies down to the form which are divergenceless as it is to be expected from the fact that the conservation of the electric charge is already granted by the validity of the spinor field equations. Altogether, the entire system of field equations consists of the following set of constraints with the field equations s·∇ ln |2qφ| 2 −2m sin β = 0 (42) ∇ 2 (s·∇β)−2m cos β|s·∇β| 2 − −2m sin βs·∇(s·∇β)−|2qφ| 2 = 0 (43) and considering that when two vector equations are taken in scalar product with s and u they develop no constraint, then these amount to 8 expressions as it should be in order to determine 4 derivatives for the 2 physical fields given by the module and the Yvon-Takabayashi angle. These are the field equations we will consider.

V. SPECIAL FRAMES
In our development of the electrodynamics of one single spinor field we have simply implemented the assumptions of negligible gravity and no torsion, and now is the time to implement also the hypotheses of working in the frame that is at rest and with spin aligned along the third of the axes: the rest-frame is the one where the velocity of the spinor field is zero so that (8) loses its spatial component and (7) loses its time component; then the spin-eigenstate is the one for which the spin is aligned along the third of the axes so that (7) has only its third component.
These two hypotheses are thus u 0 = 1 and s 3 = 1 as the only non-zero components of the velocity vector and the spin axial vector, and in this case we obtain the form which is a form that is now perfectly suited to be written in a specific system of coordinates such as the Cartesian.
Plugging the first into the second gives an equation in which only the YT angle is present, and thus we may use the first of the above equations to obtain the module once the YT angle is known, while their combination given by the expression will be used to obtain the YT angle in general. Calling 2mz = w and β/2 = arctan G would allow us to simplify this equation down to the easier rational form and by computing the derivatives we can see that standard QED solutions verifying the constraint are admissible. However, they would give either and that is respectively either or β = 2 arctan (2mz +a) where a is a generic integration constant, but by inserting these special solutions for the YT angle into the equation for the module we get the final constraint eventually implying that there is either no spinorial field or that there is no mutual interaction between the spinor and its own electrodynamic field in standard QED. Quite clearly, the consequence of this is that either, on the one hand, we have only the electrodynamic field with a free propagation, or, on the other hand, we have both the electrodynamic field and the spinor field but they can have no interaction in any way whatsoever.

VI. COMMENTS
Summarizing our results, we proved how under the assumptions XW = 0 and ∂θ−Ω = 0 choosing the rest-frame and spin-eigenstate of the third axis gives qφ = 0 identically: reading the underlying mathematics, we may state that in absence of torsion-gravity it is always possible to find a system of reference in which an electrodynamically self-interacting spinor field can not exist at all in QED.
In order to avoid such a conclusion one is compelled to reconsider the hypothesis that either for a particle in its rest-frame one cannot choose a spin-eigenstate or that a particle cannot be in a rest-frame, or the assumption for which either we cannot neglect gravity or we cannot have a vanishing torsion. No matter where we look, all appear to be quite reasonable restrictions, but still, together they give field equations with no QED-like solutions and thus at least one of them must clearly be logically wrong.
What we believe to be a possible answer is that despite being always possible to boost into the rest-frame and in it rotate into the spin-eigenstate, nevertheless these local transformations come at the cost of non-zero components in the spin connection: for example, if the matter distribution was to display a spin precession, then it may be that in the rotating frame following the precession some non-inertial acceleration arises for which the spin connection is no longer zero, despite still having no curvature.
What this implies is that even in absence of gravity we should have ∂θ−Ω = 0 and because such a quantity does transform covariantly for a local change of frame then it is non-zero in every possible frame of reference.
Because non-inertial effects are those removable via a choice of frame then they cannot be encoded in an object that cannot ever vanish: we know of no non-gravitational physical field that can be contained in such an object.
In absence of this non-inertial yet never-vanishing effect, we might be confident that ∂θ−Ω = 0 if and only if gravity is present, and therefore the contradiction we got was due to our neglecting the gravitational field.
If gravity really is negligible in this case, then the way out may be given by the torsional interaction.

VII. CONCLUSION
In this paper, we have considered the spinor field that is usually described in electrodynamics, and that is with neither gravity nor torsion and within the rest-frame and spin-eigenstate: in terms of a mathematical analysis, we have proven that the system of the field equations cannot possess any solution. We have discussed how this might require revising the idea of rest-frame or spin-eigenstate, albeit it is more reasonable to assume that problems are due to neglecting the torsion or the gravitational field.
The renormalization of general quantum field theories in a gravitational background with torsion requires the interaction of torsion to be non-minimal with scalar and spinor fields: and in particular, spinor fields and torsion interact in a non-minimal way. This is required for quantum field theories to be consistent, since the interactions between second-quantized fields yields divergences, and consequently renormalization procedures must be set in.
The renormalization protocols in quantum field theo-ries are well defined only when curvature and torsion are taken together in the same framework. Within the set-up of second-quantization this has been established, and for the present article we aimed to straightforward reasoning that could encompass also first-quantized fields as well.
Here we have argued that torsion and curvature should be considered already in first-quantized formalism.