1 Introduction

In almost all the applications of mathematical cosmology to the elaboration of observational data the isotropic Friedmann cosmological models are used. However, in the very early universe, the effects of anisotropies could be essential. As is well known, the most simple and well studied anisotropic cosmological models are the spatially homogeneous Bianchi models (see e.g. [1, 2]). Remarkably, already in Bianchi models one can observe such interesting and important phenomenon as the oscillatory approach to the cosmological singularity [35]. However, to the best of our knowledge, the behavior of quantum particles in the Bianchi universes has not been studied in detail. We think that the filling of this gap can be of interest not only from the theoretical point of view, but that it may also reveal some interesting physical effects in the very early universe.

Especially promising can be the study of the motion of Dirac particles (quarks and leptons) in gravitational fields. While this study has a rather long history [6, 7], some essential progress was made in a recent series of papers [812]. In particular, the general expressions, characterizing the spin motion in rather general gravitational fields were elaborated in paper [12]. Here we apply this formalism to the study of the behavior of quantum particles with spin in some Bianchi universes. We found a novel effect of anisotropy induced spin precession, revealed already in the simplest case of the Bianchi-I universe. We consider in some details the geodesics and the spin precession in Bianchi-I universes, putting special emphasis on the Kasner [13] and the Heckmann–Schucking [14] solutions. It is interesting also from the point of view of the study of cosmic jets, which was undertaken in Ref. [15].

Then we consider the precession in the Bianchi-IX universe. Here, first of all, two qualitatively different contributions to the angular velocity are present and, second, the oscillatory approach to the singularity [3, 4] implies the stochasticity of the changes of the direction of the precession axis.

We also consider the possible physical consequences of these effects in the very early universe, including the appearance of effective magnetic field. The similar precession effects are also present for classical rotators due to the equivalence principle and might be manifested in the structure formation in the very early universe.

The equivalence principle implied also the helicity flip which is of special interest for massive Dirac neutrinos. The neutrinos produced as active ones are becoming sterile due to gravity-induced helicity flip and may contribute to fermionic dark matter. The structure of the paper is as follows: in the second section we briefly describe the precession of the Dirac particle in gravitational field; in the third section we give the general formulas for geodesics and spin rotation in the Bianchi-I universes, and, in particular, in the empty Bianchi-I universes evolving, following the Kasner solution; Sect. 4 is devoted to the Heckmann–Schucking solution for a Bianchi-I universe filled with a dust-like matter; in the fifth section we consider the precession of spin in a Bianchi-IX universe; in the concluding section we discuss possible physical applications of described effects and give a short outlook of the future directions of investigations.

2 The precession of the Dirac particle in a gravitational field

Following Ref. [12], we present the general formula for the precession of the Dirac particle, adapted for the case of Bianchi universes, where we shall use the synchronous reference frame. The metric can be represented by

$$\begin{aligned} \mathrm{d}s^2 = \mathrm{d}t^2 - \delta _{\hat{a}\hat{b}} W_{c}^{\hat{a}} W_{d}^{\hat{b}}\mathrm{d}x^{c}\mathrm{d}x^{d}, \end{aligned}$$
(1)

where \(a,b,\ldots \) are world spatial indices, while the ones with the hats are spatial tetrad indices. We shall introduce also the inverse matrix \(W_{\hat{c}}^a\) such that \(W_{\hat{c}}^aW_{b}^{\hat{c}}=\delta _b^a\).

In Ref. [12] it was shown that the average spin \(\mathbf {s}\) in the semiclassical approximation is precessing with an angular velocity \(\mathbf {\Omega }\) like

$$\begin{aligned} \frac{\mathrm{d}\mathbf {s}}{\mathrm{d}t}=\mathbf {\Omega }\times \mathbf {s}=(\mathbf {\Omega }_{(1)}+\mathbf {\Omega }_{(2)})\times \mathbf {s}. \end{aligned}$$
(2)

The velocities \(\mathbf {\Omega }_{(1)}\) and \(\mathbf {\Omega }_{(2)}\) correspond to gravitoelectric and to gravitomagnetic forces, respectively. Then

$$\begin{aligned} \Omega ^{\hat{a}}_{(1)}=\frac{1}{\varepsilon '}W_{\hat{c}}^{\mathrm{d}}p_{d} \left( \frac{1}{2} \Upsilon \delta ^{\hat{a}\hat{c}}-\varepsilon ^{\hat{a}\hat{e}\hat{f}} C_{\hat{e}\hat{f}}^{\hat{c}}\right) , \end{aligned}$$
(3)
$$\begin{aligned} \Omega ^{\hat{a}}_{(2)}=\frac{1}{2}\Xi ^{\hat{a}}-\frac{1}{\varepsilon '(\varepsilon '+m)}\varepsilon ^{\hat{a}\hat{b}\hat{c}}Q_{(\hat{b} \hat{d})}\delta ^{\hat{d}\hat{n}}W_{\hat{n}}^kp_kW_{\hat{c}}^{l}p_l. \end{aligned}$$
(4)

