ABSTRACT

The question of the averaging of inhomogeneous spacetimes in cosmology is important for the correct interpretation of cosmological data. In this paper a conceptually simpler approach to averaging in cosmology is suggested, based on the averaging of scalars within unimodular gravity. As an illustration, the example of an exact spherically symmetric dust model is considered, and it is shown that within this approach averaging introduces correlations (corrections) to the effective dynamical evolution equation in the form of a spatial curvature term.

1. Introduction

The Universe is not isotropic or spatially homogeneous on local scales. The correct governing equations on cosmological scales are obtained by averaging the gravitational field equations (FE). An averaging of inhomogeneous spacetimes in Einstein’s general relativity (GR) can lead to dynamical behavior different from the spatially homogeneous and isotropic Friedmann-LemaîtreRobertson-Walker (FLRW) model; in particular, the expansion rate may be significantly affected [1-3]. Consequently, a solution of the averaging problem is of considerable importance for the correct interpretation of cosmological data.

The solution to this problem necessitates a method for covariantly (and gauge invariantly) averaging tensors on a background differential manifold. Unfortunately, this is a very difficult problem. In the Isaacson spacetime averaging scheme in macroscopic gravity (MG) bilocal averaging operators are utilized [4-8]. Choosing a compact region in an (n-dimensional differentiable) manifold (,) with a volume -form and a supporting point to which the average value will be prescribed, the average value of a geometric object, , over a region (with volume) at, is defined in terms of the bilocal extension of the object, , by means of the bilocal averaging operator. The averaging scheme is covariant and linear by construction, and the averaged object has the same tensorial character as. In any manifold with a volume -form there always exist locally volume-preserving divergence-free operators [6-8], in which the bilocal operator takes the simplest possible form: [9].

The definition of an average consequently takes on a particularly simple form when written in a volume-preserving (system of) coordinates (VPC). Indeed, if the manifold is a pseudo-Riemannian spacetime, the spacetime average of a tensor field, at a supporting point in VPC is thus

(1)

In the MG covariant approach to the averaging problem the Einstein FE (EFE) on cosmological scales with a continuous distribution of cosmological matter are modified by appropriate gravitational correlation (correction) terms [4,6-8]. The averaged FE can always be written in the form of the FE for the macroscopic metric tensor when the correlation terms are moved to the right-hand side of the averaged field equations, and consequently can be regarded as a geometric modification to the averaged (macroscopic) matter energy-momentum tensor [4,6-8]. In [10] it was found that by solving the MG equations the averaged EFE for a spatially homogeneous, isotropic macroscopic spacetime geometry has the form of the EFE of GR for an FLRW geometry with an additional spatial curvature term (i.e., the correlation tensor is of the form of a spatial curvature term) (see also [11,12]). Unfortunately, the spacetime averaging scheme in MG is very difficult to apply and is fraught with complications [13]. In this paper an alternative approach to averaging is suggested, exploiting the preferred nature of VPC and based on the averaging of scalars [14-16].

2. Unimodular Gravity

The fundamental variables in the action for unimodular gravity and the Einstein-Hilbert action for GR are different [17-20]. In unimodular gravity, there is an additional restriction on the metric, not present in GR: the determinant of g_uv equals one. As a consequence of, unimodular gravity is only invariant under volume-preserving diffeomorphisms.¹ Thus, unimodular gravity presents a natural theory in which to do averaging.

Varying the action in unimodular gravity leads to the FE relating the traceless Ricci tensor, to the corresponding traceless energy-momentum tensor [17]. It should be noted that the energy-momentum conservation law does not follow from this equation of motion, but has to be imposed separately. Assuming energy-momentum conservation, it then follows that

(2)

where is a constant (and and). Using the contracted Bianchi identity, , we then obtain

where is given in terms of and the vacuum energy density (part of the energy-momentum tensor). Hence the cosmological constant naturally appears in terms of a constant of integration in unimodular gravity.

Therefore, the theory acquires a new integrability condition [17]. Both the trace-free FE and the matter conservation equations are assumed; the integrability condition follows from these equations. Hence, we obtain the differential relations which are functionally equivalent to the full EFE (where the spacetime volume density is not a dynamical variable), where the cosmological constant is thus given in terms of an arbitrary integration constant and is not given explicitly by the vacuum energy.

This is an old proposal essentially initiated by Einstein [21-23] and more recently it has been developed under the name of unimodular gravity [18-20,24]. It has been suggested that unimodular gravity can be used to eliminate problems caused by the nature of the cosmological constant as well as to resolve the discrepancies between theory and observation, while not introducing any exotic terms such as quintessence or dark energy into the analysis of the EFE [18-20,25]. Indeed, although unimodular gravity does not give a unique value for the effective cosmological constant, it has the potential to solve the huge discrepancy between theory and observation. With a suitable high-energy cut-off, the vacuum energy density is estimated by Weinberg [17] to be of the order, whereas the effective value of the cosmological constant as determined by astronomical observations is of the order. However, there is no longer a cosmological constant problem. For example, for a perfect fluid the matter source term is the manifestly trace-free stress tensor; hence, matter enters the FE only in terms of the inertial mass density, which vanishes in the case of a cosmological constant (e.g., see [26,27]).

Unimodular gravity has also been utilized in the study of the quantization of GR [20,24]. The Hamiltonian of a generally covariant theory is zero, so in a sense there is no evolution, but since unimodular gravity is not generally covariant, the classical  problem of time is avoided [20]. In addition, in unimodular gravity quantum gravitational factor ordering ambiguities are alleviated [24].

