1 Introduction

The idea of Hamiltonian reduction is to describe general relativity by true gravitational degrees of freedom only, after solving the constraints associated with the spacetime diffeomorphisms. It was first suggested by ADM using the canonical (3+1) decomposition decades ago, and they showed that Hamiltonian reduction can be done successfully in asymptotic region of asymptotically flat spacetimes by isolating the true gravitational degrees of freedom propagating in asymtotically flat zone[1]. Beyond asymptotically flat spacetimes; however, the Hamiltonian reduction was only partially successful, namely, one must introduce extra Killing symmetries to isolate the true gravitational degrees of freedom, free from spacetime diffeomorphisms [2,3,4,5,6,7,8].

Recently, one of the authors has shown that, using the (2+2) formalism based on the null hypersurface decomposition of spacetimes, Hamiltonian reduction can be done without assuming any isometry [9, 10]. In this method, a set of privileged spacetime coordinates must be introduced, which are chosen as functions defined on the phase space of Einstein’s theory. In these coordinates, the spacetime constraints are solved, in the sense that they turn out to be the local conservation equations such as energy and momentum conservation equations in ordinary field theories.

In this paper, we will introduce a new method of solving Einstein’s equations using the (2+2) Hamiltonian reduction. We will first present the complete set of Einstein’s equations obtained after Hamiltonian reduction in privileged coordinates, and then impose two spacetime Killing symmetries to put the Einstein’s equations in the Ernst form [11]. We will solve this Ernst-like equation, which turn out different from the usual Ernst equation, and show that it generates a four-parameter family of exact solutions. We show that some of them correspond to general Kasner solution and its deformation, after suitable coordinate transformations from the privileged coordinates back to the usual spacetime coordinates.

We also study more general case where two gravitational polarizations co-exist and interact with each other. Although we were not able to find explicit solutions in this case, we were able to write down the non-linear partial differential equations for one polarization interacting with the pre-determined another polarization that defines the “background” solution spacetime.

2 Einstein’s equations in the (2+2) Hamiltonian reduction

In the theory of the (2+2) Hamiltonian reduction, it is known that the most general form of the spacetime metric in the privileged coordinates \((\tau , R, Y^{a})\) is given by [9, 10]

$$\begin{aligned} \textrm{d}s^2 = -4h \textrm{d}R \textrm{d}\tau - 2h \textrm{d}R^2 +\tau \rho _{ab} (\textrm{d}Y^{a} + A_{R}^{\ a }\textrm{d}R) (\textrm{d}Y^{b} + A_{R}^{\ b }\textrm{d}R). \end{aligned}$$
(2.1)

If we assume the “zero-twist” condition, namely, \(A_{R}^{\ a }=0\), then the Einstein’s equations can be written as the following set of equations (i), (ii), (iii), and (iv):

(i) The four constraint equations define the local Hamiltonian density \(-\pi _{\tau }\) and momentum densities \(\pi _{R}\) and \(\tau ^{-1}\pi _{a}\) given by

$$\begin{aligned} -\pi _{\tau }= & {} \mathcal {H} - 2 \partial _{R}\ln (-h), \end{aligned}$$
(2.2)
$$\begin{aligned} \pi _{R}= & {} -\pi ^{ab}\partial _{R}\rho _{ab}, \end{aligned}$$
(2.3)
$$\begin{aligned} \tau ^{-1}{\pi }_{a}= & {} - \pi ^{bc} \frac{\partial }{\partial Y^{a}} \rho _{bc} + 2\frac{\partial }{\partial Y^{b}}(\pi ^{bc}\rho _{ac})\nonumber \\{} & {} - \frac{\partial }{\partial Y^{a}}\{ \tau ( \mathcal {H} + \pi _{R})\}, \end{aligned}$$
(2.4)

where \(\mathcal {H}\) is given by

$$\begin{aligned} \mathcal {H}= & {} \tau ^{-1} \rho _{a b}\rho _{c d}\pi ^{a c}\pi ^{b d} + \frac{1}{4}\tau \rho ^{a b} \rho ^{c d} (\partial _{R}\rho _{a c}) (\partial _{R}\rho _{b d})\nonumber \\{} & {} +\pi ^{a c}\partial _{R}\rho _{a c} + \frac{1}{2\tau }, \end{aligned}$$
(2.5)

