1 Introduction

Not long after Einstein wrote the field equations of gravitation, Schwarzschild applied them outside a stationary and spherically symmetric matter distribution obtaining the corresponding exact solution that describes the surrounding gravitational field; soon after Maxwell wrote the field equations of electrodynamics, Maxwell himself applied them in the vacuum finding exact solutions describing the propagation of electromagnetic waves; and it took even shorter for Dirac to write the spinorial field equations finding in the free case the exact solutions representing the material wave function. All these instances refer to cases of paramount importance in physics because the knowledge of those exact solutions provided a detailed description of a given physical system, whether planetary precession and light bending, light-rays propagation, or the properties of electrons; on the other hand, such solutions are obtained in the vacuum or for free fields, that is, for isolated systems. Interacting systems can of course be studied, but in that case the quest to find the exact solutions immediately proves to be a much tougher task to accomplish.

A first example of such a kind of interacting system can be found again when Einstein equations are sourced by the energy density of an electrodynamic field whose Maxwell equations are written with the covariant derivative containing the spacetime connection, and for this system it was Kerr who studied the axially symmetric case finding exact solutions; to our knowledge, however, this first example is also the last. To an attentive examination, this does not appear to be a fully coupled system either, because if the gravitational and electrodynamic fields are coupled, nevertheless the material charged distribution is thought to be circumscribed within the singularity of the Kerr metric and it does not appear as the current density of the electrodynamic field equations nor as the energy density of the gravitational field equations. Interacting systems of matter and its own interactions can be discussed, but in this case the search for exact solutions has clearly become harder and harder to achieve.

If one wishes to study the complete system of Einstein equations sourced by the energy density of electrodynamic and material fields, with Maxwell equations having the covariant derivatives containing the spacetime connection and sourced by the current density of the matter field, and the matter field equations having all covariant derivatives containing both the spacetime and the gauge connection, then the system becomes considerably more difficult, and in fact no exact solution has been found yet.

On the other hand, looking for exact solutions of the complete and fully coupled system of matter and its own interactions is too fundamental a problem to be abandoned because of its difficulty. So if one were to embark on the enterprise of looking for such exact solutions, the search may start by considering the simplest system of all.

The simplest system one may think to study would have to consider the spinor field in interaction with its own gravitational field because no field can exist without an energy density; however, considering spinors without interactions of electrodynamic essence is a way to simplify the problem since we do know spinors that have no electric charge: therefore, a first assumption we will consider is that of focusing on neutral spinor fields.

Another possible simplification may come from the fact that spinors, despite being fundamental, nevertheless are not irreducible objects, but they are constituted by two chiral parts which, despite being in interaction, nevertheless are independent; however, their interaction is encoded in the presence of the mass term and as a consequence the assumption of masslessness would allow for the complete splitting of left-handed and right-handed projections, and the possibility to study them separately: hence, a second assumption will be that of masslessness and the consequent selection of a single-handed component for the spinor field.

In recent times, extensions of the standard model of particle physics have had to deal with the inclusion of a possible mechanism of neutrino oscillations, and the subsequent connection to neutrino masses, but there is a problem in such a scenario: although it has been demonstrated that neutrino masses would imply neutrino oscillations, the converse has never been proven; as such, we might be open to the possibility that neutrinos oscillate even if massless because of the action of some other mechanism. This possibility is made even more cogent by the fact that apart from the phenomenon of oscillation there is no other theoretical reason for neutrinos to be massive; further still, no experimental evidence of neutrino masses is present. If this scenario were true, then neutrinos would be massless, and they would constitute the physical prototype of the exact solutions we are searching in this paper.

If this scenario were not true, and neutrinos were massive after all, then there would be no particle that can be modelled by a possible exact solution at the moment; but there could have been in the earliest stages of cosmic evolution. In fact, before cosmic inflation, the universe was supposed to be in a configuration of unbroken electroweak symmetry, where all particles were massless. Electroweak symmetry would impose an \(SU(2)\times U(1)\) gauge interaction but still there may be situations in which the spacetime curvature would be the dominant contribution, and there the particle would be modelled by the exact solution we plan to find.

And even if there were no situation in which the spacetime curvature dominate, an exact solution for a single-handed spinor may still be of mathematical interest because it could be taken as the least-order contribution of the small-mass perturbative solution for a massive spinor field. That is, the solution for the massive spinor field could be obtained as a series expansion in the mass, with the exact solution in the massless case as the leading order, and solving the Dirac equation at the first order in the small-mass term.

As it stands, there may be several applications for a solution, which, being exact, would be important also in itself.

In this paper, we will look for such exact solution.

2 Geometric and material field equations

To begin, we start with the fundamental kinematic definitions and the form of the dynamical action we will employ.

Throughout the paper, partial derivatives of a given function \(f(x^h)\) are denoted by \(f_{x^h}:=\frac{\partial f}{\partial x^h}\). Latin and Greek indices run from 1 to 4. The metric tensor of the spacetime is denoted by \(g_{ij}\) while the tetrad field associated with a given metric is indicated by \(e^\mu _i\) in such a way that \(\eta ^{\mu \nu }=g_{ij}e^i_\mu e^j_\nu \) with \(\eta ^{\mu \nu }=\mathrm {diag}(-1,-1,-1,1)\) being the Minkowski metric, and with inverse \(e^i_\mu \) verifying therefore \(e^i_\mu e^\mu _j=\delta ^i_j\) and \(e^\mu _i e^i_\nu = \delta ^\mu _\nu \) in terms of Kronecker delta. Dirac matrices are indicated by \(\gamma ^\mu \) and \(\varGamma ^i := e^i_\mu \gamma ^\mu \) with \(\gamma ^5 =i\gamma ^4\gamma ^1\gamma ^2\gamma ^3\) and chiral representation is used. The spinorial-covariant derivatives of a Dirac field \(\psi \) are expressed as

$$\begin{aligned} D_i\psi =\psi _{x^i}-\varOmega _{{i}}\psi \end{aligned}$$
(1)

where the spinorial-connection \(\varOmega _i\) is given by

$$\begin{aligned} \varOmega _i := - \frac{1}{4}g_{jh}\omega _{i\;\;\;\nu }^{\;\;\mu }e_\mu ^j e^\nu _k\varGamma ^h\varGamma ^k \end{aligned}$$
(2)

with \(\omega _{i\;\;\;\nu }^{\;\;\mu }\) being the coefficients of the spin-connection associated through the relation

$$\begin{aligned} \varGamma _{ij}^{\;\;\;h} = \omega _{i\;\;\;\nu }^{\;\;\mu }e_\mu ^h e^\nu _j + e^{h}_{\mu }\partial _{i}e^{\mu }_{j} \end{aligned}$$
(3)

to the linear connection \(\varGamma _{ik}^{\;\;\;j}\) as usual. Natural units \(\hbar =c=8\pi G=1\) are used.

We will consider a Dirac field coupled to gravity in the Einstein–Sciama–Kibble theory. The Dirac Lagrangian is

