Part V · Dynamics and LimitsChapter XX
The Commuting Squares
Do the levels agree when a history is evolved and then described?
The program has proved many exact things about separate constructions: a crystal built from report changes, a finite celestial geometry of observers, a record law with interference, a recorder with a shared equilibrium. One question decides whether these describe one world: whether a single growing, sequential world, with its kernel retained, can carry the observer structure, the spatial quotient of histories, branchial interference and rulial changes of description as compatible constructions. Compatibility is more than co-presence. Evolving a history and then describing it should agree with describing it and then evolving the description, exactly or to a stated extent, and a failure names the retained state the description needs.
Parts II and III supply a skeleton on which the question becomes concrete. One graph, the kernel graph , lies under every level, and each level is a cover of it or a relation among its copies. On that skeleton the question splits into three squares, one for space, one for interference and one for changes of chart; a fourth square, on the lift, commutes exactly and decides where the massless fields couple.
Compatibility of the levels is three squares over the kernel graph. The chart square commutes exactly for the program’s word rules: every clock dictionary intertwines them, and a closed loop of clock changes returns each history up to a permutation of the three rods, with all of occurring. The tally square commutes for amplitudes but not for states: a sharp crystal address changes the finite register’s statistics at order , and the permanent record does not fix the address, so space needs one retention clause. Under that clause the kernel square holds in one direction: two alternatives interfere only if their permanent receipts agree and their difference loop lies in the commutator subgroup of , on which the transposition transport, whose structure the lift’s parallel transport realizes, acts through the cyclic group of order three. The converse is untested.
Status
The chart square is exact for the word rules, and passive: it re-describes histories and says nothing about an occurrence that changes one register’s clock while its partners keep theirs. The tally square commutes on amplitudes and fails on states at order ; the retention clause that keeps the crystal is an addition. The kernel square is proved in the direction that forbids interference, conditional on that clause, and open in the direction that would produce it; the only instance computed is the trivial loop.
The square on the lift commutes by the naturality of the cup product, a theorem of topology, and restriction to the light directions is injective for the lift’s massless fields in the degrees used. It decides which couplings exist, not how strong they are.
One graph, four covers
Fix one clock: its four reports are the vertices of , its six letters the edges, and a history of frame changes is a path. The branchial level keeps the whole ordered path, up to backtracks: its home is the universal cover, the trivalent tree, with deck group , free of rank three. The spatial level keeps only the signed tally: Sunada’s crystal, with periods . The kernel of the tally map, the commutator subgroup, is the set of loops the tally forgets. The rulial level relates the seven clocks’ copies by . Time is not among these levels; it is the count of committed occurrences.
When is invertible the square always commutes, and the content is whether the evolution is again a rule of the program. When forgets, exists only if never separates what identifies, which for Markov chains is the lumpability condition of Kemeny and Snell; its failure means the description depends on something it has dropped.
Let be an evolution on a space of histories and a description. The square for commutes if there is an evolution on with , exactly or with a stated error.
The chart square
The square commutes exactly: re-describing a history at another clock and then evolving it agrees with evolving it and then re-describing. What does not vanish is the mismatch around a loop. A composite of three promotions returning an observer to itself lies in its stabilizer , and over the rooted three-clock triangles each promotion assignment generates all of : the curvature of Chapter XI seen from the histories.
For the tally the combinatorial half is formal, since a graph isomorphism lifts to the maximal abelian covers uniquely up to a deck translation, and the loop mismatch then acts on the crystal’s periods as a proper rotation. What has not been checked is the operational square: an active change of clock for a register that carries a retained address.
Let relabel every letter of a word by . For every and every anchored observer, the private generator , the contact generator and the depth-two writer satisfy
where relabels the fresh departure. The exchange rule and re-anchoring are equivariant in the same way. Consequently every finite history of fixed-clock occurrences at clock maps to a history at clock , with its event identities, causal order and read records preserved and every letter-valued field translated by .
The tally square
Follow one register with state : a report, an address , a word and a fiber vector. Lifted to the crystal, the generator uses the program’s coefficients unchanged: hops and memory rewrites leave the address alone, and a re-anchoring translates it by a voltage. Summing over the address absorbs every translation, so and amplitudes descend exactly. But the finite probability is and the lifted one , and they differ by the cross terms between alternatives with different tallies.
The permanent record does not fix the address: under the working record a solitary commit records no vantage, and filling the triangles of kills without deleting any history. The crystal is kept only by an added clause: retain the abelian circulation of the live vantage path as an unbounded coherent coordinate, incremented reversibly by re-anchoring and unchanged by commits. Composites, whose own vantage graph is , inherit no three-dimensional crystal without a binding map.
Start one register at report 0 with top 01 and a sharp address, and evolve by the depth-one generator at , normalized by 7. The lifted and finite probabilities first differ at order : for the return state, , and a solitary commit written in the moving frame already sees the change, its letter outcomes 01 and 23 shifting by . The finite statistics are recovered at zero Bloch momentum, or from a translation-uniform preparation on a finite periodic quotient.
The kernel square
The two-layer law says that alternatives differing only in content may reconverge and interfere, and alternatives differing in recorded structure never do: a cross term carries the overlap of the two records. In a fixed vantage two words exchanged by a memory rewrite evolve under ; the pulse gives , so a register never returns to its word, while recording the intermediate axis makes the return probability . With the tally retained, a cross term between two histories from one sharp address also needs equal windings, and two paths reach the same crystal vertex exactly when their difference loop lies in the commutator subgroup.
The other covariant choice, the Klein four-group transport, is flat, and covariance on the kernel graph alone does not choose; the lift does, its parallel transport having the transposition transport’s structure. Under the retention clause and a sharp address, two alternatives contribute a cross term only if their permanent receipts agree and their difference loop lies in , where the transports differ by an element of . The converse, that native alternatives differing by a nontrivial commutator loop, the shortest a decagon, actually interfere, is the open half.
Let be the flavour transport, the covariant choice in which each rod of an axis acts as the transposition of the other two axes. Then is onto; its sign factors through the tally ; and maps the kernel of the tally, , onto . The commutator of two distinct triangles maps to a three-cycle.
The three triangles through a vertex map to the three transpositions, which generate . A homomorphism carries commutators onto commutators, so . The sign of is a homomorphism to an abelian group and so factors through the abelianization .
A square on the lift
The lift supplies one more square, and it commutes exactly. Its description is restriction to the sky: a massless field of the lift is described by its data at the eight light directions, the only places where observers receive it. Its evolution is a coupling: two massless fields multiply into a field of one degree higher, by the cup product followed by the map that combines their values. Multiplying and then restricting agrees with restricting and then multiplying, because restriction respects products; this is the naturality of the cup product, and the evolution on the side of the description is again a natural one, the cup product on each cusp torus.
For the lift’s massless fields the description also forgets nothing: restriction is injective in degree one, and in degree two for light, for the fiber’s Clifford module and for the helicity-two sector. So every coupling among them is decided at the light directions. What the square does not decide is strength: each coupling is fixed only up to a constant, and comparing constants needs an energy that topology does not supply.
What the squares decide
The rulial square commutes, and its curvature is its whole content: one rule family, seven charts, an mismatch around every loop. The spatial square commutes where it cannot see the address and fails where it can, and the failure names the one clause space needs. The kernel square is proved in the direction that forbids interference and open in the other. The squares also sort the three relativities: between the rulial and the spatial there is curvature, the Thomas–Wigner rotation carried by the loops space forgets; between the branchial and the spatial only a forgetting map, which is flat; and at matter’s mass the branchial and the rulial meet through a modulus, not a curvature.
Results move between carriers only through explicit bridges that preserve what they need, and four are known to fail or be missing: the composites’ critical ratio is not critical for the base register on the crystal; the composites’ vantage graph is , whose maximal abelian cover is a line; the recorder’s equilibrium, shared passively by every observer, changes when promotions are committed; and the sequential limit is proved for one restricted recorder, not for the all-observer world.
Is there a native process in which alternatives differing by a nontrivial commutator loop of interfere, with the cross term weighted by the order-three holonomy of the flavour transport, while the retained address and the permanent receipts stay common to both? A positive answer would close the kernel square; a negative one would show that interference and holonomy, though located in the same subgroup, do not meet in the program’s dynamics.
In the volume’s architecture the squares are the joints between world, kernel and observers: the chart square joins observers to observers, the tally square joins the world’s histories to space, the kernel square joins what space forgets to what can interfere, and the square on the lift joins the massless fields to the observers who receive them. Space is not yet a function of the kernel; the active clock change for a register with an address is the next square to draw.
A limit taken of one description, on a family where its square fails, is not a limit of the world. The next chapter asks what survives when any of these is taken to infinite size.