and \(\pi ^{a b}\) is the conjugate momentum of the metric \(\rho _{a b}\) of the transverse two-surface \(N_{2}\) with a unit determinant (\(\textrm{det}\ \rho _{ab} = 1\)).

(ii) The four equations that relate the superpotential \(\ln (-h)\) to \(\mathcal {H}- \tau ^{-1}\), \(\pi _{R}\), and \(\tau ^{-1}\pi _{a}\)

$$\begin{aligned} \partial _{\tau } {\ln }(-h)= & {} \mathcal {H} - \tau ^{-1}, \end{aligned}$$
(2.6)
$$\begin{aligned} \partial _{R} {\ln }(-h)= & {} -\pi _{R}, \end{aligned}$$
(2.7)
$$\begin{aligned} \partial _a {\ln }(-h)= & {} -\tau ^{-1}\pi _{a}. \end{aligned}$$
(2.8)

(iii) The evolution equations of \(\rho _{ab}\) and \(\pi ^{ab}\) are given by

$$\begin{aligned} \frac{\partial }{\partial \tau } \rho _{ab}= & {} 2 \tau ^{-1}\rho _{a c}\rho _{b d}\pi ^{cd} + \partial _{R}\rho _{ab}, \end{aligned}$$
(2.9)
$$\begin{aligned} \frac{\partial }{\partial \tau } \pi ^{ab}= & {} -2\tau ^{-1}\rho _{c d}\pi ^{a c}\pi ^{b d} + \partial _{R}\pi ^{ab} + \frac{\tau }{2}\rho ^{ac}\rho ^{b d} (\partial _{R}^{2}\rho _{c d}) \nonumber \\{} & {} - \frac{\tau }{2}\rho ^{a i}\rho ^{b j}\rho ^{c k} (\partial _{R}\rho _{i c})(\partial _{R}\rho _{j k}) \nonumber \\{} & {} +2h \rho ^{a c}\rho ^{b d} \{ {\textrm{R}}^{(2)}_{c d} - \frac{1}{2}\tau ^{-2}\pi _{c}\pi _{d}\nonumber \\{} & {} + \nabla _{c}^{(2)}(\tau ^{-1} \pi _{d}) \}. \end{aligned}$$
(2.10)

(iv) The topological constraint equation [12,13,14,15,16]

$$\begin{aligned} \tau R^{(2)} - \frac{1}{2}\tau ^{-2}\rho ^{ab}\pi _{a}\pi _{b} +\nabla ^{(2)}_{a} (\tau ^{-1}\rho ^{ab}\pi _{b}) =0, \end{aligned}$$
(2.11)

where \(R^{(2)}\) is the Ricci scalar of \(N_{2}\), and \(\nabla ^{(2)}_{a}\) is the covariant derivative on \(N_{2}\).

3 Dynamics of two gravitational degrees of freedom with two Killing vectors

In general, the conformal two-metric \(\rho _{ab}\) with a unit determinant has two polarizations, and therefore, it is a functional of two independent functions V and W of \((\tau , R, Y^{a})\). The most general form of the conformal two-metric with two polarizations can be written as [17]

$$\begin{aligned} \rho _{ab} = \left( \begin{array}{cc} e^{V}\cosh {W} &{} \sinh {W} \\ \sinh {W} &{} e^{-V}\cosh {W} \end{array} \right) . \end{aligned}$$
(3.1)

From the defining Eq. (2.9) of the conjugate momentum, \(\pi ^{ab}\) is found to be

$$\begin{aligned} \pi ^{ab}= & {} \frac{\pi _{V}}{2\cosh {W}} \left( \begin{array}{cc} \!e^{-V}\! &{} \!0\! \\ \!0\! &{} \!-e^{V}\! \end{array} \right) \nonumber \\{} & {} +\frac{\pi _{W}}{2} \left( \begin{array}{cc} \!-e^{-V}\sinh {W}\! &{} \!\cosh {W}\! \\ \!\cosh {W}\! &{} \!-e^{V}\sinh {W}\! \end{array} \right) , \end{aligned}$$
(3.2)

where \(\pi _V\) and \(\pi _W\) are conjugate momentum of V and W, respectively, which satisfy the relation

$$\begin{aligned} \pi ^{ab}\partial _{\tau }\rho _{ab}= & {} \pi _{V}\partial _{\tau } V + \pi _{W}\partial _{\tau } W, \end{aligned}$$
(3.3)

