Direct Products and Warped Products

Scrollable formula. Use Left and Right arrow keys to reveal hidden content.

Scrollable table. Use Left and Right arrow keys to reveal additional columns.

Scrollable figure. Use Left and Right arrow keys to inspect hidden content.

A direct product of two Einstein spaces solves one vacuum Einstein equation precisely when both factors have the same Ricci eigenvalue required by the total dimension and cosmological constant. Warped products are less rigid: derivatives of the warping function add Hessian and gradient terms to the Ricci tensor, allowing spherical, cosmological, and compactification geometries that are not direct products.

Required background. The Riemann Curvature Tensor supplies the connection and Ricci contractions; The Einstein Equation supplies the dimension-dependent Einstein condition.

Helpful background. Killing Fields and Isometry Groups helps track which factor symmetries survive warping.

Direct-product curvature

Let $(B,h)$ and $(F,\gamma)$ have dimensions $m$ and $n$ , and equip $M=B\times F$ with

g=h\oplus\gamma.

Because each block depends only on its own coordinates, the Levi-Civita connection splits. The only nonzero Riemann components lie entirely in one factor:

R^M{}_{abcd}=R^B{}_{abcd}, \qquad R^M{}_{ijkl}=R^F{}_{ijkl}, \qquad R^M{}_{aibj}=0.

Consequently

\operatorname{Ric}_M =\operatorname{Ric}_B\oplus\operatorname{Ric}_F.

If $\operatorname{Ric}_B=\lambda_B h$ and $\operatorname{Ric}_F=\lambda_F\gamma$ , the product is Einstein only if

\lambda_B=\lambda_F=\lambda.

For vacuum Einstein gravity in total dimension $D=m+n>2$ ,

\lambda=\frac{2\Lambda}{D-2}.

This equality concerns Ricci curvature, not sectional curvature. A mixed two-plane has zero sectional curvature, so a nonflat product of two positive-dimensional factors is not a constant-curvature space even when it is Einstein.

The isometry group normally contains the product of the factor isometry groups. It need not contain transformations mixing the factors, especially when their signatures, dimensions, or curvature signs differ. Even equal isometric factors may acquire only a discrete interchange symmetry rather than the continuous isotropy required for maximal symmetry. This group count independently checks the mixed-sectional-curvature argument.

Warped-product formulas

Now let the fiber be scaled by a positive function $r$ on $B$ :

g=h+r^2\gamma.

Write base indices $a,b$ and fiber indices $i,j$ . The nonzero connection blocks are

\begin{aligned} \Gamma^a{}_{bc}&=\Gamma(h)^a{}_{bc}, &\Gamma^i{}_{jk}&=\Gamma(\gamma)^i{}_{jk},\\ \Gamma^i{}_{aj}&=\frac{\nabla_a r}{r}\,\delta^i{}_j, &\Gamma^a{}_{ij}&=-r\nabla^a r\,\gamma_{ij}. \end{aligned}

The first row contains the two connections intrinsic to the factors. The second row contains the only mixed blocks: $\Gamma^i{}_{aj}$ measures how a fiber vector changes as its physical scale varies along the base, and $\Gamma^a{}_{ij}$ is the corresponding bending of fiber directions into the base. Contracting the curvature built from these symbols produces $n$ identical Hessian terms in the base block. In the fiber block, differentiating $\Gamma^a{}_{ij}$ supplies $-r\Box_Br$ , while products of mixed symbols supply $-(n-1)(\nabla r)^2_h$ .

If $F$ has $\operatorname{Ric}_F=(n-1)k\gamma$ , the result is

(\operatorname{Ric}_M)_{ab} =(\operatorname{Ric}_B)_{ab} -n\frac{\nabla_a\nabla_b r}{r},

(\operatorname{Ric}_M)_{ij} =\left[(n-1)k-r\Box_Br-(n-1)(\nabla r)^2_h\right]\gamma_{ij},

