advanced30 min studyLesson 819 in Physics

de Sitter and anti-de Sitter geometries

Relate cosmological constant to curvature scale and distinguish observer horizons, cosmological patches, and timelike boundaries.

On this page

What you’ll understand

  • Compute curvature invariants from a declared cosmological length.
  • Identify the domain of the de Sitter static chart and a flat FLRW patch.
  • Explain why global anti-de Sitter evolution needs boundary conditions.

Vacuum need not mean flat spacetime. With a cosmological constant, the four-dimensional field equation admits maximally symmetric solutions whose curvature is fixed everywhere by one length scale. Positive Lambda gives de Sitter geometry and negative Lambda gives anti-de Sitter geometry. These are analytic backgrounds with strong symmetry assumptions, not complete models of the observed universe at every epoch. We keep Lambda on the geometric side and set nongravitational stress-energy to zero here; moving it to an effective fluid is an equivalent bookkeeping choice, not an extra source.

Maximal symmetry fixes the full curvature

The vacuum equation requires the Ricci tensor to equal Lambda times the metric. Maximal symmetry further fixes the full Riemann tensor to the constant-curvature form, a stronger statement than the vacuum equation alone. Schwarzschild with Lambda, for example, need not be maximally symmetric. Define a positive length L through the absolute magnitude of Lambda. Scalar curvature changes sign between the two maximally symmetric cases, while the contracted curvature square has the same positive value for equal L.

Neither the sign of scalar curvature nor the word vacuum determines whether a particular chart has a horizon. A horizon is a causal feature, whereas the displayed invariants describe local curvature. Changing L rescales curvature continuously: doubling L divides scalar-curvature magnitude by four and the curvature square by sixteen. The positive-Lambda effective fluid has positive energy density and negative pressure as discussed earlier, violating the strong energy condition without contradicting the field equation. Negative Lambda cannot simply be described by the same positive-density fluid.

Λ=±3L2,Rμνρσ=Λ3(gμρgνσ−gμσgνρ),R=4Λ,K=83Λ2=24L4\Lambda=\pm\frac3{L^2},\qquad R_{\mu\nu\rho\sigma}=\frac{\Lambda}{3}(g_{\mu\rho}g_{\nu\sigma}-g_{\mu\sigma}g_{\nu\rho}),\qquad R=4\Lambda,\quad \mathcal K=\frac83\Lambda^2=\frac{24}{L^4}
The plus sign denotes de Sitter and the minus sign anti-de Sitter with the module’s Riemann convention. R has m⁻² units and the curvature square has m⁻⁴ units.↔ Scroll wide equations horizontally.

de Sitter has several useful but incomplete charts

In a static de Sitter chart the metric factor is one minus radius squared over L squared. Static observers exist for radius less than L; the chart’s horizon at L is not a curvature singularity. It depends on the observer’s causal patch rather than enclosing a localized central mass. A different family of comoving observers yields a spatially flat FLRW patch whose scale factor grows exponentially with constant Hubble rate c divided by L. This flat spatial slicing does not make the four-dimensional spacetime flat.

The static and expanding descriptions cover different patches and use different observer families. They are not competing predictions about whether the same invariant geometry changes with time. The flat FLRW patch does not cover all of global de Sitter, and its exponential scale factor should not be generalized to a universe containing arbitrary matter, radiation, or spatial curvature. The exact vacuum relation between H and L follows from the specified solution. Perturbations and realistic cosmic history require additional equations and initial data.

dsdS2=−(1−r2L2)c2dt2+dr21−r2/L2+r2dΩ22,a(t)=a0eHt,H=cLds^2_{\mathrm{dS}}=-\left(1-\frac{r^2}{L^2}\right)c^2dt^2+\frac{dr^2}{1-r^2/L^2}+r^2d\Omega_2^2,\qquad a(t)=a_0e^{Ht},\quad H=\frac cL
The static expression applies within r < L and has a regular extension through its observer horizon. The exponential scale factor belongs to the distinct spatially flat vacuum FLRW patch; t there is comoving proper time.↔ Scroll wide equations horizontally.

Anti-de Sitter has a timelike conformal boundary

The global static anti-de Sitter metric instead has factor one plus radius squared over L squared. It stays positive at every nonnegative radius, so this chart contains no de Sitter-like zero of its static factor. The universal covering spacetime unwraps the periodic time associated with the simplest hyperboloid embedding, avoiding that embedding’s closed timelike circles. Statements about the global geometry should identify this cover rather than silently treating periodic and unwrapped time as the same spacetime.

Radial light can reach the conformal boundary in finite global time. That boundary is timelike, so specifying data on a bulk spacelike slice alone does not determine later incoming influence. A well-posed field evolution must include suitable boundary conditions, such as an explicitly chosen reflecting prescription; different matter and gravitational problems need compatible choices. Other anti-de Sitter patches can have coordinate horizons, so the absence of a zero in this global static factor is not a claim about every chart. The quadratic instrument below contrasts signed scalar labels only, not these global causal properties.