and \(\pi ^{ab}\) is traceless

$$\begin{aligned} \pi ^{ab} \rho _{ab} =0. \end{aligned}$$
(3.4)

From now on, we will assume that \(\partial / \partial Y^{a} \ (a=1,2)\) are two Killing vectors, and write down the Einstein’s equations in terms of V, W, \(\pi _V\) and \(\pi _W\), which are functions of \(\tau\) and R only. Substitution of (3.1) into the evolution Eqs. (2.9) and (2.10) yields the following four equations:

$$\begin{aligned} \pi _V= & {} \tau \cosh ^{2}{W}(\partial _\tau V - \partial _R V), \end{aligned}$$
(3.5)
$$\begin{aligned} \pi _W= & {} \tau (\partial _\tau W - \partial _R W), \end{aligned}$$
(3.6)
$$\begin{aligned} \partial _\tau \pi _V - \partial _R \pi _V= & {} \tau \cosh ^{2}{W} (\partial _R^2 V) \nonumber \\{} & {} + 2\tau \cosh {W}\sinh {W}(\partial _R V)(\partial _R W), \end{aligned}$$
(3.7)
$$\begin{aligned} \partial _\tau \pi _W - \partial _R \pi _W= & {} \tau \partial _R^2 W + \tau \cosh {W}\sinh {W} \nonumber \\{} & {} \times \left\{ (\partial _\tau V - \partial _R V)^{2}-(\partial _R V)^{2} \right\} . \end{aligned}$$
(3.8)

Equations (2.4) and (2.8) are trivial due to the Killing condition, and Eqs. (2.6) and (2.7) become

$$\begin{aligned} \partial _\tau \ln (-h)= & {} \frac{1}{2\tau \cosh ^{2}{W}}\! \left\{ \pi _V + \tau \cosh ^{2}{\!W} (\partial _R V )\! \right\} ^2 \nonumber \\{} & {} + \frac{1}{2\tau }\! \left( \pi _W + \tau \partial _R W\! \right) ^2 - \frac{1}{2\tau }, \end{aligned}$$
(3.9)
$$\begin{aligned} \partial _R \ln (-h)= & {} \pi _V (\partial _R V) + \pi _W (\partial _R W). \end{aligned}$$
(3.10)

By Eqs. (3.5) and (3.6), Eqs. (3.7), (3.8), (3.9), and (3.10) become

$$\begin{aligned}{} & {} (\partial _\tau - \partial _R)^2 V - \partial ^{2}_{R} V +\frac{1}{\tau } (\partial _\tau V - \partial _R V) \nonumber \\{} & {} \quad = -2\tanh {W}\left\{ (\partial _\tau V - \partial _R V)(\partial _\tau W - \partial _R W)\right. \nonumber \\{} & {} \left. \qquad -(\partial _R V)(\partial _R W) \right\} , \end{aligned}$$
(3.11)
$$\begin{aligned}{} & {} (\partial _\tau - \partial _R)^2 W - \partial ^{2}_{R} W +\frac{1}{\tau } (\partial _\tau W - \partial _R W) \nonumber \\{} & {} \quad = \cosh {W}\sinh {W} \left\{ (\partial _\tau V - \partial _R V)^{2} - (\partial _R V)^{2} \right\} , \end{aligned}$$
(3.12)
$$\begin{aligned}{} & {} \partial _\tau \ln (-h) = \frac{\tau }{2}\cosh ^{2}{W}(\partial _\tau V)^2+ \frac{\tau }{2}(\partial _\tau W)^2 -\frac{1}{2\tau }, \end{aligned}$$
(3.13)
$$\begin{aligned}{} & {} \partial _R \ln (-h) = \tau \cosh ^{2}{W} (\partial _\tau V - \partial _R V)(\partial _R V) \nonumber \\{} & {} \qquad + \tau (\partial _\tau W - \partial _R W)(\partial _R W), \end{aligned}$$
(3.14)

respectively. Equations (3.11) and (3.12) are second-order partial differential equations for V and W. The function h is determined by integrating the r.h.s. of the Eqs. (3.13) and (3.14), after solving Eqs. (3.11) and (3.12) for V and W. The local Hamiltonian \(-\pi _{\tau }\) and momentum densities \(\pi _{R}\) are also determined by V and W through Eqs. (2.2) and (2.3)

