1 Introduction
The standard model of cosmology (ΛCDM) is quite successful in accounting for many observations, in part due to its rather large number of free parameters. These include the spatial curvature constant k, the Hubble constant H0 and the scaled matter (), radiation (), and dark-energy () densities. In terms of the critical density , one writes , where i represents the energy density , , or dark energy , as the case may be. Without invoking priors, one must typically optimize at least five unspecified parameters, all of which can be adjusted to fit the data.
Given this wide latitude of possible outcomes for the expansion history of the Universe, it is therefore very surprising to see that the optimization of model parameters, especially using anisotropies in the cosmic microwave background (CMB) [
1-
3], reveals a universal expansion with an average acceleration of zero (within the measurement errors) over a Hubble time
[
4-
8]. Another way to characterize this empirical result, in terms of the total pressure
and energy density
, is to note that averaged over a Hubble time, the quantity
has the value
just at this moment, when we happen to be looking. Yet the combination of
,
and
could have produced a wide assortment of epochs with deceleration and acceleration.
This outcome is not merely surprising [
9]. In the context of ΛCDM, the condition
can be achieved only once in the entire (presumably infinite) history of the Universe, making it astonishingly unlikely. There is clearly physics behind this zero active mass condition. In a recent paper [
8], we showed that the Friedmann–Robertson–Walker (FRW) metric is in fact valid only for a cosmic fluid with an equation of state (EoS)
, so the condition
is independent of time. In other words, no matter how imperfect or incomplete our parametrization of the standard model happens to be, the optimized parameter values must always yield a zero average acceleration, regardless of when we make the measurements.
Kim
et al. [
9] have challenged this conclusion by providing what they believe to be a counter argument to the zero active mass condition in FRW. In this paper, however, we demonstrate that their claim is based on the conventional mistake of writing the metric from the perspetive of an observer who is
simultaneously in a non-inertial comoving frame, where a time dilation is unavoidable for an accelerated expansion of the spatial coordinates, and in a different, free-falling frame, with no measurable acceleration, thereby “assigning” without justification a constant value of one to the lapse function
.
2 The lapse function in FRW
With the adoption of the Cosmological principle, the spacetime metric may be simplified to the FRW form
in terms of the cosmic time t, the comoving radius r, the universal expansion factor , and the angular coordinates θ and φ in the comoving frame. The spatial curvature constant k takes on the values , for an open, flat, or closed universe, respectively.
Two rarely discussed issues with this metric are (i) that its lapse function is constant, and (ii) that in deriving its coefficients, one never considers whether the selected components of the energy-momentum tensor are consistent with the assumption of homogeneity and isotropy. In general relativity (GR), a constant lapse function arises only in an inertial frame, where the observer is not subject to any gravitational influences. So even before we discuss the formal relationship between and , proponents of the use of Eq. (1) to describe the spacetime of an accelerating Universe need to explain why this basic tenet of relativity theory should be violated, i.e., why in the case of FRW an observer in the presumed free-falling frame nonetheless sees a gravitational acceleration without a corresponding time dilation.
The general class of spherically-symmetric spacetime metrics, of which FRW is a special case, may be represented as
where , and Φ, λ, and R are each functions of r and t, and are to be determined by solving Einstein’s equations. It is somewhat tedious, though straightforward, to derive the dependence of on , , and . In the conventional approach, however, Φ is set equal to 0 to arrive at Eq. (1) without following this procedure. As such, the FRW form of the metric does not produce any time dilation relative to the proper time in a local inertial frame, even in cases where the observer sees an accelerated expansion of the spatial coordinates, i.e., when . This is critical because, as we shall see shortly, the Hubble flow in FRW is not inertial when .
But as shown in Ref. [
8],
is in fact not equal to one when
, a requirement of
. Borrowing a result from that paper, we find that
where
and is the Hubble constant. This expression provides the necessary, formal relationship between the lapse function and the active mass as seen by an observer in the comoving frame. Clearly, Φ changes for different values of the active mass and corresponding expansion history encoded into the integral for over cosmic time. In order to achieve a constant Φ, we must have , which is guaranteed only when . Then one can show that is also constant, and we may set with an appropriate choice of the initial condition h.
This is where Kim, Lasenby and Hobson [
9] interject with a counter claim that one is free to
choose , in spite of its evident dependence on
. They do so without explaining why they view Eq. (3) as allowing Φ to have different values for the same
, and without providing a physical justification for making their particular choice leading to
. In this regard, their approach is no different from the conventional procedure of simply forcing
in Eq. (1) before the metric is introduced into Einstein’s equations, thereby removing any possibility of a time dilation. The answer, of course, is that for the same
, different values of Φ correspond to different coordinate systems. And in order to force
, while keeping
, they must consider the observer to be
simultaneously in the comoving frame where an active mass
produces acceleration (according to the second Friedmann equation, in which
) and
, and in the free-falling frame where
by choice. If the introduction of the spherically-symmetric form of the metric [Eq. (2)] into Einstein’s equations were to reduce to the FRW spacetime shown in Eq. (1) irrespective of how one chooses the active mass, then this should happen automatically and unambiguously,
without the manual intervention by Kim
et al. [
9] to force
in Eq. (3). As we shall see below, this automatic reduction to Eq. (1) does not happen because the comoving frame is not inertial, except in the special case when
.
This is also the reason why a gauge transformation cannot be used to eliminate the coordinate-dependent
after the fact. Often misunderstood and incorrectly used, a gauge transformation in GR is a transformation of the coordinates selected in order to alter the metric coefficients
to a desired form. Since Φ is solely a function of
t, it is straightforward to find the necessary transformation for FRW but, as discussed in Ref. [
8], such a transformation would require the existence of two distinct frames of reference: one (the comoving) frame in which the observer sees
when
, and therefore
, and a second (free-falling) frame in which the observer sees no time dilation and no acceleration. In other words, an observer cannot carry out an actual gauge transformation and stay within the same frame. And since the comoving frame in FRW is generally not inertial, an observer who experiences gravitational effects that lead to a coordinate-dependent lapse function cannot simultaneously also be in a free-falling frame where he does not measure a time dilation.
Ultimately, the issue we have been discussing here, and in Refs. [
8,
9], has to do with whether or not one can always clearly distinguish between accelerated and inertial frames. The answer is yes (see, e.g., Ref. [
10], §3.2). In general relativity, acceleration can always be measured absolutely, unlike velocity, which is only measurable in a relative sense. For this reason, we can always find a local diffeomorphism that reduces the chosen manifold’s metric to a Minkowski metric in a sufficiently small neighborhood of a given spacetime point when tidal forces are ignored [
11,
12]. The FRW metric is not asymptotically flat and has a non-vanishing spacetime curvature tensor
. Thus, in spite of the fact that its Weyl tensor is zero, which allows Eq. (1) to be written as a conformally-flat metric, the comoving frame used to write the FRW metric is not in free fall.
One seldom sees this property of FRW invoked in the interpretation of measurements made by a Hubble observer (however, see, Refs. [
13-
15]), but one can easily demonstrate that the Hubble flow in FRW is in fact not inertial when
. The metric coefficients
and affine connections
at
contain enough information for us to determine the local inertial coordinates
in the neighborhood of
. As shown, e.g., in Ref. [
10] or Refs. [
13,
14], the local inertial coordinates
satisfy the equation
In their most general form, the non-vanishing affine connections in FRW are
Introducing these into Eq. (5), we see that the inertial coordinates must satisfy the following expressions:
and
Let us first consider the local inertial frame for an FRW cosmology with zero active mass (i.e., ), corresponding to (normalized such that today). We will place the observer near the origin of his coordinates, so that . For this equation of state, we also have [see Eq. (3)]. The solution to Eqs. (6)–(10) is
and
correct to second order in . Thus, according to these expressions, the local inertial frame in the vicinity of coincides with the Hubble flow and, in this situation, one has with . Thus, for this case (and this case only), it is legitimate to consider the comoving and free-falling frames to be identical, and for the observer to see no acceleration and no time dilation, so that .
When
, however,
is no longer linear in
t, and
in Eq. (11) no longer satisfies Eqs. (9) and (10), regardless of whether or not one uses
. For example, in order for
to be consistent with Eq. (9), we would need either
(if
), or
(if
), both of which occur only when [
8]
. Of course, one can still find a local inertial frame when
, but it is not coincident with the Hubble flow [
11-
15]. In this instance, the solution may be written as a polynomial to second order in
r, as demonstrated in §3.2 of Ref. [
10], or [
13,
14], but we do not need to reproduce its coefficients here. The fact that the Hubble flow in FRW is not an inertial frame when
is sufficient to prove our argument. Therefore, setting
when
in the comoving frame is not consistent with the fact that a time dilation should be measurable as a result of the acceleration seen by the observer.
The confusion about the measurability of a time dilation due to acceleration in FRW may be due to the fact that, because of homogeneity, can only be a function of t, not r, unlike the situation in the Schwarzschild spacetime, where it is a function of r and not of t. But this difference in coordinates does not change the requirement that an acceleration must always produce a time dilation that is measurable relative to the passage of proper time in an inertial frame. Therefore, regardless of whether is a function of t or r, the time dilation resulting from an accelerated expansion of the spatial coordinates cannot be “hidden” from the observer. Putting in Eq. (1), even when , suggests otherwise, and is therefore inconsistent with basic relativity theory. To guarantee that in Eq. (3), one must have .
Concerned by “gauge ambiguities” in their first attempt at challenging the zero active mass condition, Kim
et al. [
16] extended their argument by attempting to derive the FRW solution using a tetrad, which they claim constitutes a superior method that avoids such gauge ambiguities. They apparently believe that the physics of a problem may be changed merely by altering the calculational technique. But this is clearly false; if a gauge amibuity is present with one approach, it is present for all approaches because, as we have emphasized all along, a gauge transformation is not arbitrary – it constitutes a transformation of coordinates from one frame to another. Kim
et al. believe that the sophistication of the tetrad approach somehow selects a unique frame of reference, creating their sought-after merger of a non-inertial comoving frame with a free-falling frame. This thinking, however, is flawed. The tetrad and its inverse simply package the metric coefficients and, once a solution is found, they must be unpacked to restore the spacetime coordinates. One therefore gets out what one puts in. In this regard, their approach is similar to that of Tupper [
17], who explicitly set
in his use of the tetrad field equations to derive a generalized Friedmann equation. Kim
et al.’s use of the tetrad is more subtle, but they too invoked a special choice of coordinates – specifically, a particular choice of time – in order to simplify their tetrad ansatz
before using the field equations to derive a solution.
Finally, we briefly comment on Kim
et al.’s attempt to discredit the role of
as a true gravitational horizon. In so doing, they follow the lead of van Oirschot
et al. [
18] and Lewis
et al. [
19], who failed to realize that a horizon is observer dependent. An observer “sees” a horizon only in terms of null geodesics that actually reach him. Thus, to correctly interpret the role played by the surface at
, one must actually solve the null geodesic equations, as demonstrated by Bikwa
et al. [
20] and Melia [
21], not simply rely on how or when
changes with time. A complete formal discussion of how
delimits the portion of the Universe visible to us today is given in Melia [
22].
3 Concluding remarks
In this paper we have shown that the counter argument raised by Kim, Lasenby and Hobson [
9] is simply based on the conventional approach of forcing the lapse function of the metric to be constant, without providing a physical justification for this particular “choice,” even when the formal relationship between
and
permits a range of possibilities for the same active mass
. In reality, a specific selection of Φ corresponds to a particular choice of coordinates. In FRW, the Hubble flow is non-inertial when
, so the comoving frame cannot be identical to the free-falling frame. Therefore one cannot measure an acceleration without a corresponding time dilation.
Higher Education Press and Springer-Verlag Berlin Heidelberg 2017