Here \(C_{\hat{a}\hat{b}}^{\hat{c}}\) are anholonomy coefficients

$$\begin{aligned} C_{\hat{a}\hat{b}}^{\hat{c}}=W_{\hat{a}}^dW_{\hat{b}}^e \partial _{[d}\dot{W}_{e]}^{\hat{c}},\ C_{\hat{a}\hat{b}\hat{c}}=g_{\hat{c}\hat{d}}C_{\hat{a}\hat{b}}^{\hat{d}}. \end{aligned}$$
(5)

Then

$$\begin{aligned}&Q_{\hat{a}\hat{b}}=g_{\hat{a}\hat{c}}W_{\hat{b}}^d\dot{W}_{d}^{\hat{c}},\end{aligned}$$
(6)
$$\begin{aligned}&\Upsilon = -\varepsilon ^{\hat{a}\hat{b}\hat{c}}C_{\hat{a}\hat{b}\hat{c}},\end{aligned}$$
(7)
$$\begin{aligned}&\Xi _{\hat{a}}=\varepsilon _{\hat{a}\hat{b}\hat{c}}Q_{\hat{b}\hat{c}}. \end{aligned}$$
(8)

The motion of the particle is characterized by its momentum \(p_a\) and by the energy

$$\begin{aligned} \varepsilon '=\sqrt{m^2+\delta ^{\hat{c}\hat{d}}W_{\hat{c}}^aW_{\hat{d}}^bp_ap_b}. \end{aligned}$$

It can be absorbed together with the particle mass m and its momentum \(p_a\) by introducing the velocity \(v_a\). Thus, the precession velocities are

$$\begin{aligned} \Omega ^{\hat{a}}_{(1)}=v_{\hat{c}}\left( \frac{1}{2}\Upsilon \delta ^{\hat{a}\hat{c}}-\varepsilon ^{\hat{a}\hat{e}\hat{f}} C_{\hat{e}\hat{f}}^{\hat{c}}\right) , \end{aligned}$$
(9)
$$\begin{aligned} \Omega ^{\hat{a}}_{(2)}=\frac{1}{2}\Xi ^{\hat{a}}-\frac{\gamma }{\gamma +1}\varepsilon ^{\hat{a}\hat{b}\hat{c}}Q_{(\hat{b}\hat{d})}\delta ^{\hat{d}\hat{n}}v_{\hat{n}}v_{\hat{c}}, \end{aligned}$$
(10)

where \(\gamma =1/\sqrt{1-v^2}\) is a Lorentz factor.

3 The evolution of a spinning particle in the Kasner universe

The simplest spatially homogeneous and anisotropic universe is that of Bianchi-I type, whose metric is [1]

$$\begin{aligned} \mathrm{d}s^2=\mathrm{d}t^2-a^2(t)(\mathrm{d}x^1)^2-b^2(t)(\mathrm{d}x^2)^2-c^2(t)(\mathrm{d}x^3)^2.\qquad \end{aligned}$$
(11)

Comparing this expression with Eq. (1) we have the following expressions for the non-vanishing elements of the matrix \(W_{\hat{a}}^b\):

$$\begin{aligned} W_{1}^{\hat{1}}=a(t),\ W_{2}^{\hat{2}}=b(t),\ W_{3}^{\hat{3}}=c(t). \end{aligned}$$
(12)

The elements of the inverse matrix are

$$\begin{aligned} W_{\hat{1}}^1=\frac{1}{a(t)},\ W_{\hat{2}}^{2} = \frac{1}{b(t)},\ W_{\hat{3}}^3=\frac{1}{c(t)}. \end{aligned}$$
(13)

As is well known the anholonomy coefficients for the Bianchi-I model are equal to zero. Hence, \(\Upsilon = 0\) too and the “gravitoelectric” contribution \(\mathbf {\Omega }_{(1)}\) disappears. Then the non-vanishing coefficients of the matrix \(Q_{\hat{a}\hat{b}}\) are

$$\begin{aligned} Q_{\hat{1}\hat{1}}=-\frac{\dot{a}}{a},\ Q_{\hat{2}\hat{2}}=-\frac{\dot{b}}{b},\ Q_{\hat{3}\hat{3}}=-\frac{\dot{c}}{c}. \end{aligned}$$
(14)

Correspondingly also the vector \(\Xi _{\hat{a}}\) disappears. Finally, the non-vanishing components of the “gravitomagnetic” contribution to the precession of the Dirac particle in the Bianchi-I universe is, up to cyclic permutations [16],

$$\begin{aligned}&\Omega _{(2)}^{\hat{1}}=\frac{\gamma }{\gamma +1}v_{\hat{2}}v_{\hat{3}}\left( \frac{\dot{b}}{b}-\frac{\dot{c}}{c}\right) . \end{aligned}$$
(15)

The solution of the Einstein equations for the empty Bianchi-I universe, the Kasner solution [13, 17], is

$$\begin{aligned} a(t)=a_0t^{p_1},\ b(t)=b_0t^{p_2},\ c(t)=c_0t^{p_3}, \end{aligned}$$
(16)