$$\begin{aligned} -\pi _\tau= & {} \frac{1}{2\tau \cosh ^{2}{W}} \left\{ \pi _V - \tau \cosh ^{2}{W} (\partial _R V) \right\} ^2 + \frac{1}{2\tau } \nonumber \\{} & {} \times \left( \pi _W - \tau \partial _R W \right) ^2 + \frac{1}{2\tau }, \end{aligned}$$
(3.15)
$$\begin{aligned} \ \ \pi _R= & {} -\pi _V (\partial _R V) - \pi _W (\partial _R W), \end{aligned}$$
(3.16)

respectively. The remaining Einstein’s equation [Eq. (2.11)] is trivial by the Killing condition. Thus, the spacetime metric is completely determined by V and W that satisfies Eqs. (3.11) and (3.12).

4 Derivation of Ernst-like equation in privileged coordinates

The line element in the privileged coordinate (\(\tau , R, Y^a\)) is given by

$$\begin{aligned} \textrm{d}s^2= & {} -2h (2 \textrm{d}\tau \textrm{d}R + \textrm{d}R^2 ) + \tau \cosh {W} \{ e^{V} (\textrm{d}Y^1)^2 \nonumber \\{} & {} + e^{-V}(\textrm{d}Y^2)^2 \} + 2\tau \sinh {W} \textrm{d}Y^1 \textrm{d}Y^2. \end{aligned}$$
(4.1)

In order to derive the Ernst-like equation, it is useful to introduce the double null coordinates (uv) defined by

$$\begin{aligned} u = \tau + R/2, \quad v = R/2. \end{aligned}$$
(4.2)

Then, the metric (4.1) becomes

$$\begin{aligned} \textrm{d}s^2= & {} -8h \, \textrm{d}u \textrm{d}v + (u-v) \cosh {W} \{ e^{V} (\textrm{d}Y^1)^2 + e^{-V}(\textrm{d}Y^2)^2 \} \nonumber \\{} & {} + 2(u-v) \sinh {W} \textrm{d}Y^1 \textrm{d}Y^2, \end{aligned}$$
(4.3)

where \(u \ge v\). In these coordinates, Eqs. (3.11) and (3.12) become

$$\begin{aligned} 2 \partial _u \partial _v V= & {} \frac{1}{u-v}(\partial _u V - \partial _v V) \!+ 2\tanh {W} \!\left\{ \!(\partial _u V)(\partial _v W)\right. \nonumber \\{} & {} \left. + (\partial _v V)(\partial _u W)\! \right\} \!, \end{aligned}$$
(4.4)
$$\begin{aligned} 2 \partial _u \partial _v W= & {} \frac{1}{u-v}(\partial _u W - \partial _v W) \nonumber \\{} & {} - 2\cosh {W}\sinh {W}(\partial _u V)(\partial _v V), \end{aligned}$$
(4.5)

respectively. Let us introduce a complex function Z defined as[11]

$$\begin{aligned} Z = e^{-V}(\mathrm{{sech}}\, {W} + i\tanh {W}). \end{aligned}$$
(4.6)

Then, we find that the two Eqs. (4.4) and (4.5) can be written as a single complex equation

$$\begin{aligned}{} & {} (Z+\bar{Z})\left\{ 2 \partial _u \partial _v Z -\frac{1}{u-v}(\partial _u Z - \partial _v Z)\right\} \nonumber \\{} & {} \quad = 4(\partial _u Z)(\partial _v Z), \end{aligned}$$
(4.7)

which can be compactly written as

$$\begin{aligned} (Z+\bar{Z})\nabla ^2 Z = 2(\nabla Z)^2. \end{aligned}$$
(4.8)

Here, \(\nabla\) is the covariant derivative associated with the metric (4.3), and \(\nabla ^{2} Z\) is given by

$$\begin{aligned} \nabla ^2 Z ={1\over \sqrt{-g}}\partial _{\mu } (\sqrt{-g} g^{\mu \nu }\partial _{\nu }Z). \end{aligned}$$
(4.9)

Equation (4.7) or (4.8) is the sought-for Ernst-like equation in the Hamiltonian reduction.

5 Solutions to the Ernst-like equation

In this section, we find some solution to the Ernst-like Eq. (4.8) in the following two cases, where either V or W polarization is present.

5.1 V polarization solutions

