1. Introduction
In teleparallelism, the gravitational Action Integral is defined by the torsion scalar
T [
1,
2], which is constructed by the antisymmetric Weitzenböck connection [
3]. The teleparallel theory of gravity is equivalent to General Relativity, and the presence of the cosmological constant plays does not affect the equivalence of the two theories. However, that is not true when other geometric invariants are introduced into the gravitational Action Integral, or scalar fields, which are nonminimally coupled to gravity. There is a plethora of gravitational theories inspired by teleparallelism [
4,
5,
6,
7,
8,
9], see also the recent review [
10] for more details. On the other hand, scalar fields play an important role in the description of the various epochs of the universe. The inflationary era is usually attributed to a scalar field known as inflaton [
11], which drives the dynamics to provide expansion of the universe, while the dark energy is assumed to be described by a scalar field. Moreover, various unified dark energy models have also been proposed in the literature [
12,
13,
14].
In this piece of work, we are interested in a modified teleparallel theory of gravity known as a scalar-torsion theory or teleparallel dark energy model [
15,
16,
17,
18] in an anisotropic background space. The Action Integral is linear to the torsion scalar
T, however, a scalar field is introduced, which interacts to the gravity in the Lagrangian. The theory can be observed as an extension of the scalar-tensor models in teleparallelism. While there are many similarities between the scalar-tensor and scalar-torsion theories, i.e., they are second-order theories with the same degrees of freedom, the theories are totally different. For instance, while the two theories can admit duality transformations, these provide different physical properties [
19]. Recently in [
20], the cosmological dynamics were studied for the scalar-tensor and scalar-torsion theories in a spatially flat isotropic and homogeneous universe. Various cosmological applications of the scalar-torsion theory can be found, for instance, in [
21,
22,
23]. Constraints of the scalar-torsion theory with cosmological observations in a isotropic universe are performed in [
24]. It was found that the observations favor a nonminimal coupling in scalar-torsion theory.
The purpose of this piece of work is to provide, for the first time, analytic and exact solutions for the classical and quantum limit of the field equations in a scalar-torsion theory with an anisotropic background space. Specifically, we consider the physical space to be described by the locally rotational spacetimes of Bianchi I, Bianchi III and Kantowski-Sachs spacetimes. These locally rotational spacetimes are homogeneous and anisotropic with two scale factors and four isometries. In the limit of isotropization, the spacetimes are reduced to the spatially flat, closed and open Friedmann–Lemaître–Robertson–Walker geometries. Anisotropic spacetimes are of special interest because they can describe the pre-inflationary [
25] era and they can be used as toy models for the description of the small anisotropies in the observed universe [
26]. Kasner and Kasner-like are exact solutions of Bianchi I geometry. In teleparallelism, this kind of solution was investigated before in [
27,
28], while some other studies on exact and analytic solutions of a Bianchi I geometry in teleparallelism can be found, for instance, in [
29,
30,
31]. In a series of studies, the evolution of the dynamics for the anisotropic parameters investigated in a higher-order modified theory of gravity [
32] and references therein. It was found that independently of the initial conditions of the cosmological model on the anisotropy and on the spatially space curvature, the universe evolves to an isotropic and spatially flat geometry.
The study of anisotropic cosmologies is important for a gravitational theory. According to the cosmological principle in large scales, the universe is assumed to be isotropic and homogeneous. Inflation is the mechanism that has been proposed to solved the isotropization of the universe; however, anisotropies may play an important role in the pre-inflation epoch. In his famous paper, R. Wald [
33] found that the existence of a positive cosmological constant in the context of General Relativity in anisotropic background geometries leads to isotropic universes in large scales, which lead to the cosmic no-hair conjecture. Additionally, the anisotropic spacetimes studied in this work are related with important initial singularities. Indeed, the dynamical variables of the Bianchi I spacetime describe the behaviour of the Mixmaster universe near the cosmological singularity. On the other hand, Bianchi III and Kantowski-Sachs spacetimes can also describe the dynamics of the physical parameters to the interior of a black hole [
34,
35,
36]. While exact and analytic solutions for isotropic geometries have been bound before for the case of scalar-torsion theory, according to our knowledge, no anisotropic solutions have been derived in the literature. The study of the integrability properties for the field equations and the derivation of solutions is essential, because we can infer that actual solutions exist for the description of the physical parameters in scalar-torsion theory with anisotropic background geometry.
The gravitational field equations for the model of our analysis are nonlinear second-order differential equations. Hence, mathematical techniques which deal with nonlinear dynamical systems should be enrolled in order to determine the exact and analytic solutions. The field equations for this specific cosmological model have the property to be described by the variation of a point-like Lagrangian functions. Hence, in order to construct conservation laws and invariant functions, which are to be used to the derivation of solutions; Noether’s theorem for point transformations is considered [
37]. The main concept of the Noether symmetry analysis is to constrain the unknown functions and parameters of the gravitational theory, such that the Action Integral is invariant under the application of point transformations, where, according to Noether’s second theorem, conservation laws exist [
38]. Thus, it is feasible to infer about the integrability properties of the field equations and to determine analytic solutions. Furthermore, the existence of the point-like Lagrangian means that the field equations can be written also by using the Hamiltonian formalism. Thus, under the classical quantization process, the Wheeler-DeWitt equation of quantum cosmology can be written [
39]. The Noetherian conservation laws for the classical field equations provide differential invariants for the Wheeler-DeWitt equations, which are necessary in order to determine the closed-form expression for the wavefunction, as described by the Wheeler-DeWitt equation [
40]. For a review on the Wheeler-DeWitt equation, we refer the reader to [
41]. The structure of this paper is as follows.
In
Section 2, we briefly present the basic definitions of teleparallelism and we define the cosmological model of this study, which is that of teleparallel dark energy. Anisotropic background spacetimes are considered and the field equations are derived for the physical spaces described by the locally rotational Bianchi I, Bianchi III and Kantowski-Sachs geometries. In
Section 3, we apply the conditions provided by Noether’s first theorem in order to constrain the unknown functional form of the scalar field potential, where Noether symmetries exist. These results are applied in order to infer the Liouville integrability of the field equations. Classical exact and analytic solutions of the field equations are constructed in
Section 4. Furthermore, in
Section 5, we write the Wheeler-DeWitt equation, and with the application of the differential invariants provided by the classical conservation laws, we determine the exact solutions for the wavefunction. Finally, in
Section 6, we summarize our results.
2. Teleparallel Dark Energy
In teleparallelism, the fundamental geometric objects are the vierbein fields
defined by the constraint
[
1], in which
is the Lorentz metric in canonical form.
In terms of coordinates with a nonholonomic basis
, the metric tensor
is
We define the teleparallel torsion tensor
which is the antisymmetric part of the affine connection coefficients [
3].
In General Relativity, the gravitational Lagrangian is defined by the Ricciscalar of the Levi-Civita. In teleparallelism, the gravitational Lagrangian is defined by the torsion scalar T related with the torsion tensor .
Specifically, the scalar
T is defined as
in which
and
is the contorsion tensor, which equals the difference of the Levi Civita connection in the holonomic and the nonholonomic frame.
The gravitational action integral in the teleparallel equivalence of General Relativity is defined as [
1]
where
is the Lagrangian component for the matter source and
.
Similar to the case of General Relativity, scalar fields have been introduced in teleparallelism. Inspired by the Brans-Dicke theory, i.e., the scalar-tensor theories of General Relativity, a Machian teleparallel gravitational theory has been considered. It is called teleparallel dark energy, or scalar-tensor teleparallel gravity and it is defined by the gravitational Action Integral [
15,
16,
17,
18,
19]
where
is the coupling function of the scalar field with the torsion scalar,
is a constant nonzero parameter, analogue of the Brans-Dicke parameter, and
is the scalar field potential which drives the dynamics.
An equivalent way to write the Action Integral (
5) is
where now the new field
is related with
as
. Note that, when
or
, the given gravitational model is the analogue of the Brans-Dicke theory, or of the dilaton equivalent model in teleparallelism.
The teleparallel dilaton model is of special interest because it admits similar properties with the usual dilaton theory. Indeed, in the case of a spatially flat Friedmann–Lemaître–Robertson–Walker (FLRW) background geometry, it has been demonstrated that the field equations admit a discrete symmetry, which is analogue to the duality Gasperini-Veneziano transformation [
19].
Anisotropic Spacetimes
In the following analysis, we consider the physical space to be homogeneous and anisotropic, as described by the generic line element
in which the function
has one of the following functional forms
,
or
such that the spacetime is locally rotational;
are the two free scale factors and
is the lapse function. For
, the line element (
7) is that of the Bianchi I space, for
the Bianchi III space is recovered while, when
, the line element (
7) is that of the Kantowski-Sachs universe. The parameter
is the expansion rate of the three-dimensional hypersurfaces and
is the anisotropic parameter. When
., the line element (
7) describes an isotropic physical space, that is, the flat, open and closed FLRW geometries are recovered.
In order to calculate the torsion scalar, we should define the proper vierbein fields. In order for the limit of General Relativity to be recovered, the vierbein fields should be defined properly. We follow the discussion in [
10]; for the Bianchi I spacetime, we assume the vierbein basis
with torsion scalar
For Bianchi III, we consider the basis
in which we calculate the torsion scalar
Finally, for the Kantowski-Sachs spacetime, we assume the vierbein fields
from which we calculate the torsion scalar
Thus, we define the general torsion scalar
where
is for the Bianchi I space,
is for the Bianchi I space and
corresponds to the torsion scalar of the Kantowski-Sachs space.
By replacing the generic
in the Action Integral (
5) and assuming that the scalar field inherits the isometries of the background space, that is,
, we derive the point-like Lagrangian for the field equations
while the field equations are
where, without loss of generality, we have selected the lapse function
to be constant, i.e.,
.
3. Symmetry Analysis
In this section, we proceed with the derivation of variational symmetries for the field equations. Because the field equations for the cosmological model of our consideration follow from a point-like Lagrangian, the variational symmetries are derived with the application of Noether’s theorem. In this scenario, variational symmetries are called Noether symmetries; for a recent review on Noether’s work, we refer the reader in [
38].
Noether’s theorem in modified theories of gravity cover a wide range of applications with many important results on the classification for the free functions of the modified theories and the construction of conservation laws, which have been used for the derivation of analytic and exact solutions [
37,
42,
43,
44,
45,
46,
47]. For the convenience of the reader, we discuss the main definitions of Noether’s theorems.
3.1. Noether’S Theorems
Consider the action integral
where
is the Lagrangian function,
t is the independent variable and
denotes the dependent variable, while
is the first-order derivative
Then, under the infinitesimal transformation at any point
P in the space of variables
with the infinitesimal generator, the vector field
the action integral (
16) becomes
Thus, according to Noether’s first theorem, the variation of the action integral
A remains invariant under the application of the infinitesimal transformation (
17), if and only if there exists a function
f such that [
37]
The function f is a boundary term that has been introduced to allow for the infinitesimal changes in the value of the action integral provided by the infinitesimal transformation.
The novelty of Noether’s work is that there exists a simple formula for the one-to-one correspondence between the symmetry vectors and conservation laws for the equations of motion. Indeed, if
X satisfies condition (
20) for the Lagrangian function
, then function [
37]
is a conservation law for the equations of motion; that is,
. Formula (
21) is the so-called Noether’s second theorem.
3.2. Symmetry Classification
In this study and for the point-like Lagrangian (
11) with
where without loss of generality, we assume
, that is,
we consider the infinitesimal transformation
with generator the vector field
.
Hence, the application of the symmetry condition (
20) for the Lagrangian function (
22) gives a system of linear partial differential equations, which determine the generator
X for various functional forms of the potential
and values of the curvature term
K.
For the Bianchi I background space,
, it follows that, for a zero potential function
, the admitted Noether symmetries by the field equations are
The symmetry vectors are the isometries of the three-dimensional flat space, are the translation symmetries, while are the three rotations of the three-dimensional minisuperspace.
The corresponding conservation laws are calculated from expression (
21) and they are
On the other hand, for
and
, the additional admitted Noether symmetries from the Lagrangian of the field equations are
for which the resulting conservation laws are
The admitted Noether symmetries are different in the presence of the curvature term,
. In this case, for the zero potential
, the admitted Noether symmetries are
and
where the resulting conservation laws are
Finally, for the exponential potential
the field equations admit the unique symmetry vector
with conservation law
From the symmetry analysis, we conclude that the field equations form a Liouville integrable dynamical system according to the Noether point symmetries for the case of Bianchi I for and , and for the Bianchi III and Kantowski-Sachs cases only when .
5. The Wheeler-DeWitt Equation
Consider the constraint Hamiltonian dynamical system of the form
with
where
is the minisuperspace,
is the momentum conjugate to the variable
and
is the effective potential.
From the point-like Lagrangian (
11), we find
Hence, the Hamiltonian is written as
that is, by using the constraint Equation (
12):
The Wheeler-DeWitt equation follows under the canonical quantization of the constraint, that is, , where is the wavefunction of the quantized system.
For the Wheeler-DeWitt equation to remain invariant under conformal transformations, the conformally Laplace operator is applied, such that
to be written as
in which
is the Ricciscalar of the minisuperspace
and
.
We consider the case
and without a loss of generality, we set
, thus, the Wheeler-DeWitt equation becomes
5.1. Quantum Operators from Symmetry Vectors
We briefly discuss the application of the theory of symmetries of differential equations for the construction of quantum operators necessary for the derivation of exact solutions for the Wheeler-DeWitt equation.
Assume now the generic vector field
defined in the jet space
, in which the Wheeler-DeWitt Equation (
77) lies.
The vector field
is the infinitesimal generator of the point transformation between two points
[
48,
49]:
where
is an infinitesimal parameter such that
.
We say that the Wheeler-DeWitt Equation (
77) is an invariant under the point transformation with generator
if and only if
When the latter condition is true, the vector field is a Lie point symmetry for the differential equation.
In [
50], it was found that the generic symmetry vector for Equation (
77) is of the form
where
is a conformal Killing vector field of the minisuperspace
, with the conformal factor
, which satisfies the condition
, in which
is the Lie derivative with respect to the vector field
.
satisfies the original equation and denotes the infinite number of solutions of the original conformal Laplace equation.
For a given Lie symmetry
of the conformal Laplace equation, we can determine in the normal variables the equivalent Lie-Bäcklund vector field
, which has the property to transform a solution into a solution. That is,
, from which it follows that
which is nothing else than a quantum operator.
Recall that in the normal variables, the conservation laws of the classical system generated by point symmetries can be written as the linear function of the momentum
, that is
, from where it follows that under canonical quantization
From the latter, it is clear that Noetherian conservation laws can be used to determine differential invariants for the Wheeler-DeWitt equation, and this is an approach to relate the classical and quantum solutions.
5.2. Exact Solutions
We assume now the case of the Bianchi I universe,
, with the exponential potential
. Then, with the use of the Noether symmetry vectors, we construct differential operators, which for the general case provide the analytic solution for the Wheeler-DeWitt Equation (
78):
where
are the Bessel functions of the first and second kind, while
,
,
and
are constants, and while
and
are related with the constants of integration for the classical solution.
Similarly, for the case with
and
, we determine the exact solution
in which
and
.
For specific values of the free parameters, the exact solutions have different functional forms. However, they can easily be derived. Indeed, the Wheeler-DeWitt equation with the use of the differential operators is reduced to the Bessel second-order differential equation.
6. Conclusions
Anisotropic spacetimes describe the physical space in the early stages of the universe, and the determination of exact and analytic solutions is of special interest, because the evolution of anisotropies in a given gravitational theory can be studied analytically. In this study, we investigated anisotropic cosmological solutions for the scalar-torsion theory in the context of teleparallelism, where the physical space is described by the locally rotational spaces of the Bianchi I, Bianchi III and Kantowski-Sachs geometries.
For the scalar-torsion theory, we made use of a corresponding vierbein field defined in the proper frame for each background geometry, such that the limit of General Relativity to be recovered when the nonminimally coupled scalar field becomes constant. The resulting field equations have the property to have a point-like Lagrangian description. Furthermore, we assume the existence of a potential function, which drives the dynamics of the scalar field and consequently of all of the physical parameters of the theory.
We applied the Noether symmetry analysis in order to perform a classification of the scalar field potential, by assuming the requirement that there exist nontrivial variational point symmetries for the point-like Lagrangian of the field equations. The latter requirement is equivalent with the existence of the conservation laws for the field equations. That is ensured by Noether’s second theorem. From the classification scheme, we are able to identify specific functional forms for the scalar field potentials, where the resulting field equations form a Liouville integrable system. For the potential functions, we solved the field equations by using the additional conservation laws, and we wrote the resulting analytic solutions in closed-form expressions.
It is known that there exists a unique relation between the Noether symmetries of the classical field equations and of the Lie symmetries of the Wheeler-DeWitt equation of quantum cosmology. Thus, we derived the Wheeler-DeWitt equation and we determined the differential operators, which were used to write the wavefunction in a closed-form expression in terms of the exponential and of the Bessel functions.
In a future study, we plan to further investigate the physical evolution of the field equations for the scalar-torsion theory in an anisotropic background geometry by applying other analytical techniques, such as the analysis of the stationary points for the determination of asymptotic solutions. The results of this analysis as that of the following study will give important information for the initial value problem in scalar-torsion cosmology.