$$\begin{aligned} L_\mathrm {D} =\frac{i}{2}\left( \bar{\psi }\varGamma ^iD_i\psi -D_i\bar{\psi }\varGamma ^i\psi \right) -m\bar{\psi }\psi \end{aligned}$$
(4)

where m is the mass of the spinor: the total Lagrangian can be varied with respect to all fields yielding the Einstein field equations coupling the Ricci curvature \(R_{ij}\) to the energy density

$$\begin{aligned} R_{ij} -\frac{1}{2}Rg_{ij}= \Sigma _{ij} \end{aligned}$$
(5)

and the Sciama–Kibble field equations coupling the Cartan torsion \(T_{ij}^{\;\;\;h}\) to the spin density

$$\begin{aligned} T_{ij}^{\;\;\;h} = S^{\;\;\;h}_{ij} \end{aligned}$$
(6)

where

$$\begin{aligned} \Sigma _{ij} := \frac{i}{4} \left( \bar{\psi }\varGamma _{i}{D}_{j}\psi - {D}_{j}\bar{\psi }\varGamma _{i}\psi \right) -\frac{1}{2}L_\mathrm {D}\,g_{ij} \end{aligned}$$
(7)

and

$$\begin{aligned} S_{ij}^{\;\;\;h}:=\frac{i}{16}\bar{\psi }\left\{ \varGamma ^{h},[\varGamma _i,\varGamma _j]\right\} \psi \end{aligned}$$
(8)

are, respectively, the energy and the spin density tensors and

$$\begin{aligned} i\varGamma ^{h}D_{h}\psi + \frac{i}{2}T_h\varGamma ^h\psi - m\psi =0 \end{aligned}$$
(9)

are the Dirac field equations determining the dynamical behaviour of the spinor field.

After separating all curvatures and covariant derivatives into purely metric curvatures and covariant plus torsional terms, using the torsion–spin coupling Eq. (6) it is possible to substitute all torsion contributions into spin–spin contact potentials [1, 2]: the significant part of the Einstein field equations results to be the symmetric one, which can be written in the final form as a relationship linking the purely metric Ricci curvature tensor and scalar \(\tilde{R}_{ij}\) and \(\tilde{R}\) to the purely metric energy density tensor as

$$\begin{aligned} \tilde{R}_{ij} -\frac{1}{2}\tilde{R}g_{ij}= \tilde{\Sigma }_{ij} + \frac{3}{64}(\bar{\psi }\gamma ^5\gamma ^\tau \psi )(\bar{\psi }\gamma ^5\gamma _\tau \psi )g_{ij} \end{aligned}$$
(10)

where the purely metric energy density tensor is

$$\begin{aligned} \tilde{\Sigma }_{ij}:=\frac{i}{4}\left( \bar{\psi }\varGamma _{(i}\tilde{D}_{j)}\psi - \tilde{D}_{(j}\bar{\psi }\varGamma _{i)}\psi \right) \end{aligned}$$
(11)

and the Dirac field equations handled in a similar way yield the final expression

$$\begin{aligned} i\varGamma ^{h}\tilde{D}_{h}\psi - \frac{3}{16}\left[ (\bar{\psi }\psi ) +i(i\bar{\psi }\gamma ^5\psi )\gamma ^5\right] \psi - m\psi =0 \end{aligned}$$
(12)

in terms of the \(\tilde{D}_i\) which denotes the purely metric spinorial-covariant derivative.

This theory is general, but of course it is possible to apply it to some specific case: if the spinor is single-handed then it verifies relationships of the type \(\gamma ^5\psi =\pm \psi \) and the above system of field Eqs. (10), (11) and (12) becomes

$$\begin{aligned} \tilde{R}_{ij}=\frac{i}{4}\left( \bar{\psi }\varGamma _{(i}\tilde{D}_{j)}\psi - \tilde{D}_{(j}\bar{\psi }\varGamma _{i)}\psi \right) \end{aligned}$$
(13)

and

$$\begin{aligned} i\varGamma ^{h}\tilde{D}_{h}\psi =0, \end{aligned}$$
(14)

showing that for a single-handed particle no torsion is present after all.

3 Spin eigenstates in Weyl–Lewis–Papapetrou spacetime

In the following, the single-handed spinor will be chosen to be left-handed (obviously, right-handed spinors would have the same dynamical properties), and therefore the spinor will be chosen to have the general form

$$\begin{aligned} \psi =\left( \begin{array}{c} { L}\\ 0 \end{array}\right) \end{aligned}$$
(15)

where L is the left-handed spinor (the right-handed would have been the lower component).

The two components of the semi-spinor are the two opposite spin eigenstates, so that by writing the semi-spinor as

$$\begin{aligned} L=\left( \begin{array}{c} { a}\\ { b} \end{array}\right) \end{aligned}$$
(16)

the solution of the eigenstate equation \(\frac{1}{2}\sigma _{3}L=\pm L\) assigned to the upper component a the meaning of the spin-up projection and to the lower component b the meaning of the spin-down projection: eigenstates can be chosen by the vanishing of one of the projections, so that it is with no loss of generality that we can assume \(b=0\) and the remaining degree of freedom will be described in general by \(a=\varXi e^{i\beta }\) where \(\varXi \) and \(\beta \) are real functions.

The form of the spinor is therefore

$$\begin{aligned} \psi =\varXi e^{i\beta }\left( \begin{array}{c} 1\\ 0\\ 0\\ 0 \end{array}\right) \end{aligned}$$
(17)

and from it we may compute the five spinorial bilinear fields: it turns out that only the vector bilinear fields \(\bar{\psi }\gamma ^\mu \psi \) and \(\bar{\psi }\gamma ^\mu \gamma ^5\psi \) are different from zero, and in particular they only have the temporal and one spatial component; what this means is that for single-handed spin eigenstates of spinors the spatial components of the bilinear vectors select a privileged direction in space, identifiable with the direction of propagation, and consequently it becomes possible without loss of generality to restrict the spacetime to that displaying axial symmetry.

Such a spacetime is long known to be the Weyl–Lewis–Papapetrou spacetime, in which the metric has line element

$$\begin{aligned} {\hbox {d}s}^{2}= -B^2 (r^2\,\hbox {d}\theta ^2 +\hbox {d}r^2) -A^2 (-W\,\hbox {d}t + \hbox {d}\varphi )^2 + C^2\,\hbox {d}t^2\quad \end{aligned}$$
(18)

where all functions \(A(r,\theta )\), \(B(r,\theta )\), \(C(r,\theta )\) and \(W(r,\theta )\) depend on the r and \(\theta \) variables only.

The spinorial-connection coefficients are expressed as