In this case, we assume \(W=0\), and consider the V polarization only. Then, Eq. (4.5) becomes trivial, and (4.4) becomes [18]

$$\begin{aligned} 2 \partial _u \partial _v V - \frac{1}{u-v}(\partial _u V - \partial _v V) = 0. \end{aligned}$$
(5.1)

We found that a whole class of solutions for V

$$\begin{aligned} V = -\ln {b_{0}} - n \ln (u-v) - a_{0}(u+v), \end{aligned}$$
(5.2)

and Z is given by

$$\begin{aligned} Z =e^{-V}= b_{0} (u-v)^{n} e^{a_{0}(u + v)}, \end{aligned}$$
(5.3)

where \(a_{0}\), \(b_{0}\), and n are constant. In the original (\(\tau\), R) coordinates, V becomes

$$\begin{aligned} V = -\ln {b_{0}} - n \ln \tau - a_{0}(\tau + R). \end{aligned}$$
(5.4)

The superpotential Eqs. (3.13) and (3.14) become

$$\begin{aligned} \partial _\tau \ln (-h)= & {} \frac{\tau }{2}(\partial _\tau V)^2 -\frac{1}{2\tau }, \end{aligned}$$
(5.5)
$$\begin{aligned} \partial _R \ln (-h)= & {} \tau (\partial _\tau V - \partial _R V)(\partial _R V), \end{aligned}$$
(5.6)

which reduce to

$$\begin{aligned} \partial _\tau \ln {(-h)}= & {} \frac{{a_{0}}^2}{2}\tau + a_{0}n + \frac{n^2 - 1}{2\tau }, \end{aligned}$$
(5.7)
$$\begin{aligned} \partial _R \ln {(-h)}= & {} a_{0}n, \end{aligned}$$
(5.8)

respectively. By integrating these equations, we find that \(-2h\) becomes

$$\begin{aligned} -2h = c_{0} \tau ^{(n^2 -1) / 2} e^{\{{a_{0}}^2 \tau ^2/4 \,+\, a_{0}n(\tau +R) \}}, \end{aligned}$$
(5.9)

where \(c_{0}\) is an arbitrary constant. Thus, we found a four parameter family of exact solutions to Einstein’s equations, parametrized by four constants \((a_{0}, b_{0}, c_{0},n)\)

$$\begin{aligned} \textrm{d}s^2= & {} c_{0} \tau ^{(n^2 -1) / 2} e^{\{{a_{0}}^2 \tau ^2 / 4 \,+\, a_{0}n(\tau +R) \}} (2 \textrm{d}R \textrm{d}\tau + \textrm{d}R^2 ) \nonumber \\{} & {} + {b_{0}}^{-1}\tau ^{-n+1}e^{-a_{0}(\tau +R)} \textrm{d}X^2 + b_{0}\tau ^{n+1}e^{a_{0}(\tau +R)} \textrm{d}Y^2, \end{aligned}$$
(5.10)

where we introduced the coordinates X and Y defined as \(X=Y^1\) and \(Y=Y^2\), respectively. Thus, we found a four-parameter family of solutions to the Ernst-like Eq. (4.7) for a diagonal V polarization.

Let us examine this metric in the following special cases. When the constants \((a_{0}, b_{0}, c_{0})\) are chosen as \(a_{0}=0, \ b_{0}=c_{0}=1\), but n is left arbitrary, the metric (5.10) becomes

$$\begin{aligned} \textrm{d}s^2 = \tau ^{(n^2 -1) / 2} ( 2 \textrm{d}\tau \textrm{d}R + \textrm{d}R^2 ) + \tau ^{-n+1} \textrm{d}X^2 + \tau ^{n+1} \textrm{d}Y^2, \end{aligned}$$
(5.11)

which turns out to be a general Kasner solution. To show this, let us make the following coordinate transformations:

$$\begin{aligned} T = \tau , \quad Z = \tau + R. \end{aligned}$$
(5.12)

Then the metric (5.11) becomes

$$\begin{aligned} \textrm{d}s^2 = T^{(n^2 -1) / 2} ( -\textrm{d}T^2 + \textrm{d}Z^2 ) + T^{-n+1} \textrm{d}X^2 + T^{n+1} \textrm{d}Y^2. \end{aligned}$$
(5.13)

If we introduce a new coordinate t defined as