3. Averaging Proposal

We wish to exploit the structure of unimodular gravity to suggest an alternative approach to averaging in cosmology. Within unimodular gravity we need to average the trace-free part of the FE and the trace of the FE separately.

1) Average trace-free part of the FE: Here the resulting correlation tensor must consequently be trace-free. If the form of the resulting equations are of the algebraic form of a “perfect fluid”, as in the cosmological application (with a large scale FLRW geometry), then the correlation tensor must be of the form of an effective energy momentum tensor for which the trace, corresponding to a radiation fluid [28]. Note that if the matter is dust, then

which could be (trivially) reinterpreted as a renormalized dust term (with energy density) and a term corresponding to a constant spatial curvature (with) [10-12].

2) Average trace of the FE: In this case we only need to work with the (generalized) Friedmann Equation (2).²

The problem of averaging is then effectively reduced to considering the average of a single scalar eqn (see [14]).

4. Example: Lematre-Tolman-Bondi Model

The exact spherically symmetric dust Lematre-TolmanBondi (LTB) model [30], which can be regarded as an exact inhomogeneous generalization of the FLRW solution, can be rewritten in VPC [11,12]. Taking, the line-element becomes

(3)

which has as desired, where is defined as

(4)

The constraints on the original LTB metric ensuring a dust solution are given in [11,12]. For general functions and, the Ricci scalar of the metric (3) is given by

(5)

The spatially flat () FLRW model in VPC is given by the metric (3) with

(6)

where, strictly speaking, the degenerate form for U(t,x) does not follow directly from Equation (4) (however, Equation (5) is valid for (6) and). Defining, the Ricci scalar of the FLRW metric with positive curvature constant is given by. For the zero-curvature Einstein de-Sitter metric, , and setting, we get the approximate expression:

(7)

consistent with the expression given in [11,12] (with ).

A Perturbative Solution

Let us assume that is zero, which implies that the bang time is uniform and we are consequently restricting our choice of LTB models to those with no decaying modes. We shall also consider solutions of the LTB metric in VPC as perturbations about the spatially flat FLRW model given by (6). In this respect our approximate solution will be an expansion with respect to and we require the Einstein tensor to have the form of dust (after truncation of terms of or higher). We begin by making the formal expansion for in the form:

(8)

where, , a, b, c and d are constants. We can use Equations (4) and (8) to obtain. Calculating the Einstein tensor and requiring it have the form of dust (up to order) allows us to determine the constants in our perturbative solution (we obtain:, , and [11,12]).

The expression that results from substituting in terms of A using Equation (4) and the expression (8) for A (with the given powers of and in our particular perturbative solution) leads to the expression for the Ricci scalar (keeping only terms up to):

(9)

Defining, we obtain

(10)

where

(11)

Finally, we obtain the averaged version of the Ricci scalar equation by integrating Equation (10) over the radial variable, where is the (radial) averaging length scale:

(12)

(where the “barred” constants are the appropriately - renormalized constants). We see that all of the correction terms (correlations) introduced by averaging the Ricci scalar equation are of the form of a spatial curvature term (7), which is consistent with the results of [11,12].³

5. Discussion

Recent observations are usually interpreted as implying that the Universe is very nearly flat, currently accelerating and indicating the existence of dark matter and dark energy [31-33]. A cosmological constant is a candidate for the dark energy. Averaging can have a very significant dynamical effect on the evolution of the Universe; the correction terms change the interpretation of observations so that they need to be accounted for carefully to determine if the models may be consistent with an accelerating Universe. Indeed, it has been argued that a more conservative approach to explain the acceleration of the Universe without the introduction of exotic fields might be to utilize a backreaction effect due to inhomogeneities of the Universe.

In this paper we have argued that a rigorous approach to cosmological averaging (and necessary for studying cosmological data) is perhaps most naturally studied within the context of unimodular gravity. In the simple example studied here, we found that all correction terms introduce correlations of the form of a spatial curvature term [11,12].

As another simple illustration, we can consider the special case () of the exact solution representing a two-scale Buchert average of the EFE for an inhomogeneous universe approximating the observed Universe [34]. This exact solution has voids surrounded by walls (within which clusters of galaxies are located). The geometry within a wall is given by and the geometry within a void has negative curvature.

The averaging procedure leads to the equations

where is an integration constant, and are the matter and curvature parameters, respectively, and and are the volume fractions occupied by voids and walls. For the averaged cosmic scale factorwe find that

where

and

.

In this example, the Ricci scalar is again of the form of Equation (7).

In future work we intend to consider this averaging scheme in more general cosmological contexts. In particular, we wish to study approximate solutions within linear perturbation theory. A first step will be to develop perturbation theory within unimodular gravity [35,36].

6. Acknowledgements

This work was supported, in part, by NSERC.

REFERENCES

NOTES

^*Current address: Department of Mathematics, Physics and Geology, Cape Breton University, Sydney, Canada.

¹Coordinate invariance can always be reinstated into the theory.

²Note that the sum of the averaged energy-momentum tensor and the correlation tensor is covariantly conserved; the question of whether the averaged energy-momentum is separately conserved with respect to the averaged geometry is determined by averaging the energy-momentum conservation equation (if it is not, then there is an effective interation between the averaged energy-momentum tensor and the correlation tensor [29]).

³We note that for this perturbative solution, we obtain higher order correction terms of the form, which can be interpreted as a renormalization of in the exact dust solution. We also note that, in principle, for the second order terms () to be formally comparable,.