Mini-Superspace Universality and No-Scale Quantum Cosmology

We prove that, at the mini superspace level, and for an arbitrary Brans-Dicke parameter, one cannot tell traditional Einstein-Hilbert gravity from local scale invariant Weyl-Dirac gravity. Both quantum mechanical cosmologies are governed by the one and the same time-independent single-variable Hartle-Hawking wave function. It is only that its original argument, the cosmic scale factor $a$, is replaced by $a\phi$ ($\phi$ being the dilaton field) to form a Dirac in-scalar. The Weyl vector enters quantum cosmology only in the presence of an extra dimension, where its fifth component, serving as a 4-dim Kaluza-Klein in-scalar, governs the near Big Bang behavior of the wave function. The case of a constant Kaluza-Klein in-radius is discussed in some detail.


Introduction
The mini-superspace approximation [1], while being premeditatedly naive and simple by construction, is still one of the best available theoretical tools to probe the quantum cosmology. The prototype mini-superspace Hartle-Hawking model is economical in its ingredients. They include: (i) The Einstein-Hilbert action, (ii) A positive cosmological constant Λ > 0, and (iii) A spatially open Universe κ > 0. The resulting wave function ψ(a), strikingly time-independent reflecting the Hamiltonian constraint, obeys the Wheeler-deWitt equation (reduced to a zero energy Schrodinger equation), but can still have different spontaneous creation interpretations , Linde [3], Vilenkin [4]) differing from each other by the initial conditions. Renewed interest in the so-called Hartle-Hawking no-boundary proposal has been reported [5], with the presumably problematic Euclidean approach [6] being replaced by the potentially tenable Lorentzian approach [7] alternative.
But is the exact ψ HH (a) a unique fingerprint of the underlying theory of general relativity? We first prove that the answer to this question is negative. One cannot tell, at least at the mini-superspace level, the Einstein-Hilbert gravity from the Weyl-Dirac gravity [8] (not to be confused with C 2 -gravity [9], where C µνλσ stands for the Weyl tensor). Furthermore, the conclusion holds for an arbitrary Brans-Dicke parameter [10].
This brings us to the more general topic of no-scale quantum cosmology, where the underlying gravitational theory exhibits local scale invariance. The latter local symmetry is translated into an additional constraint (on top of the Hamiltonian constraint), and may have a far reaching impact on the mini-superspace. The associated no-scale wave function of the Universe can only depend, using Dirac language, on in-scalars. Unfortunately, the no-scale C 2 conformal cosmology is empty, leaving the stage, as already mentioned earlier, to Weyl-Dirac cosmology and two scalar gravity-anti-gravity cosmology [11]. For more complicated cases, one may invoke Kaluza-Klein reduced higher dimensional local scale symmetric theories [12]. This allows the Weyl vector to enter the game, and even govern the wave function behavior [13] near Big Bang.

Weyl-Dirac preliminaries
Let our starting point be the Brans-Dicke theory, supplemented by a quartic potential for the dilaton scalar field φ(x), described by the action The theory enjoys global scale invariance (Ω = arbitrary constant) under and furthermore exhibits the much reacher local scale invariance (Ω(x) = arbitrary function) for the critical case of ω = − 3 2 . However, as prescribed by Dirac, local scale invariance can be extended to accompany any Brans-Dicke ω-theory. The corresponding Weyl-Dirac gravity is field theoretically formulated by the action The Ricci scalar R, known to govern the Einstein-Hilbert action, has been consistently supplemented by two terms which involve the Weyl vector field K µ and its divergence, such that the generalized (stared) curvature transforms as a co-scalar under the local scale symmetry, that is R → e −2Ω(x) R . Respectively, the (stared) cocovariant dilaton derivative, defined by transforms ala φ µ → e −Ω(x) φ µ in accord with Eq.(2). The last mandatory ingredient in the prescription is of course the Weyl Maxwell-like gauge transformation arXiv:1908.02959v2 [gr-qc] 9 Aug 2019 which leaves invariant the associated anti-symmetric cotensor K µν = K µ ν − K ν µ = K µ;ν − K ν;µ .