$$\begin{aligned} t = \frac{4}{n^2 + 3} T^{ ( n^2 + 3 ) / 4}, \end{aligned}$$
(5.14)

then the metric (5.13) can be written in a standard Kasner form [17]

$$\begin{aligned} \textrm{d}s^2= & {} -\textrm{d}t^2 + (\alpha t)^{2p_1} \textrm{d}X^2 + (\alpha t)^{2p_2} \textrm{d}Y^2 + (\alpha t)^{2p_3} \textrm{d}Z^2, \end{aligned}$$
(5.15)

where \(\alpha\), \(p_1\), \(p_2\), and \(p_3\) are constants defined as

$$\begin{aligned} \alpha= & {} \frac{n^2 + 3}{4}, \quad p_1 = \frac{2(-n+1)}{n^2 + 3}, \quad p_2 = \frac{2(n+1)}{n^2 + 3}, \nonumber \\ p_3= & {} \frac{n^2 - 1}{n^2 + 3}, \end{aligned}$$
(5.16)

respectively, and \(p_1\), \(p_2\), and \(p_3\) satisfy the relations

$$\begin{aligned} \sum _{i=1}^{3} p_i = \sum _{i=1}^{3} p_i^2 = 1. \end{aligned}$$
(5.17)

More generally, when both n and \(a_{0}\) are arbitrary with \(b_{0}=c_{0}=1\), the metric (5.10) becomes

$$\begin{aligned} \textrm{d}s^2= & {} \tau ^{(n^2 -1) / 2} e^{\{{a_{0}}^2 \tau ^2 / 4 \,+\, a_{0}n(\tau +R) \}} (2 \textrm{d}R \textrm{d}\tau + \textrm{d}R^2 ) \nonumber \\{} & {} + \tau ^{-n+1}e^{-a_{0}(\tau +R)} \textrm{d}X^2 + \tau ^{n+1}e^{a_{0}(\tau +R)} \textrm{d}Y^2. \end{aligned}$$
(5.18)

This metric contains a non-trivial extra term that depends on arbitrary constant \(a_{0}\), and therefore, it should be regarded as a deformation of the general Kasner solution by a free parameter \(a_{0}\).

5.2 W polarization solutions

In this subsection, we shall solve the Ernst-like equation in the opposite case, namely, by assuming \(V=0\). The Ernst-like potential Z then becomes

$$\begin{aligned} Z = \mathrm{{sech}}\, {W} + i\tanh {W}. \end{aligned}$$
(5.19)

Let us define a new function \(\Theta\) by

$$\begin{aligned} \sin {\Theta } = \tanh {W}. \end{aligned}$$
(5.20)

Then the Eq. (5.19) becomes

$$\begin{aligned} Z = e^{i\Theta } = \cos {\Theta } + i\sin {\Theta }. \end{aligned}$$
(5.21)

By substituting this equation into (4.7), we found two independent solutions \(\Theta _1\) and \(\Theta _2\), which are given by

$$\begin{aligned} \sin {\Theta _1}= & {} \tanh {W_1} = \frac{b_0 e^{a_0 (u+v)} - 1}{b_0 e^{a_0 (u+v)} + 1}, \end{aligned}$$
(5.22)
$$\begin{aligned} \sin {\Theta _2}= & {} \tanh {W_2} = \frac{\tilde{b}_0(u-v)^{n} - 1}{\tilde{b}_{0} (u-v)^{n} + 1}, \end{aligned}$$
(5.23)

respectively, and where n, \(a_0\), \(b_0\), and \(\tilde{b}_0\) are arbitrary constants, and the polarization \(W_1\) and \(W_2\) are given by

$$\begin{aligned} W_1= & {} \ln {b_0} + a_{0}(u+v), \end{aligned}$$
(5.24)
$$\begin{aligned} W_2= & {} \ln {\tilde{b}_0} + n \ln {(u-v)}, \end{aligned}$$
(5.25)

respectively. Let us notice that, when \(V=0\), Eq. (4.5) reduces to

$$\begin{aligned} 2 \partial _u \partial _v W - \frac{1}{u-v}(\partial _u W \!-\! \partial _v W) = 0, \end{aligned}$$
(5.26)

which is a linear differential equation for W. By superposing the two solutions \(W_{1}\) and \(W_{2}\) given by (5.24) and (5.25), we obtain a more general solution of the type