where the Kasner indices \(p_1,p_2\), and \(p_3\) satisfy the relations

$$\begin{aligned} p_1+p_2+p_3=1,\ \ p_1^2+p_2^2+p_3^2=1. \end{aligned}$$
(17)

Correspondingly, Eq. (15) becomes

$$\begin{aligned}&\Omega _{(2)}^{\hat{1}}=\frac{\gamma }{\gamma +1}v_{\hat{2}}v_{\hat{3}}\left( \frac{p_2-p_3}{t}\right) \end{aligned}$$
(18)

and has some similarity to the Euler equations for rigid body rotation with \(p_i\) corresponding to the moments of inertia.

Obviously, this effect can be essential in the early universe, i.e. at the very small values of the proper cosmic time t.

The Kasner indices \(p_1, p_2\), and \(p_3\) can be expressed through the Lifshitz–Khalatnikov parameter u [17]:

$$\begin{aligned} p_1 = -\frac{u}{1+u+u^2},\quad p_2=\frac{1+u}{1+u+u^2},\quad \! p_3=\frac{u(1+u)}{1+u+u^2}, \end{aligned}$$
(19)

where \(u>1\).

First of all, let us find the velocities of a particle, moving in a Kasner universe, resolving the geodesic Eqs. [15, 18].

The geodesic equation for the spatial velocities of a massive particle is

$$\begin{aligned} \frac{\mathrm{d}^2x^i}{\mathrm{d}\tau ^2}+2\Gamma ^{i}_{j0}\frac{\mathrm{d}t}{\mathrm{d}\tau } \frac{\mathrm{d}x^j}{d\tau }=0. \end{aligned}$$
(20)

Here \(\tau \) is a proper time and the Christoffel symbols are

$$\begin{aligned} \Gamma ^{1}_{10}=\frac{\dot{a}}{a},\quad \Gamma ^{2}_{20}=\frac{\dot{b}}{b},\quad \Gamma ^{3}_{30}=\frac{\dot{c}}{c}. \end{aligned}$$
(21)

The solutions of these equations are

$$\begin{aligned} \frac{\mathrm{d}x^1}{\mathrm{d}\tau }=\frac{C_1}{a^2},\quad \frac{\mathrm{d}x^2}{\mathrm{d}\tau }=\frac{C_2}{b^2},\quad \frac{\mathrm{d}x^3}{\mathrm{d}\tau }=\frac{C_3}{c^2}. \end{aligned}$$
(22)

The geodesic equation for the coordinate time parameter t is

$$\begin{aligned} \frac{\mathrm{d}^2 t}{\mathrm{d}\tau ^2}+\Gamma ^0_{ij}\frac{\mathrm{d}x^i}{\mathrm{d}\tau } \frac{\mathrm{d}x^j}{\mathrm{d}\tau }=0, \end{aligned}$$
(23)

where

$$\begin{aligned} \Gamma ^0_{11}=\dot{a}a,\quad \Gamma ^0_{22}=\dot{b}b,\quad \Gamma ^0_{33}=\dot{c}c. \end{aligned}$$
(24)

Substituting Eqs (22) into Eq. (23) and multiplying it by \(\frac{dt}{d\tau }\) we find

$$\begin{aligned} \left( \frac{\mathrm{d}t}{\mathrm{d}\tau }\right) ^2= \frac{C_1^2}{a^2}+ \frac{C_2^2}{b^2}+\frac{C_3^2}{c^2}+D, \end{aligned}$$
(25)

where D is an integration constant. For the particles in the rest frame (\(C_1=C_2=C_3=0\)) the proper time \(\tau \) coincides with the coordinate one t, hence, \(D=1\) and

$$\begin{aligned} \frac{\mathrm{d}t}{\mathrm{d}\tau }=\sqrt{1+\frac{C_1^2}{a^2}+ \frac{C_2^2}{b^2}+\frac{C_3^2}{c^2}}. \end{aligned}$$
(26)

Let us note that this is nothing but the factor \(\gamma \). Then the three-velocities are

$$\begin{aligned} v^1=\frac{C_1}{\gamma a^2},\quad v^2=\frac{C_2}{\gamma b^2},\quad v^3=\frac{C_3}{\gamma c^2}. \end{aligned}$$
(27)

Using the tetrads (12), we can obtain the tetrad velocities

$$\begin{aligned} v^{\hat{1}}=\frac{C_1}{\gamma a},\quad v^{\hat{2}}=\frac{C_2}{\gamma b},\quad v^{\hat{3}}=\frac{C_3}{\gamma c}. \end{aligned}$$
(28)

Substituting Eq. (28) into the expression for the precession velocity (15), we obtain