$$\begin{aligned} \varOmega _{r}=\frac{AW_{ r}\gamma ^3\gamma ^4}{4C}+\frac{B_{ \theta }\gamma ^1\gamma ^2}{2 r B}, \end{aligned}$$
(19a)
$$\begin{aligned} \varOmega _{\theta }=-\left( \frac{B + rB_{ r}}{2B}\right) \gamma ^1\gamma ^2 + \frac{AW_{ \theta }}{4C}\gamma ^3\gamma ^4, \end{aligned}$$
(19b)
$$\begin{aligned} \varOmega _{\varphi } = \frac{A^{2}W_{ r}}{4BC}\gamma ^1\gamma ^4 - \frac{A_{ r}}{2B}\gamma ^1\gamma ^3 + \frac{A^{2}W_{ \theta }}{4 rBC}\gamma ^2\gamma ^4 - \frac{A_{ \theta }}{2 rB}\gamma ^2\gamma ^3, \end{aligned}$$
(19c)
$$\begin{aligned} \varOmega _{t}= & {} \left( \frac{AW_{ r}}{4B} + \frac{WA_{ r}}{2B}\right) \gamma ^1\gamma ^3 + \left( \frac{AW_{ \theta }}{4 rB}+\frac{WA_{ \theta }}{2 rB}\right) \gamma ^2\gamma ^3\nonumber \\&+\left( \frac{C_{ r}}{2B}-\frac{A^2WW_{ r}}{4BC}\right) \gamma ^1\gamma ^4\nonumber \\&+\left( \frac{C_{ \theta }}{2 rB}-\frac{A^2WW_{ \theta }}{4 rBC} \right) \gamma ^2\gamma ^4, \end{aligned}$$
(19d)

with \(\psi _{x^i}\ne 0\), since for spinors a possible dependence of the azimuthal angle and the time may always be present.

With this form of the metric, we can evaluate the Einstein equations (13) getting

$$\begin{aligned}&\frac{A^2W^2_{ r}}{2C^2} + \frac{A_{ r}B_{ r}}{AB} + \frac{C_{ r}B_{ r}}{CB} - \frac{A_{ r r}}{A} - \frac{C_{ r r}}{C} - \frac{B_{ r r}}{B} + \frac{B^2_{ r}}{B^2} \nonumber \\&\quad - \frac{B_{ r}}{ rB} -\frac{A_{ \theta }B_{ \theta }}{r^2AB} - \frac{C_{ \theta }B_{ \theta }}{r^2CB}- \frac{B_{ \theta \theta }}{r^2B} + \frac{B^2_{ \theta }}{r^2B^2} =0, \end{aligned}$$
(20a)
$$\begin{aligned}&\frac{A^2W^2_{ \theta }}{2C^2} - \frac{ rC_{ r}}{C} - \frac{C_{ \theta \theta }}{C} - \frac{r^2B_{ r r}}{B} - \frac{ rB_{ r}}{B} - \frac{B_{ \theta \theta }}{B} -\frac{r^2B_{ r}C_{ r}}{BC}\nonumber \\&\quad + \frac{B_{ \theta }C_{ \theta }}{BC} + \frac{r^2B^2_{ r}}{B^2}+ \frac{B^2_{ \theta }}{B^2} - \frac{ rA_{ r}}{A} - \frac{A_{ \theta \theta }}{A} - \frac{r^2A_{ r}B_{ r}}{AB}\nonumber \\&\quad + \frac{A_{ \theta }B_{ \theta }}{AB} =0, \end{aligned}$$
(20b)
$$\begin{aligned}&- \frac{A^4W^2_{ r}}{2B^2C^2} - \frac{A^4W^2_{ \theta }}{2r^2B^2C^2} - \frac{AA_{ r}C_{ r}}{B^2C} - \frac{AA_{ r r}}{B^2} - \frac{AA_{ r}}{ rB^2} \nonumber \\&\quad - \frac{AA_{ \theta }C_{ \theta }}{r^2B^2C}- \frac{AA_{ \theta \theta }}{r^2B^2} + \frac{A\varXi ^2\beta _{ \varphi }}{2} =0, \end{aligned}$$
(20c)
$$\begin{aligned}&- \frac{A^4W^2W^2_{ r}}{2B^2C^2} - \frac{A^4W^2W^2_{ \theta }}{2r^2B^2C^2} - \frac{AW^2A_{ r}C_{ r}}{B^2C} - \frac{AW^2A_{ r r}}{B^2} \nonumber \\&\quad - \frac{3AWA_{ r}W_{ r}}{B^2} + \frac{A^2WW_{ r}C_{ r}}{B^2C} - \frac{A^2WW_{ r r}}{B^2}\nonumber \\&\quad - \frac{A^2W^2_{ r}}{2B^2} - \frac{AW^2A_{ r}}{ rB^2} - \frac{A^2WW_{ r}}{ rB^2} - \frac{AW^2A_{ \theta }C_{ \theta }}{r^2B^2C} \nonumber \\&\quad - \frac{AW^2A_{ \theta \theta }}{r^2B^2} - \frac{3AWW_{ \theta }A_{ \theta }}{r^2B^2} + \frac{A^2WW_{ \theta }C_{ \theta }}{r^2B^2C} - \frac{A^2WW_{ \theta \theta }}{r^2B^2}\nonumber \\&\quad - \frac{A^2W^2_{ \theta }}{2r^2B^2} \!+\! \frac{CC_{ r}A_{ r}}{AB^2} \!+\! \frac{CC_{ r r}}{B^2} \!+\! \frac{CC_{ r}}{ rB^2} + \frac{CC_{ \theta }A_{ \theta }}{r^2AB^2} + \frac{CC_{ \theta \theta }}{r^2B^2}\nonumber \\&\quad - \frac{AW\varXi ^2\beta _{ t}}{2} + \frac{C\varXi ^2\beta _{ t}}{2} =0, \end{aligned}$$
(20d)
$$\begin{aligned}&\frac{A^2W_{ r}W_{ \theta }}{2C^2} + \frac{A_{ \theta }B_{ r}}{AB} + \frac{A_{ r}B_{ \theta }}{AB} + \frac{B_{ r}C_{ \theta }}{CB} - \frac{A_{ r \theta }}{A} - \frac{C_{ r \theta }}{C}\nonumber \\&\quad + \frac{C_{ r}B_{ \theta }}{CB} + \frac{A_{ \theta }}{ rA} + \frac{C_{ \theta }}{ rC} =0, \end{aligned}$$
(20e)
$$\begin{aligned} - \frac{A^2W_{ \theta }\varXi ^2}{16 rC} + \frac{AB_{ \theta }\varXi ^2}{8 rB} - \frac{A_{ \theta }\varXi ^2}{8 r} + \frac{A\varXi ^2\beta _{ r}}{4} =0, \end{aligned}$$
(20f)
$$\begin{aligned}&\dfrac{\varXi ^2C\beta _{ r}}{4} - \dfrac{\varXi ^2\left( 4AW\beta _{ r} r - AW_{ \theta } -2WA_{ \theta } + 2C_{ \theta }\right) }{16 r} \nonumber \\&\quad + \dfrac{A^2WW_{ \theta }\varXi ^2}{16 rC} + \dfrac{\varXi ^2\left( CB_{ \theta } - AWB_{ \theta }\right) }{8 rB} =0, \end{aligned}$$
(20g)
$$\begin{aligned} -\frac{ rAB_{ r}\varXi ^2}{8B} + \frac{ rA_{ r}\varXi ^2}{8} + \frac{ rA^2W_{ r}\varXi ^2}{16C} + \frac{A\varXi ^2\beta _{ \theta }}{4} - \frac{A\varXi ^2}{8} =0, \end{aligned}$$
(20h)
$$\begin{aligned}&\frac{ rC_{ r}\varXi ^2}{8} + \frac{\left( - rC\varXi ^2 + rA\varXi ^2 W\right) B_{ r}}{8B} - \frac{ rWA_{ r}\varXi ^2}{8}\nonumber \\&\quad - \frac{\left( rAC\varXi ^2 + rA^2W\varXi ^2\right) W_{ r}}{16C} - \frac{\varXi ^2\left( -4\beta _{ \theta }+2\right) C}{16}\nonumber \\&\quad - \frac{\varXi ^2\left( 4W\beta _{ \theta }-2W\right) A}{16} =0, \end{aligned}$$
(20i)
$$\begin{aligned}&\frac{\varXi ^2C\beta _{ \varphi }}{4} - \frac{AW\varXi ^2\beta _{ \varphi }}{4} + \frac{A\varXi ^2\beta _{ t}}{4} + \frac{A^4WW_{ r}^2}{2B^2C^2} + \frac{A^4WW_{ \theta }^2}{2r^2B^2C^2} \nonumber \\&\quad + \frac{AWA_{ r}C_{ r}}{B^2C} + \frac{AWA_{ r r}}{B^2} + \frac{3AA_{ r}W_{ r}}{2B^2}\nonumber \\&\quad - \frac{A^2C_{ r}W_{ r}}{2B^2C} + \frac{A^2W_{ r r}}{2B^2} + \frac{AWA_{ r}}{ rB^2} + \frac{A^2W_{ r}}{2 rB^2} + \frac{AWA_{ \theta }C_{ \theta }}{r^2B^2C}\nonumber \\&\quad + \frac{AWA_{ \theta \theta }}{r^2B^2} + \frac{3AA_{ \theta }W_{ \theta }}{2r^2B^2} - \frac{A^2C_{ \theta }W_{ \theta }}{2r^2B^2C}+ \frac{A^2W_{ \theta \theta }}{2r^2B^2} =0,\nonumber \\ \end{aligned}$$
(20j)

