← The Invariant — back to the explainer Companion · the great equations

Identity emerges from invariance — and so does physics.

There is a famous poster of seventeen equations that changed the world. Read it as a list and it's a list. Read it through one question — what does each equation hold fixed? — and it collapses into a single sentence, told seventeen times.

The premise

A law that lasts names what its world keeps fixed.

In 1872 Felix Klein's Erlangen program redefined geometry: a geometry simply is the study of what a chosen group of transformations leaves invariant. Distance for rigid motions, ratios for affine maps, the cross-ratio for projective ones. The deepest physics of the next century quietly did the same thing to nature — pick the transformations the universe can't tell apart, and the laws are whatever survives them.

So the great equations aren't seventeen unrelated triumphs. A surprising number are the same move, climbing a ladder: name an invariant, and you have named a law. Pythagoras names the invariant of flat space; relativity names the invariant of spacetime; gauge theory names the invariants of the quantum fields. Different rungs, one idea — the very idea a rotated glyph teaches on the main page.

The question behind every equation on the poster is the question behind a turned letter: under which changes does this stay the same? Answer it precisely, and the equation is mostly written for you.
The invariant readings

Nine of the seventeen, read as “what stays the same.”

Each card keeps the usual story and adds one line: the transformation the equation is secretly about, and the thing it leaves fixed.

№1 · the bottom rung

Pythagoras's theorem

a² + b² = c²
Usually: the length of a right triangle's hypotenuse.
Read as invarianceRotate or slide the triangle anywhere — a² + b² never moves. Length is precisely what the group of rigid motions leaves fixed: the bottom rung of the Erlangen ladder. Pythagoras is the invariant of flat space, written down.
№6 · rotation, in disguise

The square root of −1

i = √−1
Usually: the imaginary unit that completes the number line into a plane.
Read as invarianceMultiplying by e is rotation of the plane; the complex numbers are the algebra of turning. The modulus |z| is the invariant, the unit circle is the group SO(2) — the same orbit you drag on the main page.
№7 · pure topology

Euler's polyhedron formula

V − E + F = 2
Usually: a relation between the vertices, edges and faces of a solid.
Read as invarianceStretch, bend, re-triangulate the surface of a sphere however you like — V − E + F stays 2. It cannot see distance or angle, only how the surface is connected: a topological invariant. It already has its own section on the main page.
№13 · the deepest rung

Relativity

E = mc²  ·  s² = (ct)² − x²
Usually: mass is energy; space and time are one fabric.
Read as invarianceTwo observers disagree about time and length, yet agree on the spacetime interval, and on the speed of light. The whole theory is the demand that those be invariant. Minkowski geometry is Klein's Erlangen with the Lorentz group — the ladder's top rung.
№14 · symmetry becomes law

Noether & conservation

symmetry ⇒ conserved quantity
Usually: energy, momentum and charge are conserved — and Schrödinger's equation evolves states unitarily.
Read as invarianceNoether's theorem: every continuous symmetry yields a conserved quantity. Time-shift invariance ⇒ energy; space-shift ⇒ momentum; rotation ⇒ angular momentum. Conservation laws are symmetries wearing a different hat — the main page's §12.
№11 · redundancy with meaning

Maxwell's equations

∇·E = ρ/ε₀   ∇×B = μ₀J + μ₀ε₀ ∂E/∂t
Usually: how electric and magnetic fields generate and chase each other.
Read as invarianceThey are invariant under Lorentz transformations — they predicted relativity — and under gauge transformations of the potential. The physics is exactly what those two redundancies leave fixed. Electromagnetism is a symmetry, made visible.
№2 · structure across a map

Logarithms

log(ab) = log a + log b
Usually: a trick that turns multiplication into addition.
Read as invarianceIt is a group isomorphism, (ℝ⁺, ×) ≅ (ℝ, +): two worlds with the same structure, and the log carries that structure across intact. The invariant here isn't a number — it's the shape of the group itself, preserved by the map.
№9 · the eigenbasis of shift

The Fourier transform

F(ω) = ∫ f(t) e−iωt dt
Usually: any signal is a sum of pure frequencies.
Read as invarianceIt diagonalizes translation: shift a signal in time and each frequency merely picks up a phase — the magnitudes don't move. Fourier is the representation theory of the translation group, the continuous twin of the C₄ DFT in §10.
№8 · invariance as attractor

The normal distribution