$$\begin{aligned} \Omega ^{\hat{1}}&=\frac{1}{\gamma (\gamma +1)}\frac{C_2C_3}{bc} \left( \frac{\dot{b}}{b}-\frac{\dot{c}}{c}\right) \nonumber \\&=\frac{1}{\gamma (\gamma +1)}\frac{C_2C_3(p_2-p_3)t^{p_1-2}}{b_0c_0}, \end{aligned}$$
(29)
$$\begin{aligned} \Omega ^{\hat{2}}&=\frac{1}{\gamma (\gamma +1)}\frac{C_1C_3}{ac} \left( \frac{\dot{c}}{c}-\frac{\dot{a}}{a}\right) \nonumber \\&=\frac{1}{\gamma (\gamma +1)}\frac{C_1C_3(p_3-p_1)t^{p_2-2}}{a_0c_0}, \end{aligned}$$
(30)
$$\begin{aligned} \Omega ^{\hat{3}}&=\frac{1}{\gamma (\gamma +1)}\frac{C_1C_2}{ab}\left( \frac{\dot{a}}{a}-\frac{\dot{b}}{b}\right) \nonumber \\&=\frac{1}{\gamma (\gamma +1)}\frac{C_1C_2(p_1-p_2)t^{p_3-2}}{a_0b_0}. \end{aligned}$$
(31)

Let us suppose that \(p_1 \le p_2 \le p_3\) and that they can be parametrized as in Eq. (19). The dependence of the factor \(\gamma \) on time [see Eq. (26)] is rather involved, which makes the precession equations unsolvable in simple terms. Thus, let us consider the Kasner universe close to the singularity when \(t \rightarrow 0\). In this case

$$\begin{aligned} \gamma = \frac{C^3}{t^{p_3}}. \end{aligned}$$
(32)

Substituting this expression into Eqs. (29)–(31), we obtain

$$\begin{aligned} \Omega ^{\hat{1}}=\frac{C_2C_3(p_2-p_3)t^{2p_3+p_1-2}}{C_3^2b_0c_0}, \end{aligned}$$
(33)
$$\begin{aligned} \Omega ^{\hat{2}}=\frac{C_1C_3(p_3-p_1)t^{2p_3+p_2-2}}{C_3^2a_0c_0}, \end{aligned}$$
(34)
$$\begin{aligned} \Omega ^{\hat{3}}=\frac{C_1C_2(p_1-p_2)t^{3p_3-2}}{C_3^2a_0b_0}. \end{aligned}$$
(35)

Writing down explicitly the exponents

$$\begin{aligned} \begin{aligned} 2p_3+p_1-2=&\frac{-u-2}{1+u+u^2},\\ 2p_3+p_2-2=&\frac{u-1}{1+u+u^2},\\ 3p_3-2=&\frac{u^2+u-2}{1+u+u^2}, \end{aligned} \end{aligned}$$
(36)

we see that only \(\Omega ^{\hat{1}}\) survives in the vicinity of singularity. Thus, the equations for the spin precession (2) take the form

$$\begin{aligned} \begin{aligned}&\dot{s}^{\hat{2}}=Et^{q}s^{\hat{3}},\\&\dot{s}^{\hat{3}}=-Et^{q}s^{\hat{2}}, \end{aligned} \end{aligned}$$
(37)

where

$$\begin{aligned} E= & {} \frac{C_2(u^2-1)}{C_3b_0c_0(1+u+u^2)} > 0,\end{aligned}$$
(38)
$$\begin{aligned} q= & {} \frac{-u-1}{1+u+u^2}. \end{aligned}$$
(39)

It is easy to integrate this couple of equations and to find that

$$\begin{aligned} \begin{aligned}&s^{\hat{2}} = s_0\sin \left( \frac{Et^{q+1}}{q+1}+\varphi \right) ,\\&s^{\hat{3}} = s_0\sin \left( \frac{Et^{q+1}}{q+1}+\varphi \right) , \end{aligned} \end{aligned}$$
(40)

where the amplitude \(s_0\) and the phase \(\varphi \) are the integration constants. It is important that

$$\begin{aligned} q+1 = \frac{u^2}{1+u+u^2} > 0. \end{aligned}$$

That means that in spite of the fact that the precession velocity tends to infinity, this singularity is an integrable one and the solution of the equations of the precession shows that the average spin vector \(\mathbf {s}\) tends to some fixed direction (determined by the phase \(\varphi \)) in quite a regular way.

Let us consider an opposite limiting case when the time parameter t is big enough to make the term \(C^1/t^{p_1}\) dominating in the expression (26). (Let us note, however, that the value of the time parameter is still not as big to make the Kasner regime invalid and to have a transition to the isotropization due to the presence of matter, which will be described in the next section.) A similar limit was considered in Ref. [15], where it was related to the possible production of cosmic jets. In this context, the component velocity of a particle oriented along the axis of contracting dimension tends to the velocity of light. What is the behavior of the angular momentum of the jet? It is easy to see that in this case the factor \(\gamma \) behaves as

$$\begin{aligned} \gamma = \frac{C^1}{t^{p_1}}. \end{aligned}$$
(41)

Then the components of the precession velocity are