No-scale quantum cosmology
To keep track of the Hartle-Hawking model, we stick to an open universe (κ > 0), and a positive cosmological constant (Λ > 0) in the Einstein frame. The cosmological FRWL line element is accompanied by K µ dx µ = v(t)dt and φ(t). At the mini-superspace level, and for an arbitrary Brans-Dicke parameter, the Weyl-Dirac action Eq.(3) reduces after spatial integration to Ldt, with the mini-Lagrangian taking the form to be compared with the corresponding Hartle-Hawking mini-Lagrangian The canonical variables n and v are non-dynamical, and as such one is not allowed to prefix (= fix at the level of the Lagrangian) their values. Prefixing n would kill the Hamiltonian constraint, and by the same token, prefixing v means throwing away the scale invariance constraint.
To be a bit more specific, the two associated primary constraints are they are clearly first class, exhibiting vanishing Poisson brackets The two left over non-trivial momenta are given by For non-critical scale invariance, that is 3 + 2ω = 0, one can now inversely calculate the velocities to be substituted into H = pq − L, and eventually arrive at the Weyl-Dirac mini-superspace Hamiltonian (16) It is notably linear in n, v, and should be compared with its Hartle-Hawking analogue On self consistency grounds, the two associated first class constraints Eq.(10) must Poisson commute with the mini-Hamiltonian Eq. (16), thereby leading to These equations must be satisfied not only classically, but following Dirac prescription, quantum mechanically as well, thus giving rise to two Schrodinger Wheeler-deWitt equations for the time-independent quantum mechanical wave function ψ(a, φ). Let p = −i ∂ ∂q , and as usual replace qp by its symmetrized Hermitian version 1 2 (qp + pq) = qp − 1 2 i . Consequently, the first Schrodinger equation, reflecting the scale invariance constraint, takes the -independent form whose most general solution is given by meaning a single variable wave function. This is of course not a coincidence. Recalling the local scale symmetries of the mini-Lagrangian, in particular a(t) → e Ω a(t) along with φ(t) → e −Ω φ(t), so that the product b(t) = a(t)φ(t) transforms like an in-scalar. This is just a simple example of the general rule: In no-scale mini-superspace cosmology, the wave function ψ can only depend on in-tensors, carrying no length units. The second Schrodinger equation, reflecting the Hamiltonian constraint, then becomes This is now an ordinary differential equation, recognized as the original Hartle-Hawking equation for the in-scalar This simply means that, at the mini superspace level, one cannot really tell traditional Einstein-Hilbert gravity from the local scale invariant Weyl-Dirac gravity. In other words, the wave function ψ HH (a) is traded for ψ HH (aφ). The result being ω-independent.

Weyl-Dirac Kaluza-Klein reduction
To introduce more ingredients into the no-scale cosmology, we consider a Kaluza-Klein reduction of Weyl-Dirac gravity in 5-dimensions, given explicitly by Here, adjusting the coefficients and the various powers of φ to fit the 5-dim world, we also have where W M stands here for the 5-dim Weyl vector, and correspondingly W M N = W M ;N − W N ;M . We further note that, in 5-dimensions, the critical value of the Brans-Dicke parameter is ω 5 = − 4 3 . Truly, Kaluza-Klein compactification does introduce a fundamental length scale into the theory, viz.
However, owing to the fact that x 5 -independence is imposed on a classical scale invariant theory, the Kaluza-Klein radius can be fully absorbed within the redefinitions of the fields which constitute the 4-dim effective theory. It is to say that after integrating out the 5-th dimension, the effective 4-dim ground state stays locally scale symmetric (in the 4-dim language). Carrying out the Kaluza-Klein reduction procedure, the 5-dim line element dictionary reads with the algebraic advantage that R 5 √ −G = R 4 √ −g+... Similarly, the 5-dim Weyl vector field can be decomposed into where the two 4-dim vector fields, the Weyl vector field K µ and the Maxwell vector field A µ , have been normalized and fully diagonalized (imitating a U (1)⊗Ũ (1) gauge theory). To this we add the simple yet powerful relation so that 4 3 (4+3ω 5 ) = 2(3+2ω 4 ), thereby assuring that the critical 5-dim Brans-Dicke theory properly reduces, as it should, down to the critical 4-dim Brans-Dicke theory.
After integrating out the Kaluza-Klein circle, that is L 5 d 5 x → 2π L 4 d 4 x, it becomes mandatory to redefine the various scalars floating around by adjusting their length units to fit the 4-dim language. Indeed, uniquely redefining according to will leave the action -independent, meaning that local scale invariance has been restored. The interplay among these scalars, reflecting their specific charges under scale symmetry, will be discussed soon. Crucial for the forthcoming discussion is the identification of the in-scalars involved.
Altogether, the effective 4-dim theory is described by the Lagrangian where the 4-dim star derivatives are given explicitly by The detailed derivation has been carried out elsewhere, but in any case, Eq.(32) can have life of its own. While the above 4-dim Lagrangian may look a bit messy, it is nevertheless invariant under the local Maxwell gauge transformations and in particular under the 4-dim local Weyl scale transformations We can thus finally identify the in-scalars of the theory, relevant for quantum cosmology. They are the built-in s, and the product φ 2 S. In turn, any 'ordinary' 4-dim scalar field, having conventional units of (length) −1 , must be of the form φs p (φ 2 S) q for arbitrary p, q .
Special attention should be devoted to the so-called Maxwell-Weyl kinetic mixing [14] sK µν F µν mediated by the in-scalar s. This is a unique feature which characterizes the Weyl-Dirac Kaluza-Klein interplay. Unfortunately, it does not play a direct role in no-scale cosmology, and as such, its remarkable aspects will be discussed in detail in a sequel publication.

