Abstract
We introduce three families of classical and quantum solutions to the leading order of string effective action on spatially homogeneous \((2+1)\)-dimensional space-times with the sources given by the contributions of dilaton, antisymmetric gauge B-field, and central charge deficit term \(\varLambda \). At the quantum level, solutions of Wheeler–DeWitt equations have been enriched by considering the quantum versions of the classical conditional symmetry equations. Concerning the possible applications of the obtained solutions, the semiclassical analysis of Bohm’s mechanics has been performed to demonstrate the possibility of avoiding the classical singularities at the quantum level.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
1.1 General considerations
Studies on \((2+1)\)-dimensional gravity dating back to 1963 [1], have received growing interest since Deser, Jackiw, and ’t Hooft surveyed the classical and quantum dynamics of point sources [2,3,4], and Witten demonstrated the Chern-Simons theory representation of \((2+1)\)-dimensional gravity [5,6,7]. Motivations to consider this simpler model compared to the known \((3+1)\)-dimensional gravity is that, besides sharing fundamental features with general relativity, it avoids some of the difficulties that general relativity is usually facing, such as the nature of singularities, cosmic censorship, and the conceptual foundations of quantum gravity. In \((2+1)\)-dimensions the gravitational constant G has dimensions of length. However, the theory is renormalizable and the appearing divergences in its perturbation theory can be canceled via field redefinitions [8]. Classical and quantum solutions in this dimension have been widely investigated, for instance, in [9,10,11,12,13,14,15].
In this work, we are going to present cosmological solutions at classical and quantum levels on \((2+1)\)-dimensional space-times where the two-dimensional space part has the symmetries of two-dimensional Lie algebra and admits a homogeneous metric. In \((3+1)\)-dimensions, the homogeneous space-times, usually referred as Bianchi type space-times, which are assumed to possess the symmetry of spatial homogeneity and defined based on the simply-transitive three-dimensional Lie groups classification [16], have been widely used to generate cosmological and black hole solutions [17,18,19,20,21,22,23]. An interesting approach to find classical and quantum cosmological solutions on these homogeneous space-times has been using the Lie symmetries [20], and the symmetries of the supermetrics [24]. A commonly used application of symmetries in gravitational theories is selecting particular solutions of the field equations. These symmetries include, in particular, the well-known Noether symmetry which has been applied in several models including scalar-tensor cosmology and higher derivative theories of gravity [25,26,27], the Hojman symmetry [28], and the conditional symmetries of the configuration space which have been used to construct solutions on spherical and homogeneous Bianchi type space-times [24, 29,30,31,32].
Here, we start with low-energy string effective action whose equations of motion are equivalent to the one-loop \(\beta \)-function equations of \(\sigma \)-model. These equations are conformal invariance conditions of the \(\sigma \)-model and, on the other hand, are equivalent to the Einstein field equations [33]. Solutions of these equations and their application in studying the evolution of the universe are called string cosmology [18, 21, 22, 34]. We are going to find the solutions on \((2+1)\)-dimensional spatially homogeneous space-time taking into account the contributions of dilaton, B-field, and the central charge deficit term \(\varLambda \), which is equivalent to a dilaton potential in the Einstein frame string effective action \(V(\phi )=-\varLambda \mathrm{e}^{-2\phi }\). Then, we will continue in the quantum cosmology context focusing on the Hamiltonian approach of gravity introducing the Wheeler–DeWitt equations. To obtain the final solutions of Wheeler–DeWitt equations on the \((2+1)\)-dimensional homogeneous space-times, the conditional symmetries approach will be adopted and imposed on the wave functions by promoting the generators of the conditional symmetries to quantum operators. Also, following the Bohm’s approach [35, 36], the quantum potentials and semiclassical solutions will be obtained to check whether the classical singularities can be avoided at the quantum level. In the following, we add some introductory remarks on string effective action equations of motion and the conditional symmetries approach.
1.2 Low energy string effective action equations of motion and a spatially homogeneous \((2+1)\)-dimensional space-time
For a \(\sigma \)-model with background fields of metric \(g_{\mu \nu }\), dilaton \(\phi \), and antisymmetric tensor gauge B-field, the requirement of the conformal invariance of the theory is vanishing of the \(\beta \)-function equations, given at one-loop order by [37, 38]
where, the H is the field strength tensor of B-field defined by \(H_{\mu \nu \rho }=3\partial _{[\mu }B_{\nu \rho ]}\), \(H_{\mu \nu }^2=H_{\mu \rho \sigma }H_{\nu }^{\rho \sigma }\), \(\lambda _s=\sqrt{2\pi \alpha '}\) is the string length, and \( \varLambda =\frac{2\,(26-D)}{3\alpha '}\) is the central charge deficit of D-dimensional bosonic theory [33]. The \(g_{\mu \nu }\) is the string frame metric and describes physics from the string viewpoint, and the \(\beta \)-function equations can be obtained by variation of the following string effective action with respect to the background fields
Alternatively, the Einstein frame metric \(\tilde{g}_{\mu \nu }\) is introduced by
and the Einstein frame effective action for bosonic string is given by [37, 38]
in which \(\tilde{\nabla }\) indicates the covariant derivative with respect to \(\tilde{g}\), and \(\kappa _D^2=8\pi G_D=\lambda _s^{D-2}\mathrm{e}^{-\phi }=\lambda _p^{D-2}\), where \(\lambda _p\) is the Planck length and \(G_D\) is the D-dimensional gravitational Newton constant. In this frame, the one-loop \(\beta \)-functions (1)–(3) recast the following forms that can also be obtained by the variation of the action (6) with respect to \(\tilde{ g}_{\mu \nu }\) [38]
where \( T_{\mu \nu }^{\mathrm {(eff)}} =T_{\mu \nu }^{(\phi )}+T_{\mu \nu }^{(B)}\) is the effective energy-momentum tensor defined by
In this paper, we focus on \((2+1)\)-dimensional space-times where the t constant hypersurface is given by a homogeneous space corresponding to the 2-dimensional Lie group with real two-dimensional Lie algebra \([T_1,T_2]=T_2\). In this regard, we start with the string frame metric ansatz
where N and \(g_{ij}\) are functions of time t, and \(\{\sigma ^{i},~i=1,2\}\) are left invariant basis 1-forms on the lie group, obeying \(\sigma ^{2}=-\frac{1}{2} \sigma ^{1}\wedge \sigma ^{2}\). The relation between coordinate and non-coordinate basis is given by
We will present three families of solution with diagonal and non-diagonal metric \(g_{ij}\).
1.3 Wheeler–DeWitt equation and semiclassical approximation
With \(S=\int dt\,L\), the Lagrangian L is given in the general form of
where \(\tilde{ N}\) is the lapse function in Einstein frame metric, and \(G_{\alpha \beta }(q)\) is the supermetric defined on minisuperspace as the configuration space with variables \({q}^{\alpha }\). Here and hereafter the dot symbol stands for derivation with respect to t. Basically, this Lagrangian is singular since \(\frac{\partial L}{\partial \dot{\tilde{N}}}=0\). However, if one considers \(\tilde{N}=\tilde{N}(\tilde{a}_1,\tilde{a}_2,\phi )\) or \(\tilde{N}(t)=1\), then L becomes regular. Defining the conjugate momentum \(p_{\alpha }=\frac{\partial L}{\partial \dot{q}^{\alpha }}\), the corresponding Hamiltonian to (12) is given by
Taking advantage of the freedom provided by the time parametrization invariance, a constant potential lapse parametrization \(n=\tilde{ N}V\), \(\bar{G}_{\alpha \beta }=VG_{\alpha \beta }\), and \(\bar{V}=1\) can be chosen in such a way that the Lagrangian reads [24]
where \(q^{\alpha }\) and n are dependent dynamical variables. In this case, the symmetry generators \(\xi \), i.e. \(\mathcal{L}_{\xi }\bar{G}_{\alpha \beta }=0\), satisfying a Lie algebra of the form \([\xi _i,\xi _j]=c_{ij}^{k}\xi _k\), correspond to conserved quantities \(Q_i=\xi _{i}^{\alpha }p_{\alpha }\) [24, 29].
Quantization of this system can be carried out by promoting \(q^{\alpha }\), their conjugate momenta, and Hamiltonian density to quantum operators. Then, imposing the classical constraint as a condition on the wave function \(\varPsi \) leads to the Wheeler–DeWitt equation
whose solutions describe the dynamics of the system. Also, promoting the conditional symmetry generators \(Q_i\) to operators and imposing them on the wave function yields the eigenvalue problem
where \(\eta _i\) are the classical charges such that \(Q_i=\eta _i\). Since the classical algebra \(\{Q_i,Q_j\}=c_{ij}^{k}Q_k\) is isomorphic to quantum algebra with the same structure constants, a consistency condition is required which is given by the following integrability conditions [24, 29]
Practically, this condition determines the allowed elements of certain subalgebras to be applied on the wave function. In fact, the additional Eq. (16) select particular solutions of Wheeler–DeWitt equation and give rise to wave functions containing no arbitrary functions.
Also, to determine some of the physical features of the Wheeler–DeWitt equation solutions, the Bohm’s mechanics can be performed on the obtained wave functions to identify the quantum potential and semiclassical geometries [35, 36]. Specifically, if the wave function is given in the polar form
where \(\varOmega (q)\) is the amplitude and \(\omega (q)\) is the phase of the wave function, substituting \(\varPsi \) in the Wheeler–DeWitt equation yields the modified Hamilton-Jacobi equation [24, 30]
which is of the form \(\mathcal{H}(q^{\alpha }, p_{\alpha })+\mathcal{Q}=0\) where
is the quantum potential. Also, from the semiclassical point of views, the equations of motion are given by [30]
When the quantum potential \(\mathcal{Q}\) vanishes, the solutions of (21) coincide with the classical ones obtained in WKB approximation, if and only if B is a solution of the corresponding Hamilton-Jacobi equation. In this work, we wish to use the solutions of the Wheeler–DeWitt equation to determine the quantum potential and semiclassical geometries. The singularity behavior of these geometries and their matter content will be also investigated.
The paper is organized as follows: In Sect. 2, the low energy string equations of motion are solved to obtain cosmological solutions on \((2+1)\)-dimensional space-time where the space part corresponds to the 2-dimensional Lie group with diagonal metric. Then, transforming to the Einstein frame where the \((2+1)\)-dimensional space-time is minimally coupled to massless dilaton and B-field, we present the corresponding formalism of classical canonical gravity for the considered space-time and solve the Wheeler–DeWitt equation taking into account the conditional symmetries. In Sect. 3, the same procedure will be applied to the case of \((2+1)\)-dimensional model coupled to dilaton, in the absence of the B-field. Also, in Sect. 4, we obtain the classical and quantum solutions choosing a non-diagonal metric ansatz with including the contributions of B-field, dilaton, and the central charge deficit term \(\varLambda \) which appears as a dilaton potential \(V(\phi )=-\varLambda \mathrm{e}^{-2\phi }\). Finally, some concluding remarks are presented in Sect. 5.
2 Spatially homogeneous \((2+1)\)-dimensional model coupled with dilaton and B-field
2.1 Cosmological solutions
In this section, we are going to solve the equations of motion of string effective action in the presence of dilaton and B-field, choosing a diagonal ansatz for string frame metric \(g_{ij}\) (10), given by
where the one-forms \(\sigma ^i\) are given by (11), and \(a_i\) are functions of time t. We choose \(N=\mathrm{e}^{\phi }a_1a_2\). For this \((2+1)\)-dimensional space-time with the contribution of B-field of the form \(B=\frac{1}{2}\,{A(t)} \,\sigma ^{1}\wedge \sigma ^{2}\), the field strength tensor H is given by
The one-loop \(\beta \)-function Eqs. (1)–(3) now lead to the following equations
where \(H_i=\frac{d}{dt}\ln a_i\). Also \((x^1,t)\) component of (1) gives the following constraint equation
We have set \(\varLambda =0\) in this analysis. Now, adding (24) and (25) to (26) gives
Also, using (24) and (29) on the time-time component of \(\beta \)-function equation of metric (1), which is given by (25), yields the following initial value equation
Solutions of the set of Eqs. (24), (27), (28) and (29) give the dilaton and components of metric and B-field by
where \(k_1\), and \(k_2\) are constants. These solutions satisfy the initial value Eq. (30). In order to obtain the Einstein frame metric, after performing the conformal transformation (5), one can make a time redefinition \(d{\tilde{t}}=\mathrm{e}^{\phi }N dt\), i.e. \(t=\frac{3}{4({\tilde{t}}-{\tilde{t}}_0)}-k_1\), to obtain the line element in Einstein frame
where we have
The origins of two time coordinates t and \({\tilde{t}}\) can be coincided with each other by setting \({\tilde{t}}_0=-\frac{3 k_1}{4}\). For this class of solutions, considering the effective energy (8) and (9), the pressures are zero where the energy density and Einstein frame scalar curvature are given by \(\rho =2\tilde{ R}=\frac{1}{4({\tilde{t}}-{\tilde{t}}_0)^2}\). This solution describes a matter-dominant expanding universe with decreasing curvature and string coupling \(g_s=\mathrm{e}^{-\phi }\). The singularity of this space-time appears when \(\tilde{ a}\rightarrow 0\), i.e. \(\tilde{ t}\rightarrow \tilde{ t}_0\).
2.2 Solutions of Wheeler–DeWitt equation
To quantize this system we start with the Einstein frame metricFootnote 1
and the field strength tensor of type (23). Then, given the effective action (6), the Lagrangian reads
Defining \(p_{\phi }=\frac{\partial L}{\partial \dot{\phi }} \), \(p_{A}=\frac{\partial L}{\partial \dot{A}}\), and \(p_{\tilde{ a}}=\frac{\partial L}{\partial \dot{\tilde{ a}}}\), the Hamiltonian is constructed via applying the Legendre transformation \(H=p_{\tilde{ a}} \dot{\tilde{ a}}+p_{\phi }\dot{\phi }+p_A\dot{A}-L\), and we have
Accordingly, the supermetric of the configuration space is
which is conformally flat. The generators of the superspace symmetries are given by
which satisfy the Lie bracket algebra \([\xi _1,\xi _2]=\xi _2\). For these generators we have the following system of the integrals of motion in configuration space
The obtained solutions in (33) and (34) satisfy the \(Q_i=\eta _i\) equations with
Here, the the integrability condition (17) requires \(\eta _2=0\), which is not acceptable. Hence, the only admissible subalgebra to be applied on wave function is \(Q_1\).
Now, using the standard canonical quantization \(p_{q}\rightarrow \hat{p}_{q}=\frac{\hbar }{i}\frac{\partial }{\partial {q}}\) to quantize this classical system, we obtain the Wheeler–DeWitt equation
We will consider this equation along with the condition \(\hat{Q_1}\varPsi =\eta _1\varPsi \), which reads
Solving this set of equations yields the wave function
Here and hereafter \(\hat{h}=\hbar \kappa _3^2\). The \( \lambda _1\) and \( \lambda _2\) are integrating constants, \(\mu _1\) can be either 1 or zero, \(\mu _2=\frac{\sqrt{1-32\eta _1\hat{h}^{-2}}}{2}\), and J and Y are the Bessel functions of the first and second kinds.
On the other hand, adopting the WKB approximation [39] with the wave function
where the Wheeler–DeWitt equation (42) leads to Hamilton-Jacobi equation
and symmetry Eq. (43) gives
we obtain the following solution
where \(s=\pm 1\) and \(c_1\) is a constant. Since \(p_{\tilde{a}}=2\dot{{a}}\), and noting that we have \(p_{\tilde{ a}}\varPsi =s \varPsi \), the \(s=1\) corresponds to \(\dot{{a}}>0\) or expanding universe where the \(s=-1\) corresponds to \(\dot{{a}}<0\) or contracting one. The solutions with \(s=1\) are then acceptable where at \(\tilde{ a}\rightarrow -\infty \) limit which is forbidden classically, the \(\varPsi \) disappears.
It is worth mentioning that at small and large values of Bessel functions arguments, using the approximated forms of Bessel functions given in the appendix, the wave function (44) takes the following forms, respectively
The corresponding quantum potentials at early and late times are then, respectively, given by \(\mathcal{Q}_{sm}=\frac{4\mu _2^2-1}{32\tilde{ a}}\) and \(\mathcal{Q}_{la}=-\frac{1}{2\hat{h}}\). When \(\mu _2=\frac{1}{2}\), or equivalently \(\eta _1=0\), the quantum potential \(\mathcal{Q}_{sm}\) vanishes and the wave function (44) becomes equivalent to the WKB approximated solutions (48). It is worth reminding that the classical solutions (33) show a singularity at \(\tilde{ a}\rightarrow 0\) limit, where A and \(\mathrm{e}^{2\phi }\) tend to zero, as well. With \(\mu _2=\frac{1}{2}\), the divergence of the approximated wave function (49) at the origin can be removed, in such a way that for \(\mu _1=0\) case, setting \( \lambda _2=-\sqrt{2\pi \hat{h}^{-1}}\) , the Hartle and Hawking’s no-boundary proposal of \(\varPsi =1\) at \(\tilde{ a}=0\) [40] can be admitted, while for \(\mu _1=1\), the wave function vanishes at the origin, being consistent with DeWitt’s boundary condition at the singularity [41].
The quantum potentials do not vanish in general, and hence the semiclassical geometry is not the same as the classical one. The phase function is \(\omega =2\eta _1\hat{h}^{-1}\phi \). Then, noting (21), the solutions of semiclassical equations with respect to \((\tilde{ a},\phi )\) are
where c is a constant which is however not an essential constant of space-time and can be reabsorbed. Independent of the chosen gauge for \(\tilde{ N}\), the Ricci scalar is constant, i.e. \(\tilde{ R}=-\frac{2}{c}\), as well as all the other curvature scalars. Also, all of the higher derivatives of Riemann tensor vanish. Therefore, the semiclassical solutions show no curvature and/or higher derivative curvature singularities. Also, checking (7) shows that, similar to the classical ones, the matter content of this semiclassical solution is a dust with energy density \(\rho =\frac{1}{c}\).
3 Spatially homogeneous \((2+1)\)-dimensional model coupled with dilaton field
3.1 Cosmological solutions
Considering the same metric ansatz (22) for the case of vanishing strength tensor of B-field, i.e. \(H=0\), the solutions of Eqs. (24), (28) and (29) give the string frame scalar factor and dilaton field as following
where \(p_1\), \(p_2\), k, \(\phi _0\) are real constants. Then, the initial value Eq. (30) gives the following constraint on constants
Performing the conformal transformation (5) and the time redefinition \(t=\frac{k}{p_1}-\frac{1}{2 p_1}\ln \left( 1+\frac{2\,p_1}{{\tilde{t}}-{\tilde{t}}_0-p_1}\right) \) with choosing \({\tilde{t}}_0=-p_1 \coth (k)\) to have the origin of two time coordinates coincided, we get the following Einstein frame metric of the form (33) with scalar factor \(\tilde{ a}^2=\left( ({\tilde{t}}-{\tilde{t}}_0)^2-p_1^2\right) \), where we have
where the prime symbol stands for derivative with respect to \(\tilde{ t}\), and q is the deceleration parameter. Also, the effective pressure, energy density, and Einstein frame Ricci scalar are given by
This class of solutions describes a decelerated expanding universe with decreasing absolute value of deceleration parameter. The space-time is negatively curved where \( \mid \tilde{ R}\mid \) is decreasing and diverges at \(\tilde{ a}=0\).
3.2 Solutions of Wheeler–DeWitt equation
With \(H=0\), the A-dependent terms in the Lagrangian (36) and Hamiltonian (37) are absent, where the supermetric of the configuration space is given by
The generators of the superspace symmetries for this conformal flat metric are
whose Lie bracket Algebra is
The system of the first integrals of motion expressed in the configuration space variables generated by corresponding \(\xi _i\) are given by
Noting the classical solutions obtained in the previous subsection, we have the following classical charges
The quantum integrability condition (17) requires \(\eta _1=\eta _2=0\), but leaves \(\eta _3\) arbitrary. Hence, the only admissible subalgebras to be imposed on wave function is \(Q_3\).
Noting (42), the Wheeler–DeWitt equation is given here by
Also, the \(\hat{Q_3}\varPsi =\eta _3\varPsi \) yields
The solution of (63) and (64) is
where \(\mu =\frac{\sqrt{1-16p_1^2\hat{h}^{-2}}}{2}\).
On the other hand in WKB approximation, where the Wheeler–DeWitt equation and conditional symmetry Eq. (64) lead to the following equations
we find the solution
where \(c_1\) is a constant and \(s=\pm 1\).
Asymptotic behavior of the solution (65) is similar to that of the wave function (44). At the small and large limits of the Bessel functions argument the quantum potentials are, respectively, given by \(\mathcal{Q}_{sm}=\frac{4\mu ^2-1}{16\tilde{ a}^2}\) and \(\mathcal{Q}_{la}=\frac{1}{\hat{h}^2}\). The \(\mathcal{Q}_{sm}\) vanishes when \(\mu =\frac{1}{2}\) or equivalently \(p_1=0\) which is not classically an interesting case. The semiclassical solutions are given here again by (51). Although the classical solutions were described by a perfect fluid with characteristic given by (55), the matter content of semiclassical solutions is dust.
4 Spatially homogeneous \((2+1)\)-dimensional model coupled with dilaton, B-field, and \(\varLambda \) in non-diagonal algebraic metric case
4.1 Cosmological solutions
In the line element (10), if we consider a non-diagonal setting for the two-metric on spacelike hypersurface by
where \(N=N(t)\), \(a=a(t)\), and choose the lapse function \(N=\mathrm{e}^{\phi }a^2\), then the one loop \(\beta \)-function Eqs. (1)–(3) with field strength tensor of the form (23) give the following equations
where \(H=\frac{d}{dt}\ln (a)\). We included the contribution of \(\varLambda \ne 0\), which yields the solutions called non-critical string cosmology [22, 33]. Now, by adding (69) and twice of (70) to (71) we get
Also, adding half of (71) to (70) gives the initial value equation
Solutions of (69), (72), and (73) give the string frame scalar factor, dilaton and field strength tensor (23) as following
where \(p_1\), \(p_2\), \(k_1\), \(k_2\), and b are real constants and the initial value equation (74) leads to the following constraint on constants
Also, the string frame Ricci scalar is given by
Performing the conformal transformation (5) on the above solutions gives the Einstein frame line element
in which scalar factor and lapse function are given by
Also, the energy momentum tensors (8) and (9) give the effective pressure and energy density as following
Both pressure and energy density are positive for this class of solutions, but the dominant energy condition \(\rho >P\) is violated. The cosmological time \({\tilde{t}}\) can be defined here by \( d{\tilde{t}}=\tilde{ N} \,dt \). However, noting (79), integrating of this expression and transforming from t to \(\tilde{t}\) is not straightforward. In this case, to investigate the behavior of solutions, the time derivatives in the physical quantities in Einstein frame can be rewritten in terms of t-derivatives such as following
Accordingly, the given solutions describe a decelerated expanding universe with decreasing positive valued decelerating parameter.
4.2 Solutions of Wheeler–DeWitt equation
To obtain the Hamiltonian formalism for this model if we start in the the Einstein-frame with a metric ansatz of the form (78), choosing \(\tilde{ N}=n\mathrm{e}^{2\phi }\tilde{ a}^{-2}\), the Lagrangian can be written in the constant potential form of (14)
where the Hamiltonian is given by
Because of the \(\tilde{ {a}}^2\) and \(\mathrm{e}^{2\phi }\) factors coming, respectively, with \(p_{\tilde{ {a}}}^2\) and \(p_{\phi }\), an ambiguity in the operator ordering appears moving from classical to quantized theory. Fortunately, this problem can be fixed in the string cosmology context using the duality symmetries of the string low-energy effective action. In fact, it was first shown in [42, 43] that on homogeneous backgrounds, taking advantage of the O(d, d) symmetry of the string effective action in presence of dilaton, B-field and dilaton potential, the Wheeler–DeWitt equation becomes manifestly free from operator ordering problem, and the fixed ordering by this symmetry is the same as prescribed by the reparametrization invariance requirement in minisuperspace [44].
Following this approach, to fix the ordering problem in this class of space-times we present the Hamiltonian formalism in the string frame, where \(g_{0i}=0=B_{0i}\), and the two dimensional spatial section in metric (68) posses two Abelian isometries.Footnote 2 Being interested in a constant potential parametrization of the action, we define
Then, the effective action (4) can be rewritten as
whose corresponding Hamiltonian is given by
which is affected by the operator ordering problem. Hence, to construct the Wheeler–DeWitt equation we need to include the Hartle–Hawking ordering parameters [40] B and C as following
The Wheeler–DeWitt equation is then given by
where the ordering parameters B, C, and \(\chi \) will be assumed to be real constants. We wish to fix their values using the O(d, d) symmetry and the requirement of general reparametrization invariance in minisuperspace, which demands the following relation between the kinetic part of the Hamiltonian and the covariant Laplacian with respect to minisuperspace metric [44]
where, the covariant Laplacian is defined by [24]
in which \( \mathcal{R}\) is the Ricci scalar of the m-dimensional minisuperspace. To this purpose, we first reproduce the Hamiltonian (86) in an O(d, d)-invariant from to benefit from the outcomes of this symmetry on Wheeler–Dewitt equation. We proceed as in [42, 43], considering another gauge for the lapse functions with \(N=1\), to apply the O(d, d)-transformation. Then, the string frame action reads
In terms of the \(4\times 4\) matrix [45, 46]
where G and B denote, respectively, the matrix representations of the spatial part of \(g_{\mu \nu }\) and \(B_{\mu \nu }\), the action (92) can be rewritten as
which is invariant under the O(d, d) transformation [45, 46]
where
and M satisfies \(M\eta M=\eta \). With the time redefinition \(dt=\mathrm{e}^{\bar{\phi }}d\tau \), the action (94) can be brought into the form of the action (85). Then, using the O(d, d) properties of the matrix M, the second term in (94) can be rewritten as
in which the prime denotes differentiation with respect to \(\tau \), and the corresponding momentum
leads to the classical Hamiltonian
Rewriting the second term in terms of a and A functions, we can obtain the same Hamiltonian of (86). Here, in particular, we are interested in the torsion-graviton kinetic part of (99), which giving the following contribution to the associated Wheeler–Dewitt equation
is not affected by ordering problem as a consequence of O(d, d)-symmetry properties of the matrix M [42]. Rewriting (100) in terms of differential operators shows that the operators \(a^2\partial _a^2\) and \(\partial _a\) appear in the ordered Hamiltonian operator with opposite numerical coefficient, which proposes \(B=1\) in (89).Footnote 3 On the other hand, the Hamiltonian is parametrized by the metric
where the space is spanned by differential operators
If B-field was absent, the superspace would be globally flat, similar to the examples presented in [42], where the ordered Hamiltonian does not include a contribution of the scalar curvature of superspace. But, here in the presence of B-filed, with the conformally flat superspace metric (101), the covariant Laplacian (91) is given a correction of \(\mathcal{R}=\mathrm{e}^{\bar{-2\phi }}\), and we have
Now, the condition (90), proffering the same value \(B=1\) obtained from the O(d, d) symmetry approach, fixes \(C=-1\) and \(\chi =-\frac{1}{8}\) in the Wheeler–Dewitt equation (89).
In addition, in this constant potential parametrization of the action, the Wheeler–Dewitt equation can be accompanied by a conditional symmetry equation. The generators of the superspace symmetries for the metric (101) are given by
whose Lie bracket algebra is
For these generators, we have the following system of the first integrals of motion expressed in terms of velocity phase space variable
The obtained solutions (75) are not consistent with these equations. However, after a time redefinition
on the solutions (75), they satisfy \(Q_i=\eta _i\) equations via
Now, based on (105), the integrability condition (17) implies \(\eta _1=\eta _2=\eta _3=0\). Accordingly, only the one dimensional subalgebra \({Q}_2\) is admissible here to be imposed on the wave function, where \(\hat{Q}_2\varPsi =\eta _2\varPsi \) reads
Now, the solution of the set of Eqs. (109) and (89), with the fixed values \(B=-C=1\) and \(\chi =-\frac{1}{8}\), is given by
where P and Q are Legendre functions of the first and second kinds, \(\lambda _i\) and \(\mu _1\) are constants, \(\mu _2=\sqrt{2\mu _1^2+1}\), \(u=\frac{\sqrt{\varLambda }}{\hbar \lambda _s}\mathrm{e}^{\bar{\phi }}\), and \(v=A a^{-2}\).
Also, in WKB approximation with the wave function of the form \( \varPsi =\mathrm{e}^{\frac{i}{h}{S}+f} \), we have the following solutions
where \(k_1\) and c are constants, \(k_2=1+8k_1\), and \(s=\pm 1\).
It is worth mentioning that, noting (75) and (79), at classical singularity where \(\tilde{ a}\rightarrow 0\), i.e. \(t\rightarrow \frac{-\sqrt{2}c_1}{2p_2}\) or equivalently \(T\rightarrow \infty \), the u function has large but finite value and \(v\rightarrow -1\). At this limit, considering the Legendre functions proprieties given in the appendix within (134135)–(136), one can fix the constant \(\lambda _2\) as
to eliminates the Q-type Legendre function which shows logarithmic divergence as \(v\rightarrow -1\), leaving only the \(P_{\mu _2}(|v|)\) function which is regular at this limit, i.e. \(P_{\mu _2}(1)=1\). Then, the form of the approximated wave function becomes
where \(D_1\) and \(D_2\) are constants. The u function has finite value in this limit, and hence for real-valued \(\mu _1\) constant only the Hartle and Hawking’s no-boundary proposal of \(\varPsi =1\) at \(\tilde{ a}=0\) can be admitted, while for complex-valued \(\mu _1\) the wave function is consistent with both Hartle and Hawking’s no-boundary proposal and DeWit’s boundary condition at the singularity. However, it should be noticed that the calculation of one-loop \(\beta \)-functions (1)–(3), which are the equations of motions of the low-energy string effective action (4), is trusted as long as the string coupling is weak, i.e. \(g_s=\mathrm{e}^{-\phi }\ll 1\). Here, when \(\tilde{ a}\rightarrow 0\), the solutions (75) are in strongly coupled high-curvature limits, which signals the entering of the system into the non-perturbative regime of M-theory [47, 48]. Hence, this limit may leave the reliable area of the solutions.
Also, noting solutions (75), the singularity in the string frame appears when \(a\rightarrow 0\), i.e. \(t\rightarrow \infty \) or equivalently \(T\rightarrow 0\), where the string coupling \(g_s\) is weak. In this limit, the u function has small value, but the v function is large. Using the asymptotic behavior of the Bessel and Legendre functions we obtain the approximated wave function
where \(A_1\) and \(A_2\) are constant. Here, for \(\mathfrak {R}(\mu _1)>0.5\) setting \(A_2=0\) and for \(\mathfrak {R}(\mu _1)<-0.5\) setting \(A_1=0\) the divergence of the wave function can be avoided, obtaining a vanishing \(\varPsi \) at \(a\rightarrow 0\).Footnote 4
The wave function (110) is not generally in the polar form (18). Hence, in order to provide a Bohm’s analysis for this class of space-time, we consider another lapse function parametrization. If similar to what we have done in 4.1 to obtain the solutions (75), the lapse function is chosen to be \({ N}=\mathrm{e}^{\bar{\phi }}\), the string frame Lagrangian reads
which is not however in the form of a constant potential lapse parametrization (14) and hence the conditional symmetries can not be considered in its quantization. Here, the Hamiltonian is given by
and the corresponding Wheeler–DeWitt Equation, similar to (89), is subject to the operator ordering problem, but here only in a-dependent term
where B and \(\chi \) are ordering constant. To resolve this ordering ambiguity in O(d, d)-symmetric effective action context, coming back to the action (94) if we define a time parameter \(\tau \), with \(dt =\mathrm{e}^{\bar{\phi }} d\tau \), and use the the O(d, d) symmetry, we obtain the Hamiltonian
which is in the factor ordering ambiguity free form of the Hamiltonian provided in [42]. Comparing its Wheeler–Dewitt equation to (118) we come again to \(B=1\) value. Also, the parametrization of this Hamiltonian, on three-dimensional space spanned by the differential operators (102), corresponds to the metric
which is conformally flat and its scalar curvature is given by \(\mathcal{R}=2\). Now, from the covariant Laplacian (90) point of view, besides obtaining the same value for B constant, we have a contribution of \(\mathcal{R}\) to the ordered Hamiltonian, which fixes \(\chi =-\frac{1}{4}\) in the Wheeler–Dewitt equation (118). With these values, solving (118) we obtain the wave function
in which \(\rho =c_1 a^2\) and \(u=\frac{\sqrt{\varLambda }}{\hbar \lambda _s}\mathrm{e}^{\bar{\phi }}\), the \(c_1\) and \(\mu \) are constants, \(\mu _2=\sqrt{2\left( \mu _1^2+1\right) }\), and \(c_2\) can be either 1 or 0. Also, in WKB approximation \(\varPsi =\mathrm{e}^{\frac{i}{\hat{h}}S+f}\) we obtain the solution
where c, k, and l are real constants, and s can be either \(-1\) or \(+1\).
At the classical singularity of Einstein frame where \(\tilde{ a}\rightarrow 0\), considering (75) and (79), the u and \(\rho \) functions are large, where the approximated wave function can be rewritten as
in which \(B_i\) are constants. The A function diverges in this limit. Hence, setting \(c_2=0\) gives a regular approximated wave function which vanishes at \(\tilde{ a}\rightarrow 0\), being consistent with DeWitt’s boundary condition at the singularity [41]. Also, as \(a\rightarrow 0\), where the string frame Ricci scalar diverges, the u and \(\rho \) functions are small. In this limit the wave function (121) takes the form
where \(C_1\) and \(C_2\) are constants and the wave function vanishes where \(a\rightarrow 0\).
Similar to the situation we had in the wave function (114), when the u function is large the classical solutions are in a strongly coupled regime, where the \(g_s\ll 1\) condition in calculation of the low-energy string effective action can be violated. Hence, we limit our attention here to the approximated wave function (125), which is in the weakly coupled high-curvature limit of the classical solutions. This wave functions can be put into the polar form (18) with the phase function \(\omega =2\mu _1\ln (a)\). The quantum potential is then given by
It vanishes for \(\mu _2=1\), or equivalently \(\mu _1=0\), which makes the phase function vanish. With non-vanishing quantum potential, the semiclassical space-time will differ from the classical one. Solving (21) for this system and transforming to Einstein frame we obtain \(\tilde{ a}^2=\tilde{ N}=L\mathrm{e}^{\mu _1 t}\). Then, with a time redefining \(d\tilde{ t}=\tilde{ N}d{ {t}}\), assuming \(\mu _1>0\) for the metric to remain in the Lorentzian signature, the line element is given by
for which the Ricci scalar \(\tilde{ R}=\frac{1}{2\tilde{ t}^2}\), diverging at \(\tilde{ t}=0\), does not contain any parameter to make it vanish. Also, the matter content of this semiclassical solution is a perfect fluid with \(\rho =P=\frac{1}{4\tilde{ t}^2}\).
5 Conclusion
In this paper, we constructed cosmological solutions at classical and quantum levels for low energy string effective action on \((2+1)\)-dimensional spatially homogeneous space-time in three examples including the contributions of (1) dilaton and B-field, (2) only the dilaton field, and (3) dilaton, B-field, and the central charge deficit term \(\varLambda \) which plays the role of a negative dilaton potential \(V(\phi )=-\varLambda \mathrm{e}^{-2\phi }\) in the Einstein frame. In doing so, for each case, we first obtained the solutions for one-loop \(\beta \)-function equations, which are the conformal invariance condition of the corresponding \(\sigma \)-model and equivalent to the equations of motion of string effective action. Then, using the symmetries of supermetric, the classical integrals of motion are obtained for each class of solutions. At the quantum level, we proceed by implementing the canonical quantization procedure, taking into account the conditional symmetries. Turning the Hamiltonian constraint \(\mathcal{H}\) and conditional symmetries \(Q_i\) into operators, we used an integrability condition to determine the admissible conditional symmetry operators that can be applied on the wave functions. In each class of solutions, solving the Wheeler–DeWitt equations supplemented with the conditional symmetry equations, we obtained the wave functions describing the quantum dynamics of systems. Concerning the applications of the solutions, we took advantageous of the Bohm’s approach [30, 35, 36] to determine the quantum potential and semiclassical geometries.
For the \((2+1)\)-dimensional model coupled to dilaton and B-field we found solutions describing a dust model. At the quantum level, employing the conditional symmetries we obtained solutions where the classical singularity can be avoided at the semiclassical level where the matter content is again dust. Its singularity behavior is similar to that of the Friedmann–Lemal̂tre–Robertson–Walker (FLRW) case in [24], where the semiclassical solutions are non-singular. In the absence of B-field, we obtained the second family of solutions which classically behave as perfect fluid. At its quantum level, similar to the space-time with dilaton and B-field, solving the Wheeler–DeWitt and conditional symmetry equations, the Bohm’s analysis has been performed and the obtained semiclassical solutions showed a non-singular behavior where the matter content, being different from the classical one, was dust.
Also, we constructed non-critical string cosmology solutions including contributions of dilaton, B-field, and the central charge deficit term \(\varLambda \), which corresponds to a dilaton potential in effective action. The quantum cosmological solutions have been studied in two parametrizations of the lapse function, where the operator ordering ambiguities appeared in the Wheeler–Dewitt equations. The solution to the operator ordering problem in the Hamiltonian operator of string cosmology in presence of dilaton, B-field, and dilaton potential has been first provided in [42, 43], where using the O(d, d) symmetry of the effective action on homogeneous backgrounds, the ordering problem was fixed, in agreement with the ordering prescribed by the requirement of general reparametrization invariance in minisuperspace [44]. Here, following these approaches, the operator ordering ambiguities in the Wheeler–Dewitt equations have been eliminated. We have seen that in the presence of B-field the minisuperspaces appear to be non-globally flat which underlines the necessity of considering the correction of the scalar curvature of superspace to the covariant Laplacian. Then, the general reparametrization invariance condition, besides supporting the operator ordering parameters fixed by O(d, d) symmetry approach, fixes the remaining parameter via the superspace scalar curvature correction. Then, in a constant potential parametrization, the integrals of motion and solutions of the Wheeler–DeWitt equation along with the conditional symmetry equation have been obtained. This class included in particular the solutions in agreement with the Hartle–Hawking no-boundary proposal and DeWitt boundary condition at the classical singularity. Considering another parameterize in which the additional conditional symmetry equations can be ignored, the solutions for the Wheeler–DeWitt equation have been found in the polar form, for which the Bohm’s approach was applied to find the quantum potentials and semiclassical geometry. We arrived at a singular space-time at semiclassical level whose matter content, being different from that of the classical solutions which was an imperfect fluid, is given by a perfect fluid.
Data Availability Statement
This manuscript has no associated data or the data will not be deposited. [Authors’ comment: This work is entirely theoretical, so we have not used any specific data.]
Notes
Inspired by the classical solutions (33), we considered an isotropic ansatz for \(g_{ij}\).
Considering the spatial coordinates \(\{x,y\}\) in (68), we have the following Killing vectors
$$\begin{aligned} \xi _1=\partial _x,\quad \xi _2=\partial _y,\quad \xi _3=-x\partial _x+y\partial _y \end{aligned}$$where \([\xi _1,\xi _2]=0\), \([\xi _1,\xi _3]=-\xi _1\), \([\xi _1,\xi _2]=\xi _2\).
It is worth comparing this value, obtained with the non-diagonal setting for G, with those of the example presented in [42], where on Bianchi type I space-times with diagonal metric the B-type constant in the Wheeler–Dewitt equation has been restricted to have the value of \(-1\).
We have considered this fact that the Legendre function part can admit Dirichlet boundary condition when its argument goes to infinity [49].
References
A. Staruszkiewicz, Acta Phys. Polon. 24, (1963)
S. Deser, R. Jackiw, G. Hooft, Ann. Phys. 152, 220 (1984)
S. Deser, R. Jackiw, Commun. Math. Phys. 118, 495 (1988)
G. ’t Hooft, Commun. Math. Phys. 117 (1988) 685
E. Witten, Nucl. Phys. B 323, 113 (1989)
E. Witten, Nucl. Phys. B 311, 46 (1988)
E. Witten, Commun. Math. Phys. 137, 29 (1991)
E. Witten, Three-dimensional gravity revisited, 2007, arXiv:0706.3359 [hep-th]
H.W. Hamber, R. Toriumi, R.M. Williams, Phys. Rev. D 86, (2012). arXiv:1207.3759 [hep-th]
S. Carlip, Class. Quantum Gravit. 11, 31 (1994). arXiv:gr-qc/9309002
S. Hoseinzadeh, A. Rezaei-Aghdam, Phys. Rev. D 90, 084008 (2014). arXiv:1402.0320 [hep-th]
F. Darabi, K. Atazadeh, A. Rezaei-Aghdam, Eur. Phys. J. C 73, 2657 (2013). arXiv:1304.2926 [gr-qc]
H. Adami, M.M. Sheikh-Jabbari, V. Taghiloo, H. Yavartanoo, C. Zwikel, J. High Energy Phys. 10, 107 (2020). arXiv:2007.12759 [hep-th]
A. Eghbali, L. Mehran-nia, and A. Rezaei-Aghdam, Phys. Lett. B, Phys. Lett. B 772, 791 (2017). arXiv:1705.00458 [hep-th]
A. Eghbali, Nucl. Phys. B 958, 115110 (2020). arXiv:2003.11160 [hep-th]
M. Lachièze-Rey, J.P. Luminet, Phys. Rep. 254, 135 (1995). arXiv:gr-qc/9605010v2
G.F.R. Ellis, M.A.H. MacCallum, Commun. Math. Phys. 12, 108 (1969)
N.A. Batakis, A. Kehagias, Nucl. Phys. B 449, 248 (1995). arXiv:hep-th/9502007
M.P. Da̧browski, A.L. Larsen, Phys. Rev. D 57, 5108 (1998). arXiv:hep-th/9706020
A. Paliathanasis et al., Eur. Phys. J. C 76 (2016). arXiv:1601.06528 [gr-qc]
F. Naderi, A. Rezaei-Aghdam, Nucl. Phys. B 923, 416 (2017). arXiv:1612.06074v4 [hep-th]
F. Naderi, A. Rezaei-Aghdam, F. Darabi, Phys. Rev. D 98, 026009 (2018). arXiv:1712.03581v3 [hep-th]
F. Naderi, A. Rezaei-Aghdam, Eur. Phys. J. C 79, 995 (2019). arXiv:1905.11302 [hep-th]
A. Zampeli et al., J. Cosmol. Astropart. Phys. 2016, 066–066 (2016). arXiv:1511.08382 [gr-qc]
A. Paliathanasis et al., Phys. Rev. D 89, 104042 (2014). arXiv:1402.5935 [gr-qc]
K. Atazadeh, F. Darabi, Eur. Phys. J. C 72, 2016 (2012). arXiv:1112.2824 [physics.gen-ph]
F. Darabi, K. Atazadeh, A. Rezaei-Aghdam, Eur. Phys. J. C 74, 2967 (2014). arXiv:1403.7728 [gr-qc]
F. Darabi, M. Golmohammadi, A. Rezaei-Aghdam, Int. J. Geom. Methods Mod. Phys. 17, 2050175 (2020). arXiv:2001.04666 [gr-qc]
T. Christodoulakis et al., J. Geom. Phys. 71, 127 (2013)
T. Christodoulakis et al., Phys. Rev. D 89, 044031 (2014)
T. Christodoulakis, G. Papadopoulos, Phys. Lett. B 501, 264–268 (2001). arXiv:gr-qc/0009074
T. Christodoulakis, G. Kofinas, G. Papadopoulos, Phys. Lett. B 514, 149–154 (2001). arXiv:gr-qc/0101103
A. Tseytlin, C. Vafa, Nucl. Phys. B 372, 443 (1992). arXiv:hep-th/9109048
B. Mojaveri, A. Rezaei-Aghdam, Int. J. Mod. Phys. A 27, 1250032 (2012). arXiv:1106.1795v2 [hep-th]
D. Bohm, Phys. Rev. 85, 166 (1952)
D. Bohm, Phys. Rev. 85, 180 (1952)
E. Fradkin, A. Tseytlin, Nucl. Phys. B 261, 1 (1985)
C.G. Callan et al., Nucl. Phys. B 262, 593 (1985)
C. Kiefer, Phys. Rev. D 38, 1761 (1988)
J.B. Hartle, S.W. Hawking, Phys. Rev. D 28, 2960 (1983)
B.S. DeWitt, Phys. Rev. 160, 1113 (1967)
M. Gasperini, J. Maharana, G. Veneziano, Nucl. Phys. B 472, 349–360 (1996). arXiv:hep-th/9602087v1
M. Gasperini, Elements of string cosmology Vol. 36 (Cambridge University Press Cambridge, 2007)
A. Ashtekar, R. Geroch, Rep. Prog. Phys. 37, 1211 (1974)
K. Meissner, G. Veneziano, Phys. Lett. B 267, 33 (1991)
K.A. Meissner, G. Veneziano, Mod. Phys. Lett. A 06, 3397–3404 (1991). arXiv:hep-th/9110004
E. Witten, Nucl. Phys. B 443, 85 (1995). arXiv:hep-th/9503124
P. Hořava, E. Witten, Nucl. Phys. B 460, 506 (1996). arXiv:hep-th/9510209
I. Boettcher et al., Phys. Rev. A 102 (2020). arXiv:1910.12318 [quant-ph]
Author information
Authors and Affiliations
Corresponding author
Appendix: Some properties of Bessel and Legendre functions of the first and second kind
Appendix: Some properties of Bessel and Legendre functions of the first and second kind
Bessel function of the first kind \(J_{\mu } (u)\) is defined as [24]
where the Bessel function of the second kind \(Y_{\mu } (u)\) is defined as
At large argument of Bessel function we have
where at small limit of Bessel function argument we have
For the Legendre functions of first and second kinds, respectively denoted by P and Q, we have the following useful relations
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
Funded by SCOAP3
About this article
Cite this article
Naderi, F., Rezaei-Aghdam, A. Classical and quantum \((2+1)\)-dimensional spatially homogeneous string cosmology. Eur. Phys. J. C 81, 23 (2021). https://doi.org/10.1140/epjc/s10052-021-08836-z
Received:
Accepted:
Published:
DOI: https://doi.org/10.1140/epjc/s10052-021-08836-z