$$\begin{aligned} \Omega ^{\hat{1}}= & {} \frac{C_2C_3(p_2-p_3)t^{3p_1-2}}{C_1^2b_0c_0},\end{aligned}$$
(42)
$$\begin{aligned} \Omega ^{\hat{2}}= & {} \frac{C_1C_3(p_3-p_1)t^{2p_1+p_2-2}}{C_3^2a_0c_0}, \end{aligned}$$
(43)
$$\begin{aligned} \Omega ^{\hat{3}}= & {} \frac{C_1C_2(p_1-p_2)t^{2p_1+p_3-2}}{C_3^2a_0b_0}. \end{aligned}$$
(44)

The largest power of t is

$$\begin{aligned} 2p_1+p_3-2=-\frac{u^2+3u+2}{1+u+u^2} < 0. \end{aligned}$$

Thus, all the components of the precession velocity tend rapidly to zero when \(t \rightarrow \infty \).

Let us recall that due to the equivalence principle, the macroscopic angular momentum is evolving like spin. So, the angular momenta of jets are changing very slowly.

It is curious that even in the vicinity of the cosmological singularity of the Kasner universe, the angular momentum remains quite stable and does not exhibit any singular behavior. Perhaps, one can say that, in a way, the rotation possesses some smoothing effect.

4 Geodesics and jets in the Heckmann–Schucking universe

In Ref. [15] an interesting possibility of production of jets in the Kasner spacetime was considered. Such a possibility is connected with the fact that at the expansion the velocity of test particles in the contracting direction is growing, tending to that of light [see Eq. (27)]. It is particularly interesting to study such e phenomenon in a more realistic Heckmann–Schucking model, which represents the Bianchi-I universe filled with dust [14]. Note that this solution can easily be generalized for the case when the stiff matter and the cosmological constant are also present [19, 20].

Now, let us give some details of the Heckmann–Schucking solution following the approach developed in [19]. It is convenient to represent the scale factors ab, and c for a Bianchi-I universe (11) as

$$\begin{aligned} \begin{aligned}&a(t)=R(t)\exp (\alpha (t)+\beta (t)),\\&b(t)=R(t)\exp (\alpha (t)-\beta (t)),\\&c(t)=R(t)\exp (-2\alpha (t)). \end{aligned} \end{aligned}$$
(45)

The Friedmann-type equation for the function R(t) can be written in the form

$$\begin{aligned} \frac{\dot{R}^2}{R^2}=\dot{\alpha }^2+\frac{\dot{\beta }^2}{3}+\frac{M}{R^3}, \end{aligned}$$
(46)

where the term \(\frac{M}{R^3}\) is related to the presence of dust in the universe, while the squared derivatives of anisotropy factors \(\alpha (t)\) and \(\beta (t)\) represent the influence of the anisotropy on the dynamics of the scale factor R(t). The former, in turn satisfy the equations

$$\begin{aligned} \begin{aligned}&\dot{\alpha }=\frac{\alpha _0}{R^3},\\&\dot{\beta }=\frac{\beta _0}{R^3}, \end{aligned} \end{aligned}$$
(47)

where \(\alpha _0\) and \(\beta _0\) are the integrations constants. Then

$$\begin{aligned} \frac{\dot{R}^2}{R^2}=\frac{M}{R^3} +\frac{S}{R^6}, \end{aligned}$$
(48)

where

$$\begin{aligned} S=\alpha _0^2+\frac{\beta _0^2}{3}. \end{aligned}$$
(49)

Equation (48) can easily be integrated, giving

$$\begin{aligned} R(t) = \left( \frac{9}{4}Mt^2+3\sqrt{S}t\right) ^{1/3}, \end{aligned}$$
(50)

where we have chosen initial conditions in such a way that at the moment \(t=0\) the universe has a cosmological singularity. Substituting this expression into Eqs (47) we have

$$\begin{aligned} \alpha (t) = \alpha _0\int \frac{\mathrm{d}t}{\frac{9}{4}Mt^2+3\sqrt{S}t} = \frac{\alpha _0}{3\sqrt{S}} \ln \left( \frac{t}{t+\frac{4\sqrt{S}}{3M}}\right) , \end{aligned}$$
(51)

where the integration constant is chosen in such a way that \(\alpha (t) \rightarrow 0\) when \(t \rightarrow \infty \). The expression for \(\beta (t)\) is quite analogous. Now, we can write down the expressions for the scale factors of the Bianchi-I universe:

$$\begin{aligned} \begin{aligned}&a(t)=\left( \frac{9}{4}M\right) ^{\frac{1}{3}}t^{p_1}(t+t_0)^{\frac{2}{3}-p_1},\\&b(t)=\left( \frac{9}{4}M\right) ^{\frac{1}{3}}t^{p_2}(t+t_0)^{\frac{2}{3}-p_2},\\&c(t)= \left( \frac{9}{4}M\right) ^{\frac{1}{3}}t^{p_3}(t+t_0)^{\frac{2}{3}-p_3}, \end{aligned} \end{aligned}$$
(52)

where

$$\begin{aligned} t_0 = \frac{4\sqrt{S}}{3M}, \end{aligned}$$
(53)

and the exponents