No-scale Kaluza-Klein quantum cosmology
At the 4-dim mini-superspace level, cosmology can only tolerate the pure gauge configurations for which F µν = K µν = 0. While the various fields are neutral under the Kaluza-Klein U (1) symmetry, and as such do not couple to A µ , the Weyl vector field K µ does enter the game via the star derivatives of the scalar fields. It takes then some algebra, a bit lengthy but straightforward, to translate the mini-superspace version of the Lagrangian Eq.(32) into the Hamiltonian formalism. The result (37) is to be compared, term by term, with the simpler 4-dim Hamiltonian Eq.(16). As before, we face a Hamiltonian linear in v, n, giving rise to two first class constraint. Since our interest primarily lies with quantum no-scale cosmology, we momentarily skip the classical equations of motion and their solutions, and proceed directly to the pair of Schrodinger equations. The coefficient of v in Eq.(37) is immediately recognized as the -independent scale symmetry constraint, leading to This leaves the wave function to solely depend on Dirac's in-scalars, e.g. on Without losing generality, the simplest choice would be ψ(a, φ, S, s) = ψ(b, z, s) , where we have used the short hand in-scalar notations b = aφ , z = log Sφ 2 .
The Associated Hamiltonian constraint, identified as the coefficient of n in Eq.(37), eventually becomes the zero energy Schrodinger equation with the accompanying potential being (43) The door is now widely open for a variety of spacial cases. Of particular interest is perhaps the Λ = 0 case, where the coefficient of b 4 can still be positive provided 3 + 2ω 4 > 0. In some respects, the (3+2ω 4 )s 2 -term resembles then the role of Λ ef f (s), and may even be tiny if the wave function is somehow concentrated around s 2 1 (this point will be sharpened soon). At any rate, on simplicity grounds, we choose to analyze in some detail only the special case of a constant Kaluza-Klein in-radius.

Constant Kaluza-Klein in-radius
In the standard Kaluza-Klein theory, with the line element Eq.(28), the invariant 5-dim radius is given by S not make any sense once local scale symmetry is applied. The closest one can get is by freezing a tenable in-scalar (nothing to do with gauge fixing), with the obvious inansatz being This will allow us to focus on the special role (beyond Weyl-Maxwell mixing, which anyhow does not have any cosmological fingerprints) played by the Weyl 4-dim inscalar s. The corresponding 'handicapped' wave function ψ(b, s) obeys the Hartle-Hawking equation The critical case ω 4 = − 3 2 is the easiest to handle. It allows for the separation of variables ψ(b, s) = f (b)g(s), with f (b) serving as a modified Hartle-Hawking wave function subject to the effective potential and where the constant η governs the equation Depending on the sign of η, new quantum phenomena is expected to arise near the Big Bang origin b → 0. The three cases are: (i) If η = 0, the Hartle-Hawking model is fully recovered, accompanied by g(s) = const. The no-boundary proposal recovered for f (b) ∼ b.
(iii) If η < 0 then g(s) = e ±i √ |η|s is well behaved. If furthermore η 2 Λ 2 +16κ 3 > 0, as evident from the shape acquired by the effective potential in this case, cosmic evolution undergoes a (classically allowed) embryonic era. The no-boundary proposal is not recovered. However, the bonus in this case is automatic deWitt initial conditions, as both solutions f 1,2 (b) ∼ b δ1,2 (with 0 < Re(δ 1,2 ) < 1) vanish asymptotically at the origin. For further details, see Fig.(1), upper plot.
The supplemented term is positive for a super-critical Brans-Dicke parameter ω 4 > − 3 2 (including, in particular, the ghost-free case ω 4 ≥ 0). While the separation of variables method does not work any more, the structure of the Schrodinger equation is such that the behavior of the wave function near the Big Bang is not sensitive to the value of ω 4 . The larger ω 4 , the more concentrated is the wave function around s 2 1. For further details, see Fig.(1), lower plot.