$$\begin{aligned} W= & {} \ln {b_0} + n \ln {(u-v)} + a_{0}(u+v) \\= & {} \ln {b_0} + n \ln {\tau } + a_{0}(\tau + R). \end{aligned}$$
(5.27)

One can determine the superpotential \(-h\) by solving the following equations:

$$\begin{aligned} \partial _\tau \ln (-h)= & {} \frac{\tau }{2}(\partial _\tau W)^2 -\frac{1}{2\tau }, \end{aligned}$$
(5.28)
$$\begin{aligned} \partial _R \ln (-h)= & {} \tau (\partial _\tau W - \partial _R W)(\partial _R W), \end{aligned}$$
(5.29)

which reduce to

$$\begin{aligned} \partial _\tau \ln {(-h)}= & {} \frac{{a_{0}}^2}{2}\tau + a_{0}n + \frac{n^2 - 1}{2\tau }, \end{aligned}$$
(5.30)
$$\begin{aligned} \partial _R \ln {(-h)}= & {} a_{0}n, \end{aligned}$$
(5.31)

respectively. By integrating these equations, we find that \(-2h\) becomes

$$\begin{aligned} -2h = c_{0} \tau ^{(n^2 -1) / 2} e^{\{{a_{0}}^2 \tau ^2/4 \,+\, a_{0}n(\tau +R) \}}, \end{aligned}$$
(5.32)

where \(c_{0}\) is an arbitrary constant. Therefore, the metric is given by

$$\begin{aligned} \textrm{d}s^2= & {} c_{0} \tau ^{(n^2 -1) / 2} e^{\{a_0^2 \tau ^2 / 4 + a_0 n (\tau +R) \}} (2 \textrm{d}R \textrm{d}\tau + \textrm{d}R^2 ) \nonumber \\{} & {} + \frac{b_{0}}{2}\tau ^{n + 1}e^{a_0 (\tau +R)} (\textrm{d}X + \textrm{d}Y)^2 \nonumber \\{} & {} + \frac{1}{2b_{0}}\tau ^{-n + 1}e^{-a_0 (\tau +R)} (\textrm{d}X - \textrm{d}Y)^2, \end{aligned}$$
(5.33)

where \(X=Y^1\) and \(Y=Y^2\). This is another four-parameter family of solutions to the Ernst-like equation with a non-diagonal W polarization only. However, by making the following coordinate transformations:

$$\begin{aligned} \tilde{X} = \frac{X-Y}{\sqrt{2}}, \quad \tilde{Y} = \frac{X+Y}{\sqrt{2}}, \end{aligned}$$
(5.34)

then one can show that the metric (5.33) becomes

$$\begin{aligned} \textrm{d}s^2= & {} c_{0} \tau ^{(n^2 -1) / 2} e^{\{a_0^2 \tau ^2 / 4 \,+\, a_0 n (\tau +R) \}} (2 \textrm{d}R \textrm{d}\tau + \textrm{d}R^2 ) \nonumber \\{} & {} + b_{0}^{-1}\tau ^{-n + 1}e^{-a_0 (\tau +R)} \textrm{d} \tilde{X}^2 + b_{0}\tau ^{n + 1}e^{a_0 (\tau +R)} \textrm{d} \tilde{Y}^2, \end{aligned}$$
(5.35)

which is exactly the same as the metric (5.10).

5.3 Solutions with two polarizations V and W

In previous subsections, we found solutions with a single polarization, which are given by (5.4) and (5.27), which correspond to V polarization solutions with \(W=0\) and W polarization solutions with \(V=0\), respectively. In this subsection, we will find solutions that contain two polarizations simultaneously. For this purpose, we will study the equations of the W excitations propagating on the background spacetime determined by V polarization, which are given by Eq. (5.4)

$$\begin{aligned} V = -\ln {b_{0}} - n \ln \tau - a_{0}(\tau + R), \end{aligned}$$
(5.36)

where \(a_0\), \(b_0\), and n are arbitrary constants. We will consider the following 3 cases separately.

(i) \(n=a_{0}=0\)

In this case, the solution (5.36) becomes

$$\begin{aligned} V = -\ln {b_{0}} = \textrm{constant}, \end{aligned}$$
(5.37)

and Eq. (3.11) is trivially satisfied, and the equation (3.12) becomes