$$\begin{aligned} \begin{aligned}&p_1=\frac{1}{3}+\frac{\alpha _0+\beta _0}{3\sqrt{S}},\\&p_2=\frac{1}{3}+\frac{\alpha _0-\beta _0}{3\sqrt{S}},\\&p_3=\frac{1}{3}+\frac{-2\alpha _0}{3\sqrt{S}} \end{aligned} \end{aligned}$$
(54)

satisfy the Kasner relations (17). It is easy to see that in the vicinity of the singularity when \(t \ll t_0\) the solution (54) behaves as the Kasner one (16), while at \(t \gg t_0\) the scale factors behave as

$$\begin{aligned} a(t)\sim t^{2/3},\quad b(t) \sim t^{2/3},\quad c(t) \sim t^{2/3}, \end{aligned}$$
(55)

i.e. the universe behaves as a Friedmann flat universe filled with dust. The magnitude \(t_0\) characterizes the time scale where the regime is changed.

Let us note that we cannot make a naive transition from the Heckmann–Schucking solution (52) to the Kasner solution (16) by requiring that \(M \rightarrow 0\). It is connected with the fact that the integrals for the anisotropy functions (51) logarithmically diverge at \(t \rightarrow \infty \) if \(M=0\). Thus, the scale \(t_0=4\sqrt{S}/3M\) loses sense and one should introduce another time scale to make it convergent. This phenomenon can be considered as a particular example of the automodelity of the second order [21]. Under the automodelity of the second order one means the nonexistence of a finite limit of some observable when a particular parameter is tending to zero or to infinity. Instead, one has a power dependence on this parameter. We would like to stress that this power is similar to anomalous dimension in the renormalization group approach to quantum field theory [22].

An interesting feature of the Heckmann–Schucking solution (52) is that the scale factor a(t) has a non-monotonic behavior if, as usual, we choose \(p_1 < 0\). Indeed, this factor is infinitely large at the singularity at \(t = 0\), then it begin decreasing arriving the point of minimal contraction at the moment

$$\begin{aligned} t_\mathrm{min} = -\frac{3p_1}{2}t_0=\frac{3u}{2(1+u+u^2)}t_0. \end{aligned}$$
(56)

The minimal value of the scale factor a is

$$\begin{aligned}&a_\mathrm{min}=\left( \frac{4S}{M}\right) ^{\frac{1}{3}}\times f(u),\nonumber \\&f(u)=\frac{ (3u)^{-\frac{u}{1+u+u^2}} (2u^2+5u+2)^{\frac{2u^2+5u+2}{3(1+u+u^2)}}}{[2(1+u+u^2)]^{\frac{2}{3}}}. \end{aligned}$$
(57)
Fig. 1
figure 1

The dependence of the function f(u) on the Lifshitz–Khalatnikov parameter u

The plot of the function f(u) is presented in Fig. 1. It decreases monotonically from \(f(1)\approx 1.9\) until \(f(\infty )=1\).

Now, it is convenient to write down the explicit expression for the component of the tetrad velocity oriented along the contracting-expanding axis 1:

$$\begin{aligned} v^{\hat{1}}=\frac{C_1}{a\sqrt{1+\frac{C_1^2}{a^2}+\frac{C_2^2}{b^2}+\frac{C_3^2}{c^2}}}. \end{aligned}$$
(58)

This component is maximal for the particles with vanishing transverse velocities, i.e. with \(C_2 =C_3=0\). Then, for a fixed value of \(C_1\), the maximal velocity is

$$\begin{aligned} v^{\hat{1}}_\mathrm{max}=\frac{C_1}{\sqrt{a^{2}_\mathrm{min}+C_1^2}}. \end{aligned}$$
(59)

It is approaching the velocity of light when \(C_1\) is growing.

5 Precession in a Bianchi-IX universe

The matrix \(W^{\hat{b}}_{\ a}\) for the Bianchi-IX metric (see e.g. [2]) can be written as

$$\begin{aligned} W^{\hat{b}}_{\ a}=\left( \begin{array}{ccc} -a\sin x^3&{}\quad a\sin x^1\cos x^3&{}\quad 0\\ b\cos x^3&{}\quad b\sin x^1\sin x^3&{}\quad 0\\ 0&{}\quad c\cos x^1&{}\quad c \end{array} \right) , \end{aligned}$$
(60)

where ab, and c are some functions of time, as usual. Its inverse matrix \(W^c_{\ \hat{b}}\) is

$$\begin{aligned} W^c_{\ \hat{b}}=\left( \begin{array}{ccc} -\frac{1}{a}\sin x^3&{}\quad \frac{1}{b}\cos x^3&{}\quad 0\\ \frac{1}{a}\frac{\cos x^3}{\sin x^1}&{}\quad \frac{1}{b}\frac{\sin x^3}{\sin x^1}&{}\quad 0\\ -\frac{1}{a}\frac{\cos x^1\cos x^3}{\sin x^1}&{}\quad -\frac{1}{b}\frac{\sin x^3\cos x^1}{\sin x^1}&{}\quad \frac{1}{c} \end{array} \right) . \end{aligned}$$
(61)