while with the spinorial-connection it is possible to expand the spinorial derivative so that Dirac equations (14) become

$$\begin{aligned} \frac{\varXi _{ \varphi }}{A} - \frac{\varXi _{ t}}{C} - \frac{W\varXi _{ \varphi }}{C}=0, \end{aligned}$$
(21a)
$$\begin{aligned} \frac{\varXi \beta _{ \varphi }}{A} - \frac{\varXi \beta _{ t}}{C} - \frac{W\varXi \beta _{ \varphi }}{C} =0, \end{aligned}$$
(21b)
$$\begin{aligned} -\frac{\varXi \beta _{ \theta }}{ rB} + \frac{\varXi _{ r}}{B} + \frac{\varXi B_{ r}}{2B^2} + \frac{\varXi }{2 rB} + \frac{\varXi A_{ r}}{2AB} - \frac{AW_{ r}\varXi }{4BC} + \frac{\varXi C_{ r}}{2BC}=0, \end{aligned}$$
(21c)
$$\begin{aligned} \frac{\varXi \beta _{ r}}{B} + \frac{\varXi _{ \theta }}{ rB} + \frac{\varXi \beta _{ \theta }}{2 rB^2} + \frac{\varXi A_{ \theta }}{2 rAB} - \frac{A\varXi W_{ \theta }}{4 rBC} + \frac{\varXi C_{ \theta }}{2 rBC}=0, \end{aligned}$$
(21d)

where the separation between real and imaginary parts has already been done.

The first four of (20) are the diagonal part of Einstein equations and they are those expected to determine the dynamics, while the remaining equations represent the off-diagonal part and they are expected to furnish constraints on the various components: in fact, there are 6 independent functions of the spacetime point and 14 independent equations, so that it is clear that some constraints on the functions must eventually be found.

In order to solve Eqs. (21) and (20), we start by deriving \(\beta _{ r}\) and \(\beta _{ \theta }\) from Eqs. (20f) and (20h) getting

$$\begin{aligned} \beta _{ r} = \frac{AW_{ \theta }}{4 rC} + \frac{A_{ \theta }}{2 rA} - \frac{B_{ \theta }}{2 rB}, \end{aligned}$$
(22a)
$$\begin{aligned} \beta _{ \theta } = - \frac{ rAW_{ r}}{4C} - \frac{ rA_{ r}}{2A} + \frac{ rB_{ r}}{2B} + \frac{1}{2}, \end{aligned}$$
(22b)

which can be inserted into (21c) multiplied by \(B\varXi \) to yield equation

$$\begin{aligned} \frac{A_{ r}}{A} + \frac{\varXi _{ r}}{\varXi } + \frac{C_{ r}}{2C} =0, \end{aligned}$$
(23)

from which we get the relation

$$\begin{aligned} \varXi = \frac{F_1( \theta , \varphi , t)}{A\sqrt{C}} \end{aligned}$$
(24)

in terms of \(F_1\) as an arbitrary function independent on r; also, inserting (22a), (22b) and (24) into (21d), we obtain

$$\begin{aligned} \frac{\left( F_1\right) _{ \theta }}{ rBA\sqrt{C}} =0, \end{aligned}$$
(25)

from which it follows that \(F_1\) is only function of \( \varphi \) and t: all in all, we obtain

$$\begin{aligned} \varXi = \frac{F_1( \varphi , t)}{A\sqrt{C}} \end{aligned}$$
(26)

showing that in the spinor module the dependence on azimuth and time and that on radial coordinate and elevation angle are encoded within two factorised functions. Inserting all these results into Eq. (21a), after some calculations, we get the relation

$$\begin{aligned} \frac{C( r, \theta )}{A( r, \theta )} - W( r, \theta ) = \frac{\left( F_1\right) _{ t}}{\left( F_1\right) _{ \varphi }}, \end{aligned}$$
(27)

from which we have necessarily

$$\begin{aligned} \frac{C}{A}-W = \lambda , \end{aligned}$$
(28a)
$$\begin{aligned} \frac{\left( F_1\right) _{ t}}{\left( F_1\right) _{ \varphi }} =\lambda , \end{aligned}$$
(28b)

for some constant \(\lambda \); Eq. (28b) implies \(F_1\left( \varphi , t\right) \!=\!F_2\left( \varphi \!+\!\lambda t\right) \) for some arbitrary function \(F_2\) and thus

$$\begin{aligned} C=AW+\lambda A, \end{aligned}$$
(29)

so that

$$\begin{aligned} \varXi = \frac{F_2\left( \varphi + \lambda t\right) }{A\sqrt{C}}, \end{aligned}$$
(30)