$$\begin{aligned}{} & {} (\partial _\tau - \partial _R)^2 W- \partial ^{2}_{R} W +\frac{1}{\tau } (\partial _\tau W - \partial _R W)=0. \end{aligned}$$
(5.38)

A particular solution of this equation given by

$$\begin{aligned} W = \ln \tilde{b}_{0} + \tilde{n} \ln \tau + \tilde{a}_{0}(\tau + R), \end{aligned}$$
(5.39)

where \(\tilde{a}_{0}, \ \tilde{b}_{0}\), and \(\tilde{n}\) are constants. This solution is identical to the solution (5.27) that we found in Sect. 5.2, which was shown to reproduce a class of spacetimes interpreted as a deformation of the general Kasner solution after the prescribed coordinate transformations.

(ii) \(a_{0}=b_{0}=0\)

In this case, the solution (5.36) becomes

$$\begin{aligned} V = -n\ln \tau \quad (n=\textrm{constant}), \end{aligned}$$
(5.40)

and Eqs. (3.11) and (3.12) become

$$\begin{aligned}{} & {} \partial _\tau W - \partial _R W = 0, \end{aligned}$$
(5.41)
$$\begin{aligned}{} & {} (\partial _\tau - \partial _R)^2 W -\partial _{R}^{2}W + \frac{1}{\tau } (\partial _\tau W - \partial _R W)\nonumber \\{} & {} \quad -\frac{n^2}{\tau ^{2}}\cosh {W}\sinh {W}=0, \end{aligned}$$
(5.42)

respectively. Equation (5.41) states that W is a function of \(\tau + R\) only, and Eq. (5.42) becomes

$$\begin{aligned} \partial _{R}^{2}W + \frac{n^2}{\tau ^{2}}\cosh {W}\sinh {W}=0, \end{aligned}$$
(5.43)

where \(W=W(\tau + R)\). Unfortunately, we were not able to find any solution of this equation, except the trivial one \(W=0\).

(iii) \(n= b_{0}=0\)

In this case, the solution (5.36) becomes

$$\begin{aligned} V = -a_{0} (\tau + R) \quad (a_{0}= \textrm{constant}), \end{aligned}$$
(5.44)

and Eqs. (3.11) and (3.12) become

$$\begin{aligned}{} & {} \partial _R W= 0, \end{aligned}$$
(5.45)
$$\begin{aligned}{} & {} (\partial _\tau - \partial _R)^2 W -\partial _{R}^{2}W + \frac{1}{\tau } (\partial _\tau W- \partial _R W) \nonumber \\{} & {} \quad -a_{0}^{2}\cosh {W}\sinh {W}=0, \end{aligned}$$
(5.46)

respectively. By Eq. (5.45), W is a function of \(\tau\) only, so that Eq. (5.46) becomes

$$\begin{aligned} \partial _{\tau }^{2} W + \frac{1}{\tau } \partial _\tau W -a_{0}^{2}\cosh {W}\sinh {W}=0. \end{aligned}$$
(5.47)

This is an ordinary differential equation of \(\tau\) only, which admits a trivial solution \(W=0\). However, we were not be able to find any non-trivial solution to this equation.

6 Discussion

In this paper, we presented the Einstein’s equations obtained by Hamiltonian reduction in the privileged coordinates, and then, derived the Ernst-like equation assuming two Killing symmetries. By solving the Ernst-like equation, we were able to find a four parameter family of exact solutions when a single polarization is present, which we interpret as a deformation of the general Kasner spacetime. We believe that it is a new solution, but detailed studies of the deformation solution of the general Kasner spacetime are necessary and would be interesting in its own right.

We also studied more general case where two gravitational polarizations co-exist and interact with each other. Although we were not able to find explicit solutions in this case, we were able to write down the non-linear differential Eqs. (5.43) and (5.47) for W polarization interacting with the pre-determined V polarization that defines the “background” solution spacetimes. Problems of finding non-trivial solutions to Eqs. (5.43) and (5.47) and interpreting them physically are left for a future project.

It would be interesting to find cosmological solutions whose spatial topologies are, for example, \(S^{1} \times S^{2}\) or \(S^{3}\). Finding solutions with spatial \(S^{1} \times S^{2}\) topology is a doable work with the present zero-twisting condition, but to find solution with \(S^{3}\) topology, one needs to drop this condition, which is beyond the scope of the present paper. The authors thank the referee for suggesting this problem, which is left for a future work.