The non-vanishing anholonomy coefficients are

$$\begin{aligned} C_{\hat{1}\hat{2}}^{\hat{3}}=\frac{c}{ab},\quad \mathrm{and~~ cyclic\ permutations}. \end{aligned}$$
(62)

Then

$$\begin{aligned} \Upsilon = 2\left( \frac{c}{ab}+\frac{b}{ac}+\frac{a}{bc}\right) . \end{aligned}$$
(63)

The non-vanishing coefficients of the matrix \(Q_{\hat{a}\hat{b}}\) are the same as in Eq. (14). Hence, \(\Xi _{\hat{a}}\) is again equal to zero. The “gravitoelectric” precession velocity, up to cyclic permutations, is

$$\begin{aligned}&\Omega ^{\hat{1}}_{(1)}=v^{\hat{1}}\left( \frac{c}{ab}+\frac{b}{ac}-\frac{a}{bc}\right) , \end{aligned}$$
(64)

The expressions for the components of the “gravitomagnetic” velocity \(\mathbf {\Omega }_{(2)}\) remain the same as in Bianchi-I universe [see Eq. (15)].

Thus, we have seen that the “gravitomagnetic” velocity in the Bianchi-IX universe is the same as in Bianchi-I universe, however, in the Bianchi-IX universe there is also the “gravitoelectric” precession. The presence of this term (64) is connected with the presence of a spatial curvature in the Bianchi-IX universe, in contrast to the Bianchi-I universe. It is connected with the fact that the anholonomy coefficients are non-vanishing in the Bianchi-IX universe.

Now, let us discuss what happens with the precession of the Dirac particles in the Bianchi-IX universe, evolving toward the cosmological singularity. As was discovered at the end of 1960s the Bianchi-IX universe approaches the singularity in an oscillating way [35] and these oscillations have chaotic character [23, 24]. The evolution toward the singularity can be described by the subsequence of the periods when the universe behaves like a Kasner universe (16), (17), separated by time intervals when one Kasner regime is substituted by another one. Let us recall how these changes occur. The Kasner indices \(p_1, p_2\), and \(p_3\) can be expressed through the Lifshitz–Khalatnikov parameter u [17] as

$$\begin{aligned} p_1 = -\frac{u}{1+u+u^2},\quad p_2=\frac{1+u}{1+u+u^2},\quad p_3=\frac{u(1+u)}{1+u+u^2}, \end{aligned}$$
(65)

where \(u>1\). The perturbative terms in the Einstein equations, connected with the spatial curvature, induce the transition to another Kasner regime (which is called “epoch” [1, 3, 4]). Such that

$$\begin{aligned} p'_1=p_2(u-1),\quad p'_2 = p_1(u-1),\quad p'_3 = p_3(u-1). \end{aligned}$$
(66)

That means that if during the preceding epoch, the universe is expanding along the first axis and contracting along the second and third axes, in the successive epoch it begins expanding along the second axis, i.e. the first and second axis change their roles. There is another type of transition when the parameter u becomes less than 1. In this case the change of the “Kasner era” occurs [1, 3, 4]. This change is described by the following formula:

$$\begin{aligned} p'_1=p_1\left( \frac{1}{u}\right) ,\quad p'_2=p_3\left( \frac{1}{u}\right) ,\quad p'_3=p_2\left( \frac{1}{u}\right) . \end{aligned}$$
(67)

The transition from one Kasner era to another can be described by the mapping transformation of the interval [0, 1] into itself by the formula

$$\begin{aligned} Tx = \left\{ \frac{1}{x}\right\} ,\quad \ x_{s+1} = \left\{ \frac{1}{x_{s}}\right\} , \end{aligned}$$
(68)