with mixed Ricci components zero. The scalar curvature is

R_M=R_B+\frac{R_F}{r^2} -2n\frac{\Box_Br}{r} -n(n-1)\frac{(\nabla r)^2_h}{r^2}.

These signs use the base metric’s own Lorentzian contraction. Bishop and O’Neill introduced the warped-product construction and derived its connection and curvature relations Bishop and O’Neill 1969, §§7–9, pp. 18–30.

For spherical symmetry, $m=n=2$ , $F=S^2$ with $k=1$ , and $r$ is the areal radius. Its Hessian and norm carry the invariant content behind spherical mass functions and Birkhoff reductions. For FLRW, the base is time and the warping function is the scale factor. The same formula therefore connects exact families that look unrelated in coordinates.

Warping also explains why a fiber that is intrinsically a unit sphere need not act like an independent curved source. Its physical radius is set by the base, and total curvature includes both the intrinsic sphere term and derivatives of the warping function. In flat spacetime with spherical coordinates these contributions cancel exactly. In Schwarzschild they combine into mass-dependent Weyl curvature. Reading the angular block in isolation would misidentify coordinate geometry as matter.

Independent product checks

Take two constant-curvature two-manifolds with curvatures $k_1$ and $k_2$ . In two dimensions $\operatorname{Ric}=k\,g$ , so their four-dimensional product is Einstein iff $k_1=k_2$ . If both equal $L^{-2}$ , the result is Nariai geometry and solves vacuum Einstein with $\Lambda=L^{-2}$ . If $k_1=-L^{-2}$ and $k_2=+L^{-2}$ , the total scalar curvature vanishes but the Ricci tensor does not; this is Bertotti–Robinson and requires Maxwell stress–energy.

The mixed sectional-curvature check independently proves that neither nonflat product is maximally symmetric. Their invariants may be constant because each factor is homogeneous, but the isotropy group cannot rotate a factor-tangent plane into a mixed plane.

Another direct check comes from the scalar. For a product of two two-dimensional constant-curvature factors, the four-dimensional scalar is twice the sum of their curvatures. Its vanishing when the factor curvatures are opposite does not imply Ricci flatness: the Ricci blocks remain nonzero with opposite signs. This is the simplest algebraic reason Bertotti–Robinson needs traceless matter despite having zero scalar curvature.

Domains and failure cases

The warping function must remain positive on an ordinary product chart. A zero of $r$ may be a regular symmetry axis or center only if its derivatives and the fiber identifications satisfy smoothness conditions; otherwise it is a cone or curvature singularity. Formulas containing $1/r$ cannot decide that limit without a regular chart.

Matching $\lambda_B$ and $\lambda_F$ is also insufficient for maximal symmetry, and matching scalar curvatures is insufficient even for the Einstein condition. One must compare the full Ricci blocks.

Check your understanding

Let $B$ be two-dimensional de Sitter with radius $L_1$ and $F=S^2$ with radius $L_2$ . For which radii is $B\times F$ a four-dimensional vacuum solution with one $\Lambda$ , and what is $\Lambda$ ?

Solution

Each two-dimensional factor has Ricci tensor equal to its sectional curvature times its metric:

\operatorname{Ric}_B=L_1^{-2}h, \qquad \operatorname{Ric}_F=L_2^{-2}\gamma.

The product is Einstein only if $L_1^{-2}=L_2^{-2}$ , hence $L_1=L_2=L$ for positive radii. In four-dimensional vacuum, $R_{\mu\nu}=\Lambda g_{\mu\nu}$ , so $\Lambda=L^{-2}$ . Mixed sectional curvatures remain zero, proving that the product is not four-dimensional de Sitter.

References

Bishop, Richard L., and Barrett O’Neill. “Manifolds of Negative Curvature.” Transactions of the American Mathematical Society 145 (1969), 1–49. doi:10.1090/S0002-9947-1969-0251664-4.