The Quadruple Lattice

The Harmonic Transformer

Neo-Riemannian theory studies how triads relate through parsimonious voice-leading — transformations where each voice moves by at most one semitone. The three basic moves are:

• P (parallel): C major ↔ C minor. Change the third.
• L (leading tone): C major ↔ E minor. The leading tone slips.
• R (relative): C major ↔ A minor. The relative key.

These generate a group isomorphic to the dihedral group $D_{12}$ — the symmetries of a 12-gon. The transposition subgroup is $\mathbb{Z}_{12}$ itself.

The subgroup lattice classifies which transpositions are harmonically meaningful:

• $T_5/T_7$ (perfect fourth/fifth) — generators of $\mathbb{Z}_{12}$. The circle of fifths. The backbone of functional harmony from Bach to the Beatles.
• $T_3/T_9$ — generate $\mathbb{Z}_4 = \{0,3,6,9\}$. The diminished seventh orbit. Schubert's third relations.
• $T_4/T_8$ — generate $\mathbb{Z}_3 = \{0,4,8\}$. The augmented triad orbit. Coltrane changes. Giant Steps is a $T_4$ dance.
• $T_6$ — generates $\mathbb{Z}_2 = \{0,6\}$. The tritone substitution. The engine of bebop.

Each subgroup is a level of harmonic closure. Moving down the lattice, cycles close faster — more symmetry, fewer distinct keys, stranger tonality.

The Truth Values

Here the story takes an unexpected turn into pure mathematics.

A topos is a category that behaves like a universe of sets — but with a twist: truth isn't necessarily Boolean. Instead of just $\{\text{true}, \text{false}\}$, a topos can have many truth values, organized into a structure called the subobject classifier $\Omega$.

Music theory lives naturally in the topos of $\mathbb{Z}_{12}$-sets — sets equipped with a $\mathbb{Z}_{12}$ action (transposition). In this topos, the subobject classifier $\Omega$ is precisely the set of subgroups of $\mathbb{Z}_{12}$.

In classical logic, a proposition is either true or false. In the $\mathbb{Z}_{12}$-Set topos, a proposition can be "true at the whole-tone level" ($\mathbb{Z}_6$), or "true up to tritone" ($\mathbb{Z}_2$), or "true everywhere" ($\mathbb{Z}_{12}$). Truth becomes granular. It has a topology.

This isn't a metaphor. It's a theorem. The lattice that classifies harmony IS the logical structure of musical truth.

The Symmetrical Scales

In 1944, Olivier Messiaen catalogued scales with a peculiar property: they have fewer than 12 transpositions. He found exactly seven such modes of limited transposition and declared: "Their series is closed, it is mathematically impossible to find others."

He was right, and the proof is Lagrange's theorem.

A pitch class set $S \subseteq \mathbb{Z}_{12}$ has a stabilizer — the subgroup of transpositions that leave it unchanged:

$\text{Stab}(S) = \{ t \in \mathbb{Z}_{12} : S + t = S \}$

The number of distinct transpositions is $12 / |\text{Stab}(S)|$. A mode of limited transposition is simply a scale whose stabilizer is nontrivial.

The lattice classifies all possible symmetry types of pitch class sets. Every symmetrical scale lives somewhere on it.

The Interval Cycles

Start on any note. Step by a fixed interval $k$. The notes you visit form an interval cycle — the orbit of the cyclic subgroup generated by $k$ in $\mathbb{Z}_{12}$.

The orbit has size $12/\gcd(k, 12)$. And the subgroup generated is exactly the subgroup corresponding to $\gcd(k, 12)$:

• $\gcd = 1$ ($k = 1, 5, 7, 11$): cycle visits all 12 notes. Generators. The circle of fifths ($k=7$).
• $\gcd = 2$ ($k = 2, 10$): cycle of 6. Whole-tone scale.
• $\gcd = 3$ ($k = 3, 9$): cycle of 4. Diminished seventh chord.
• $\gcd = 4$ ($k = 4, 8$): cycle of 3. Augmented triad.
• $\gcd = 6$ ($k = 6$): cycle of 2. Tritone.

Here's the meta-insight: the history of Western music is a descent through this lattice.

The descent from generators to non-generators, from $\mathbb{Z}_{12}$ to its subgroups, IS the history of tonality dissolving into symmetry.