1. Introduction
What are these two measures? Why the theory of two measures? To answer these questions, let’s begin by analyzing the generally accepted description of gravity. The mathematical structure on the basis of which the action integral is constructed in Einstein’s General Relativity (GR) can be symbolically represented as
In
the Palatini formulation of gravity (P’GR), the metric tensor and the (affine) connection are treated as independent variables. As is well known, in the absence of a non-minimal coupling of matter with curvature, the theory of gravity obtained by variation of the original action coincides with Einstein’s GR. However, in the presence of, for example, a non-minimal coupling of a scalar field with a curvature scalar, the solution of the equations obtained by variation with respect to the affine connection leads to connection coefficients with which the covariant derivative of the metric tensor is non-zero. Violation of the metricity condition means that the space-time is non-Riemannian, and to formulate the theory in a Riemannian space-time, it is necessary to perform the corresponding Weyl transformation of the metric tensor. Typically, such a transformation is performed in the original action in such a way as to eliminate the non-minimal coupling of the scalar field with the curvature scalar, and the set of variables used in this case is called the Einstein frame. The mathematical structure on the basis of which the action integral is constructed in P’GR can be symbolically represented as
Considering the formulation of P’GR from the point of view of the applied mathematical apparatus, we inevitably come to the conclusion that we are dealing with a 4-dimensional differentiable manifold at the stages of equipping it with an affine connection and a metric structure (see, for example, [
1]).
If we really believe in the effectiveness of mathematics in studying nature, we can go further and agree that there must be a correspondence between the fundamental laws of nature and the structure of the mathematical apparatus necessary for their adequate description. At the same time, we note that among the mathematical objects commonly used in field theories in 4D space-time, there is no the volume form, which can be defined as a 4-form on the 4D differentiable manifold even before equipping it with an affine connection and a metric structure. The appropriate volume element can be constructed by means of 4 scalar functions
(
) defined on the 4D differentiable manifold, as following
After replacing Einstein’s GR with Palatini’s formulation of gravity, the construction of the Two-Measure theory can be seen as the next step in the realization of a clearly formulated idea: all possible degrees of freedom contained in the action should be considered as independent of each other, and all relationships between them appear as a result of applying the principle of least action. For brevity, we will call this approach to constructing a theory "the principle of maximum dynamic independence (PMDI)". The key to this formulation is the word "all" in the expression "all possible degrees of freedom", and we will now discuss what is meant by this. Using as a volume measure in the action integral, according to PMDI, we must consider the functions as degrees of freedom and, therefore, when finding the action extremum, we must perform variations with respect to as well.
Apparently, it is necessary to more carefully analyze the extent to which it is justified to ignore the volume measure of type (
1) in the generally accepted approach. After the metric structure is defined on the manifold, if the latter is orientable,
can also be chosen as a 4-form to describe the volume measure in the action integral. The possibility of such two alternative choices is based on the fact that under general coordinate transformations with a positive Jacobian (i.e. without changing the orientation of the manifold), the scalar densities
and
are transformed according to the same rule. The standard approach (see, for example, section 2.8 in ref. [
1]) is to use only the volume element
,
by default assuming that the volume element is redundant. A more detailed argument for this conclusion is given by R. Wald in appendix B2 in ref. [
2]. Considering on n-dimensional manifold M the volume element
, where the function
f is non-vanishing, Wald reasonably notes that "
if one is given only the structute of a manifold M, there is no natural choice of volume element". Wald then shows that
if a metric is defined on M, then there exists a natural volume element, given by the n-form . Continuing Wald’s analysis, we note that the possibility of treating the volume element
as natural exists only because in Einstein’s GR the metric tensor is a dynamic variable, whose variation in the Einstein-Hilbert action leads to Einstein’s equations. The original idea of the TMT might be that including the volume element
in the action integral allows us to consider the function
f as another variable subject to variation in the action, along with the metric. But this modification of the theory leads to a trivial result: the function
f plays the role of a Lagrange multiplier, and the Lagrangian term entering the action with the volume element
turns out to be equal to zero. The idea of the TMT makes sense if, following PMDI, we fully exploit the capabilities of a differentiable manifold M. Returning from the n-dimensional manifold to the 4-dimensional one and using four arbitrary functions
(
) (differentiable a sufficient number of times), we can construct a 4-form (
1) and consider it as a volume element in the action integral together with the volume element
. In this formulation of the theory, varying the functions
leads to an equation with a significant dynamic effect. This is the essence of the TMT, and, returning to the analysis of Wald’s argumentation, we see that
the volume elements and turn out to be equally natural.
A closer look at the problem when the
functions are added to the set of degrees of freedom in action shows that as a result of varying the action, the scalar function in the form of the ratio of volume measures
appears in all equations of motion and plays a decisive role in all new effects of TMT. Bearing in mind that gravity in GR has a geometric nature described by the metric tensor, we will use the term
pregeometry for effects caused by the scalar
.
The organization of the paper is as folllows. In
Section 2 we show that in empty space the solution of the equations of the gravity model with two volume measures lead to the result
, i.e. there is no fundamental difference between the volume measures
and
. However, even in empty space the gravity model with two measures acquires new interesting properties compared to the gravity model with only one measure
. In
Section 3, we show that in TMT, the physical results depend on orientation of the space-time manifold and, moreover, that the latter arises spontaneously. By analyzing the mathematical differences between the volume measures
and
, we arrive at a formulation of possible structural properties of the action integral in TMT. An important note regarding the terminology used in this article is also provided at the end of this section. In
Section 4, using a toy model as an example, we demonstrate the main features of the TMT and describe in detail the computational procedure in TMT. In
Section 5 a class of TMT models that provide quintessence without the need for fine-tuning is described. In
Section 6, four TMT models with global scale invariance are considered. These models demonstrate the possibility of solving a number of fundamental problems in gravity and cosmology. A model of dark energy generated by neutrinos without a scalar field is presented in
Section 7. The TMT effect, related to a possible connection between the Borde-Guth-Vilenkin theorem and initial conditions for inflation, is discussed in
Section 8.
2. The Two-Measure Theory in Empty Space
When constructing models with two volume measures, we assume that the total volume measures in the action integral have the form of linear combinations , in which the constant real coefficients , can be different depending in which term of the Lagrangian density they are present with in the original action.
According to PMDI, the affine connection
and metric tensor
should be treated as independent degrees of freedom, i.e., one should proceed in the Palatini formulation. Using the definitions
,
and
, let us consider the TMT model in the empty space with the following action
Bearing in mind that the further description of this model will also use redefinitions of the parameters
,
and the functions
(and hence
), we use the tilde to denote them here. Last two terms in (
3) have the nature of the vacuum-like terms. If the first term,
was present in Einstein’s GR,
would be a cosmological constant. The term with
was first introduced in ref. [
5]. The reason for adding the term with
is that the term
, which can be expected as the contribution of quantum-gravitational effects to a vacuum-like action, does not contribute to the equations of motion. Therefore, the next in powers of
vacuum-like term can be of the form
. It is assumed that
,
and
,
.
The action includes the following independent variables (and takes into account the effect of pre-geometry): the affine connection
, the metric tensor
and four scalar functions
, (a=1...4), with the help of which the measure density
is constructed. By varying the action with respect to scalar functions
we get
Since
it follows that if
the equality
must be satisfied, where
is a constant of integration with the dimension of
.
Variation with respect to
yields the equation
The condition for compatibility of Equations (
6) and (
7) is a constraint in the form of the following expression for a constant scalar
As noted above in assertion 1, the latter means that the solution in empty space reveals that the volume measures
and
differ only by a constant factor. From the constancy of
it follows that the variation of
leads to an equation whose solution is the equality
, where
are the Christoffel’s connection coefficients of the metric
. This means that spacetime is Riemannian, there is no need for a Weyl transformation and
is the Ricci tensor of the spacetime with the metric
. Substituting the value of
into Equation (
7), we obtain Einstein’s equations in empty space
An important novelty of the solution of the TMT model in empty space compared to the convensional theory is that by choosing the constant of integration
, it is possible to realize a solution with any TMT-effective cosmological constant
. In particular, by choosing
, we obtain a solution with
and
It is worth paying special attention to the fact that the relations
and (
10), which play a very important role, do not contain the parameters
and
. It can be shown that this fact is not accidental. To do this, we rewrite the action in empty space (
3) using the following redefinitions:
,
,
,
. As a result, the action (
3) takes the form
It is worth noting that
the presence of vacuum-like terms violates the symmetry . By acting with (
11) in the same way as we did with (
3), instead of (
6) we first get
where
and
is the integration constant. Then it follows that
Again, by choosing the integration constant , we can implement a solution with any TMT-effective cosmological constant . In particular, by choosing , we obtain a solution with and .
3. Some Additional Mathematical Aspects Taken into Account in TMT
Before moving on to the study of specific models, it is necessary to return to the mathematical aspects of the existence of the two volume measures
and
and take into account the important differences between them. The density
of the volume measure
is positive-definite and the volume measure
is defined if the manifold is oriented. But
, which plays the role of the density of the volume measure
, is generally sign-indefinite. Moreover, the sign of the 4-form
determines the sign of the orientation of the manifold (for more details see, for example, [
3]). Therefore, using linear combinations
as a total volume measures in constructing the terms of the primordial action,
we leave the sign of the space-time orientation undefined. And only as a result of choosing a solution to the equations of motion, the sign of
is fixed, and, therefore, the sign of the orientation. To understand how this effect occurs, let’s return to the simplest example in empty space described by Equations (
13) and (
14) (how this happens in the presence of matter we will see later in this paper). To obtain a solution with
, we chose the integration constant
and as a result found that
and, therefore,
. However, we could have chosen
, which also ensures
. But with such a choice, the constraint (
13) leads to
and, therefore,
. Hence, changing the sign of the integration constant
, we obtain solutions with opposite sign of the space-time orientation. In essence, we are discovering
the TMT-effect of spontaneous restoration of the sign of the space-time orientation, which is one of the effects of pregeometry.
The conclusion that follows from the described TMT effect of spontaneous restoration of space-time orientation is so fundamental that it allows us to formulate in the most concentrated form the main difference between TMT and conventional field theories. In conventional field theories, it is assumed by default that the sign of space-time orientation can be chosen arbitrarily. But in TMT, as we have seen, one of the two possible signs of orientation of the space-time manifold of our Universe is fixed by the choice of the solution of cosmological equations. And since the sign of orientation coincides with the sign of the scalar function , which plays a decisive role in the dynamics of fields, the physical results predicted by TMT turn out to be different for different signs of the space-time orientation.
To construct the action in the presence of matter, we take the action in empty space (
11) as the gravitational term, to which the matter terms are added. As matter, we can consider different types of models, and, compared to conventional models, the whole novelty in the context of TMT is the possibility of choosing the coefficients
and
(
) in the volume elements
in each
i-th term
of the Lagrangian density.
Since the original action does not imply the existence of a definite space-time orientation, and also because of the the sign-indefinitness of
, when constructing the original action terms using linear combinations of
and
, it should be assumed that the coefficients in front of
in the total volume measures can be positive as well as negative. That is, assuming
,
, the total volume measures can have the form
. This finding is a direct consequence of the fact that the original action structure takes pre-geometry into account to a large extent, and this is important for achieving the main results that will be presented in this review. In the following sections, using examples of specific models, we will consider how the above-described features of TMT manifest themselves. But before that, one more remark, more of a technical nature, needs to be made. As follows from the above analysis, the general form of the i-th term of the Lagrangian density is
. Since the
functions have already been redefined to obtain the gravitational term (
11) of the action, to eliminate the coefficient
, we can factor it out of the brackets and absorb it by redefining either the model parameters or the fields in
. As a result, the i-th term of the Lagrangian density takes the form
, where
and
is obtained from the mentioned redefinitions in
. This is the form in which all Lagrangian density terms in TMT models will be used in what follows.
An important note regarding the terminology used in what follows. In models of the "conventional" theory, the original action contains a single volume element . In conventional alternative gravity models, the original action differs from the Einstein-Hilbert action only in the form of the Lagrangian, for example, the presence of a non-minimal coupling with curvature. The transformation to the Einstein frame, which in conventional theories is carried out in the original action, simply changes the set of variables used to describe the theory, but does not change the theory itself. In TMT, the main difference is that, along with the volume measure , the original action contains the volume measure , although a modification of the Lagrangian is also possible. Therefore, the original TMT action differs from the Einstein-Hilbert action in the form of the Lagrangian density, and to bring the TMT action to the Einstein frame, the conformal transformation must exclude from the gravitational term of the action not only the non-minimal coupling, but also . In a theory obtained in this way, the constraint determining cannot arise, that is, by acting in this way we would be dealing with a different theory. It is therefore incorrect to use the term "Jordan frame" in the usual sense for the set of variables in the original action of TMT. To emphasize this distinction, in what follows we will use the terms "primordial variables", "primordial model parameters", "primordial potential", "primordial Lagrangian" and "primordial action" instead of "variables in the original frame", "original model parameters", "original potential", "original Lagrangian" and "original action".
In conclusion of this section, it should be noted that in addition to the ideas for constructing TMT described above, there is a wide class of models that use more than one non-canonical form of space-time volume. For an overview of these modified gravity theories and their applications in cosmology, see article [
4] and the references therein.
4. TMT Procedure Using a Toy Model as an Example
The first scalar field TMT models in which the primordial action contains both the volume element
and
were studied in refs. [
5,
6,
7]. To become familiar with the procedure for deriving equations and their initial analysis in TMT, it is useful to start with a toy model as a simple example. To simplify the TMT structure as much as possible, we restrict ourselves to a model in which the Lagrangian of the
field enters the initial TMT action with the same volume element
as in the gravitational term in Equation (
11). Thus, we choose the primordial action in the form
where the choice of the potential
will be discussed later.
Let’s start by varying the action with respect to scalar functions
. Similar to what was in
Section 2, we get
where
. Since
it follows that if
the equality
must be satisfied, where
is a constant of integration with the dimension of
.
Variation of the action with respect to
yields the equation
Using the trace of Equation (
19) one can eliminate the term
from Equation (
18). As a result, we come to the conclusion that for these equations to be consistent, it is necessary that an algebraic constraint be satisfied that defines scalar
as a function locally dependent on
:
Variation of the affine connection yields the equations solution of which has the following form
where
are the Christoffel’s connection coefficients of the metric
and
If
the metricity condition does not hold and consequently geometry of the space-time with the metric
is generically non-Riemannian. In what follows we will completely ignore a possibility to incorporate the torsion tensor, which could be an additional source for the space-time to be different from Riemannian. It is easy to see that the transformation of the metric
turns the affine connection
into the Christoffel connection coefficients of the metric
and the space-time turns into (pseudo) Riemannian.
Gravitational Equation (
19) expressed in terms of the metric
take the canonical GR form
with the same Newton constant as in the original frame. Here
and
are the Ricci tensor and the scalar curvature of the metric
, respectively. Therefore, gravity becomes canonical, and the set of dynamical variables using the metric
can be called the Einstein frame.
on the right side of the Einstein Equation (
24) is
the TMT-effective energy-momentum tensor
and
is the
-dependent form of
the TMT-effective potential. To avoid confusion, it should be noted that the use of the term "TMT-effective potential" has nothing to do with the effective potential obtained taking into account quantum corrections. The terms "TMT-effective energy-momentum tensor" and "TMT-effective potential" are used to denote the energy-momentum tensor and potential that appear in the equations of motion after performing all the steps of the TMT procedure described above, which begins with varying the primordial TMT action and ends with the transition to the Einstein frame in the equations of motion. It is very important to note that the application of the least action principle in the Palatini formalism does not lead to a differential equation for
and therefore
ζ is not a dynamical variable. Substituting
given by the constraint (
20) into (
26) and assuming, as in
Section 2,
and
, we find the TMT-effective potential of the field
in the following form
which still contains the integration constant
.
Just as was done in the
Section 2, the desired value of the TMT-effective cosmological constant (CC) can be found by fixing a certain value of
. To do this, we first obtain the
field equation. By varying the action (
15) with respect to
with subsequent transition (
23) to the Einstein frame, we obtain
where
.
Note that instead of the system of the Einstein Equation (
24) with the energy-momentum tensor (
25) and the field
-Equation (
28), it is much more convenient to work with the TMT-effective action, the variation of which gives these equations. As usual, if
, the energy-momentum tensor
can be rewritten in the form of a perfect fluid. Then the pressure density plays the role of the matter Lagrangian in the TMT-effective action, and we arrive at the
TMT-effective action
with the following
TMT-effective Lagrangian
The idea of working with TMT-effective action and TMT-effective Lagrangian will be useful in this paper when exploring more complex TMT models.
Proceeding with the simplest toy model, we choose the original potential
. Then from Equation (
28) it follows that the vacuum of the classical field
is achieved at
. The value of
at
gives us the following equation describing the dependence of the CC
on the integration constant
:
When choosing
, the solutions are
and
. Using (
20) we find the corresponding values of
:
and
Thus, the model predicts two vacuum states with that differ in the sign of in the vacuum and, consequently, in the sign of the corresponding values of .
A solution (
18) of Equation (
16) exists under the condition
, Equation (
17), i.e, only if
or only if
. Therefore, only those solutions of the system of equations are valid for which
the corresponding is sign-definite, since Equation (
16) is one of the equations of the system. It should be noted here that, as usual, by default we assume that the original metric
in the primordial action is regular, that is
. Therefore, the validity of the solution regarding the fulfillment of the condition on the sign of
can be controlled by checking the sign of the scalar
. In other words,
only those cosmological solutions (together with their initial conditions and the vacuum states) are valid for which does not change the sign throughout the evolution of the universe. This is another one of the effects of pregeometry.
We found that in the toy model under study there are two vacuum states with and differing in the signs. Therefore, in accordance with the analysis in the previous paragraph, there are two classes of solutions differing in the sign of . Considering that the sign of determines the sign of the orientation of the space-time manifold, we come to the conclusion that the difference between these two classes of solutions is that they are realized on space-time manifolds with opposite orientations.
It seems interesting to find the TMT-effective potentials for the two classes of solutions indicated above. To do this, it is sufficient to substitute the corresponding values
and
of the integration constant into Formula (
27). As a result, we find
Thus, as was the case in the empty space model, we conclude that the physical results predicted by TMT turn out to be different for different signs of spacetime orientation.
7. Model of Dark Energy Generated by Neutrinos Without a Scalar Field
It turns out that in TMT the effect of the neutrino dark energy can be realized even without a scalar field and, therefore, without the requirement of scale invariance. This possibility was considered in paper [
23], where the TMT model describing a self-consistent system including 4-dimensional gravity, a primordial cosmological constant (CC) and fermions was studied. The primordial action has the form
with the following Lagrangian density
where
, which would be a cosmological constant in conventional gravity models. Note that, as in the model of
Section 5 and all models in
Section 6, there is no term (
39) in the primordial action.
are the fermion fields of species labeled by the index
i;
are the primordial mass parameters; all other notations are essentially the same as in
Section 6.4.
Variation of the primordial action with respect to
subject to the condition
leads to an equation
where an arbitrary integration constant
appears. Equations of motion for fermion fields as well as the equations for the spin-connection in the first order formalism contain terms proportional to
that makes the space-time non-Riemannian and equations of motion - non canonical. However, with the new set of variables
which we call the Einstein frame, the spin-connections become those of the Einstein-Cartan space-time with the metric
The fermion equations also take the standard form of the Dirac equation in the Einstein-Cartan space-time where now the fermion masses become
dependent
From here on, we assume that
It is easy to check that the gravitational equations in the Einstein frame take the standard GR form (
24) with the TMT-effective energy-momentum tensor
where
is the canonical energy momentum tensor for fermions in curved space-time[
24];
is the total variable CC term in the presence of fermions
where
and
Taking into account our assumption (
89) made in Section (
Section 6.4), we see that
if no a special fine tuning of the parameters is assumed.
As in all TMT models, the constraint, describing the selfconsistency condition of equations of motion, has the form of an algebraic equation. In the model under study, the constraint, rewritten in the Einstein frame, has the following form
To simplify the presentation of the cosmological results of the model, in what follows, instead of the sum over i, we will explicitly write down the contribution of only one fermion: .
We are going to study the application of this field theory model to the case of
nonrelativistic fermions in the cold fermions (dust) approximation. This means that
we neglect the effect of fermion 3-momenta. The only component of the canonical fermion energy-momentum tensor
which survive in this approximation is the energy density
. Making use of the Dirac equation in the same approximation we obtain (see also Equation (
132))
where
is the primordial fermion mass parameter. Based on the analysis in
Appendix A, in the semiclassical approximation we can replace the field operator
by the fermion number density
n. Then
and the constraint (
141) takes the form
The constraint (144) determines the scalar as a function of the fermion number density n:.
The TMT-effective CC
, Equation (
136). is generated by the integration constant
and the
-term in the Lagrangian density (
130).
The first new, very unusual effect that we observe here is
the functional dependence of on n, arising via
:
.
is positive provided
The second novelty consists in generating the
fermion noncanonical TMT-effective energy momentum tensor
which has the transformation properties of a CC term but it is proportional to
n. This is why we refered to it in [
23] as
"dynamical fermionic term". The appearance of
means that
even cold fermions generically possess pressure and
where
is the noncanonical contribution of fermions into the energy density. It is intereting that
coincides with the r.h.s. of the constraint. Using the constraint (
144) and Equation (
135), the total CC term
may be represented in the form
where only the
dependence remains explicitly.
In the case of the absence of massive fermions, it follows from the constraint that in such a case
is a constant
Therefore, the TMT-effective cosmological constant
in the fermion vacuum reads
which is positive due to the condition (
145). Then
and Equation (
140) may be completed by adding
:
The observed tiny value of the present-day vacuum energy density can be achieved by choosing a huge value of the dimensionless primordial parameter b and hence k and h. Unlike the usual way of achieving a tiny CC by mutual fine-tuning of the coupling constants and masses, the way in which large dimensionless numbers appear in the primordial TMT action is completely different: 1) the parameters b, k, and h are huge numbers compared to the dimensionless parameters in particle field theories, but there is no need for mutual fine-tuning of b, k, and h; 2) the huge values of b, k, and h have no observable consequences except for the small value of the vacuum energy density compared to the typical local matter energy density.
Using Equations (
149) and (
143) the constraint (
144) can be rewritten as follows
It is very important that due to our basic assumption concerning the parameters of the model, Equation (
151), the l.h.s. of the constraint (
144) has generically the same order of magnitude as
, Equation (
150), if no a special fine tuning of the parameters is assumed. In the opposite to the fermion vacuum case, i.e. for the high fermion density case (that is
when the local fermion energy density is many tens orders of magnitude bigger than the vacuum energy density), the only possible way to realize the ballance between two sides of the constraint is to allow for
to be very close either to
or to
. Then the factor
in the r.h.s. becomes very small and it is able to compensate the large value of
,
while the l.h.s. of the constraint remains of order . Moreover, the detailed analysis in ref.[
23] shows that the
dependence of the fermion mass, Equation (
143), has no observable effects under laboratory conditions (i.e. at high fermion density).
By virtue of the constraint (
152), the total energy density as well as the total pressure of cold fermions may be expressed in the form where they are functions of
alone:
Further analysis is based on the following
natural assumptions: There should be possible transitions from the high density of cold fermions (when
is very close to
or
) to the low fermion density ending with asymptotic transition
as
. We suppose that
, as the solution of the constraint (
152), is a continuous function of
n evolving from
(or
) to the regime
. Besides, in the course of the monotonic decay of
n, the total energy density
must be continuous and positive function of
. This means that
cannot cross over values
and
, where
equals zero and
is singular. As it was already supposed by Equation (
133),
cannot cross also over the values
and
because the transformation to the Einstein frame, Equation (
131), as well as the fermion mass, Equation (
143), become singular and the constraint turns out to be senseless (it looks then as an equality of finite and infinite quantities). Adding to this that the fermion number density
n cannot be negative, it can be shown that there are only two regimes for evolution of
, where
and the wide region in the parameter space exists where such regimes are possible.
In the course of the afore-mentioned monotonic decay of
n,
remains of the order of the parameters
which means that the l.h.s. of the constraint (
144) has the same order (or very close to) as
, and hence the same is valid for
and
:
Only in the fermion vacuum and . Such the narrow intervals for values of , and explain why the noncanonical fermion energy density and pressure are unobservable under regular physics conditions, but in the cosmology of the late time universe they may be important. It is worth noting that this result follows from the structure of the constraint, in which the function plays the role of a “self-locking clamp”, allowing very narrow intervals for the values of the listed quantities in the entire gigantic range of fermion densities, from very high to zero.
Applying the model to the late Universe cosmology, it is necessary to add the first Friedmann equation, which in the spatially flat FLRW Universe, as usual, has the form
where
should be the cosmologically averaged total energy density. The formulation of a cosmological model requires an answer to the question of whether the constraint, being highly nonlinear in
algebraic equation , retains its structure after cosmological averaging, that is it also has the form as in Equation (
152)
where now
and
are the cosmologically averaged values of
and
;
is the cosmological averaged of its local space-time values
and now
is a function only of the cosmic time. Solution to this averaging problem turns out to be simple if we take into account the observed inhomogeneity of the Universe: the existence of regions with clumped matter and domains where matter is very diluted. In the large scale structure this is manifested in the existence of filaments and voids. The characteristic feature of such a structure is that, on each level of scales, the volume of the low density domains is tens orders of magnitude larger than the volume of regions with clumped matter. On the other hand, due to the self-locking effect, the relative differences both in values of
and in values of
in these two types of regions do not exceed one order of magnitude. Hence the cosmological average values
and
with very high accuracy coincide with the values of
and
in the maximal volume domains of low fermion density. Therefore the cosmologically averaged constraint indeed has the form of Equation (
159), where
and
practically equal to the corresponding values in the maximal volume domains of low fermion density.
In the cold matter-dominated epoch, in the course of the cosmological expansion, the Universe enters a stage when in the maximal volume domains of low fermion density,
becomes smaller than
. Then the regions of the Universe populated with the maximal volume domains of low fermion density start to expand with acceleration which is, properly speaking,
the transition from the cold matter dominated epoch to the DE dominated epoch. We come to the quite natural conclusion that the
accelerated cosmological expansion of the Universe can proceed due to
accelerated expansion of voids and other low matter density domains. It is evident that such a manner of the accelerated expansion becomes more and more dominant in the course of evolution of the late time Universe. If the described mechanism of the accelerated expansion is right, it means that the transition to it could happen only after the voids are formed. But the latter must be accompanied by simultaneous formation of clustered matter. The cosmological averaged energy density of the clustered matter scales as
and we will describe it using the only phenomenological parameter
(which has the dimensionality of mass)
Averaging Equation (
147) yields
where the cosmological averaged of the canonical energy density of the cold fermion matter disposed in the maximal volume domains of low fermion density are obtained by averaging Equation (
143):
where
. Therefore
scales in a way different from
.
In the FLRW universe, the averaged components of
, Equation (
135), are governed by
and they read
where
and
is determined by Equation (
136). We would like to stress here that solving the constraint (
159) for
we obtain it as a function of
:
. We come to
the crucial role result of the model:
is a function of the number density
of the cold fermion matter disposed in the maximal volume domains of low fermion density (
presumably cold neutrinos in cosmic voids):
and
the dynamical DE effect is driven by fermion degrees of freedom without any specially added DE degrees of freedom.
Ignoring the clumped matter pressure in the late Universe, we have that the total averaged pressure
The total canonical matter energy density consists of contributions of the clumped (dark) matter and the canonical energy density
of the cold fermions disposed in the maximal volume domains:
The total averaged energy density, which in the flat Universe is the critical one, is then
and fractions of the normal matter energy density and of the one which mimics the DE density are then defined as usual:
Making use of the constraint, Equation (
159), one can rewrite
and
in the form where the contributions from the maximal volume domains depend only on the averaged scalar field
:
Using the total averaged energy-momentum tensor in the perfect fluid form
and the last equality in (
168) we get
where
, the four-velocity
of the cold fermion gas in the co-moving frame is
and
is determined by Equation (
164). The structure of the cosmological model under consideration is very unusual. For example, the fermion masses and
are
dependent and evolve in the course of cosmological expansion. But, despite this, with the help of fairly cumbersome calculations, one can verify that the standard GR equation of the energy-momentum conservation
is satisfied.
The results of numerical calculations for a scenario, when the EoS
decreases monotonically from
in the cold matter-dominated epoch to
in the very late Universe, are presented in
Figure 2–5. In this case, dimensionless units are used, obtained by the following redefinitions:
Numerical calculations were carried out with the following parameters: , , , . Then , . The initial value of is chosen to be .
Figure 3.
Total energy density vs .
Figure 3.
Total energy density vs .
Figure 4.
Evolution of the averaged value
that with very high accuracy coincides with the value of
in the maximal volume domains of low fermion density. The result of this numerical solution confirms the analytical estimates, the results of which are formulated in the paragraph after Equation (
157) under the name of the “self-locking” effect: as the total energy density decays from the value
at the cold matter dominated epoch with
up to the value
at the DE dominated epoch with
(see fig.2),
changes only from
to the fermion vacuum value
defined by Equation (
149).
Figure 4.
Evolution of the averaged value
that with very high accuracy coincides with the value of
in the maximal volume domains of low fermion density. The result of this numerical solution confirms the analytical estimates, the results of which are formulated in the paragraph after Equation (
157) under the name of the “self-locking” effect: as the total energy density decays from the value
at the cold matter dominated epoch with
up to the value
at the DE dominated epoch with
(see fig.2),
changes only from
to the fermion vacuum value
defined by Equation (
149).
Figure 5.
vs where fractions of clustered (dark) matter (the black dash line) and effective DE (the blue solid line).
Figure 5.
vs where fractions of clustered (dark) matter (the black dash line) and effective DE (the blue solid line).
8. A Possible Connection Between the Borde-Guth-Vilenkin Theorem and Initial Conditions for Inflation as a TMT Effect
Conditions that the initial kinetic and gradient energy densities of the canonically normalised scalar field should not exceed the potential energy density
are well known as the constraints neeeded for the onset of inflation. According to the understanding developed in the first models of chaotic inflation [
25,
26], when the classical space-time domain first appears after the Planck quantum era, the total energy density is of the order of
, and inflation begins with
. Then all admissible values
,
,
of the classical scalar field
satisfying (
174 ) can serve as initial values for inflation. At first glance, such an idea of the beginning of inflation cannot contradict
the constraintin the last stages of inflation. However, the situation has changed dramatically in light of recent cosmological observations data [
10,
11] which favor inflationary models with plateau-like potentials, and with the height of the plateau
. There exist a number of field theory models in which the plateau-like potentials arise due to the implementation of various original ideas, and these potentials satisfy the CMB constraints. These include the Starobinsky model [
27], the Goncharov-Linde model [
28], the Higgs inflation models [
29]–
34]. Of particular interest are
-attractor models, which were initiated by the pioneering works [
35,
36,
37] and which have been intensively studied in recent years. To date, there is the broad class of the cosmological attractor models, which generalize most of the previously proposed models with plateau potentials.
Despite such an impressive success of plateau-like models compared to all other models, a lively discussion ensued, during which even the very idea of inflation has been called into question [
38]–
41]. An obvious disadvantage of the models with plateau potentials mentioned above is the infinite length of the potential energy density plateau. In such a theory, all initial values of the homogeneous component of the scalar field
are equally probable. Therefore, an excessively long duration of inflation is possible. The main problem formulated in paper[
38] is also related to the height of the plateau
, since in this case there is a huge range of possible values of the initial kinetic and gradient energy densities greater than
, up to the Planck density. Therefore, in contrast to the understanding developed in first models of chaotic inflation [
25,
26] of how initial conditions for inflation arise, there is no reason to believe that conditions (
174 ) necessary for the onset of inflation are satisfied. A possible response to this challenge may be to modify the model in such a way that the potential has a plateau of finite length, after which, at very large
, the potential rapidly increases. An example of this type of model is the "singular
-attractor" model proposed by Linde in [
42], in which the simplest
-attractor potential takes an exponentially steep form for very large
. This makes it possible to provide conditions for power-law inflation, which starts at the Planck density, and thus makes it possible to solve the problem of initial conditions in the spirit of [
26].
Another, completely independent aspect of the problem of the onset of inflation is predicted by the Borde-Guth-Vilenkin (BGV) theorem. According to the BGV theorem[
43] which strengthens earlier proofs of singularity theorems [
44,
45], in inflationary cosmology almost all past-directed timelike and null geodesics cannot be extended to the past beyond some boundary spacelike hypersurface
. The statement of the BGV theorem is quite general because it is based on a kinematic argument. The main problem that inevitably follows from the statement of the BGV theorem is that the inflationary universe must have had some kind of beginning, and, therefore, some new physics is necessary in order to determine the correct conditions at the boundary
. However, the BGV theorem says nothing about the boundary conditions on
, or even about its location.
This section is based on the TMT-model of paper [
46], where it is shown that: (A) there is an exact upper bound
of the interval of possible values of the inflaton field
in which the onset of inflation is guaranteed; (B) this maximum allowed value
determines the location of the boundary spacelike hypersurface that can be identified with the boundary spacelike hypersurface
in the BGV theorem. The primordial action is chosen as follows
where
Here
and
are primordial model parameters, introduced in accordance with the general structure of the TMT primordial Lagrangian density discussed in
Section 3. But unlike the models studied in
Section 5,
Section 6 and
Section 7, the action (
175) contains, firstly, a
-term (
39) and, secondly, a non-minimal coupling of the scalar field to curvature with a non-minimal coupling constant
.
Following the prescription of the TMT procedure, we must consider the equations of motion that follow from the primordial action (
175). Under the condition (
5), i.e. everywhere
, the consistency of the equations imposes a constraint, and, as usual, a transition to the Einstein frame is necessary. The latter is described by the formula
Then the constraint in the Einstein frame reads as follows
Similar to what was in
Section 6.2, the TMT-effective energy-momentum tensor and
-equation in the Einstein frame have the structure of the
k-essence type model. The minimum of the TMT-effective potential is reached at
, and from the constraint (
178) it follows that the scalar
in this vacuum is equal to
We choose the value of the TMT effective potential in the vacuum, i.e. the TMT-effective CC, to be zero. This can be achieved by choosing the integration constant either
or
. This is very similar to the toy model from
Section 4, and the corresponding values of
coincide with
and
, as in Equations (
32) and (
33). We choose a solution with
and the corresponding
, omitting the + sign further. Recall that this also means choosing
. To indicate that we are considering a solution with a zero cosmological constant, we will use the symbol
in the notation of all relevant quantities. We will also assume that
and
. After using the redifinition of the scalar field
to
which is more appropriate when studying inflation, the constraint (
178) reduces to the following
Omitting the explicitly written Einstein equations and the
-field equation, in complete analogy with
Section 4 and
Section 6.2, we use the pressure density, which plays the role of the matter Lagrangian in the TMT-effective action; a variation of the latter yields these equations and is much more convenient to work with. In terms of the
field, and after inserting
given by the constraint (
181), the TMT-effective action takes the form
where the TMT-effective Lagrangian for the scalar field
appears as following
where
and for the partameter
the parametrization
was used. The appearance in the TMT-effective potential
the hyperbolic functions like
is typical for the simplest T-Model obtained in the conformal theory [
35]. An example of the shape of the TMT-effective potential
is shown in
Figure 6 for the following choice of parameters:
,
, that is
,
,
,
,
,
. It is similar to a case of the single field
attractor models [
37], where the hyperbolic functions depend on the combination
.
A detailed analysis in [
46] shows that in the region of
corresponding to the plateau of
, the contribution of the last two terms to the TMT-effective Lagrangian (
183) is negligible. Consequently, the presence of these terms in (
183) does not change the conditions (
174) for the onset of inflation. The standard, non-TMT, formulation of the initial conditions for inflation driven by a scalar field includes specifying or at least estimating the initial value of the field
and its first derivatives or, equivalently, the initial kinetic energy density
and the gradient energy density
. It is fundamentally important and taken for granted that there is no dependence in any form between
and
, as well as between
and
. But in the studied TMT model
the scalar ζ given by the constraint (181) turns out to depend not only on φ, but also on . After choosing the integration constant
and, correspondingly,
, throughout the entire process of cosmological evolution,
must be positive. As a result, the condition
imposes restrictions in the form of inequalities on the admissible ranges of
and. We are interested in the constraints on the initial values
and
imposed
both by the condition and by the upper bounds on and
, Equation (
174). Inflation can only begin if all of these conditions are met simultaneously.
The results of the requirement that
be positive can be obtained from a detailed study of the inequality
taking into account the significant difference between how kinetic
and gradient
energy densities enter into the Einstein equations and into the left-hand side of the inequality (
189). Indeed, while the kinetic and gradient energy densities enter the Einstein equations in the form of a sum, they enter the constraint in the form
that is, in fact, in the form of a difference. Therefore,
can be positive or negative depending on how inhomogeneous and anisotropic at the beginning of inflation was the space domain whose expansion generates our Universe. Since the sign of
can significantly affect the results obtained from the condition
, the cases
and
should be considered separately. The main results are summarized below.
Let us start fron considering the constraint (
181) at
. We see that there exists the value
such that
when
and
is defined by the relation
obtained after neglecting a very small correction from the term
. In other words, in the case
there exists a maximum allowed value
such that values
are prohibited by the condition
, equivalent to
, i.e. the infinite interval
is an artifact. For the parameters used in the graph in
Figure 6, the relation (
191) gives
. The corresponding point on the curve is marked with a dot.
The analysis of the case
in [
46] shows that it is impossible to specify precise conditions that guarantee the onset of inflation. It is only worth noting that
means the dominance of the spatial gradients of the field
, which usually arise due to quantum fluctuations. The interpretation and possible cosmological effect of this result may be of interest, but its study was beyond the scope of the paper [
46].
The main results in the case :
1) There exists the minimal initial value
defined by the formula
such that
on the interval
the condition and the necessary conditions (174) for the beginning of inflation are guaranteed to be fulfilled. For the set of parameters used in
Figure 6, we get
. With the chosen value of
we get that
correspoding to 60
e-foldings is
, i.e. is inside the interval (
193).
Figure 7.
Plot of
for the case of the following choice of parameters:
,
, that is
,
,
,
,
,
. The two dots on the plot correspond to
defined by relation (
191) and
defined by Equation (
192).
Figure 7.
Plot of
for the case of the following choice of parameters:
,
, that is
,
,
,
,
,
. The two dots on the plot correspond to
defined by relation (
191) and
defined by Equation (
192).
2) It turns out that the upper bound of admissible values of
tends to zero as
:
Thus, for the case in the plane the point is the boundary point such that cannot be extended to without changing the sign of from positive to negative.
3) In the interval (
193) of
, the TMT effective potential has a plateau-like shape and
is less than the plateau height. Therefore, one can expect that the Universe inflates in the slow-roll regime.
4) For
the condition
is satisfied, but the conditions (
174) required for the onset of inflation may or may not hold.
Initial conditions for inflation and the spacelike character of the hypersurface .
In the model under study (as in all models in the previous sections), we came to the key conclusion: the dynamics of the model dictates that nontrivial solutions exist only when the measure density
and, therefore,
must be sign-definite. However, the condition (
194) can be represented as following
This means that the hypersurface
does indeed exist and it separates the space-time manifold
into two regions with
and
, and we must study equations and their solutions in these regions independently of each other. These two regions can be considered as submanifolds of
with a common boundary
. In what follows we will use the notations
and
for the submanifolds with
and
respectively. The condition
means that the normal vectors
to all hypersurfaces described by the equations
are timelike and consequently, the hypersurfaces
are spacelike. All of the above remains true for
arbitrarily close to
. To find out the geometric properties of the hypersurface
, we must, given the definition
, study what happens to
when
. In doing this analysis, we must not forget that
and
are considered independent of each other and serve as initial values for inflation. Therefore, it would be wrong to conclude that
because
. But we can take into account the very nontrivial result containing in Equation (
195):
decreases to 0 when
. Therefore, for values of
very close to
the function
can be considered approximately as a function depending only on
:
. Hence, for
the equation
describes a spacelike hypersurface. The latter remains true when
(which is accompanied by
). Therefore,
the hypersurface is a space-like boundary of the submanifold .
It is worth remembering that by applying the principle of least action to the primordial action (
175), we mean, as usual, that all primordial variables (scalar field ϕ, non-degenerate metric tensor
, the affine connection
, the functions
and hence Υ) are defined globally on an orientable space-time manifold
and are smooth functions. In particular, this means that: 1) they are all continuous on
; 2) one can choose the orientation of
. The latter should be expressed in the possibility of choosing a certain sign of
. As we have seen, in order to describe our Universe, when solving equations in the model under consideration, we had to put
, i.e. choose a positive orientation. Based on our experience in field theory, we might naively expect this condition to still hold globally on
. However, it turns out that this is not the case due to the dynamics of the model. The reason for this phenomenon is a very profound change introduced by TMT into field theory: as a result of the inclusion of the variables
(from which
is built) into the principle of least action, the possibility arises of mutual influence of the matter field dynamics and the continuous function
or, in other words, between matter and such a fundamental property of the space-time manifold as orientability. This fundamentally new dynamical effect can lead to the creation of a hypersurface
in
, which, as we have seen, can in turn impose significant restrictions on the dynamics of mater fields.
The creation of the hypersurface (despite the fact that originally was nonvanishing on ) and the splitting of into two submanifolds and with the opposite orientation means that is not oriented anymore. Since this effect is the result of solving dynamical equations, it can be interpreted as
spontaneous violation of the orientability of
. Moreover, we found that
the dynamically arisen spacelike hypersurface does not allow extension of solutions for from to .
The totality of the obtained results, namely
- impossibility of extension of solutions for from to
- guaranteed onset of inflation subject to (
193)
- the spacelike character of the hypersurface and the timelike character of vectors ,
allows us to assume that in the model under study, the spacelike hypersurface is a concrete realization of the spacelike hypersurface from the BGV theorem.
Considering the existence of two submanifolds
and
with the opposite orientation, the paper [
46] also studies question what is hidden behind the space-like hypersurface
and boundary conditions on this hypersurface.
9. Discussion
The wide range of applications of TMT to gravity and cosmology is evident from the section headings of the paper. The most important advantage of TMT as an alternative theory is that, under the conditions under which all classical tests of general relativity are performed, TMT accurately reproduces Einstein’s GR. At the same time, TMT offers a number of very interesting models of dark energy. In this paper, we also discussed the new possibilities TMT opens for describing inflation and its initial conditions. In this regard, it is worth noting that refs. [
47] and [
48], not included in this review, propose a new approach to implementing the Higgs inflation model.
In the final discussion, it makes sense to focus on the fundamentally new ideas underlying TMT and leading to the results presented in the article. First of all, it is necessary to pay attention to the validity of the statement that
the volume elements and are equally natural
. This conclusion, which we reached in the Introduction,
Section 1, in the course of our analysis of Wald’s argumentation, is a concept of fundamental importance and there is no longer any reason to continue to ignore the volume measure
when constructing field theory models.
In this paper, while demonstrating various TMT models and their highly interesting results, we paid special attention to the effects arising from including the functions, from which Υ is constructed, as degrees of freedom in the primordial action. As we have seen, in all the models studied, these effects are described by a scalar function . Bearing in mind that gravity in GR has a geometric nature described by the metric tensor, we used the term pregeometry for effects caused by the scalar .
One of the pregeometry effects is related to sign-indefinitness of Υ. Therefore, the use of the volume element in the primordial action means that a field theory model is formulated on a space-time manifold orientation of which is initially unfixed. Only after applying the least action principle and choosing a solution to the equations of motion does a specific sign of ζ appear, and hence a specific sign of orientation. Moreover, as we have seen, there always exists another solution corresponding to the opposite orientation sign. Thus, firstly, we are dealing with the pregeometry effect, which consists of
a spontaneous restoration of the space-time orientation
; secondly there is a strict correlation between the physical results predicted by the TMT (via solutions to the equations) and the sign of the orientation of spacetime.
Representing the primordial action as and varying it wih respect to , we find that the solution exists under the condition , that is, only if spacetime is orientable. In this case, only those cosmological solutions (along with their initial conditions and vacuum states) are valid for which does not change sign throughout the evolution of the Universe. This is another pregeometry effect that has played a significant role in all the models considered in this article.
However, when discussing the models under consideration, it is worth noting three special cases where the condition may be violated, which means the orientability of the space-time manifold is lost.
1) In the model of refs.[
14] and [
15] briefly discussed in
Section 6.2, the measure density Υ and the primordial metric
oscillate around their zeros during transition to the vacuum state
with zero vacuum energy. This means that transition to a state with zero cosmological constant, which occurs in this model without fine tuning, must be accompanied not only by a periodic reversal of the orientation sign but also by passage through a singularity in the primordial metric. Therefore, the assumption of regularity of the function
may be violated. This pregeometry effect apparently indicates that attempting to implement TMT models in which zero CC is achieved without fine-tuning requires a more careful analysis of possible solutions in TMT.
2) In ref.[
14], studying possible dark energy scenarios for the late time Universe, it was demonstrated that there is a wide range of the primordial model parameters where the superaccelerating cosmological expansion is obtained without introducing an explicit phantom scalar field into the primordial action (
59). The numerical solution of the cosmological equations and its detailed analysis in the paper [
15] show that during the evolution, the volume measure density Υ changes sign from positive to negative, so that
becomes negative. Returning to the primordial action (
59), we see that the kinetic term of the ϕ field changes sign, that is, the standard scalar field is dynamically transformed into a phantom field. Some features of this scenario are briefly described in
Section 6.2 of this paper, from which it is clear that the sign change of the field ϕ kinetic term in the primordial action (
59) occurs simultaneously with crossing of the phantom divide
, see
Figure 1.
3) An investigation of a possible connection between the BGV theorem and initial conditions for inflation in the paper [
46], briefly discussed in
Section 8, reveals that the boundary spacelike hypersurface predicted by the BGV theorem does indeed exist, and in the TMT model under consideration this hypersurface is described by the equation
. Assuming the continuity of
, we showed that, despite the initial assumption
, a hypersurface
arises, partitioning the spacetime manifold
into two submanifolds
and
with opposite signs of
and hence with opposite orientations. Consequently, the equations of motion must be solved separately for
and for
, where, generally speaking, different integration constants must be chosen. It then turns out that, in the general case, on the hypersurface
, there is a discontinuity of the metric tensor
used in the Einstein frame.