in which the spinor module the dependence on azimuth and time has been fixed. Now, inserting Eqs. (22a), (22b), (29) and (30) into (21b) we get the further equation

$$\begin{aligned} \frac{F_2\left( \varphi + \lambda t\right) \left( \beta _{ \varphi }\lambda - \beta _{ t}\right) }{A\left( A\left( W+\lambda \right) \right) ^{\frac{3}{2}}} =0, \end{aligned}$$
(31)

which gives

$$\begin{aligned} \beta _{ t} = \lambda \beta _{ \varphi }, \end{aligned}$$
(32)

fixing the interdependence of azimuth and time also in the phase of the spinor field. Collecting all results obtained so far, we see that if (22a), (22b), (29), (30) and (32) hold then all Dirac equations (21) are satisfied automatically.

Moreover, the Einstein equations (20f), (20g), (20h) and (20i) are satisfied automatically as well. In addition to this, substituting (22a), (22b), (29), (30) and (32) into the remaining Einstein equations, differentiating with respect to \( \varphi \) and multiplying all by \(2AC{/}F_2\), we obtain a unique equation given by

$$\begin{aligned} F_2\beta _{ \varphi \varphi } + 2\beta _{ \varphi }F'_{2} =0, \end{aligned}$$
(33)

where \(F'_2\) denotes the derivative of \(F_2\): this equation is integrated as

$$\begin{aligned} \beta _{ \varphi } = \frac{F_3\left( r, \theta , t\right) }{F_2^2}, \end{aligned}$$
(34)

with \(F_3\left( r, \theta , t\right) \) being an arbitrary function. Inserting (34) into Einstein equations and performing the derivative of the so obtained equations with respect to t we can deduce that \(\left( F_3\right) _{ t}=0\) and thus

$$\begin{aligned} \beta _{ \varphi }= \frac{F_3\left( r, \theta \right) }{F_2^2},\end{aligned}$$
(35a)
$$\begin{aligned} \beta _{ t} = \frac{F_3\left( r, \theta \right) \lambda }{F_2^2}, \end{aligned}$$
(35b)

and furthermore, we can subtract the derivative of (35a) with respect to r to the derivative of (22a) with respect to \( \varphi \) and the derivative of (35a) with respect to \( \theta \) to the derivative of (22b) with respect to \( \varphi \) obtaining [after using (29)] that \((F_3)_{ r}=(F_3)_{ \theta }=0\) necessarily, so that \(F_3\) has to be constant and

$$\begin{aligned} \beta _{ \varphi }= \frac{k}{F_2^2},\end{aligned}$$
(36a)
$$\begin{aligned} \beta _{ t} = \frac{k\lambda }{F_2^2}, \end{aligned}$$
(36b)

for some constant k and the arbitrary function \(F_2\left( \varphi +\lambda t\right) \) above.

Integrating (36a) and (36b), we have

$$\begin{aligned} \beta \left( r, \theta , \varphi , t\right) = G\left( \varphi + \lambda t\right) + F_4\left( r, \theta \right) , \end{aligned}$$
(37)

where \(F_4\) is an arbitrary function of r and \( \theta \) while G is a function of one variable, whose first derivative satisfies

$$\begin{aligned} G'\left( \varphi + \lambda t\right) = \frac{k}{(F_2\left( \varphi + \lambda t\right) )^2}, \end{aligned}$$
(38)

while inserting (29) and (37) into (22a) and (22b) we get the equations

$$\begin{aligned} \left( F_4\right) _{ r} = \frac{W_{ \theta }}{\left( 4W+4\lambda \right) r} + \frac{A_{ \theta }}{2 rA} - \frac{B_{ \theta }}{2 rB}, \end{aligned}$$
(39)
$$\begin{aligned} \left( F_4\right) _{ \theta } = - \frac{ rW_{ r}}{4W+4\lambda } - \frac{ rA_{ r}}{2A} + \frac{ rB_{ r}}{2B} + \frac{1}{2}, \end{aligned}$$
(40)

and therefore after integration of these last three equations, the dependence of the phase \(\beta \) will be explicit.

To simplify things, we may introduce the function \(V\left( r, \theta \right) \) such that

$$\begin{aligned} F_4\left( r, \theta \right) := V_{ \theta }, \end{aligned}$$
(41)

with

$$\begin{aligned} A := \frac{Be^{2 rV_{ r}}}{\sqrt{W+\lambda }}, \end{aligned}$$
(42)

and such that Eq. (39) is automatically satisfied, while Eq. (40) becomes

$$\begin{aligned} V_{ r r} = -\frac{V_{ r}}{ r} + \frac{1}{2r^2} - \frac{V_{ \theta \theta }}{r^2}, \end{aligned}$$
(43)

representing an equation for the unknown function \(V\left( r, \theta \right) \). Solutions of Eq. (43) have the form

$$\begin{aligned} V\left( r, \theta \right) := \frac{\left( \ln { r}\right) ^2}{4} + \xi \left( r, \theta \right) \end{aligned}$$
(44)

in terms of the function \(\xi \left( r, \theta \right) \), and indeed inserting (44) into (43) we obtain the equation

$$\begin{aligned} \Delta \xi =\xi _{ r r}+\frac{\xi _{ r}}{ r}+\frac{\xi _{ \theta \theta }}{r^2}=0, \end{aligned}$$
(45)

in terms of the Laplacian in the plane \( r, \theta \) of the function \(\xi \) showing that the function \(\xi \left( r, \theta \right) \) has to be harmonic in the plane of the \( r, \theta \) coordinates. Summarizing all the obtained results, we see that the functions

$$\begin{aligned} \varXi = \frac{F_2\left( \varphi + \lambda t\right) \left( W+\lambda \right) ^{\frac{1}{4}}e^{-3 r\xi _{ r}}}{\left( rB\right) ^{\frac{3}{2}}}, \end{aligned}$$
(46a)
$$\begin{aligned} \beta = G\left( \varphi + \lambda t\right) + \xi _{ \theta }, \end{aligned}$$
(46b)
$$\begin{aligned} C = re^{2 r\xi _{ r}}B\sqrt{W+\lambda }, \end{aligned}$$
(46c)
$$\begin{aligned} A := \frac{ re^{2 r\xi _{ r}}B}{\sqrt{W+\lambda }}, \end{aligned}$$
(46d)
$$\begin{aligned} F_2\left( \varphi + \lambda t\right) = \sqrt{\frac{k}{G'\left( \varphi + \lambda t\right) }} \end{aligned}$$
(46e)

satisfy the Dirac equations (21) and the Einstein equations (20f), (20g), (20h) and (20i).

We now solve the remaining Einstein equations: making use of (44), (45) and (46), from Eqs. (20a), (20e) and (20b) we can derive the second derivatives of B, namely

$$\begin{aligned}&B_{ r r} = \frac{1}{4r^2B}\left( 4\left( rB\xi _{ r \theta }\right) ^2 + 8 rB\xi _{ \theta r \theta } -12\left( B\xi _{ \theta \theta }\right) ^2\right. \nonumber \\&\quad \qquad \left. + 4 rBB_{ r}\xi _{ \theta \theta } - 4 rBB_{ \theta }\xi _{ r \theta } + 5\left( rB_{ r}\right) ^2 \right. \nonumber \\&\quad \qquad \left. + 4B^2\xi _{ \theta \theta } - 2 rBB_{ r} + B^2 - 3B^2_{ \theta }\right) , \end{aligned}$$
(47a)
$$\begin{aligned}&B_{ \theta \theta } = - \frac{1}{4B}\left( 12\left( rB\xi _{ r \theta }\right) ^2 + 8 rB^{2}\xi _{ \theta r \theta } - 4\left( B\xi _{ \theta \theta }\right) ^2 \right. \nonumber \\&\qquad \quad \left. - 4 rBB_{ r}\xi _{ \theta \theta } + 4 rBB_{ \theta }\xi _{ r \theta } + 3\left( rB_{ r}\right) ^2 \right. \nonumber \\&\qquad \quad \left. - 4B^2\xi _{ \theta \theta } + 6 rBB_{ r} + 3B^2 - 5B^2_{ \theta } \right) , \end{aligned}$$
(47b)
$$\begin{aligned} B_{ r \theta } = \frac{4 rB^2\xi _{ r \theta }\xi _{ \theta \theta } + 2B^2\xi _{ \theta \theta \theta } + 2 rB_{ r}B_{ \theta } + BB_{ \theta }}{ rB}, \end{aligned}$$
(47c)

and thus inserting Eqs. (47) into (20c), we obtain the expression of the Laplacian

$$\begin{aligned}&\Delta W=\frac{\left( - kW^3 - 3k\lambda W^2 - 3k\lambda ^2W -k\lambda ^3\right) e^{-8 r\xi _{ r}}}{r^4B^2\left( W+\lambda \right) } \nonumber \\&\quad + \frac{1}{r^4B^2\left( W+\lambda \right) }\left[ \left( 3r^4B^2_{ r} + \left( -12r^3\xi _{ \theta \theta } + 6r^3\right) BB_{ r} \right. \right. \nonumber \\&\quad \left. \left. + 3\left( rB_{ \theta }\right) ^2 + 12r^3BB_{ \theta }\xi _{ r \theta } + \left( 12r^4\xi ^2_{ r \theta } + 12 \left( r\xi _{ \theta \theta }\right) ^2 \right. \right. \right. \nonumber \\&\quad \left. \left. \left. - 12r^2\xi _{ \theta \theta } + 3r^2\right) B^2\right) W^2 \right. \nonumber \\&\quad + \left( 6\lambda r^4B^2_{ r} + \left( \left( -24r^3\xi _{ \theta \theta } + 12r^3\right) \lambda - 2r^4W_{ r}\right) BB_{ r} \right. \nonumber \\&\quad \left. + 6\lambda \left( rB_{ \theta }\right) ^2 +\left( 24\lambda r^3\xi _{ r \theta } - 2r^2W_{ \theta }\right) BB_{ \theta } \right. \nonumber \\&\quad \left. + \left( \left( 24r^4\xi _{ r \theta }^2 + 24r^2\xi _{ \theta \theta }^2 -24r^2\xi _{ \theta \theta } + 6r^2\right) \lambda \right. \right. \nonumber \\&\quad \left. \left. + 4r^3W_{ r}\xi _{ \theta \theta } - 4r^3W_{ \theta }\xi _{ r \theta } -2r^3W_{ r}\right) B^2\right) W + 3\lambda ^2r^4B_{ r}^2 \nonumber \\&\quad + \left( \left( - 12r^3\xi _{ \theta \theta } + 6r^3\right) \lambda ^2 - 2\lambda r^4W_{ r}\right) BB_{ r} + 3\lambda ^2r^2B_{ \theta }^2 \nonumber \\&\quad +\left( 12\lambda ^2r^3\xi _{ r \theta } - 2\lambda r^2W_{ \theta }\right) BB_{ \theta }\nonumber \\&\quad + \left( \left( 12r^4\xi _{ r \theta }^2 + 12r^2\xi _{ \theta \theta }^2 - 12r^2\xi _{ \theta \theta } + 3r^2\right) \lambda ^2 \right. \nonumber \\&\quad \left. + \left( 4r^3W_{ r}\xi _{ \theta \theta } - 4r^3W_{ \theta }\xi _{ r \theta } -2r^3W_{ r}\right) \lambda \right. \nonumber \\&\quad \left. \left. +2r^4W_{ r}^2 + 2r^2W_{ \theta }^2\right) B^2\right] , \end{aligned}$$
(48)

which is a rather heavy expression. Nevertheless, it can be used together with Eqs. (47) into (20j) and (20d), and all remaining Einstein equations reduce to the unique final equation

$$\begin{aligned}&6\left( r\xi _{ r \theta }\right) ^2 + 6\xi _{ \theta \theta }^2 - \frac{6 rB_{ r}\xi _{ \theta \theta }}{B} + \frac{6 rB_{ \theta }\xi _{ r \theta }}{B} + \frac{3\left( rB_{ r}\right) ^2}{2B^2} - 6\xi _{ \theta \theta } \nonumber \\&\quad + \frac{3 rB_{ r}}{B} + \frac{3}{2} + \frac{3B_{ \theta }^2}{2B^2} =0, \end{aligned}$$
(49)

in terms of B and \(\xi \) alone.

This equation too seems rather unmanageable, but it can be rewritten in the form

$$\begin{aligned} \left( 2 r\xi _{ r \theta } + \frac{B_{ \theta }}{B}\right) ^2 + \left( \frac{ rB_{ r}}{B} -2\xi _{ \theta \theta } + 1 \right) ^2 =0, \end{aligned}$$
(50)

and thus be split into

$$\begin{aligned} \frac{ rB_{ r}}{B} -2\xi _{ \theta \theta } + 1 =0, \end{aligned}$$
(51a)
$$\begin{aligned} 2 r\xi _{ r \theta } + \frac{B_{ \theta }}{B} =0, \end{aligned}$$
(51b)

which can both easily be integrated yielding

$$\begin{aligned} B = \frac{e^{-2 r\xi _{ r}}q^2}{ r}, \end{aligned}$$
(52)

where q is a suitable integration constant. Now, if we set the function \(W( r, \theta )\) of the form

$$\begin{aligned} W( r, \theta ) := \frac{1}{P( r, \theta )} - \lambda \end{aligned}$$
(53)

in terms of another arbitrary function \(P( r, \theta )\), and insert (52) as well as (53) in the expression of the Laplacian (48), after some calculations we obtain the Poisson equation,

$$\begin{aligned} \Delta P=\frac{kB^2}{q^8} \end{aligned}$$
(54)

for the unknown function \(P( r, \theta )\).

At this point, the complete integration of the coupled system of Dirac and Einstein equations is over.

For each solution \(\xi \) of the Laplace Eq. (45), one gets the function B from Eq. (52) which allows one to determine the function \(P( r, \theta )\) and thus the function \(W( r, \theta )\) through the Poisson Eq. (54) written as

$$\begin{aligned} r( rP_{ r})_{ r}+P_{ \theta \theta }=\frac{kr^2B^2}{q^8} \end{aligned}$$
(55)

for simplicity: inserting the so-found solutions into Eq. (46), we finally obtain

$$\begin{aligned} \varXi = \frac{\sqrt{k}}{q^3\sqrt{G'\left( \varphi + \lambda t\right) }}\frac{1}{P^{\frac{1}{4}}}, \end{aligned}$$
(56a)
$$\begin{aligned} \beta = G\left( \varphi + \lambda t\right) + \xi _{ \theta }, \end{aligned}$$
(56b)
$$\begin{aligned} A = q^2\sqrt{P}, \end{aligned}$$
(56c)
$$\begin{aligned} B = \frac{e^{-2 r\xi _{ r}}q^2}{ r} \end{aligned}$$
(56d)
$$\begin{aligned} C = \frac{q^2}{\sqrt{P}}, \end{aligned}$$
(56e)
$$\begin{aligned} W( r, \theta ) = \frac{1}{P( r, \theta )} - \lambda , \end{aligned}$$
(56f)

in terms of the constants \(k,q,\lambda \), the function G and the harmonic function \(\xi ( r, \theta )\). The corresponding line element is

$$\begin{aligned}&\hbox {d}s^2=q^4\left[ (2\lambda -\lambda ^{2}P)\hbox {d}t^2+2(1-\lambda P)\hbox {d} \varphi \hbox {d} t -P\hbox {d} \varphi ^2 \right. \nonumber \\&\quad \qquad \quad \quad \left. -e^{-4 r\xi _{ r}}\hbox {d} \theta ^2 -e^{-4 r\xi _{ r}}\frac{\hbox {d} r^2}{r^2}\right] , \end{aligned}$$
(57)

and the spinor field is given by

$$\begin{aligned} \psi =\frac{\sqrt{k}}{q^3} \frac{e^{iG\left( \varphi + \lambda t\right) }}{\sqrt{G'\left( \varphi + \lambda t\right) }} \frac{e^{i\xi _{ \theta }}}{P^{\frac{1}{4}}}\left( \begin{array}{c} 1\\ 0\\ 0\\ 0 \end{array}\right) , \end{aligned}$$
(58)

the most general exact solution of the spin eigenstates single-handed spinor fields.

For the sake of completeness, we stress that the determinant of the metric is

$$\begin{aligned} \sqrt{|\mathrm {det}g|}=\frac{q^8}{ re^{4 r\xi _{ r}}}, \end{aligned}$$
(59)

which will also be used in further applications.

An interesting feature of solutions (57) and (58) is that, despite both the Riemann tensor and the spinor field are non-zero, nevertheless all Riemann invariants vanish and so the metric is that of a VSI-spacetime [3, 4] and both spinor invariants \(\overline{\psi }\psi \) and \(i\overline{\psi }\gamma ^5\psi \) vanish and so the spinor is a flag-dipole [5, 6]; in addition to this, with another direct check it is possible to see that the momentum density vector defined by \(V^{i}=\varXi ^{-2}P^{-\frac{1}{2}} \overline{\psi }\varGamma ^{i}\psi \) is a covariantly constant null vector (\(V^{2}=0\) and \(D_{i}V_{j}=0\)), therefore the metric represents a PP-wave spacetime, according to the definition introduced in literature in [7] (see also [8]). Moreover, the fact that all invariants vanish means they all are regular, and this implies that any singularity is removable with a suitable choice of coordinates.

In the following we are going to study a special case.

3.1 The radial case

A first result that is necessary to stress is a no-go result: the assumption \(W=0\) amounts to impose non-rotational structure to the metric (18), and in such circumstance it is immediate to see that from (56f) it follows that P is constant and then from (54) we have \(k=0\) yielding \(\varXi =0\) necessarily, showing that apart from the vanishing spinor, no non-trivial solution can exist. This result may appear little in importance, but it shows that we are on the right track: the spinor might well be single-handed and a spin eigenstate but still it has a non-trivial rotational structure that cannot be compatible with the rotational invariance imposed by the \(W=0\) constraint; the coupled system of Einstein–Dirac field equations is telling in terms of a dynamical solution what was expected in intuitive terms.

However, this does not mean it is impossible to study the purely radial case. The purely radial case is obtained, firstly, by assuming the solution \(\xi \) of the Laplace Eq. (45) of the form in which no elevation angle is present, and secondly, by considering also the solution P of the Poisson Eq. (54) to have no elevation angle: the first assumption gives the possibility to solve the Laplace Eq. (45) in general for

$$\begin{aligned} \xi =k_0+k_1\ln {r} \end{aligned}$$
(60)

for some constants \(k_0\) and \(k_1\); this solution together with Eq. (56d) gives

$$\begin{aligned} P_{ r r} + \frac{P_{ r}}{ r} + \frac{P_{ \theta \theta }}{r^2} = \frac{ke^{-4k_1}}{r^2q^4}, \end{aligned}$$
(61)

and this allows us to implement also the second assumption getting

$$\begin{aligned} P= \tau _0 + \frac{ke^{-4k_1}\left( \ln { r}\right) ^2}{2q^4} + \tau _1\ln { r} \end{aligned}$$
(62)

as particular solution, \(\tau _0\) and \(\tau _1\) being suitable integration constants. Inserting Eqs. (60) and (62) into (56), we have the expression of the spinor

$$\begin{aligned}&\psi =\frac{\sqrt{k}}{q^3} \frac{e^{iG\left( \varphi + \lambda t\right) }}{\sqrt{G'\left( \varphi + \lambda t\right) }} \left( \tau _0 + \frac{ke^{-4k_1}\left( \ln { r}\right) ^2}{2q^4} + \tau _1\ln { r}\right) ^{-\frac{1}{4}}\nonumber \\&\qquad \times \left( \begin{array}{c} 1\\ 0\\ 0\\ 0 \end{array}\right) \end{aligned}$$
(63)

and the line element

$$\begin{aligned}&\hbox {d}s^2 = -\left[ q^4\left( \lambda ^2\tau _1\ln { r} + \lambda ^2\tau _0 -2\lambda \right) + \frac{k\left( \ln { r}\right) ^2\lambda ^2e^{-4k_1}}{2}\right] \hbox {d} t^2\nonumber \\&\qquad \,\, -\left[ 2q^4\left( \lambda \tau _1\ln { r} + \lambda \tau _0 -1\right) + k\lambda \left( \ln { r}\right) ^2e^{-4k_1}\right] \hbox {d} \varphi \hbox {d} t\nonumber \\&\qquad \,\, -\left( q^4\tau _1\ln {r}+q^4\tau _0+\frac{1}{2}k\left( \ln { r}\right) ^2e^{-4k_1}\right) \hbox {d} \varphi ^2\nonumber \\&\qquad \,\, -q^4e^{-4k_1}\hbox {d} \theta ^2-q^4e^{-4k_1}\frac{\hbox {d} r^2}{r^2}, \end{aligned}$$
(64)

showing that, in the purely radial case, the general solution we found can be made fully explicit.

However, more information is found by choosing a very special tuning for the parameters.

3.1.1 The case \(\tau _0=\tau _1=k_1=0\), \(G(x)=x\), \(k>0\)

A particular instance of the purely radial case (60) and (62) consists in setting \(\tau _0=\tau _1=k_1=0\), \(G(x)=x\) and \(k>0\), where the line element assumes the form

$$\begin{aligned}&\hbox {d}s^2 = \left[ 2q^4\lambda - \frac{k\left( \ln { r}\right) ^2\lambda ^2}{2}\right] \hbox {d}t^2 \nonumber \\&\quad \qquad \, + \left[ 2q^4 - k\lambda \left( \ln { r}\right) ^2\right] \hbox {d} \varphi \hbox {d} t \nonumber \\&\quad \qquad \, - \frac{k\left( \ln { r}\right) ^2}{2}\hbox {d} \varphi ^2 - q^4\hbox {d} \theta ^2- \frac{q^4}{r^2}\hbox {d} r^2, \end{aligned}$$
(65)

while the spinor is

$$\begin{aligned} \psi =\frac{(2k)^{\frac{1}{4}}}{q^2}e^{i\left( \varphi + \lambda t\right) } \frac{1}{(\ln { r})^{\frac{1}{2}}}\left( \begin{array}{c} 1\\ 0\\ 0\\ 0 \end{array}\right) , \end{aligned}$$
(66)

in which we see that \(\ln { r}\) must be positive, and therefore \(r>1\) in general.

This suggests that the singularity of the metric (65) for \( r=0\) must be apparent, that is, depending on the chosen coordinates: indeed, by performing the coordinate transformation

$$\begin{aligned} R=:\ln { r} \end{aligned}$$
(67)

the line element (65) assumes the form of the expression

$$\begin{aligned} \hbox {d}s^2= & {} \left[ 2q^4\lambda - \frac{1}{2}k\lambda ^2R^2\right] \hbox {d}t^2 + \left[ 2q^4 - k\lambda R^2\right] \hbox {d}\varphi \hbox {d}t \nonumber \\&- \frac{1}{2}kR^2\hbox {d}\varphi ^2- q^4\hbox {d}\theta ^2 - q^4\hbox {d}R^2, \end{aligned}$$
(68)

which is regular everywhere, as it should have been expected from the fact that no singularity was present for the curvature invariants; on the other hand, the spinor field still has a singularity on the sphere of unitary radius \(r=1\) or in the new coordinates for \(R=0\) as clear from

$$\begin{aligned} \psi =\frac{(2k)^{\frac{1}{4}}}{q^2}e^{i\left( \varphi + \lambda t\right) } \frac{1}{R^{\frac{1}{2}}}\left( \begin{array}{c} 1\\ 0\\ 0\\ 0 \end{array}\right) , \end{aligned}$$
(69)

being divergent in the origin, although no singularity is known to be present for the spinorial invariants. It may be possible to track the origin of this apparent singularity in the fact that for massless spinors it is impossible to boost in the rest frame, and all information as regards energy and momentum will always be frame-dependent necessarily.

The computation of the energy of the spinor is done by integrating the energy density over the volume measured by the determinant of the metric (59) and it eventually gives

$$\begin{aligned} E=\int _{V}\psi ^{\dagger }\psi \sqrt{|\mathrm {det}g|}\hbox {d}V =4\pi \sqrt{2k}q^4\int _{[0,\infty [}\frac{\hbox {d}R}{Re^{R}} \end{aligned}$$
(70)

where V is the occupied volume: the integral gives no problem at infinity, but in the origin it goes as \(\ln {\frac{1}{R}}\) and so with a positive divergence. This logarithmic divergence recalls the one for ultraviolet regimes in quantum field theory.

Such a divergence in quantum field theory is treated by applying a cut-off and insisting that no calculations be done after that, because the theory beyond the cut-off is expected to be different, and in the present context it is possible to establish a physical interpretation for this situation: the physics beyond the cut-off is different because there the energy density is so large that gravitational effects can no longer be neglected; equivalently, quantum field theory ceases to be valid beyond the cut-off because linearity can no longer be used when gravitation is considered.

4 Conclusion

In this paper, we have considered the massless neutral spinor field in interaction with its own gravity: as for the resulting mutually coupled system of non-linear differential field equations, we have found all of the exact solutions.

The solutions we have found have been proven to be in the form of PP-waves for the metric tensor and to be a flag-dipole for the spinor field: the flag-dipole fields we have found are more specifically the Weyl fermions, which are fundamental as the basic chiral components of Dirac fermions; and the property of the metric of being a PP-wave, and therefore of describing a VSI-spacetime, implies that such a metric has the radiative corrections that vanish identically, and therefore this spacetime after quantisation is nothing more than its classical counterpart [9].

Or in a more picturesque language, in this case quantum gravity is nothing more than classical gravity.

On the other hand the interest for Weyl fermions has very recently received a considerable revival because of the discovery of Weyl fermions inside a synthetic metallic crystal called tantalum arsenide, an experimental finding that can be used to create massless electrons with no backscattering, therefore improving the efficiency of electronic devices such as large-volume single-mode lasers or for general approaches to quantum computing [10].

Before applications, it is also from a fundamental point of view that Weyl fermions are important: for instance, it is still open the possibility that neutrinos may oscillate because of intrinsic dynamics [11]; hence, the persistence of the masslessness hypothesis for neutrinos would make them a fundamental example of Weyl fermions.

If neutrinos were not Weyl fermions because massive in principle, then their masses would most probably assigned from Yukawa couplings in terms of the Higgs mechanism after symmetry breaking; but before such a symmetry breaking neutrinos as well as all other fermions are still massless: therefore in the earliest stages of cosmic evolution, where the universe is supposed to be in a configuration of unbroken electroweak symmetry with all massless fermions and dominant gravitational contributions, the particles would be modelled by our solution.

More in general, our solution is important also from a purely mathematical perspective: because a Dirac fermion is a system of two Weyl fermions of opposite helicities with a mixing of the two opposite-helicity states given by the mass term then a massive fermion can be thought of as a system constituted by two massless fermions plus a sort of interaction described by the mass term; consequently, solutions for the massive fermion can be sought in the form of exact solutions for the massless fermion plus corrections in small-mass regimes. In such a perturbative expansion the leading contribution would be the exact solution we have presented here.

The found solution is therefore important not only because of its technological applications (large-volume single-mode lasers and quantum computing [10]), but also because for the foundations of physics (approaches to quantum gravity [9]); and of course the solution is important mainly because of the obvious mathematical interest of having a non-linear system of differential field equations exactly solved.

We believe that these results are of high importance for mathematics, as well as for physics in general, consequently prompting further research following this direction.

Extensions are already under investigation.