1. Introduction
The Cosmological Constant (CC) problem [
1,
2] is one of the most striking puzzle in contemporary physics. In a very basic sense, it stems from the fact that in General Relativity (GR) the gravitational field is sensitive to energy and momentum themselves, and not just to the energy difference with respect to a reference (“zero”) configuration. At semi-classical level, where the spacetime is held classical while the matter fields are quantized, the geometry is expected to be sourced by the quantum expectation value of the energy momentum operator, which is badly (quadratically) divergent. While this vacuum energy could be renormalized, at the cosmological energy scale 10
−3 eV, to the value inferred by observations, it is not expected to remain small when we consider higher energy descriptions where new particles enter in the effective Lagrangian. In other words, the smallness of the Cosmological Constant is not technically natural (in a Wilsonian sense) [
3].
It may however be that the correct question to ask is not why vacuum energy is so small, but instead why it gravitates so little. The possible existence of extra dimensions opens a new avenue in this direction, allowing vacuum energy being huge while producing substantial effects only in the extra dimensions [
4]. Particularly compelling in this sense are the braneworld models [
5,
6], where our universe is a surface (brane) embedded in a higher dimensional spacetime. These apparently exotic models are motivated by fundamental physics, since extra dimensions and branes are essential ingredients in string theory.
From this perspective, the most promising realisation is that of codimension-2 branes.
1 In this case, placing vacuum energy (
) on the brane creates a conical singularity in the extra dimensions, while the 4D universe remains flat independently of the value of
. To solve the CC problem, a desired feature is that a generic configuration should dynamically relax towards one where the 4D universe is flat, for example after a phase transition changes the value of vacuum energy on the brane. It was shown that this mechanism, called
self-tuning, cannot work when the extra dimensions are compact, since a phase transition is followed by a runaway behaviour [
7,
8]. The reason for this behaviour is intimately linked to the extra dimensions being compactified.
If the extra dimensions have infinite volume, on the other hand, it is necessary to include an induced gravity term on the brane for gravity to look four dimensional [
9]. The coexistence of these two properties indeed permits circumventing the Weinberg’s no-go theorem [
10], and, remarkably, is central also to the
degravitation approach to the CC problem [
11], which advocates theories where the strength of the gravitation interaction effectively depends on the characteristic length of the source. To reproduce the successes of GR, a “high-pass filter” behaviour is invoked, in such a way that only sources smooth on cosmological scales, such as vacuum energy, get degravitated.
2. The 6D Cascading DGP Model
In this paper, we focus on an interesting candidate to realize the self-tuning/degravitation phenomenon, the Cascading DGP model [
12], originally proposed to extend the DGP model [
9] to higher dimensions. In its minimal (6D) set-up, a codimension-2 brane is embedded inside a codimension-1 brane, which in turn is embedded in an infinite-volume 6D spacetime (also called “bulk”,
). Both branes are equipped with induced gravity terms. The model is schematically described by the action
where
and
denote the determinant of the metrics induced respectively on the codimension-1 brane
and on the codimension-2 brane
. Moreover,
and
indicate the associated Ricci scalars, and
is the Lagrangian for matter, which is localized on the codimension-2 brane (our universe). Quantities pertaining to
are indicated with a tilde, while quantities pertaining to
are indicated with an overbar. While
is fixed to be
to reproduce the GR results on small scales, the model has two free parameters
and
, which control the relative strength of the induced gravity terms and the Einstein–Hilbert term in the bulk.
In the past years, several interesting properties of the model were uncovered, such as a better behaviour concerning ghost instabilities [
12,
13,
14] than that of the pure codimension-2 set-up with induced gravity [
15] (see, however, [
16]). Moreover, it was proposed that the codimension-1 brane acts somehow as a regulator, rendering gravity finite at the codimension-2 brane even when its thickness tends to zero [
17,
18]. However, a mathematically clean proof of these properties, as well as the general investigation of exact solutions, were made impossible by the well-known issue that the thin limit of a codimension-2 brane is not well-defined [
19]. This implies that the action in Equation (
1) provides at best a schematic description, while to properly define the model one should specify in the action the details of the internal structure of the branes. This is in fact a thorny point, since in general there is no detailed notion of how the confining mechanism works, while we are mainly interested in understanding how gravity behaves on scales much larger than the branes thicknesses.
This obstacle has been recently overcome, with the derivation of a thin limit description of the model [
20], valid for a large class of internal structures. In the thin description, the bulk metric obeys the (6D) Einstein equations
while the Israel junction conditions [
21]
are imposed at the codimension-1 brane, which acts as a boundary for the bulk. The energy momentum-tensor
localized on the codimension-2 brane causes the Einstein tensor
and the extrinsic curvature
of the codimension-1 brane to be discontinuous at the codimension-2 brane, while leaving smooth the bulk geometry. This discontinuity is encoded in the codimension-2 junction conditions
where
is the induced metric on the codimension-2 brane;
and
are, respectively, the Einstein tensor and the extrinsic curvature of the codimension-2 brane; and
is the local deficit angle of the configuration.
3. De Sitter Solutions
While the general study of exact cosmological solutions of the system in Equations (
2)–(
4) is under way and will be published elsewhere, we want to show here how the self-accelerating solutions found in Ref. [
22] can be obtained in this description.
The aforementioned solutions are characterized by the bulk being flat and the induced geometry on the codimension-2 brane being de Sitter, with the codimension-2 brane being empty and the four-dimensional Hubble (constant) factor obeying the equation
In Ref. [
20], Appendix G, we showed that these solutions can be recovered in the thin limit description, imposing by hand the bulk to be flat. Actually, we found a slightly more general class of solutions, describing both contracting and expanding universes in presence of a deficit or excess angle. Equation (
5) corresponds to the case of an expanding universe in presence of a deficit angle. We want now to obtain these solutions in a more satisfactory way, by specifying only the symmetries of the spacetime, and solving the equations of motion (bulk included) in a consistent way.
3.1. Symmetry Properties and Gauge Choice
Since the source term is highly symmetric (being actually vanishing), we consider the following hypotheses about the bulk geometry:
The bulk can be foliated into 4D leaves, whose (pseudo-Riemannian) induced metric is spatially homogeneous and isotropic.
The translations along the 3D spatial dimensions are a symmetry of the bulk metric.
There exists a smooth hypersurface with respect to which the bulk is -symmetric. The codimension-2 brane coincides with the intersection of and the codimension-1 brane.
The -symmetry and the foliation into spatially homogeneous and isotropic leaves are compatible.
Point 3 in particular implies that the total six-dimensional configuration is
symmetric. This is not a general property in the formulation of the Cascading DGP model given in Ref. [
20], but it is an assumption which seems sensible for highly symmetric configurations such as the one we are considering.
3.1.1. The Bulk
It is convenient to use the gauge freedom to reduce the number of unknown functions. Considering Gaussian Normal Coordinates with respect to
, and calling
y the coordinate normal to the hypersurface, we obtain the following bulk line element
where
is identified by
and
N,
A,
F and
B are even with respect to
y. In particular, the last point implies that
We can furthermore take advantage of the bulk gauge freedom associated to the coordinate choice on
. Considering, inside
, Gaussian Normal coordinates with respect to the codimension-2 brane, the latter is identified by
and we have
Therefore, naively speaking,
y is the coordinate orthogonal both to the codimension-2 brane and to
, while
z is the coordinate orthogonal to the codimension-2 brane and parallel to
. The coordinates
t,
,
and
are instead parallel to the codimension-2 brane. A sketch of the configuration and of the coordinate choice is given in
Figure 1.
We can finally use the bulk gauge freedom associated to the coordinate choice on the codimension-2 brane, which is now placed at
. Rescaling the time coordinate in a suitable way we can set
so that the induced line element on the codimension-2 brane reads
where we defined
3.1.2. The Branes
Regarding the gauge choice for the branes, we closely follow Appendix G of Ref. [
20]. On the codimension-1 brane we choose Gaussian Normal coordinates with respect to the codimension-2 brane, thus, indicating with
the coordinate orthogonal to the codimension-2 brane, we have
where we adopt the notation of indicating codimension-1 quantities evaluated in this coordinate system with an overhat. In this coordinate system, the codimension-2 brane therefore lies at
, and we assume that the codimension-1 embedding is of the form
Since, in the bulk coordinates, the codimension-2 brane is placed at
, by consistency it follows that
As we showed in Ref. [
20], the condition in Equation (
12) implies that the derivatives
and
at the
side of the codimension-2 brane can be written in terms of the local deficit angle as follows
3.2. Degrees of Freedom and Flat Bulk Configurations
It is useful at this point to recognise which are the degrees of freedom that we are free to assign to individuate the six-dimensional configuration in a neighbourhood of the codimension-2 brane. Since the equations of motion are differential equations of second order, the degrees of freedom are to be found among the embedding functions of the branes and the bulk metric components, and their first derivatives.
Since the position of the codimension-2 brane is held fixed, both inside the codimension-1 brane and in the bulk, the only degrees of freedom associated to the codimension-2 brane are the scale factor and the Hubble factor . The configuration of the codimension-1 embedding in a neighbourhood of , on the other hand, is determined by the local deficit angle only. Finally, the bulk configuration in a neighbourhood of is determined by the derivatives and , since all other first order partial derivatives at vanish (by symmetry or by gauge choice). For future convenience, it is preferable to work with the quantity instead of with , and we indicate . Since the scale factor can be rescaled without affecting the equations of motion, we conclude that the degrees of freedom of the six-dimensional configuration in a neighbourhood of the codimension-2 brane are , , and .
Let us now identify which conditions on the degrees of freedom are imposed by the request of the bulk geometry being flat. Note that the flat bulk configurations considered in Ref. [
20], Appendix G are a special subclass of the configurations in Equation (
6), and are in fact those for which
where
and an overdot indicates derivation with respect to time. Incidentally, these expressions are compatible with our gauge choices. In relation to the discussion of the previous paragraph, we conclude that the flat bulk configurations are those for which the degrees of freedom
H,
and
are linked by the relations
If we restrict our attention to the de Sitter solutions, then these relations reduce to
4. The Role of the Bulk Equations
It is worthwhile at this point to recall some relevant points about the analysis of Ref. [
20], Appendix G. The de Sitter solutions were found by using the codimension-2 junction conditions and the
and
components of the codimension-1 (Israel) junction conditions evaluated at
. The
components of the latter were not used since they are evolution equations for the codimension-1 embedding in the direction normal to the codimension-2 brane, and we were interested only on the behaviour of the Hubble factor (i.e., on what happens on the codimension-2 brane). For the same reason, the codimension-1 junction conditions away from
were not used. Remarkably, imposing the conditions in Equation (
16) which ensure the bulk flatness, this restricted set of equations permits to determine completely the solutions for the induced metric on the codimension-2 brane, and in particular to derive Equation (
5) for the solutions with
H constant.
On the other hand, if the thin limit formulation in Equations (
2)–(
4) of the model is consistent, one should be able to determine the solution on the codimension-2 brane without imposing any condition on the bulk. That is, it should be possible to find the solution by specifying the source content on the codimension-2 brane, solving (all) the equations of motion and imposing boundary conditions at infinity in the extra dimensions. This is in general a formidable task, due to the complexity of the equations. However, we show now that, in the highly symmetric case we are considering, it is indeed possible to derive the relations in Equation (
17) by solving the bulk equations, without making strong a priori hypothesis on the bulk geometry.
4.1. Initial Value Analysis
The main idea of the analysis is to study the bulk equations from the point of view of the initial value formulation with respect to the hypersurface
. It is well-known that solutions of the bulk Einstein equations exist in a neighbourhood of
if the following constraint equations are satisfied
Any choice of the induced metric on
and of
’s extrinsic curvature determine a unique local solution of the bulk Einstein equations, provided the relations in Equation (
19) are satisfied. It is not difficult to see that, with our choice of the bulk metric, the equations
and
are identically satisfied. Therefore, the only non-trivial bulk constraint equation is
, to wit
where it is understood that
and
. We refer to this equation as the
bulk constraint equation. Regarding the other components of the bulk equations, it is important to notice that the equation
is the evolution equation for the off-diagonal metric component
F, since
Reminding that
by gauge choice and
by symmetry, it follows that the bulk metric is diagonal if and only if the following diagonality condition is satisfied
since by Equation (
21) it implies
.
4.2. Diagonal Solutions
Let us specialize to the configurations where the bulk metric in Equation (
6) is diagonal. In this case, the diagonality condition in Equation (
22) can be integrated to give
and defining for convenience
the bulk constraint in Equation (
20) can be written as
Note that, by definition, the quantity
on the codimension-2 brane obeys
From what is said above, it follows that a unique solution of the bulk equations in a neighbourhood of
is associated to each solution of Equation (
25) which satisfies the boundary conditions in Equation (
26) at the codimension-2 brane and suitable boundary conditions at infinity in the extra dimensions.
Regarding the latter boundary conditions, it is usually assumed that the gravitational field decays at infinity in the extra dimensions, and that eventual radiation is purely outgoing (“nothing enters from infinity in the extra dimensions”). Since we are not considering gravitational wave solutions, we therefore impose the bulk Riemann tensor to tend to zero when
y and/or
z tend to infinity. Remarkably, this requirement induces a restricted set of boundary conditions at infinity on
(i.e., at
with
), as a consequence of the fact that the components
involve only
,
N and their derivatives with respect to
t and
z (since Equation (
7) holds). Asking the components in Equation (
27) of the Riemann tensor at
to decay to zero when
gives the following conditions
4.3. De Sitter Solutions Again
Summing up, in
Section 4.1 and
Section 4.2, we show that, restricting the analysis to diagonal configurations, a unique solution of the Einstein equations in the bulk is associated to each solution of Equation (
25) subject to the boundary conditions in Equation (
26) at the codimension-2 brane and to the boundary conditions in Equation (
28) at infinity on
.
The solution of such a problem is indeed very challenging, since for one thing Equation (
25) is non-linear. However, as long as we are interested in the de Sitter solutions, we can make the simplifying assumption
. Taking into account the boundary conditions in Equations (
26) and (
28), this implies that
and its
z-derivative are independent of time at both boundaries
and
. Since the bulk equation is of second order in the derivatives with respect to
, it is natural to assume that
only depends on
. In this case, indicating derivatives with respect to
z with a prime, the bulk in Equation (
25) becomes the ordinary differential equation
and a solution compatible with the boundary conditions in Equation (
28) at infinity is clearly given by
Absorbing the sign ambiguity by introducing a constant
, we get
. Taking then into account the boundary conditions at the codimension-2 brane in Equation (
26), we get
and evaluating the diagonality condition in Equation (
22) at
, we find
We then reproduced the conditions in Equation (
18), which were originally obtained by imposing by hand the bulk to be flat, by solving the bulk equations and imposing suitable boundary conditions at infinity.
An important question is whether Equation (
31) is the
only solution of Equation (
29), and more in general of Equation (
25), compatible with the boundary conditions in Equations (
26) and (
28) when
. In particular, the argument leading to the assumption of
being time-independent is somehow qualitative, and a thorough analysis of the boundary condition problem given by Equation (
25) and the conditions in Equations (
26) and (
28) would be needed to justify it properly. We have no definitive answer to these questions at present, but we aim to consider the matter in detail in a forthcoming publication.