Constant Curvature and Maximal Symmetry

Maximal local symmetry forces constant curvature because the isotropy group at each point contains every Lorentz transformation, leaving the Riemann tensor no invariant rank-four form except a multiple of the antisymmetrized metric product. Transitivity then makes that multiple constant. In $n$ dimensions this yields $n(n+1)/2$ local Killing generators, the largest possible number.

Required background. The Riemann Curvature Tensor supplies the Riemann symmetries and contractions used in the proof; The Einstein Equation supplies the relation between sectional curvature and $\Lambda$.

Helpful background. Killing Fields and Isometry Groups supplies the Killing-equation initial data and isotropy interpretation.

The maximal-symmetry theorem

Let $(M,g)$ be a connected $C^3$ pseudo-Riemannian manifold of dimension $n\ge2$ and fixed signature. Assume that around every point the local isometry algebra has dimension $n(n+1)/2$. Equivalently, its Killing fields realize all $n$ translational initial values $\xi_a(p)$ and all $n(n-1)/2$ antisymmetric derivative data $\nabla_{[a}\xi_{b]}(p)$. Then

$$R_{abcd}=K(g_{ac}g_{bd}-g_{ad}g_{bc})$$

with constant $K$. Conversely, a constant-sectional-curvature metric has the maximal local Killing count. This is a local theorem; quotients can preserve the curvature while reducing the global isometry group.

No Einstein equation is needed for the geometric statement. Matter and $\Lambda$ enter only when asking which constant-curvature metrics solve a chosen field equation.

Why isotropy fixes the tensor

At a point $p$, Killing fields that vanish at $p$ generate the full linear isotropy algebra $\mathfrak{so}(p,q)$. Curvature is preserved by every isometry, so $R_{abcd}(p)$ must be invariant under this entire group. Subject to

$$R_{abcd}=-R_{bacd}=-R_{abdc}=R_{cdab}, \qquad R_{a[bcd]}=0,$$

the unique invariant tensor has the displayed metric-product form, with some scalar $K(p)$. This is the sectional curvature of every nondegenerate two-plane at $p$.

The local isometry group is also transitive: the arbitrary values $\xi^a(p)$ span $T_pM$. Since an isometry carries $K$ to itself, $K$ is constant along every spanning Killing direction and hence on the connected region. Alternatively, for $n>2$, substituting the curvature form into the differential Bianchi identity gives $(n-2)\nabla_aK=0$. The $n=2$ case still becomes constant by transitivity. Reall develops the four-dimensional version through the Killing count and de Sitter embedding Reall 2013, §13.1, printed pp. 149–151, Open PDF.

Contractions and the cosmological constant

Contracting the theorem gives

$$R_{ab}=(n-1)K g_{ab}, \qquad R=n(n-1)K.$$

For vacuum Einstein gravity in $n>2$ dimensions,

$$R_{ab}-\frac12Rg_{ab}+\Lambda g_{ab}=0,$$

so

$$K=\frac{2\Lambda}{(n-1)(n-2)}.$$

In four dimensions $K=\Lambda/3$. Thus Minkowski, de Sitter, and anti-de Sitter have respectively $K=0$, $K=+L^{-2}$, and $K=-L^{-2}$, with $L>0$. Their four-dimensional scalar curvatures are $0$, $12/L^2$, and $-12/L^2$.

The dimension count follows independently from Killing initial data. At one point a Killing field is determined by $n$ values $\xi_a$ and $n(n-1)/2$ antisymmetric first derivatives; the identity

$$\nabla_a\nabla_b\xi_c=R_{cba}{}^d\xi_d$$

fixes higher derivatives. Therefore no metric can exceed $n(n+1)/2$ independent local Killing fields.

Why the converse holds locally

Constant curvature also supplies enough integrability for every allowed Killing initial datum to extend locally. The Killing equation is a first-order system for a one-form and its antisymmetric derivative. Commuting derivatives closes that system through the curvature identity above. When the curvature has constant-$K$ form, the compatibility conditions contain no additional point-dependent tensor that could obstruct transport. Prescribing an arbitrary covector and arbitrary antisymmetric two-form at one point therefore produces a unique local solution. There are exactly as many independent data as the upper bound, so the metric is locally maximally symmetric.

This argument explains why connectedness and constant rank matter. On a disconnected space the constant may differ between components. On a region where the metric changes signature or loses differentiability, the Killing transport system is not the one used in the theorem. Boundaries and quotient identifications can also remove complete global flows even though every sufficiently small open set retains all local generators.

The local models are fixed by signature and the sign of $K$. In Lorentzian signature, $K=0$ is locally Minkowski; positive $K$ is locally de Sitter; negative $K$ is locally anti-de Sitter. This classification does not select a universal cover or quotient. Those choices determine the global spacetime and can change whether a nominal time coordinate is periodic.

Dropping a hypothesis

Constant scalar curvature is far weaker than constant sectional curvature. The direct product $S^2(L)\times S^2(L)$ is an Einstein four-manifold with constant scalar curvature, but a two-plane tangent to one factor has curvature $L^{-2}$ while a mixed plane has curvature zero. It is not maximally symmetric. The same counterexample shows that $R_{ab}\propto g_{ab}$ alone does not force the Riemann tensor’s constant-curvature form when $n\ge4$; the Weyl tensor may be nonzero.

Nor does local constant curvature fix global geometry. A flat torus is locally Minkowski-like in its spatial directions but has fewer global isometries than its universal cover. Bičák uses precisely this type of identification to separate local field equations from topology Bičák 2000, §1.3, printed pp. 8–10, Open PDF.

A further useful nonexample is any generic Einstein vacuum with nonzero Weyl tensor. It obeys the vacuum Ricci equation but retains tidal information beyond $\Lambda$. In four dimensions Schwarzschild–de Sitter is Einstein yet Petrov D, whereas de Sitter is Petrov O. Checking the Weyl tensor is therefore an efficient independent test of whether an Einstein metric is actually maximally symmetric.

Check your understanding

In five-dimensional vacuum Einstein gravity with $K=-L^{-2}$, find $\Lambda$, $R_{ab}$, $R$, and the maximal Killing count.

Solution

For $n=5$,

$$R_{ab}=4K g_{ab}=-\frac4{L^2}g_{ab}, \qquad R=20K=-\frac{20}{L^2}.$$

The vacuum relation gives

$$\Lambda=\frac12(n-1)(n-2)K =-\frac6{L^2}.$$

Finally, $n(n+1)/2=5\cdot6/2=15$. These signs follow from the site’s Riemann convention; changing curvature convention without translating $K$ would reverse them.

References

• Bičák, Jiří. “Selected Solutions of Einstein’s Field Equations: Their Role in General Relativity and Astrophysics.” Einstein’s Field Equations and Their Physical Implications, Lecture Notes in Physics 540 (2000), 1–126. arXiv:gr-qc/0004016, §1.3, printed pp. 8–10.
• Reall, Harvey S. General Relativity. Cambridge Part III lecture notes (2013). §13.1, printed pp. 149–151, Open PDF.