The Cosmological Constant
Chapter III

The Universe’s Built-In
Measuring Tape

Every set of symmetry rules has a built-in mathematical diagnostic, introduced by Wilhelm Killing in 1888. Think of it as the symmetry’s own internal measuring tape — it tells you how strongly any two parts of the system are connected. You don’t choose it. It emerges from the rules themselves.

Wilhelm Killing

Wilhelm Killing

“Every set of symmetry rules contains a built-in diagnostic — a canonical invariant that measures how the generators mix.”
— Wilhelm Killing, 1888 (paraphrase)

The Killing form — introduced by Wilhelm Killing in 1888 — is the mathematical tool that settles the sign of Λ. A tool invented 29 years before Einstein introduced the constant it resolves.

What is the Killing Form?

Any physical theory with symmetries — rotational symmetry, translation symmetry, boost symmetry — has a set of “generators”: mathematical objects that represent each kind of symmetry. The Killing form is a way of measuring how these generators relate to each other.

Think of it like this: if you have a set of physical laws, the Killing form is the laws’ own internal audit. Ask it a question — “what is the relationship between the time-translation generator P₀ and itself?” — and it gives you a number. That number can be positive, zero, or negative. And that sign determines everything.

Specifically: the sign of B(Pμ, Pν) — the Killing form evaluated on the spacetime translation generators — is exactly −6Λ × the flat metric. When Λ > 0, this is positive. When Λ = 0, it vanishes. When Λ < 0, it’s negative. Each case corresponds to a fundamentally different kind of universe.

The Ten Generators of Spacetime

Hover over any generator to see what it represents. Use the Λ selector to watch the Killing form respond.

Select Λ:
Lorentz Group (rotations + boosts)TranslationsB(P,P) = −6Λη> 0J₁J₂J₃K₁K₂K₃P₀P₁P₂P₃

What the Killing Form Reveals

Λ > 0

Everything is visible

B(Pμ, Pν) = −6Λ ημν

The diagnostic returns a clear, positive value on the translations. It can see everything. The algebra knows its own scale. The metric is fully determined — no outside input needed.

✓ Fully determined
Λ = 0

The translations go dark

B(Pμ, Pν) = 0

The diagnostic returns zero on the translations. It goes blind. The algebra still knows its shape but has lost its ruler. Like a map without a scale bar — you know the proportions but not the distances.

✕ Scale undetermined
Λ < 0

Time becomes a rotation

B(P0, P0) < 0

The diagnostic is non-zero — so it can see everything. But it classifies time translation as a rotation between two timelike directions. Space and time are no longer properly distinguished. The universe develops a boundary: not self-contained.

✕ Boundary required

A tool invented in 1888 to study abstract symmetry groups. Used here, 138 years later, to prove the universe must expand.

Wilhelm Killing

Wilhelm Killing, 1847–1923