f(x) = (1 / σ√2π) · e−(x−μ)²/2σ²
Usually: the bell curve that data clusters around.
Read as invarianceAdd many independent things, whatever their shape, and the sum drifts to a Gaussian. The bell curve is the fixed point of convolution — the shape left invariant by “add another one.” Not a symmetry this time, but an attractor: invariance you fall into.
Where the thread frays

The honest part: not all seventeen are invariances.

Forcing every equation into one frame would be the very over-fixing the other companions warn against. Three of the poster's entries don't fit — and that's exactly what makes them worth naming.

№12 · the deliberate exception

The second law of thermodynamics

ΔSuniverse ≥ 0
Why it's the odd one out — on purposeThe microscopic laws are time-symmetric; the second law is where that symmetry breaks, handing time a direction. It is not an invariance — it's the absence of one, and that absence is what gives us past and future. The exception that frames the rule.
№17 · the invariant moved upstairs

Chaos theory

xn+1 = r·xn(1 − xn)
Where the invariant hidesSensitive dependence looks like the death of invariance — and at the level of single trajectories it is. But Feigenbaum found universal constants (δ ≈ 4.669…) governing the route to chaos across wildly different systems: invariants one level up, under rescaling. The pattern didn't vanish; it climbed to the meta-level.
№4 · №10 · №16 · honest non-fits

Gravity, Navier–Stokes, Black–Scholes

F = G m₁m₂ / r²
Where to stopWorld-changing, but mostly about dynamics — how things move and price — rather than about what a symmetry preserves. They carry scaling hints, no more. Dressing them as invariances would be treating a loose fit as eternal: the pathology the politics and gaming readings both name.
A lens is not a theory of everything. “Every equation is really about symmetry” is a powerful way to see — and naming where it fails is what keeps it honest.
Back to the demos

Several of these are already interactive on the main page.

You don't have to take the readings on faith — four of them you can drag and click.

№6 → the orbit§03 · e and De Moivre

The “imaginary” unit is just rotation. Drag θ around the complex plane and watch zn spin by De Moivre — the modulus, the invariant, never changes.

№1 · №13 → the hierarchy§05 · Klein's Erlangen program

Pythagoras lives on the rigid rung (length preserved); relativity is the same construction with a different group. Climb the ladder and watch each invariant fall away.

№9 → representation theory§10 · the C₄ Fourier transform

The finite Fourier transform on the square's four corners. Apply a shift and the amplitudes hold still while the phases turn — Fourier's invariance, in miniature.

№7 → the Euler characteristic§11 · V − E + F held at 2

Subdivide and chord a mesh all you like; the live counter stays pinned at 2. Topology can't see your edits.

№14 → Noether§12 · symmetry ⇒ conservation

An orbiting body: rotate-invariance conserves angular momentum, time-invariance conserves energy — to the decimal — while breaking translation lets momentum swing.

How far it goes

Four places the idea keeps climbing.

01 · the thesis
Physics is Erlangen all the way up

Klein's 1872 idea about triangles turned out to be the grammar of fundamental physics. General relativity is invariance under arbitrary changes of coordinates. The Standard Model is, almost literally, a statement of which gauge group's invariants survive — SU(3) × SU(2) × U(1). The deepest known laws are written in the language of “what a symmetry leaves fixed.”

02 · both directions
Conservation is bookkeeping for symmetry

Noether runs both ways: spot a conserved quantity and you've found a hidden symmetry; spot a symmetry and you've found something that can't change. Energy is the clock's indifference to when you start it.

03 · across scales
Renormalization & universality

Zoom in or out on a system near a critical point and it looks the same — invariance under rescaling. Utterly different materials share the same critical exponents because they share an invariant, not a substance. The chaos constant lives here too.

04 · the open frontier
The next invariant

Quantum gravity is, in one telling, the hunt for the symmetry that unifies the two great frameworks — the thing that stays fixed across the Planck scale. The history of physics suggests the next law will arrive, as the others did, as a newly named invariant.

Reader exercise

Take any equation you know. Ask: what transformation leaves it unchanged — and what is the fixed thing that transformation reveals? Surprisingly often, the equation's real content turns out to be the answer to those two questions.

A note on stance

This is enthusiasm with a leash. Invariance is one of the most productive lenses in science, not a proof that everything is symmetry. The value is in seeing the unity where it's real — and saying plainly, as above, where it isn't.

§ Share · pass it on

An equation that lasts names what its world holds fixed.

Pick a hook — each is a different door into the same idea.