dsAdS2=−(1+r2L2)c2dt2+dr21+r2/L2+r2dΩ22,Δt0→∞=1c∫0∞dr1+r2/L2=πL2cds^2_{\mathrm{AdS}}=-\left(1+\frac{r^2}{L^2}\right)c^2dt^2+\frac{dr^2}{1+r^2/L^2}+r^2d\Omega_2^2,\qquad \Delta t_{0\to\infty}=\frac1c\int_0^\infty\frac{dr}{1+r^2/L^2}=\frac{\pi L}{2c}
The time interval is for an outward radial null ray from the origin to the conformal boundary in the global static chart. L/c supplies the time unit; a boundary prescription is additional data for subsequent evolution.↔ Scroll wide equations horizontally.

A positive curvature scale and exponential expansion

For a de Sitter solution let L=3L∗L=3L_*, with positive length unit L∗L_*. Find Lambda, R, H, and the time required for the spatially flat patch’s scale factor to double.

  1. The cosmological constant is Λ=3/(9L∗2)=1/(3L∗2)\Lambda=3/(9L_*^2)=1/(3L_*^2). Its traced vacuum curvature is R=4/(3L∗2)R=4/(3L_*^2), with the positive sign fixed by the declared convention.

  2. The flat-patch Hubble rate is H=c/(3L∗)H=c/(3L_*). This has inverse time units because c converts the length scale to a time scale.

  3. Set a(t+Δt)/a(t)=eHΔt=2a(t+\Delta t)/a(t)=e^{H\Delta t}=2. Therefore Δt=(ln⁡2)/H=3L∗ln⁡2/c\Delta t=(\ln2)/H=3L_*\ln2/c; the result concerns the comoving observers of this patch.

The result

Lambda is 1/(3L_*²), R is 4/(3L_*²), H is c/(3L_*), and the flat-patch doubling time is 3L_* ln2/c.

Explore the model

Interactive lab

Interactive lab · function

Separate curvature sign from squared curvature

Reset and set coefficient a=1a=1, position x=1x=1; predict height +1 and slope +2. Repeat from Reset with both controls a=−1a=-1, x=1x=1; predict height −1 and slope −2. Use the heights as opposite signed scalar-curvature labels at a common L only; their squares agree. The parabola has no Lorentzian metric, expanding patch, curvature-tensor computation, or cosmological horizon.

Separate curvature sign from squared curvatureThis lab uses only y = ax². Playback traces the curve within the fixed integration interval from 0 to x; it does not estimate numerical error or change the chosen point. Current readings: y at chosen x: 0.608; Tangent slope · 2ax: 1.35; Signed area · ax³/3: 0.182. All parameters are adjustable with the labeled controls below.−2.4−1.201.22.4−9−4.504.59xy(x, ax²)
y = ax²TangentSigned integral
y at chosen x
0.608
Tangent slope · 2ax
1.35
Signed area · ax³/3
0.182
t = 0 s

This lab uses only y = ax². Playback traces the curve within the fixed integration interval from 0 to x; it does not estimate numerical error or change the chosen point. Parameter changes pause playback and recompute the model at the current elapsed time. Reset restores both parameters and returns time to zero. Playback starts paused. Adjust either parameter, then choose Play or Step.

Look forOpposite scalar-curvature signs can share the same curvature-square magnitude; a signed algebraic illustration cannot establish global causal structure.

Check your understanding

Why are bulk initial data alone insufficient for generic evolution on global covering anti-de Sitter spacetime?

Try it yourself

For anti-de Sitter space with Λ=−3/L2\Lambda=-3/L^2, compute R and the curvature square. Does its global static factor vanish at any nonnegative radius, and what is the center-to-boundary radial light time?

Take a moment to make a prediction or work it out on paper. Open a hint when you need one.

Give me a hint

Use the sign-sensitive trace and sign-insensitive curvature square, then inspect the static factor and the radial-null integral.

Compare with the solution

The scalar is R=−12/L2R=-12/L^2, while K=24/L4\mathcal K=24/L^4 is positive. The global static factor 1+r2/L21+r^2/L^2 has no zero for real nonnegative r. A radial null ray obeys dt=dr/[c(1+r2/L2)]dt=dr/[c(1+r^2/L^2)], giving total travel time πL/(2c)\pi L/(2c) to the conformal boundary. Negative scalar curvature is therefore compatible with a positive curvature square and a finite boundary light-travel time; it does not remove the need for boundary conditions.

Take it with you

  • Maximal symmetry fixes the full curvature and adds an assumption beyond the vacuum Einstein equation.
  • de Sitter’s static and expanding patches describe different observer families within one geometry.
  • Global covering anti-de Sitter has a timelike boundary whose conditions are part of the evolution problem.

Read further

Original sources and deeper explanations to follow at your own pace.

Optional progress, saved in this browser when available. Revisit any lesson at any time.

Lesson not marked complete.