1. Introduction
All phenomena in a region of space can be described by a set of degrees of freedom localized on the boundary of that region, with no more than one degree of freedom per Planck area.
The Holographic Principle has been the driving force behind many of the advances in quantum gravity over the last twenty-five years, but to date, the only precise examples have been cosmologies, which, like anti-de-Sitter space, have asymptotically cold
1, time-like causal boundaries. The reliance on the existence of such boundaries is troubling because the space we livedoes not seem to have them. Instead it has a horizon and a space-like warm boundary. If the HP is to apply to the real world, then we need to generalize it.
Does the Holographic Principle apply to cosmologies such as de Sitter space? If yes, then what are the rules? I do not know for sure, and this paper will not conclusively answer the question; however, I will try to lay out some tentative principles.
Two things that will not be found here are specific models and applications to phenomenology.
1.1. An Obstruction? Or Not
Goheer, Kleban, and I (GKS) [
1] proved that it is impossible for a quantum system to satisfy the symmetries of classical de Sitter space if the entropy is finite
2. At the time, I interpreted this as a no-go theorem for absolutely stable (eternal) de Sitter space, but recent developments in quantum gravity suggest that a different interpretation might be possible. The idea is that a de Sitter vacuum might be eternal but the symmetries only approximate, as they are violated by exponentially small non-perturbative effects. The mechanisms are very similar to ones that have recently been uncovered in the SYK system and its gravitational dual.
1.2. Eternal de Sitter Space
By eternal de Sitter space, I mean a cosmology that is trapped in a state of finite entropy and cannot escape through reheating or tunneling to a larger “terminal vacuum” [
2,
3,
4,
5,
6]. Eternal de Sitter spacemight arise from a landscape in which the scalar fields have a strictly positive potential, greater than some finite positive gap, in which there is one or more minima of
Figure 1 illustrates this kind of potential. I do not know if a landscape with these properties can exist in a real theory of quantum gravity, but let us assume that it can, and see where this takes us.
Classically, the different minima lead to different stable de Sitter geometries, but in quantum mechanics, tunneling allows for transitions between the minima. This leads to a single thermal equilibrium state (of a static patch), which mostly sits in the lowest minimum. Howver, occasional Boltzmann fluctuations allow for transitions to higher minima, followed by tunneling back to the lowest minimum. The rates for such fluctuations are of the order
, where
is the nominal entropy of the de Sitter space at the lowest minimium
3. Other, less extreme fluctuations can occur; for example, the horizon of a static patch may spontaneously emit an object such as a black hole. These freak fluctuations are the only things that occur in the closed quantum world of a de Sitter static patch [
7,
8], but thermal correlations contain a wealth of information about non-equilibrium dynamics.
Eternal de Sitter spaceis, of course, eternal, both to the future and to the past
4. Among the possible Boltzmann fluctuations that can occur over an enormous expanse of time are transitions to what we ordinarily think of as the initial conditions of our universe. Consider a fluctuation to to an inflationary point on the landscape, which, after some inflation, eventually evolves to a standard
-CDM universe. That would not be the end of the story. After a very long period of
-dominance, a fluctuation will occur to another minimum, and the whole process will repeat.
While this may be possible, a theory based on Boltzmann fluctuations is a very implausible framework for cosmology. In order to escape the eternal cycle of recurrences, near recurrences, partial recurrences, and freak histories described in [
8], it seems necessary to have a landscape that includes terminal vacua [
2,
3]. A phenomenon called “fractal flow” [
4,
5,
6] can then lead to a much more plausible cosmology.
Nevertheless, it is interesting to explore the consequences of the Holographic Principle for eternal de Sitter space, even if this eventually leads to the conclusion that eternal de Sitter space is inconsistent.
2. Static Patch Holography
A number of different approaches to de Sitter space might loosely be called holographic. I will stick to the original meaning of the term: a description localized on the boundary of a spatial region in terms of a quantum system without gravity. Specifically, we will focus on static patches and their boundaries—cosmic horizons. I will not speculate on the details of the quantum system other than to say that it should be fairly standard; for example, it might be described as a collection of qubits, or some form of matrix quantum mechanics with a Hermitian Hamiltonian. The bulk space–time and its geometry emerge from the holographic degrees of freedom.
2.1. The Semiclassical Limit
The classical limit of de Sitter space is described by the metric,
The length-scale R is the radius of curvature, inverse to the Hubble parameter. The cosmic horizon at is the place where
The semiclassical limit refers to the theory of small perturbations about the classical geometry, which can be described in powers of
Although it may be sufficient for many purposes, the semiclassical theory is incomplete. The full quantum theory will have non-perturbative effects of magnitude
where
a is a characteristic length scale and
G is Newton’s constant. If
, then the nonperturbative effects are of the order
, which is the de Sitter entropy. In the semiclassical limit, only the zero-order term in
is retained.
De Sitter space is, in some ways, similar to a black hole. Both have horizons, an entropy proportional to the horizon area, and a temperature. Both have a semiclassical limit and additional non-perturbative effects. For any real black hole, the nonperturbative effects are exponentially small (in the entropy), but play a crucial role in establishing the consistency between quantum mechanics and gravity. It seems reasonable that the same would hold true for de Sitter space.
Section 3,
Section 4 and
Section 5 discuss these nonperturbative effects but we will focus on the semiclassical theory.
To illustrate the static patch, consider the example of
-dimensional de Sitter space. The conformal diagram is a rectangle that is twice as wide as it is high, and periodically identified,
5 as illustrated in
Figure 2.
A static patch is defined by picking a pair of points
6, one on the asymptotic past and one on the asymptotic future. The static patch is the intersection of the causal future of the past point and the causal past of the future point. The geodesic connecting the asymptotic points will be referred to as the world-line of the “pode”.
Observers who spend their entire existence in the static patch will see their world as bound by the horizon although the full geometry has no boundary. Our central hypothesis is that everything that occurs in the static patch can be described by a unitary holographic system with the degrees of freedom located at the stretched horizon (see
Section 2.2). The holographic quantum mechanics, which include a Hilbert space and a Hermitian Hamiltonian, allow us to define certain thermal properties of the static patch, including a density matrix, a temperature
, and an entropy
.
In addition to the quantum mechanics of a single static patch, we also require transformation laws between static patches. For example, in
Figure 3, we see two static patches of
.
A theory of de Sitter spaceshould have transformation rules relating conditions in different static patches. In classical GR, these transformations are symmetries that express the identical nature of the patches. These symmetries, relating static patches and the possibility of representing them in a holographic theory, are the main subject of this paper.
The Penrose diagram for general dimensional de Sitter space is shown in the top panel of
Figure 4.
The diagram shows that static patches come in matched pairs—blue and pink in the diagram. We will refer to the points at the centers of these static patches as the pode and the antipode.
2.2. Where Is the Hologram?
The penrose diagram of
Figure 4 looks a lot like the diagram for the two-sided AdS eternal black hole [
10]. From all that we know about such black holes this suggests (and we will assume) that the podal and antipodal degrees of freedom are uncoupled, but entangled in a thermofield-double state. However the geometries of the two-sided black hole and de Sitter space are very different. In the lower panel of
Figure 4, we see a time-symmetric slice through the de Sitter spacegeometry at
The geometry of the slice is a sphere. By contrast, the corresponding slice through the eternal black hole would be a wormhole connecting two infinite asymptotic boundaries. The spatial slice of de Sitter spacehas no boundary, with the pode and antipode being points at which the geometry is smooth.
Instead of being located at the boundary, as in AdS, the holographic degrees of freedom of the static patch is located at the (stretched) horizon. Consider Bousso’s generalization [
11] of the Penrose diagrams for the AdS eternal black hole, and for de Sitter space
7 These are shown in
Figure 5.
Where should we locate the holographic screens (tips of the wedges) so that the maximum entropy of the spatial region described by the hologram is sufficient to encode everything in the geometry? In
Figure 6 the diagrams are shown for AdS, in which we place the screens near the horizon in the first case and near the boundary in the second case.
From the light-sheet entropy bounds of [
11,
12], one can see that, in the first case, the maximum entropy on the pink spatial region is just a tiny bit larger than the black hole entropy. Placing holographic degrees of freedom at these locations would allow for enough degrees of freedom to describe the black hole, but not enough to describe phenomena in the bulk far from the horizon.
In the second case, where the wedges are near the boundary, the maximum entropy grows as the screens are moved outward. This is the well-known reason that the holographic degrees of freedom of AdS are located at the boundary.
Next, consider de Sitter space. In
Figure 7, two choices for the locations of holographic screens are shown. In the upper panel, the screen is shown near the pode.
The maximum entropy is very small when the screen is near the pode. By contrast, in the lower panel, the screen is shown close to the horizon. The maximum entropy on the pink slice, in this case, is large enough to describe the entire static patch. This is the argument for locating the holographic degrees of freedom at the horizon.
The Penrose diagram suggests that there are two sets of degrees of freedom—one for the pode and one for the antipode—located on the stretched horizons of each side, and entangled in a thermofield-double state (see
Figure 8).
2.3. Symmetry of de Sitter Space
Suppose that an oracle handed us what he claimed to be a holographic dual of de Sitter space. How would we know if it really describes de Sitter spaceor if it something else—perhaps a black hole? The answer is symmetry. There are many static patches in de Sitter spaceand the symmetry of the space transforms from one to another. The most conclusive test would be to show that the model satisfies the de Sitter spacesymmetry. In
Figure 3, we see that one static patch can probe the region behind the horizon of another. Since the original pode-patch is described by unitary evolution, establishing that the symmetry is satisfied would tell us that all static patches are described by unitary evolution. To put it another way, testing the de Sitter symmetry also tests for the existence of space–time behind the horizon. Without testing the symmetry, there is no compelling reason to think that a given quantum system represents dS.
The symmetry of clasical
d-dimensional de Sitter space is
a non-compact version of the orthogonal group
has
generators. Of these,
generate transformations that keep the pode, antipode, and the horizon fixed. I will refer to these as the “easy” generators. They include rotations
R about the pode–antipode axis and the boost-Hamiltonian
In addition, there are rotations , which rotate the positions of the pode and antipode, and other boost operators that also move the pode, antipode, and horizon. These will be referred to as the “hard” generators.
As an illustration, here is the complete algebra for
,
2.4. Four-Step Protocol
What follows is a schematic protocol to test the oracle’s claim. If it succeeds, then the oracle’s purported dual is legitimate. If it fails, then we know that he is a phony.
There is a middle ground. Suppose the protocol succeeds to some very high level of accuracy, but fails beyond this level. Then, we should check whether the small violations have a plausible gravitational explanation. As we will see, this is not just an academic possibility.
The protocol is probably consistent at the semiclassical level—in other words, to all orders in perturbation theory. Beyond that, at the level of exponentially small non-perturbative effects, the protocol must fail, but there is a plausible gravitational explanation for the failure involving a higher genus
8 saddle points in the gravitational path’s integral.
To formulate the protocol, we first break the de Sitter symmetry by choosing a pair of static patches: the pode and the antipode. This is not a real symmetry-breaking; in the semiclassical theory, this is gauge-fixing
9. If the theory is gauge-invariant, then the results of any physical calculation should not depend on the gauge, which, in this case, means the particular pair of asymptotic points used to define the static patch.
- 1.
Step one begins with a candidate for the dual of the static patch. It consists of a conventional quantum system: a Hilbert space of states; a Hamiltonian ; and a set of Hermitian observables, including the easy generators of the subgroup that hold the pode fixed. These generators include the Hamiltonian and the rotation generators that rotate the static patch around the pode. The easy generators are collectively denoted as
The system is assumed to be in thermal equilibrium at some definite temperature
10 T and entropy
- 2.
Step two introduces another copy of the system, labeled
(for antipode). The doubled system has Hilbert space
The Hamiltonian is identical to . The full Hamiltonian generates a boost that translates one side of the Penrose diagram (the pode side) upward, and the other side downward.
The full rotation generators acting on
are
More generally,
the minus sign is chosen for the Hamiltonian.
As de Sitter spaceis spatially closed without a boundary, we must impose gauge constraints,
on the physical states.
To date, none of this is unusual and it can easily be satisfied in many ways. This is why I call G the “easy” generators. Another way to characterize them is to consider them the generators that commute with the Hamiltonian. Finally, the easy generators do not couple the pode and antipode degrees of freedom.
- 3.
The third step involves the construction of the remaining “hard” generators of , those that displace the pode and antipode. Let us call them They consist of the remaining rotation generators and an equal number of boosts . The hard generators non-trivially couple the pode and antipode degrees of freedom. Together, the easy and hard generators form the algebra.
This third step may not be possible. There may be no choice of
that satisfies the commutation relations (17). This in itself may not be fatal if the algebra can be realized to a sufficiently high degree of accuracy. For example, the violations may be exponentially small
. The symmetry may be satisfied to a leading order in an expansion in
, with the violations only occurring in higher orders. We will see in
Section 5.1 that this is exactly what the GKS anomaly tells us must happen. For now, let us assume that the
can be constructed.
- 4.
The final step, assuming the others have been successful, is to impose hard gauge constraints,
Note that the hard gauge constraints (9) automatically imply easy gauge constraints (8), but the reverse is not true. As in step 3, if the entropy is finite, this may only be possible for exponential precision.
If no states satisfy the gauge constraints,
then we stop, go back, and choose another candidate until we find one that has at least one gauge-invariant state.
The crucial gauge-invariant state is the de Sitter vacuum, which looks thermal to observers in the pode and antipode patches. This state is the thermofield-double,
which must satisfy the gauge constraints, at least to leading order, in
. I do not see any reason why there should be other gauge-invariant states, but this seems to be controversial. In any case, the discussion in this paper is about the state in (11).
We will return to these symmetry issues, but first I want to digress and describe a toy model, which can provide a source of intuition about de Sitter static patches.
3. Toy Model
The motivation for the toy model is the observation that the pode is a point of unstable equilibrium. Imagine a light test-particle located exactly at the pode. Consider a second test-particle located a tiny distance from the pode. Assume the second particle is initially at rest relative to the pode, and subsequently follows a geodesic. Geodesic deviation will cause that particle to fall away from the pode with the separation exponentially increasing. This is illustrated in
Figure 9.
To model this behavior, we can consider a non-relativistic particle in an inverted, three-dimensional, harmonic oscillator potential,
The unstable equilibrium point
corresponds to the pode. The spectrum of
H is continuous and runs over all real numbers. The energy eigenfunctions at a large
x have the form,
Classically, if the particle starts near the top of the potential, the subsequent motion satisfies,
where
p is the momentum of the particle. This matches the behavior of a particle in dS.
The time that it takes for the particle to reach distance
R from the pode is
I have intentionally used the notation , which is the conventional notation for the scrambling time. The reason for this will shortly become clear.
The inverted oscillator is characterized by an operator algebra, including the Hamiltonian, and, for each direction, a generator
, defined by
The algebra, which I will call the
symmetry of the model, is,
From the first two relations, it follows that,
The algebra is satisfied by a generalization to a system of many non-interacting particles, as well as particles coupled by translationally invariant forces.
The toy model, as defined up to this point, is the semiclassical limit of a more complete model, which has a stretched horizon, a finite entropy, and nonperturbative effects.
3.1. Toy Model with Stretched Horizon
To date, in the toy model, the particle has potential for an infinite amount of time before reaching . This parallels the fact that, classically, a particle takes infinite time to reach the de Sitter horizon.
To make a more interesting model, the radial direction can be cut off by turning the potential sharply upward at a distance R from the pode. Instead of a single particle, we can introduce N particles, which are allowed to interact, but only when they are very near the bottom of the potential. The details of the interaction are not important except that they lead to chaotic behavior and thermalization.
Figure 10 illustrates the setup. The first panel shows the potential, along with
N particles in thermal equilibrium at the bottom. The second panel is the view-from-above, in which we see the particles occupying a two-dimensional shell at distance
R from the pode. This shell is the toy model version of the stretched horizon.
The number of particles can be chosen so that the area-density at the stretched horizon is of the order
The entropy of the thermal gas is proportional to the number of particles with an appropriate choice of temperature and other numerical constants,
The time that it takes for a particle to fall from the pode to the stretched horizon is the scrambling time.
The semiclassical limit is identified with the limit With that limit, the entropy becomes infinite and the thermal state is very boring to an observer at the pode. Thermal fluctuations do occur, but the potential well is so deep that the probability of a particle in the equilibrium “soup” reaching the pode is zero.
3.2. Fluctuations
If
R (and, therefore, the entropy) is kept finite, there is a non-zero probability of finding one or more particles at the pode. The particles could form interesting objects such as black holes, galaxies, or brains. These nonperturbative Boltzmann fluctuations are extremely rare, but they are the only things that occur in thermal equilibrium [
8].
Consider the probability of a Boltzmann fluctuation in which an object
materializes at the pode. To mathematically represent this situation, we introduce a projection operator
that projects onto states in which the object
is present at the pode. This probability is given by
where
is the thermal density matrix.
Non-equilibrium dynamics are encoded in the thermal state. For example, suppose we want to know the probability that if the object
is present at
then, at a later time,
t will have made a transition to
This is encoded in the correlation function,
This type of formula, and its generalizations, show that the theory of fluctuations in thermal equilibrium encodes a very rich spectrum of dynamical phenomena.
The probability
is given by a standard expression,
where the “entropy-deficit”
is defined by,
This formula requires some explanation. The symbol
stands for the de Sitter entropy
; however, it does not stand for the entropy of the object
It is the conditional entropy of the whole system, given that the object
is present at the pode. A simple way of thinking about
is that it represents the entropy of the remaining horizon degrees of freedom, given that
is present, plus the entropy of
We will return to this in
Section 5.2.
3.3. The GKS Anomaly
Can the algebra (17) be satisfied in the cutoff model? With the identification (16) and modification of the Hamiltonian required to construct the cutoff model, the algebra will not hold, but one may ask if there can be new operators
, which, along with the new Hamiltonian, satisfy this. The answer is no [
1]. To prove this
11, we consider the first of Equations (18) (a consequence of the algebra) and take its matrix element between normalizable states,
The argument for the GKS anomaly contains two parts:
- 1.
Finiteness of entropy implies that the energy spectrum is discrete. More exactly, it says that the number of states below any given energy is finite. This is much weaker than saying that the Hilbert space is finite-dimensional, which we do not assume.
- 2.
Functions defined as sums of the form,
cannot reach zero as
They will have fluctuations and even recurrences over very long timescales. One can easily prove that the late-time variance of
satisfies,
In other words, over long periods of time, F will fluctuate, with a variance equal to
It follows [
1] that (24) (and the algebra (17), which led to it) cannot be satisfied if the entropy is finite. There is a deep relationship between fluctuations and the non-perturbative breaking of semiclassical symmetries.
We can be more quantitative. In the semiclassical limit, the energy spectrum is continuous, and (25) is replaced by,
If
is square integrable, then
as
In approximating the sum by an integral, we make the following correspondence:
where
is the spacing between neighboring energy levels. Now, consider the sum in (26) and rewrite it in terms of
A.
The energy level spacings
are of order
Thus it follows that
and from (26),
Given that the symmetry algebra requires asymptotic variance in to be zero, the actual variance in (30) is a measure of how badly the symmetry is broken by the anomaly.
More generally, it seems reasonable to suppose that the discreteness of the energy spectrum produces effects that scale as a power of
The bottom line is that fluctuations of the order create an obstruction to realizing the symmetry algebra (17) as long as the entropy is finite.
3.4. Caveats
The toy model has elements in common with de Sitter space; however, like all analogies, it has limitations. Two come to mind: First, because it is based on non-relativistic particles, it cannot capture the physics of massless photons in de Sitter space. For example, the probability of finding a single thermal photon of wavelength ∼ within a distance ∼ of the pode is in the order of This is a perturbative phenomenon, which would requires massless relativistic degrees of freedom instead of massive non-relativistic particles.
Another unphysical feature of the toy model is that the size of the horizon is fixed, while the size of the de Sitter horizon is dynamic and can adjust to the amount of entropy that it contains (see
Section 5.2).
4. The GKS Anomaly in JT/SYK
A similar anomaly to that seen in
Section 3.3 also affects two-dimensional models such as JT gravity, and its quantum SYK completion.
Figure 11 shows the
solution of JT gravity with Rindler-like horizons.
The classical theory
12 has an exact
symmetry, which persists for all orders in perturbation theory; in other words, it is a feature of the semiclassical theory. However, the symmetry is broken by non-perturbative quantum effects [
13]. The
group has three generators,
and
whose action is illustrated diagramatically [
14] in the three panels of
Figure 11.
The generator generates global time shifts and moves the horizons vertically from their original location (grey lines) to a new location (purple lines.) The generator H is the boost Hamiltonian that holds the horizons fixed but acts on equal-time-slices to boost them. Finally, generates a spacelike displacement of the horizon, as shown. and are analogous to the hard generators of , and H is easy.
These generators satisfy the
algebra,
which is semiclassically exact, but cannot hold non-perturbatively. To show this, we define the light-like generators,
In the classical JT system, the entropy is infinite and Equation (34) presents no problem, but in a quantum completion such as SYK, the entropy is finite, of the order of the number of fermion species
The rest of the argument is identical to the one in
Section 3.3 and implies that the
symmetry cannot be exact, except in the limit
All of this is well-known from other perspectives [
13,
14], and it is believed that the breaking of the symmetry can be understood in terms of higher genus corrections to the integral JT path.
5. de Sitter
Returning to the de Sitter space and static patch holography, insofar as the static patch is in thermal equilibrium with finite entropy, it will undergo Boltzmann fluctuations. As we saw in
Section 3.3, these fluctuations are the source of the symmetry-breaking in the toy model. This section will discuss the anomaly in the
de Sitter symmetry and explain how general relativity can be used to provide a quantitative account of Boltzmann fluctuations
5.1. The O(d,1) Anomaly
Now, let us return to the symmetry algebra of de Sitter space. From the last two of Equations (3), we may construct light-like generators,
satisfying,
Note that these equations are identical to the first two equations in (17) and that they imply,
Following the same logic as in
Section 3.3, we may evaluate this equation between normalizable states to find,
For the same reasons, as in
Section 3.3 and in [
1] (relating to persistent fluctuations), there is a GKS anomaly, making it impossible to satisfy (38), and, therefore, the algebra. The arguments of
Section 3.3 concerning fluctuations provide the same estimate for the magnitude of the anomaly effects,
5.2. Using GR to Calculate Fluctuation Probabilities
In theories with a gravitational dual, general relativity provides a precise way of calculating the probability of certain fluctuations. Consider the rate for fluctuations that nucleate massive objects, such as black holes near the pode. We can use (22) and (23) to compute the rate. To calculate
, we can use the metric (
1) to obtain the radius of the horizon (we get
), then calculate the area of the horizon, and, finally, the entropy. The result is
Next, consider the metric of de Sitter space with an object
of mass
M at the pode. The effect of the mass is to pull in the cosmic horizon, shrinking its area and, therefore, its entropy [
15,
16,
17]. Beyond the radius of the object, the metric takes the form (
1), except that the emblackening factor
is replaced by
The horizon location is defined by
Multiplying by
r, this becomes,
Equation (42) has three solutions, two with positive
r and one with negative
The negative solution is unphysical. The larger of the two positive solutions determines the location of the cosmic horizon and the smaller determines the horizon of a black hole of mass
M. At the lowest order in
M, the cosmic horizon is shifted to a new value of
r, given by,
The entropy is given by
and (to the leading order in
M) the entropy-deficit is given by [
15],
Now, recall that the inverse temperature of de Sitter spaceis
Using (22), we find
Equation (46) is the Boltzman weight for a configuration of energy The answer itself is not surprising but what is interesting is that the connection between entropy and area has been used in a new way—not for equilibrium probabilities, but for fluctuations away from average behavior.
More generally, we can move beyond linear order in
M. Let us denote the two solutions of (42) by
and
and define the independent parameter,
One can express
x in terms of the mass of the black hole by eliminating
and
from the equations,
The value of x runs from to Changing the sign of x interchanges the cosmic and black hole horizons. It is convenient to think of positive and negative values of x as different configurations; for example, at both and , there is a vanishingly small horizon and a maximally large horizon, but we regard these two states as different.
The entropy and entropy-deficit are given by
Let us consider the “Nariai point”
at which
One can easily find that, at the Nariai point,
From (49) and (50), we find
It is not obvious that
is smooth at
. One might expect that
has a cusp, as in the top panel of
Figure 12. However, explicit calculations show that the dependence is completely smooth and surprisingly simple,
This is illustrated in the bottom panel of
Figure 12.
The total probability of a black hole fluctuation is given by an integral
13 over
x,
The first term in (54) comes from the endpoint of the integration at
and is perturbative in
It is associated with the lightest black holes and numerically dominates the integral. The second term comes from the saddle point at
It can be re-written as
This is obviously non-perturbative in We will discuss its meaning in the next section.
6. The Nariai Geometry
Quantum-mechanically, the non-perturbative fluctuations we are discussing originate from the discreteness of the energy spectrum. On the gravitational side, those same effects are encoded in higher-genus
14 contributions to the gravitational (Euclidean) path integral [
18,
19,
20,
21,
22]. In the case of anti-de-Sitter space, the contributing geometries are constrained to have asymptotic AdS-like boundary conditions, but subject to that constraint they can have any topology. In the case of Euclidean de Sitter space, there are no boundaries; the path integral, therefore, includes all closed topologies. Among these are the Nariai geometries.
To illustrate the connection between fluctuations and higher-genus contributions, consider the fluctuations discussed in
Section 5.2, in which a black hole is spontaneously created near the pode. The first panel of
Figure 13 shows the Penrose diagram for a Schwarzschild- de Sitter black hole. A slice through the time-symmetric space-like
surface is depicted in green. In the lower panel, the geometry of such a slice is shown for two different masses of the black hole. The figure on the right depicts a relatively larger mass than that on the left.
One may continue the
geometry in either Minkowski or Euclidean signature. The Minkowski continuation returns the geometry in the top panel of
Figure 13. The Euclidean continuation has a compact geometry with the topology
, which I call an S-geometry (Euclidean Schwarzschild de Sitter). There is a one-parameter family of S-geometries, parameterized by the mass
M of the black hole.
The metric of the S-geometry is
The one thing left to specify is the range of the periodic Euclidean time Normally, the periodic constraint requires , where signifies inverse temperature. However, in the present case, there is no well-defined temperature because the black hole and cosmic horizon have very different temperatures. For a small black hole, is , while the de Sitter value of is The black hole is out of equilibrium with the de Sitter space.
What this means is that it is not geometrically possible to avoid a conical singularity at either the black hole or the cosmic horizon. For this reason, the S spaces are not genuine saddle points of the Euclidean gravitational path integral—with one exception. The exception is the Nariai space, i.e., S-space at the symmetric point The geometry of Nariai space is and its Minkowski continuation is i.e., a spatial sphere times two-dimensional de Sitter space.
Nariai space is a genuine Euclidean saddle point whose Minkowski continuation is often called the Nariai black hole. To understand this better, return to the S-space with a small black hole. A static patch is also shown in the upper panel of
Figure 14. As the black hole is at the center of the static patch, we cannot think of the pode as a point. Instead, I have indicated a shell with a dashed red line. The shell is a two-sphere that surrounds the black hole between the black hole horizon (black dot) and the cosmic horizon (purple dot).
A spatial slice of the geometry between the two horizons is shown in the lower panel.
Now, let us consider deforming the geometry by increasing the black hole mass and, at the same time, decreasing the cosmic horizon area (following the curve in the lower panel of
Figure 12) until we reach the Nariai point. At that point, the geometry—not just the topology— is
, but from the viewpoint of the static patch observer, it looks like a spatial interval times a 2-sphere. The observer is sandwiched between two equal horizons.
Thought of as a real process, this history would violate the second law of thermodynamics, but as long as is finite, it can occur as a rare Boltzmann fluctuation. It requires energy to be transferred from the cosmic horizon to the black hole—a kind of anti-evaporation. The most likely trajectory of this system is the time reverse of the evaporation process, in which one of the two Nariai horizons spontaneously emits radiation, which is then absorbed by the other. When this happens, the emitter loses energy and becomes hotter. The result is that it emits more energy until the smaller horizon becomes a small black hole (or even no black hole) and the larger horizon reaches entropy The time-reverse of this process is the Boltzmann fluctuation, which leads to the Nariai state from the small black hole state.
Once the Nariai state is achieved, it is unstable. One possibility is that the system can return to the original state, with the original black hole shrinking and the original cosmic horizon returning to its full dS size. However, the opposite can also occur: the system overshoots and the original black hole keeps absorbing energy while the original cosmic horizon shrinks to a small black hole. We can think of this as a transition from from
to
An observer between the two horizons sees a surprising history, in which the geometry of the static patch turns itself “inside-out”—the outer cosmic horizon and the inner black hole horizon exchange roles. This remarkably strange event is illustrated in
Figure 15.
6.1. Nariai and Hawking-Moss
One might be tempted to think of this inside-out transition as a quantum tunneling event, but, unlike a typical quantum tunneling, the process stretches out over a long time. The energy transfer is simply Hawking evaporation or its time-reverse, and takes the same order as the Page time
15. The transition is a thermal process, mediated by a Hawking–Moss instanton [
23], not a quantum tunneling event. It takes a very long time, during which the system sits at or near the top of the potential, i.e, at
. The Hawking–Moss instanton calculates the probability that the system in question is at the top of a broad potential barrier [
24].
In this case, the Hawking–Moss instanton is the Nariai geometry,
and the probability of finding the system in the Nariai state is
where
I is the action-deficit of Euclidean Nariai space. Not surprisingly, that action deficit is the same as the entropy-deficit of the Nariai black hole,
Thus, we see an example of the relationship between fluctuations (the appearance of a Nariai black hole) and a higher genus wormhole geometry (the Nariai geometry.)
6.2. Connection with Anomaly
What does all of this have to do with the symmetry (or lack of it) in de Sitter space? I think the answer is fairly simple. In the Euclidean continuation, the symmetry group is There is a natural action of the group on the semiclassical Euclidean dS geometry, namely, . However, the full path integral receives contributions from other topologies, particularly the Nariai geometry Trying to define the action of on is like trying to define the action of on a torus. It is not that the torus breaks the symmetry like a egg would; the symmetry operations just do not exist on the torus. Likewise, the generators of do not exist on
One might try to get around this by defining the action of the group as trivial on all higher topologies; in other words, define
as invariant under
I think the reason that this does not work is that, in general, different topology states are not orthogonal: the overlaps are of the order
[
21]. For this reason, the action of the group on
cannot be arbitrarily chosen, independently of the action on
Thus, we are left with the conclusion that higher topologies not only break the symmetry of dS: they do not even allow for it to be defined. This is consistent with the GKS anomaly, which also implies that the generators cannot consistently be constructed to order .
7. Implications of the Anomaly
The group
relates different static patches within a single de Sitter space. For example, in
Figure 16 shows two static patches, which are related by the action of a light-like generator
If the
symmetry is not broken by the GKS, anomaly one would expect that the dynamics in the two patches would be identical. In particular, the Hamiltonian in one patch would be related to that in the other patch by a unitary transformation and the two spectra would be identical. However, our result suggests that this is not true; it is likely is that the coarse-grained spectra of the two Hamiltonians are the same but, at the discrete level of individual eigenvalues, the spectra do not match. The occurrence and timing of fluctuations in the two static patches (for example, quantum recurrences) would be different. The Hamiltonians for different patches might be drawn from a single ensemble, but would be different instances of that ensemble. In the absence of knowledge about which Hamiltonian governs an observer’s patch, averaging over the ensemble would make sense
16.
Gauge Symmetry?
It is usually assumed that the relating different static patches is a gauge symmetry, or a redundancy of the description. However, having a gauge symmetry requires that the gauge transformation can be consistently defined. This does not appear to be possible for the symmetries of de Sitter space except in the semiclassical limit. The GKS anomaly precludes the existence of the generators to a higher order in and indicates that different static patches are inequivalent when effects of the order are considered. Thus, the answer to this question is that should be treated as a gauge symmetry in the semiclassical approximation, but not in the full, non-perturbative theory. One could select a static patch not by gauge fixing, but by simply selecting the patch whose detailed energy levels have some specific pattern.
One possible conclusion is that eternal de Sitter space is not consistent—a view taken in [
1]. In this paper, I have advocated for another viewpoint; namely, that the de Sitter symmetries are approximate, and valid in classical theory and in perturbation theory, but not beyond. In fact, for other topologies, the action of
may not even be defined. For example, it is hard to imagine the action of
on the Nariai space
In some ways, the situation seems similar to recent discussions of global symmetries and their breaking by higher topologies [
27], where it was suggested that global symmetries (forbidden by gravity) may be restored in the ensemble average. In the context of de Sitter space, the average over all the static patches in de Sitter spacemight have the symmetry that the individual instances lack.
8. Conclusions
Eternal de Sitter space is a space–time without time-like boundaries, but a static patch is bounded by a horizon. On the basis of covariant entropy bounds, I argued that the natural place to locate holographic degrees of freedom is on the stretched horizon. The only things that happen in eternal de Sitter space are fluctuations in these horizon degrees of freedom, which, from the bulk perspective, sporadically produce interesting objects deep in the interior of the static patch.
We have explored three non-perturbative de Sitter space phenomena related to these fluctuations. The first was the violation of the de Sitter symmetry due to the GKS anomaly. The variance in (39) is a measure of the magnitude of the violation.
The second was large-scale Boltzmann fluctuations, in which the holographic horizon degrees of freedom undergo freak rearrangements, leading to large black holes materializing in the interior of the static patch. The probability of this happening is given by (54). The second term of this expression is non-perturbative and represents the creation of the largest black holes with entropy
Finally, wormholes and higher genus geometries, a saddle point due to the Nariai geometry , non-perturbatively contribute to the gravitational path integral and describe a massive fluctuation, in which de Sitter space turns itself “inside out”.
These phenomena, which all scale exponentially with , are closely connected. One might even say they express the same underlying fact; namely, the discreteness of the energy spectrum, and finite-level spacing Moreover, they are extensions of things that have been observed in other contexts such as SYK and JT gravity; the novelty is that they appear in the holography of de Sitter space.
The violation of symmetry is especially interesting. This means that different static patches are inequivalent. They may have different Hamiltonians and different energy spectra, but the coarse-grained spectra must be the same to ensure a universal semiclassical limit. Although this is an open question, it is interesting to conjecture that the symmetry-violation is washed out by some form of ensemble averaging, as is thought to be the case for JT gravity.