1. Introduction
Consider a dynamical system given by a real variable,
V, and a complex variable,
J, with Poisson brackets:
for a fixed real
. We identify
as the Hamiltonian of the system and interpret
V as the volume of a cosmological model. The third (real) variable,
, is not independent provided we fix the value of the Casimir
of the Lie algebra
given by the brackets (
1). To be specific, we will choose
.
Writing evolution with respect to some parameter
, the equations of motion are solved by:
Since
R is required to be zero, we obtain
, and therefore, there is some
such that
and
. The solution (
2) then reads:
and displays the paradigmatic behavior of the volume of a bouncing universe model. This construction defines harmonic cosmology [
1,
2]. See also [
3] for further properties related to
, in particular group coherent states, and [
4] for an application to coarse graining.
The bouncing behavior can also be inferred from an effective Friedmann equation that describes modified evolution of the scale factor giving rise to the volume
V. To do so, we should provide a physical interpretation to the time parameter
used so far. A temporal description, shared by some models of loop quantum cosmology [
5,
6] and group field cosmology [
7,
8,
9,
10,
11], is a so-called internal time [
12]: The parameter
is proportional to the value of a scalar field
as a specific matter contribution devised such that
is in one-to-one correspondence with some time coordinate such as proper time
. The scalar
itself can then be used as a global time. Its dynamics must be such that its momentum
never becomes zero; “time”
then never stops. With a standard isotropic scalar Hamiltonian:
this condition is fulfilled only for vanishing potential
, such that
is conserved. The scalar should therefore be massless and without self-interactions. With these conditions, the conserved momentum
generates “time” translations in
and can therefore be identified with the evolution generator
introduced above. In order to match with coefficients in the Friedmann equation derived below, we set:
The Hamiltonian (
5) also allows us to derive a relationship between
and proper time
, measured by co-moving observers in an isotropic cosmological model. Proper-time equations of motion are determined by Poisson brackets with the Hamiltonian constraint, to which (
5) provides the matter contribution. Therefore,
Writing proper-time derivatives with a dot and using
to introduce the scale factor
a, the chain rule then implies:
in which:
follows from the
-equations of motion, the zero Casimir
, and the identification (
6) with
. Putting everything together,
with the energy density
of the free, massless scalar. Upon rescaling
, this effective Friedmann equation agrees with what has been derived in loop quantum cosmology, following [
13].
Harmonic cosmology can be obtained as a deformation of a certain model of classical cosmology. In the limit of vanishing
,
has Poisson bracket:
For finite
, we must have
, such that the vanishing Casimir implies
. Therefore,
with an exponential solution
that no longer exhibits a bounce. Moreover, noticing that:
we can identify
with the momentum canonically conjugate to
V in the limit of
. Therefore,
is quadratic. Squaring this equation, we find:
which, upon relating
to the Hubble parameter and
V to the scale factor cubed, is equivalent to the Friedmann equation of an isotropic, spatially-flat model sourced by a free, massless scalar field with momentum
:
2. Loop Quantum Cosmology as a Canonical Realization of Harmonic
Cosmology
It is of interest to construct a canonical momentum
P of
V also in the case of non-zero
. The pair
will then be Darboux coordinates on symplectic leaves of the Poisson manifold defined by (
1), and the full (real) three-dimensional manifold will have Casimir–Darboux coordinates
. Following the methods of [
14], we can construct such a momentum directly from the brackets (
1).
Suppose we already know the momentum
P. The Poisson bracket of any function on our manifold with
V then equals the negative derivative by
P. In particular,
while
. Up to a crucial sign, these equations are very similar to our equations of motion in the preceding section, and the same is true for their solutions:
Since we are now dealing with partial differential equations, the previous constants A and B are allowed to depend on V.
Given these solutions, we can evaluate the Casimir:
If it equals zero, we have
, and there is a
such that
and
. Thus,
or:
The canonical realization of (
1), given by Casimir–Darboux coordinates
, identifies
J as a “holonomy modification” of the classical Hamiltonian (
14), in which the Hubble parameter represented by the momentum
P is replaced by a periodic function of
P.
1 The vanishing Casimir,
, then appears as a reality condition for
P in (
24).
We conclude that the paradigmatic bounce model of loop quantum cosmology, analyzed numerically in [
19], is a canonical realization of harmonic cosmology.
3. Group Field Theory as a Bosonic Realization of Harmonic Cosmology
The canonical realization constructed in the preceding section is faithful: the number of Darboux coordinates agrees with the rank of the Poisson tensor given by (
1), and the number of Casimir coordinates agrees with the co-rank. If one drops the condition of faithfulness, inequivalent realizations can be constructed which even locally are not related to the original system by canonical transformations. We will call “realization equivalent” any two systems that are realizations of the same model. This notion of equivalence therefore generalizes canonical equivalence. As we will show now, this generalization is crucial in relating loop quantum cosmology to group field theory.
3.1. Bosonic Realizations
Instead of canonical realizations, one may consider bosonic realizations, replacing canonical variables, such that , with classical versions of creation and annihilation operators, such that . The map defines a bijection between canonical and bosonic realizations.
The brackets (
1) correspond to the Lie algebra
. A different real form of this algebra,
, has a large number of (non-faithful) bosonic realizations given by the special case of
in the family of realizations:
of
[
20,
21,
22,
23] with relations:
The indices take values in the ranges and , where in and . There are real degrees of freedom in the bosonic coordinates , while has dimension .
For
, we have three generators:
with relations:
For any
n, the identification:
relates these brackets to (
1).
3.2. Model of Group Field Theory
In [
24], a toy model of group field theory has been derived that produces bouncing cosmological dynamics for the number observable of certain microscopic degrees of freedom. Starting with a tetrahedron, the model assigns annihilation and creation operators to the sides, which change the area in discrete increments. For an isotropic model, the four areas should be identical, and their minimal non-zero value is determined by a quantum number
, modeling the discrete nature through a spin system following the loop paradigm [
25]. Each isotropic excitation has the “single-particle” Hilbert space
, which contains a unique spin-two subspace. Since this subspace consists of totally-symmetric products of the individual states, it is preferred by the condition of isotropy. Restriction to the spin-two subspace then implies a five-dimensional single-particle Hilbert space with complex-valued bosonic variables
.
A simple non-trivial dynamics is then proposed [
24] by the action:
in internal time
. The first term indeed implies bosonic Poisson brackets
. The second term is fixed by proposing a squeezing Hamiltonian:
with a coupling constant
and a constant metric
with inverse
. The metric is defined through an identification of the spin-two index
i with all totally-symmetric combinations of four indices
taking two values, such that:
with separate total symmetrizations of
and
, respectively, and the usual totally antisymmetric
. Ordering index combinations as:
the metric can be determined explicitly as the matrix:
A second crucial observable, in addition to the Hamiltonian, is the excitation number,
identified with the cosmological volume following group field cosmology. This volume evolves in internal time
according to the Hamiltonian
. Solutions for
, derived in [
24], show bouncing behavior (
4) that can be modeled by the effective Friedmann equation (
10).
We can now readily show that this behavior is not a coincidence: The metric (
38) has eigenvalues
with three-fold degeneracy and
with two-fold degeneracy. Diagonalizing it by an orthogonal matrix gives linear combinations
of the
and
that preserve the bosonic bracket
, defining a bosonic transformation:
for eigenvalue
, and:
for eigenvalue
.
We can deal with the negative eigenvalues in two ways. First, multiplication of
and
with
i preserves the bosonic bracket and leads to a metric
. We then have
for (
35) and
for (
39). Alternatively, using only diagonalization by an orthogonal matrix, we have:
and:
where
,
, and
contribute to the
realization and
and
to
. Observing (
33) and the fact that the relations (
1) are invariant under changing the sign of
J, the volumes and Hamiltonians in both loop quantum cosmology and group field theory are identified with the same generators in harmonic cosmology. The models of loop quantum cosmology and group field theory are therefore realization equivalent.
4. Implications and Further Directions
There is an immediate application of our result to the appearance of singularities in the model [
24] of group field cosmology. As argued in this paper, because the volume is derived from the positive number operator of microscopic excitations
, it can be zero only at a local minimum, which requires
and
at some internal time
. The combination of these two conditions is quite restrictive, and [
24] concludes that a singularity (zero volume) can be reached only for a small number of initial conditions.
However, our identification of the model of [
24] as a bosonic realization of harmonic cosmology suggests a more cautious approach to the singularity problem. In
, there is no positivity condition on the generator that corresponds to the volume
V. The bosonic realization in terms of microscopic excitations
is therefore local, in the sense that the
are local coordinates on the Poisson manifold that realizes harmonic cosmology, and
is at the boundary of a local chart. Accompanying
by
is therefore unjustified unless one can show that evolution never leaves a local chart. The condition
is not as restrictive as the combination, and it leaves more room for solutions that reach zero volume (These solutions may still be considered non-singular if there is a unique Hamiltonian that evolves solutions through zero volume. In loop quantum cosmology, evolving through
is interpreted as changing the orientation of space [
15,
26].).
In harmonic cosmology, further generalizations of the model used here have already been explored in some detail. The new relationship with group field theory suggests similar generalizations also on the group-field side of the equivalence. For instance, harmonic cosmology can be defined for any power-law
replacing
, describing a quantization ambiguity that corresponds to lattice refinement of an underlying discrete geometry [
27,
28]. The same algebra, with arbitrary exponent
p, can then be realized bosonically, suggesting related group-field models (while the power-law
is preferred at large volume because it avoids an expansion of the discrete scale to macroscopic size, a different power-law may well be relevant near a spacelike singularity).
Another parameter related to the relation
is the averaging volume
used to define the isotropic model. We have implicitly assumed
in order to focus on algebraic properties; in general, we have
where
is computed as the coordinate volume of the averaging region. Classical equations do not depend on
, but quantum corrections do, as can be seen here from the fact that in the action (
34), the Hamiltonian
is proportional to
, but the symplectic term is not. The microscopic action is then not invariant under changing
. The implications of a relation between
and the infrared scale of an underlying field theory [
29] are of importance for the interpretation of quantum cosmology [
30], and similar conclusions should hold true in group-field cosmology.
In classical harmonic cosmology, the Casimir
is exactly zero, but this value usually changes in the presence of quantum corrections [
1,
2,
31]. The bouncing behavior (
2) is no longer guaranteed if
and
, because
behaves like a sinh under these conditions. These conditions require large quantum corrections, greater than the matter density related to
. They are therefore unlikely to be fulfilled in a macroscopic universe. However, as pointed out in [
30], an appeal to the BKLscenario [
32] near a spacelike singularity shows that a homogeneous model is a good approximation only if it has small co-moving volume, given by the averaging volume
mentioned above. Such a tiny region does not contain much matter energy, which can then easily be surpassed by quantum corrections in a high-curvature regime:
is suppressed for small
, while volume fluctuations
are not proportional to
because they are bounded from below by the
-independent
ℏ in uncertainty relations. The genericness of bouncing solutions in loop quantum cosmology or group-field cosmology is then not guaranteed.
Finally, a large class of microscopic models can be constructed from the bosonic realizations of harmonic cosmology with arbitrary
n in (
31) (the fact that group field cosmology leads to non-faithful realizations of harmonic cosmology with a potentially large number of microscopic degrees of freedom is a consequence of the “second quantization” made use of in group field theory). The question of whether these are related to group field cosmology in some way appears to be of interest.
References