1 Neutrino mass and mixing

The origin of neutrino mass is a mystery [1, 2]. The Standard Model of particle physics, so called because it is the most successful theory of all known elementary particles and the interactions between them, explains the masses of elementary particles in terms of spontaneous breaking of the \(SU(2)\times U(1)\) electroweak symmetry by the vacuum expectation value (vev) of the Higgs field. The Higgs doublet field \(\varPhi = \begin{pmatrix} \phi ^+\\ \phi ^0 \end{pmatrix} \) couples left-handed doublets to the right-handed singlet via the Yukawa-type interaction \(-h_e\left( \bar{\varPsi }_{eL}\varPhi e_R + \bar{e}_R\varPhi ^\dagger \varPsi _{eL}\right) .\) For quantization, \(\phi ^0\) is expanded around its vev v as \(\phi ^0 = \frac{1}{\sqrt{2}}(v + H + i\zeta )\)  with \( H\,, \zeta \) being quantum fields. Then the Yukawa terms can be written as

$$\begin{aligned}&- h_e \bigg [ \frac{v}{\surd 2} (\bar{e}_L e_R + \bar{e}_R e_L) + \bar{\nu }_{eL} e_R \phi ^+ + \bar{e}_R \nu _{eL} \phi ^-\nonumber \\&\quad + {1\over \surd 2} (\bar{e} e H+ i\, \bar{e} \gamma _5 e \zeta ) \bigg ]. \end{aligned}$$
(1)

The first term, which provides the mass of electrons, thus owes its existence to spontaneous symmetry breaking. Since the Standard Model does not include a right handed component for the neutrino, a mass term for the neutrino is not generated by these interactions.