where curly brackets stay for the fractional part of a number. This transformation belongs to the so-called expanding transformations of the interval [0, 1], i.e., transformations \(x\sim f(x)\) with \(|f'(x)| > 1\). Such transformations possess the property of exponential instability: if we take initially two close points, their mutual distance increases exponentially under the iterations of the transformations. It is well known that exponential instability leads to the appearance of strong stochastic properties [23, 24].

Now, let us describe what happens with our angular velocities \(\mathbf {\Omega }_{(1)}\) and \(\mathbf {\Omega }_{(2)}\) when the universe has an oscillating approach to the singularity. The expression for \(\mathbf {\Omega }_{(2)}\) can be written as

$$\begin{aligned} \begin{aligned}&\Omega ^{\hat{1}}_{(2)}=\frac{\gamma }{(\gamma +1)t}v_{\hat{2}}v_{\hat{3}}\cdot \frac{1-u^2}{1+u+u^2},\\&\Omega ^{\hat{2}}_{(2)}=\frac{\gamma }{(\gamma +1)t}v_{\hat{1}}v_{\hat{3}}\cdot \frac{2u+u^2}{1+u+u^2},\\&\Omega ^{\hat{3}}_{(2)}=-\frac{\gamma }{(\gamma +1)t}v_{\hat{1}}v_{\hat{2}}\cdot \frac{1+2u}{1+u+u^2}. \end{aligned} \end{aligned}$$
(69)

It is easy to show that after the change of the Kasner epoch the new expressions for the components of the velocity can be obtained by substitution \(u \rightarrow -u\) in this equation. It means that the component the first component does not change the sign, the third component changes the sign while the second component changes the sign if \(u > 2\).

After the change of the Kasner era all the components of the velocity \(\mathbf {\Omega }_{(2)}\) just change the sign, preserving the absolute values, as follows immediately from (67).

The leading terms for the components of the velocity \(\mathbf {\Omega }_{(1)}\) are

$$\begin{aligned}&\Omega ^{\hat{1}}_{(1)} \sim -v^{\hat{1}}(t)^{\left( -1-\frac{2u}{1+u+u^2}\right) },\nonumber \\&\Omega ^{\hat{b}}_{(1)} \sim v^{\hat{b}}(t)^{\left( -1-\frac{2u}{1+u+u^2}\right) },\quad b=2, 3. \end{aligned}$$
(70)

The change of epochs boils down to

$$\begin{aligned}&\Omega ^{\hat{2}}_{(1)} \sim -v^{\hat{2}}(t)^{\left( -1-\frac{2u-2}{1-u+u^2}\right) },\nonumber \\&\Omega ^{\hat{a}}_{(1)} \sim v^{\hat{a}}(t)^{\left( -1-\frac{2u-2}{1-u+u^2}\right) },\quad a=1, 3. \end{aligned}$$
(71)

Curiously, the change of eras leave leading terms under consideration intact. Thus, we have seen that the precession of the Dirac particle in the Bianchi-IX universe evolving toward the singularity also follows a chaotic pattern.

6 Discussion and outlook

We have seen that the precession of a Dirac particle spin exists already in the Bianchi-I universe. Interestingly, the Kasner indices play the role similar to the moments of inertia in the Euler equation for the rigid body precession. In the Bianchi-IX universe the precession acquires the chaotic character due to the stochasticity of the oscillatory approach to the cosmological singularity [35]. Remarkably, the formulas for the changes of the precession direction are nicely expressible in terms of the Lifshitz–Khalatnikov parameter u.

What physical consequences could it have for the very early universe?

Let us note first that precession due to anisotropy of the universe may be considered as generated by some effective magnetic field. The latter may easily be obtained by equating the angular velocity to that of Larmor precession. For the definiteness, in Bianchi-I universe it reads, up to cyclic permutations,

$$\begin{aligned}&H^{\hat{1}}=\frac{m \gamma }{2eg(\gamma +1)}v_{\hat{2}}v_{\hat{3}}\left( \frac{p_2-p_3}{t}\right) \end{aligned}$$
(72)

As a result, the anisotropy of the universe provides all the Dirac particles with effective anomalous magnetic moments. In particular, the transitions between Dirac neutrinos and their sterile partners may be induced in such a way. Moreover, due to the equivalence principle, these conclusions may be extended to particles of any spin [25] and also to classical rotators [11]. The latter fact opens the possibility to study the role of the discussed precession effects for the formation of structures in the very early universes and angular momentum of cosmic strings [26].

Also, the equivalence principle leads to the precession frequencies of spin and velocity differing by factor 2, so that the helicity is conserved in the non-inertial frame rotating with the same frequency but it is flipped [25] in the inertial frame. This effect is especially interesting for massive Dirac neutrinos. If they are produced in the very early universe as active ones, i.e. possessing the left chirality,Footnote 1 the gravity-induced helicity flip may turn them to sterile neutrinos which remain in this state after the universe becomes isotropic and contribute to fermionic dark matter. As soon as the rotation period is defined by the age of the universe in the anisotropic phase, the amounts of sterile and active neutrinos at the end of this phase are of the same order:

$$\begin{aligned} \frac{N_{\mathrm{sterile}}}{N_{\mathrm{active}}} \sim 1. \end{aligned}$$
(73)

If the spin happens to perform the rotation for an angle close to \(\pi \), the velocity will rotate for the angle close to \(2\pi \) and the most of the fermions will become sterile:

$$\begin{aligned} \frac{N_{\mathrm{sterile}}}{N_{\mathrm{active}}} \gg 1. \end{aligned}$$
(74)

This opens, in principle, the possibility to attribute the dark matter to the contribution of light sterile neutrinos whose abundance would be much larger than that of thermal ones. The validity of (74) would require a sort of fine tuning, but not too strong, as the required excess of sterile neutrinos is about two orders of magnitude, and the closeness of the rotation angle to \(\pi \) should also be at the percent level.

The anisotropic metrics, in the case of some scale parameters being much smaller than others, may provide the model of transitions between spaces of different (effective) dimension [2729]. The spin dynamics in that case is manifesting the interesting effects [30]. Other interesting directions of investigation could be connected with the study of the spin precession in Bianchi II universes, in the generalized Melvin cosmologies in the presence of electromagnetic fields [31] and in the double Kasner universes [26]. We hope to study these topics in detail in future publications.