Chapter III

The Universe’s Built-In
Measuring Tape

Every set of symmetry rules has a built-in mathematical diagnostic, rooted in Killing’s 1888 work and later developed by Cartan. 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

“Every set of symmetry rules contains a built-in diagnostic — a canonical invariant that measures how the generators mix.”

— Based on Killing's 1888 work and Cartan's later development

The Killing form — rooted in Killing's 1888 work and developed centrally by Cartan — is the mathematical tool that settles the sign of Λ. The key ingredients were in place decades 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 formThe Killing FormA mathematical diagnostic rooted in Wilhelm Killing's 1888 work and developed centrally by Élie Cartan to measure the 'size' or 'non-degeneracy' of a symmetry algebra. Applied to spacetime, it produces a tensor that either vanishes or does not. When it vanishes on the translation generator P₀, it signals a missing scale — a universe with no built-in unit of length. When it does not vanish, the universe has a natural ruler baked in. 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 Λ:

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(P₀, P₀) < 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 diagnostic rooted in 1888 Lie-algebra work. Used here, 138 years later, to prove the universe must expand.

Wilhelm Killing, 1847–1923