If neutrinos have mass, there can be mixing and oscillations between the different neutrinos, an effect that has been used to explain the solar neutrino problem, as well as the shortfall of electron-antineutrinos coming from reactors [3,4,5,6,7,8]. Neutrino oscillations occur because the mass eigenstates of the neutrinos are not identical with their flavour eigenstates. Let us first see what happens to neutrinos propagating in vacuum [9,10,11,12]. If the neutrinos are all massless and thus degenerate eigenstates of the Hamiltonian, there will be no oscillation. Suppose however that the neutrinos have mass, different masses for different species, and further that the mass eigenstates are not identical with the flavor eigenstates. Then there will be mixing among neutrino eigenstates, which can be parametrized by a unitary matrix [13]. The neutrino field \(\nu _l\) which appears in a doublet with a lepton l is related to the field \(\nu _\alpha \) whose excitations are mass eigenstates by this matrix U as  \(|\nu _{lL}\rangle = \sum _{\alpha }U_{l\alpha } |\nu _{\alpha L}\rangle .\) At time t , the flavor eigenstates are related to the mass eigenstates by \(|\nu _{lL}\rangle = \sum _{\alpha } e^{-iE_\alpha t} U_{l\alpha } |\nu _{\alpha L}\rangle .\) Then the probability of finding a \(\nu _{l'}\) at time t in a beam that had started out as \(\nu _l\) is given by

$$\begin{aligned} P_{\nu _{l'}\nu _{l}}(t)= & {} \left| \langle \nu _{l'}| \nu _l(t) \rangle \right| ^2\nonumber \\= & {} \sum _{\alpha \,,\beta } \left| U^*_{l'\alpha } U_{l\alpha } U^*_{l\beta } U_{l'\beta } \right| \cos \left( (E_\alpha - E_\beta )t - \phi _{ll'\alpha \beta } \right) \,,\nonumber \\ \end{aligned}$$
(2)

where \(\phi _{ll'\alpha \beta } = \arg \left( U^*_{l'\alpha } U_{l\alpha } U^*_{l\beta } U_{l'\beta }\right) .\) The neutrinos are ultrarelativistic and start with the same spatial momenta, so we can write their energies as \(E_\alpha \simeq E + \frac{m_\alpha ^2}{2E}\). We can also replace the time of travel t by the distance of travel x and write

$$\begin{aligned} P_{\nu _{l'}\nu _{l}}(t) = \sum _{\alpha \,,\beta } \left| U^*_{l'\alpha } U_{l\alpha } U^*_{l\beta } U_{l'\beta } \right| \cos \left( \frac{( m^2_\alpha - m^2_\beta )x}{2E} - \phi _{ll'\alpha \beta } \right) . \end{aligned}$$
(3)

Clearly there will be no mixing and no oscillation if the neutrinos have vanishing mass in the vacuum. Interactions with a medium results in different effective masses for the neutrinos belonging to different lepton families, as first noted by Wolfenstein [14], but a neutrino mass is still needed. On a curved spacetime however, geometry provides an additional interaction with other fermions, thus a contribution to the Hamiltonian, challenging this conclusion.

2 Fermions in curved space

The dynamics of fermions in curved spacetime requires a spin connection, which specifies how the covariant derivative operator acts on spinors. The Dirac matrices \(\gamma ^I\) are defined on an “internal” flat space, isomorphic to the tangent space at each point. Then it is convenient to describe gravity in terms of the spin connection \(A^{IJ}_\mu \) and tetrads \(e^I_\mu \) in a formulation that sometimes goes by the name of Einstein-Cartan-Kibble-Sciama gravity [15,16,17,18]. Greek indices correspond to spacetime and Latin indices belong to the internal space, the tetrads relating the metric \(g_{\mu \nu }\) of spacetime with the Minkowski metric \(\eta _{IJ}\, (-+++)\) of the local tangent space through the relations \(\eta _{IJ}e^I_\mu e^J_\nu = g_{\mu \nu } \).

In terms of these variables, the action of gravity plus (one species of) fermion can be written as

$$\begin{aligned} S= & {} \int |e| d^4x \left[ \frac{1}{2\kappa } F^{IJ}_{\mu \nu } e^\mu _I e^\nu _J\right. \nonumber \\&\left. + \frac{i}{2} \left( \bar{\psi }\gamma ^K e^\mu _K ~D^f_\mu \psi - (\bar{\psi }\gamma ^K e^\mu _K ~D^f_\mu \psi )^\dagger \right) +im\bar{\psi }\psi \right] .\nonumber \\ \end{aligned}$$
(4)

where F is the curvature of the connection \( D \equiv d + A \) , while the covariant derivative of a fermion has been written as \(~D^f_\mu \psi = \partial _\mu \psi - \frac{i}{4} A^{IJ}_\mu \sigma _{IJ} \psi \). The cotetrad \(e^\mu _I\) is defined as the inverse of the tetrad \(e^I_\mu \) and satisfies \( e^\mu _I e^I_\nu = \delta ^\mu _\nu \). The tetrads and the spin connection are taken to be independent fields. Extremizing the action with respect to the spin connection and performing some index manipulations we find an expression for the spin connection,

$$\begin{aligned} A^{IJ}_\mu = \omega ^{IJ}_\mu + \frac{\kappa }{8} e^K_\mu \bar{\psi }\left[ \gamma _K,\sigma ^{IJ} \right] _+\psi . \end{aligned}$$
(5)

Here \(\omega ^{IJ}_\mu \) is the part of the spin connection built purely out of tetrads. In the metric formulation \(\omega ^{IJ}_\mu \) corresponds to the Levi-Civita (unique torsion-free metric-compatible) connection and is related to the Christoffel symbols as \(\varGamma ^\sigma _{\mu \nu } = e^{\sigma }_I\partial _\mu e^I_\nu + e^\sigma _I e_{\nu J} \omega _\mu ^{IJ}.\) In the absence of spinorial matter the spin connection is fully described on shell by \(\omega _\mu ^{IJ}.\)

If we now extremize the action with respect to the tetrads, we will get an equation into which we insert the solution for \(A_\mu ^{IJ}\) obtained above and contract with tetrads to produce Einstein equation

$$\begin{aligned} {R}_{\mu \nu } - \frac{1}{2} g_{\mu \nu }{R} = \kappa T_{\mu \nu }, \end{aligned}$$
(6)

where \(R_{\mu \nu }\) and R are as usual, while the stress-energy tensor \(T_{\mu \nu }\) is now quartic in the fermionic field,

$$\begin{aligned} T_{\mu \nu } ({\psi ,\bar{\psi }})= & {} \frac{i}{4} \left( \partial _{\mu } \bar{\psi } \gamma _I \psi e^I_{\nu } - \bar{\psi } \gamma _I \partial _{\mu } \psi e^I_{\nu }\right. \nonumber \\&\left. +\,\, \frac{i}{4} \omega ^{IJ}_{\mu } e^K_{\nu } \bar{\psi }\left[ \gamma _K,\sigma _{IJ}\right] _+ \psi + (\mu \leftrightarrow \nu ) \right) \nonumber \\&+\,\, i m {g_{\mu \nu }} \bar{\psi }\psi - \frac{3 \kappa }{16}g_{\mu \nu } \left( \bar{\psi } \gamma ^I\gamma _5\psi \right) ^2. \end{aligned}$$
(7)

In writing the last term we have used the identity \(\left[ \gamma _K,\sigma _{IJ} \right] _+ = 2\varepsilon _{IJKL} \gamma ^L \gamma ^5.\) The Dirac equation in the presence of gravity is thus

$$\begin{aligned}&2\gamma ^K e^\mu _K \partial _\mu \psi + e^\alpha _I \partial _\mu e^I_\alpha ~\gamma ^K e^\mu _K \psi + \partial _\mu e^\mu _K \gamma ^K \psi + 2 m\psi \nonumber \\&\quad - \frac{i}{4}A^{IJ}_\mu e^{\mu K} \left[ \gamma _K,\sigma _{IJ} \right] _+ \psi = 0 . \end{aligned}$$
(8)

Inserting the expression for \(A^{IJ}_\mu \) into this equation, we can write it as

$$\begin{aligned}&\gamma ^K e^\mu _K \partial _\mu \psi - \frac{i}{4}\omega ^{IJ}_\mu e^{\mu K} \gamma _K \sigma _{IJ} \psi + m\psi \nonumber \\&\quad +\frac{3i\kappa }{8}\left( \bar{\psi }\gamma ^I\gamma ^5\psi \right) \gamma _I\gamma ^5\psi = 0. \end{aligned}$$
(9)

This is the nonlinear Dirac equation that governs the motion of a fermion in curved spacetime. This equation has been known for a long time in various contexts for spacetimes with torsion [19,20,21,22]. Often this equation is written in “Planck units” in which Planck mass and Planck length are the units of mass and length respectively, so the \(\kappa \) in the nonlinear term is replaced by unity.

However, one important point often gets overlooked or at least is not explicitly mentioned, which is the fact that every fermion field must be included in the matter action and therefore all fermions will be present in the expression for spin connection,

$$\begin{aligned} A^{IJ}_\mu = \omega ^{IJ}_\mu + \frac{\kappa }{8} e^K_\mu \sum _f\bar{\psi _f}\left[ \gamma _K,\sigma ^{IJ} \right] _+\psi _f \,, \end{aligned}$$
(10)

where the sum is over all species of fermions present in the universe. This term will also appear in the nonlinear Dirac equation for each type of fermion,

$$\begin{aligned}&\gamma ^K e^\mu _K \partial _\mu \psi _i - \frac{i}{4}\omega ^{IJ}_\mu e^{\mu K} \gamma _K \sigma _{IJ} \psi _i + m\psi _i\nonumber \\&\quad +\frac{3i\kappa }{8}\left( \sum _f\bar{\psi }_f\gamma ^I\gamma ^5\psi _f\right) \gamma _I\gamma ^5\psi _i = 0. \end{aligned}$$
(11)

It is instructive to derive this equation from the perspective of a spacetime with torsion. If we start from a spin connection written as \(A^{IJ}_\mu = \omega ^{IJ}_\mu + \varLambda ^{IJ}_\mu \,,\) we find that

$$\begin{aligned} F^{IJ}_{\mu \nu }(A) = F^{IJ}_{\mu \nu }(\omega ) + \partial _{[\mu }\varLambda ^{IJ}_{\nu ]} + \left[ \omega _{[\mu }, \varLambda _{\nu ]}\right] + \eta _{KL}\varLambda ^{IK}_{[\mu }\varLambda ^{LJ}_{\nu ]}. \end{aligned}$$
(12)

This \(\varLambda \) is known as contorsion, and by extremizing the action with respect to it we find that the only nonvanishing variations come from the fermionic part of the action and the last term of \(F^{IJ}_{\mu \nu }(A)\), so that the equation of motion for \(\varLambda \) is

$$\begin{aligned} \varLambda ^{IJ}_\mu = \frac{\kappa }{8} e^K_\mu \sum _f\bar{\psi _f}\left[ \gamma _K,\sigma ^{IJ} \right] _+\psi _f. \end{aligned}$$
(13)

We can insert this solution for \(\varLambda \) into the Einstein equations and the Dirac equation, which are then exactly the same as we have found above. Furthermore, if we substitute this expression in the action, the resulting Einstein equations and the Dirac equation are also exactly the same as found above. In general, inserting a solution into the action gives incorrect results. In this case however, the antisymmetrized covariant derivative of \(\varLambda \) contribute to a total derivative in the action, so \(\varLambda \) is an auxiliary field.

The action of gravity with fermions is thus

$$\begin{aligned} S= & {} \int |e| d^4x \left[ \frac{1}{2\kappa } F^{IJ}_{\mu \nu } (\omega ) e^\mu _I e^\nu _J \right. \nonumber \\&\left. +\, \frac{i}{2}\sum _f \left( \bar{\psi }_f\gamma ^K e^\mu _K ~\hat{D}^f_\mu \psi _f - (\bar{\psi }_f\gamma ^K e^\mu _K ~\hat{D}^f_\mu \psi _f)^\dagger + 2 m_f \bar{\psi }_f\psi _f\right) \right. \nonumber \\&+\,\left. \frac{1}{2\kappa } \eta _{KL}\varLambda ^{IK}_{[\mu }\varLambda ^{LJ}_{\nu ]} e^\mu _I e^\nu _J +\frac{1}{8}\sum _f e^\mu _K\varLambda _\mu ^{IJ}\bar{\psi }_f\left[ \gamma ^K, \sigma _{IJ}\right] _+\psi _f \right] ,\nonumber \\ \end{aligned}$$
(14)

where we have written \(\hat{D}^f_\mu \psi = \partial _\mu \psi -\frac{i}{4}\omega ^{IJ}_\mu \sigma _{IJ}\psi .\) What we have is nothing more than general relativity with fermions. The contorsion \(\varLambda \) is an auxiliary field which enforces the interaction of spacetime geometry with fermionic fields but does not propagate. In the absence of fermions \(\varLambda \) vanishes, irrespective of any bosonic fields present as long as they are minimally coupled to gravity. Again this is all very well known, but writing the action in this form draws attention to another aspect which seems to have been overlooked.

The invariance of this action under local Lorentz transfomations means that \(\varLambda \) transforms homogeneously under them. In particular, the last term of the above action is invariant on its own. Since \(\varLambda \) does not transform inhomogeneously, the coupling of \(\varLambda \) to fermions is not like the coupling of a gauge field to fermions. The transformation of fermions does not affect that of \(\varLambda \), so their coupling is not protected by any invariance. This way it is more analogous to the coupling of a real scalar field to fermions – the coefficient of \(\bar{\psi }\phi \psi \) can be freely set by hand. But unlike a scalar field, \(\varLambda \) can couple chirally to fermions – it couples to the left-handed neutrinos irrespective of whether or not there are right-handed neutrinos in the universe. So there is no reason why different species of fermions cannot be coupled to \(\varLambda \) with different coupling strengths, analogous to the Yukawa coupling of fermions to a scalar field.

Therfore we propose that the generic form of the action of fermions coupled to gravity must be, not (14), but

$$\begin{aligned} S= & {} \int |e| d^4x \left[ \frac{1}{2\kappa } F^{IJ}_{\mu \nu } (\omega ) e^\mu _I e^\nu _J \right. \nonumber \\&+\, \frac{i}{2}\sum _f \left( \bar{\psi }_f\gamma ^K e^\mu _K ~\hat{D}^f_\mu \psi _f - (\bar{\psi }_f\gamma ^K e^\mu _K ~\hat{D}^f_\mu \psi _f)^\dagger + 2 m_f\bar{\psi }_f\psi _f \right) \nonumber \\&\left. +\, \frac{1}{2\kappa }\eta _{KL}\varLambda ^{IK}_{[\mu }\varLambda ^{LJ}_{\nu ]} {e^\mu _I e^\nu _J} +\frac{1}{8}\sum _f \varLambda _\mu ^{IJ} e^\mu _K\left( \lambda _{fL}\bar{\psi }_{fL} \left[ \gamma ^K, \sigma _{IJ}\right] _+\psi _{fL} \right. \right. \nonumber \\&\left. \left. +\, \lambda _{fR}\bar{\psi }_{fR} \left[ \gamma ^K, \sigma _{IJ}\right] _+\psi _{fR}\right) \right] , \end{aligned}$$
(15)

where we have taken into account the possibility that the tensor currents due to left and right-handed fermions, which transform independently under local Lorentz transformations, may couple to \(\varLambda \) with different coupling constants \(\lambda _{fL}\) and \(\lambda _{fR}\) , respectively. Even though in this form the action appears to be a philosophical departure from how fermions have always been treated in general relativity, it is in fact a generic form which must inevitably appear when fermions are put in curved spacetime, unless the coupling constants \(\lambda _f\) are set to zero by fiat. Furthermore, since \(\varLambda \) leads to a torsion

$$\begin{aligned} C^\alpha _{\phantom {\alpha }\mu \nu } \equiv \varLambda ^{IJ}_{[\mu } e_{\nu ]J} e^\alpha _I = \frac{\kappa }{2} \varepsilon ^{IJKL} e^\alpha _I e_{\mu J} e_{\nu K} \sum _f \bar{\psi }_f \gamma _L \gamma _5 \psi _{f}, \end{aligned}$$
(16)

which is totally antisymmetric and thus does not affect geodesics, all particles fall at the same rate in a gravitational field and the principle of equivalence is not violated by these coupling constants.

Solving for \(\varLambda \) and inserting the solution back into the action as before, we get

$$\begin{aligned} S= & {} \int |e| d^4x\left[ \frac{1}{2\kappa } F^{IJ}_{\mu \nu } (\omega ) e^\mu _I e^\nu _J \right. \nonumber \\&\left. +\, \frac{i}{2}\sum _f \left( \bar{\psi }_f\gamma ^K e^\mu _K ~\hat{D}^f_\mu \psi _f - (\bar{\psi }_f\gamma ^K e^\mu _K ~\hat{D}^f_\mu \psi _f)^\dagger + 2 m_f\bar{\psi }_f\psi _f \right) \right. \nonumber \\&\left. -\,\frac{3\kappa }{16}\left( \sum _f \left( \lambda _{fL}\bar{\psi }_{fL} \gamma _I \gamma ^5 \psi _{fL} + \lambda _{fR}\bar{\psi }_{fR} \gamma _I\gamma ^5 \psi _{fR}\right) \right) ^2 \right] .\nonumber \\ \end{aligned}$$
(17)

This action of fermions in curved spacetime is the core of our proposal, we will use this as the starting point of further calculations below. It is in fact not meaningful to work with a Dirac equation containing \(\varLambda \) , because \(\varLambda \) must always equal its on-shell value. Furthermore, the quartic term is independent of the background metric, but must be included as long as there is gravity in the universe. The only ways this term can be absent from the action are if gravity is turned off (\(\kappa \rightarrow 0\)), or if the quartic couplings \(\lambda _f\) are assumed to be zero. This term is suppressed by two powers of Planck mass compared to the mass term, but it could still help avert gravitational singularities [23,24,25,26]. We will see that it can also in principle allow neutrino oscillations even when the neutrinos are massless.

3 Neutrino oscillations

In considering the propagation of neutrinos through normal matter, i.e. solar or stellar cores or nuclear reactors, we need to take into account only the effects due to electrons and nucleons (or three colors each of up and down quarks) in addition to the quartic self-interaction of the neutrinos. Weak interactions will be present of course, we will come back to the effect of that. Let us also restrict to only two types of neutrinos as before. The quartic term relevant to our purpose is

$$\begin{aligned}&{\mathscr {L}}_{(\bar{\psi }\psi )^2} = -\frac{3\kappa }{16} \left[ \sum _{\alpha \,,\beta } \lambda _{\nu _\alpha }\lambda _{\nu _\beta } (\bar{\nu }_\alpha \gamma _I\nu _\alpha ) (\bar{\nu }_\beta \gamma ^I\nu _\beta ) \right. \nonumber \\&\quad \left. - 2\sum _{\alpha , f} \lambda _{\nu _\alpha }(\bar{\nu }_\alpha \gamma _I\nu _\alpha ) \left( -\lambda _{fV}\bar{\psi }_{f} \gamma ^I\psi _{f} + \lambda _{fA}\bar{\psi }_{f} \gamma ^I\gamma ^5\psi _{f}\right) \right] +\cdots \nonumber \\ \end{aligned}$$
(18)

where we have used the fact that the neutrinos are left-handed, written \(\lambda _V = \frac{1}{2}(\lambda _L - \lambda _R)\,, \lambda _A = \frac{1}{2}(\lambda _L + \lambda _R)\,\) for the other fermions, and indicated by dots the terms which do not involve neutrinos. It is easy to see that the \(\nu _\alpha \) which appear in the above expression, i.e. those which couple to \(\varLambda \) in (15), must be the mass eigenstates.

Following Wolfenstein [14] we calculate the forward scattering amplitude of the \(\alpha \)-type neutrinos,

$$\begin{aligned} {\mathcal {M}}= & {} -\frac{3\kappa }{8}\left( \bar{\nu }_\alpha \gamma _I\nu _\alpha \right) \lambda _{\nu _\alpha } \left\langle \sum _{\beta }\lambda _{\nu _\beta } \bar{\nu }_\beta \gamma ^I\nu _\beta \right. \nonumber \\&\quad \left. +\, \sum _{f=e,p,n} \left( \lambda _{fV}\bar{\psi }_{f} \gamma ^I\psi _{f} - \lambda _{fA}\bar{\psi }_{f} \gamma ^I\gamma ^5\psi _{f}\right) \right\rangle ,\nonumber \\ \end{aligned}$$
(19)

where the average is taken over the background. In the second sum, the spatial components of the axial current average to spin in the nonrelativistic limit, which for normal matter is negligible. The axial charge is also negligible. Similarly, the spatial components of the vector current average to the spatial momentum of the background, which can also be neglected. Since neutrinos are ultrarelativistic, their density inside a finite volume such as a star is bounded by the rate of production times the average density of the region, i.e. several orders of magnitudes smaller than the density of electrons or baryons. Thus the average of the neutrino term can also be neglected.

So what we are left with is the average of the temporal component of the vector current of fermions, which is nothing but the number density of the fermionsFootnote 1, \(\langle \bar{\psi } \gamma ^0\psi \rangle = -\langle {\psi }^\dagger _{f} \psi _{f}\rangle = -n_f\). The contribution of the forward scattering amplitude to the effective Hamiltonian density is therefore

$$\begin{aligned} \delta {\mathscr {H}}_{\text {eff}} = \left( \sum _{f=e,p,n} \lambda _{f} n_f\,\right) \sum _\alpha \lambda _{\nu _\alpha } {\nu }^\dagger _\alpha \nu _\alpha , \end{aligned}$$
(20)

where we have now dropped the subscript V  and absorbed a factor of \(\sqrt{\frac{3\kappa }{8}}\) in the definition of each of the \(\lambda .\)

This term acts as an effective mass term for the neutrinos, with \(m_\alpha = \lambda _{\nu _\alpha }\rho \) , where \(\rho = \sum \lambda _{f} n_f\)  is a weighted density of fermions that is the same for all neutrinos. This effective mass term modifies the mass of the neutrino and thus the oscillation formula, but even more interestingly, this term will cause neutrino oscillations even if neutrinos are massless. In that case, with two species of neutrinos we should replace \(|m^2_2 - m^2_1|\) by \(\rho ^2 |\lambda ^2_{\nu _2} - \lambda ^2_{\nu _1}|\, \) for constant density. The mixing matrix takes  the form \(U = \begin{pmatrix} \cos \theta &{} \sin \theta \\ -\sin \theta &{} \cos \theta \end{pmatrix}\) , so the probability of conversion of one particular flavor of neutrino into the other becomes

$$\begin{aligned} P_{\mathrm {conv}} = \sin ^2 2\theta \sin ^2 \left( \frac{\rho ^2\varDelta \lambda ^2}{4E} x\right) , \end{aligned}$$
(21)

where \(\varDelta \lambda ^2 = |\lambda ^2_{\nu _2} - \lambda ^2_{\nu _1}|.\)

This result is qualitatively different from the usual formula for neutrino oscillations in vacuum. If we do not write a mass term for the neutrino, all contributions to neutrino mass comes from the quartic interaction of the neutrino with fermions in the background as well as with itself. The actual background geometry of the spacetime does not contribute to the effective mass, at least for small curvatures, for which the leading order result of the forward scattering amplitude is sufficient. Thus a neutrino propagating through vacuum would not oscillate into different flavors, but oscillation would occur only in the region where there is a fermion density and stop when the neutrino leaves that region. This is exactly like what happens for oscillation due to weak interactions, except for the fact that leptons and baryons all contribute to the effective mass of neutrinos. We note that the coupling constants \(\lambda \) cannot be fixed by appealing to a more fundamental theory, but are in principle measurable by looking at oscillations when the neutrinos pass through different media, such as stars with different baryon densities, or nuclear reactor cores.

A non-vanishing \(\lambda _V\) for any fermion requires that the left-handed component of the fermion does not couple to torsion with the same strength as the right-handed component. Thus chiral symmetry is broken by torsion, or alternatively, by the quartic term which has its origin in spacetime geometry. We note that it is not only neutrinos, but all fermions get a contribution to their masses from this geometrical mechanism. Even if we assume that the contribution to effective mass is of the same order for all fermions in the same background matter density, the mass of very dense stars can be significantly larger than what is calculated from their baryon count. This can be expected to affect stellar models, dark matter estimates, and cosmology.

4 Weak interactions

Neutrinos passing through matter will also interact with it via electroweak gauge fields. In this case, if we look at the effective four-fermion interaction at lowest order, only the interactions with electrons are relevant. This is because the weak interaction couples flavor eigenstates of the neutrinos with other fields; \(\nu _e\) couples to electrons via both charged and neutral currents, while \(\nu _\mu \) couples to electrons only via the neutral current. The modification of the mixing angle due to weak interactions in normal matter is straightforward to calculate [13], as we show in outline below. The effective Lagrangian due to the charged current interaction can be written as

$$\begin{aligned} {\mathscr {L}}_{\mathrm {cc}} = -\frac{G_F}{\sqrt{2}} \left( \bar{\psi }_e \gamma ^I (1-\gamma ^5) \psi _e \right) \left( \bar{\nu }_e\gamma _I (1-\gamma ^5)\nu _e\right) , \end{aligned}$$
(22)

where a Fierz identity has been used. The (elastic) forward scattering amplitude provides the contribution to the Hamiltonian, \(\sqrt{2}G_F \left\langle \bar{\psi }_{e} \gamma ^I (1-\gamma ^5) \psi _e \right\rangle \left( \bar{\nu }_{eL}\gamma _I \nu _{eL}\right) \simeq \sqrt{2}G_F n_e \nu _{eL}^\dagger \nu _{eL}.\) Normal matter does not contain muons, so \(\nu _\mu \) does not have a charged current interaction.

Both flavors of neutrinos have the same neutral current interactions, so that the contribution appears as a common term to the Hamiltonian,

$$\begin{aligned} V_{\mathrm {nc}} = \sqrt{2}G_F \sum _{f = e, p, n} n_f\left[ I^f_{3L} - 2\sin ^2\theta _W Q^f\right] , \end{aligned}$$
(23)

where \(I^f_{3L}\) is the third component of weak isospin for the left-handed component of the fermion f and \(Q_f\) is its charge. For electrically neutral normal matter, the electron and proton contributions cancel each other and we are left with only the neutron contribution, equal to \(-\sqrt{2} G_F n_n/2\)  for both types of neutrinos. The Hamiltonian, diagonal in the space of mass eigenstates, can thus be written in flavor space as

$$\begin{aligned} H = H_c{\mathbb I} + \frac{\varDelta m^2}{4E} \begin{pmatrix} -\cos \theta &{}\quad \sin \theta \\ \sin \theta &{}\quad \cos \theta \end{pmatrix} + \begin{pmatrix} \sqrt{2}G_F n_e &{}\quad 0 \\ 0 &{}\quad 0 \end{pmatrix}. \end{aligned}$$
(24)

Here we have written \(H_c\) for the common terms in the Hamiltonian, and \(\varDelta m^2 = \rho ^2\left| \lambda ^2_{\nu _2} - \lambda ^2_{\nu _1}\right| . \) The effective mixing angle \(\tilde{\theta }\), including the effects of both the geometric and weak contributions, is thus given by

$$\begin{aligned} \tan 2\tilde{\theta } = \frac{\varDelta m^2 \sin 2\theta }{\varDelta m^2 \cos 2\theta - 2\sqrt{2} G_F n_e E}. \end{aligned}$$
(25)

This formula is for ultrarelativistic neutrinos, and thus valid only in regions where matter density is not too high. For regions with low matter density and \(n_e \simeq n_p \ge n_n\) and \(n_e \rightarrow 0,\) we find that the right hand side is proportional to \(n_e/E\). For three generations of leptons we can make similar substitutions into the standard formula for neutrino oscillations. For neutrinos passing through regions where the matter density is not constant (MSW effect [14, 27,28,29]), nonlinearity introduces additional complications particularly for very large matter densities, since effective masses of neutrinos and thus \(\varDelta m^2\), can vary greatly in such situations. We will not attempt to do that calculation here.

5 Discussion

A few remarks are in order. If we are interested only in calculating neutrino oscillations, we could take a pragmatic approach and start with Eq. (18) as the defining interaction term. This term is very similar to what is called non-standard neutrino interactions (NSI) [30,31,32,33,34], in this case flavor-changing in the neutrino sector. However, the geometrical origin of this interaction means that all fermions are in quartic interaction with one another, including themselves. At low energies and for matter at normal densities, the only effect of this is expected to be on neutrino dynamics as we have discussed in this paper, but at high energies as well as for high densities of matter, for example in stellar collapse or in the early universe, we can expect this interaction to play an important role. It is also not meaningful to talk about the quartic interactions in the absence of gravity. This is related to the fact that the quartic term appears to make the model nonrenormalizable by power counting. Because of their origin from curved spacetime, the quartic couplings contain in them a factor of \(\sqrt{\kappa }\) and thus must vanish in the flat space limit. So the counterterms in curved spacetime will have to involve curvature, thus the question of renormalizability cannot be addressed without a theory of quantum gravity, as has been noted elsewhere [35].

The second point is about the size of the quartic term. Is the contribution of this term to neutrino oscillations negligibly small? We think that this question cannot be answered purely theoretically. Unlike in the case of weak interactions, where the energy required to create W-boson pairs from the vacuum sets the scale of the four-fermion interaction (and the oscillation formula can be calculated directly from quantum field theory [36]), here the scale is not related to the quantum dynamics of the contorsion \(\varLambda \), which does not in fact have any dynamics. Therefore the coupling constants \(\lambda \) are free and can be set only by comparison with experimental data, not from any theoretical argument. By comparing with the NSI couplings, we can expect that the \(\lambda \) are one or two orders of magnitude smaller than the effective quartic couplings coming from weak interactions, i.e., than the Fermi constant. If the neutrinos are massless in vacuum, the flavor-changing interaction becomes crucial for oscillations inside matter, even if it is small.

It should be noted that the use of torsion for oscillation of massless neutrinos has been proposed earlier in [37]. A coupling of neutrinos to torsion analogous to the last term in Eq. (14) was proposed, with different couplings for different species of neutrinosFootnote 2. In this case the torsion is proportional to the spin density of the background, which for normal matter – i.e. if spins are not aligned – averages to zero over macroscopic volumes, so the effect on oscillations is very small. By breaking chiral symmetry in the coupling of fermions to torsion, and by using the fact that all fermions couple to torsion, we expect to find a much larger effect. There have been proposals of nonuniversal gravitational couplings of neutrinos leading to oscillations [38, 39], with the nonuniversality of couplings being subject to experimental constraints. In this case the equivalence principle is violated at the quantum level. In our proposal, nonuniversality of fermion couplings is restricted to their couplings with torsion, while their coupling with background gravity is universal – all particles continue to fall at the same rate.