Part IV · The Exceptional InteriorChapter XVIII
Two Parents of the Sky
Of what else is the finite sky a shadow, and where do its parents meet?
The finite sky of Part III is a set of eight points with a group of order 168 acting on it. Chapter XIII found one arithmetic group of which it is the shadow: the Bianchi group of the Eisenstein integers, reduced at a prime above 7. Its quotient of hyperbolic space is the lift, and its real place is the Lorentz group, where Chapter XXII finds the light cone.
This chapter finds a second parent. The octonion table of Chapter XIV, read as a rule for gluing triangles, builds an infinite lattice in characteristic two. The sum of the table’s seven imaginary units squares to , and on the units orthogonal to it the octonion form becomes, up to a factor, the Hermitian form of Mumford’s lattice over . Mumford’s group, reduced at , is again the sky’s group, but its real place is compact. Its building is where the interior lives: the octonion fiber sits on every vertex, carried by its own transports, and the shadow’s separate groups become the stabilizers of one lattice’s sites. The two parents share the sky and nothing beyond it.
(1) Among the projective planes over finite fields, a letter is a pair of reports only in the plane of order two. Once the program has a plane, it has the Fano plane.
(2) The sum of the octonion table’s seven imaginary units has . On the units orthogonal to the octonion form is a multiple of Mumford’s Hermitian form over , and the table’s symmetry of order 21 is the vertex stabilizer of Mumford’s group, which acts on the building of . Reduced at , that group acts on the eight sky points as the sky’s group, and the eight octonion basis units are the eight sky points: the unit 1 is one light direction, and the seven imaginary units are the clocks of its seven observers.
(3) Mumford’s group carries the octonion fiber on every vertex of its building through the fiber’s own transports, in exactly one way, and colour is flat there. With 7 also inverted it acts on that building times an eight-valent tree, with three kinds of site, whose stabilizers are the light direction’s group of order 21, a clock’s of order 24 and the sky’s of order 168. At a site of the last kind the group of order 168 holds both its lives: it moves the neighbours at 2 as the collineations of the Fano plane and those at 7 as the Möbius maps of the sky.
(4) The two parents share the sky but not its completion. Their trees at 7 are alike as trees and differ with their symmetries: the lift’s group permutes the sky by even maps at every vertex, and Mumford’s group by odd ones as well.
(5) They meet at one classical lattice, Klein’s, whose shortest vectors are the half-turns about the clocks’ axes and whose next vectors are the twenty-eight observers. One step further out the spacetime tree forgets vectors and the interior’s tree forgets spinors. Matter’s labels follow the spacetime completion, and the interior attaches to it at a single scale; across scales matter keeps the octonion product, since only the product’s unit could tell the other way apart, and every loop of the tower returns it changed only by colour. The two parents carry independent flips, of which only spacetime’s is a hand, and matter’s spinor carries it: exchanging matter’s quartets is an exact symmetry of everything native.
Status
The status is uniform. Item (1) is elementary counting together with two classical facts, and items (2) to (4) are theorems of the literature, Mumford’s and Kato’s construction and the theory of buildings and trees, combined with exact computations on the program’s own octonion table. Item (5) joins classical facts about Klein’s lattice and Weil’s representation to exact computations that find the program’s objects in them. Nothing here is a reading: the chapter’s physical content is that the interior has an arithmetic home whose real place is compact, and that spacetime and the interior touch only at the finite sky.
The imported pieces are named where they enter: the classification of triangle presentations by Cartwright, Mantero, Steger and Zappa, Mumford’s lattice as Kato describes it arithmetically, the rigidity theorem of Kleiner and Leeb, the tree of a unitary group through Bruhat and Tits, Kneser’s neighbouring lattices and Serre’s amalgams. The residue counts, the passage from the signed table to Mumford’s form, the sky complex, the matter lift and the flatness of colour, the three kinds of site and their masses, the invariants that separate the two trees and the antilinearity of the orientation-reversing maps were checked by exact computation, as were the dictionary at Klein’s lattice, the two flips and the attachment of the two parents. One sentence is marked as a reading where it occurs: that the attachment has the shape Coleman and Mandula’s theorem would lead one to expect.
Why the plane has order two
Fix a point , the clock, in a projective plane of order . The lines missing number , the points other than number , and a point other than lies on lines, one of which passes through , so it lies on exactly lines that miss . In the program a report is a line missing the clock and a letter is a point other than it, so a letter is a pair of reports exactly when . Then the four lines missing and the six points other than it are the reports and letters of , and the plane is the Fano plane.
Two further facts hold only at the same order. The four lines missing form a complete quadrilateral, and its three diagonals meet in one point exactly when is even; at the point is the clock, so the clock’s three axes meet at the clock. And has the order of a group only when and , which is the double life of the group of order 168 (Artin). All three follow from the first. A projective plane, finally, contains the complete graph as the residue of a point only for , so the plane exists exactly when the observers have four reports, the lock of Chapter V: the lock and the Fano plane are one fact.
The table as a gluing rule
Read the octonion table in its cyclic form, with labels in , as a rule for gluing triangles: one generator for each imaginary unit and one relation for each oriented line. Cartwright, Mantero, Steger and Zappa found the conditions under which such a presentation defines a group acting simply transitively on the vertices of a building of type , a two-dimensional complex of triangles whose vertex links are projective planes. The table’s triples satisfy them, with the line map , the quadratic residues modulo 7, and each pair is an antiflag of the Fano plane: an observer.
So the table glues in one handedness, and its lattice lives over the field of Laurent series in characteristic two, not over the 2-adic numbers. That is no accident: a group that acts transitively on the vertices of such a building and rotates their three types, with stabilizers of order 21 acting faithfully on the links, can contain a simply transitive normal subgroup only if the building is the one of . The table’s lattice is normal in its symmetry, and the 2-adic lattice of the next step has no such normal subgroup. The building is identified by an explicit representation over and a covering argument; the abelianization, the generators and the orientations were checked by exact computation.
The group with generators and relations acts faithfully, simply transitively and without torsion on the vertices of the building of , whose vertex links are Fano planes. It is the presentation A.1 of Cartwright, Mantero, Steger and Zappa. Its abelianization is , the octonion grading group times the character of a vertex’s type. Its seven generators are the seven observers through one light direction. Of the orientations of the seven lines that give octonion algebras, exactly the eight in the table’s own orbit glue; the eight reversed tables never do.
From the signed table to Mumford’s form
The table’s signs reach the 2-adic side by another road. Let . Its square is , so left multiplication by is a square root of , a Gauss sum, and is the democratic complex structure of Chapter XV. The Frobenius group of the table’s symmetries, the maps with a square, fixes .
Mumford’s lattice, a subgroup of index 21 in Mumford’s group, acts simply transitively on the vertices of a building whose links are Fano planes, as the table’s lattice does, and it is a different group. Its building is over rather than , its abelianization is against the table’s , and by the rigidity theorem of Kleiner and Leeb no subgroups of finite index in the two are isomorphic. Both are completions of the Fano plane, infinite lattices whose every vertex sees the plane. The table builds one directly; its signs, through , lead to the other.
On the imaginary units orthogonal to , made complex by , the octonion inner product is times the Hermitian form over from which Mumford built his fake projective plane, with the same unitary stabilizer, and is the stabilizer of a vertex of Mumford’s group in the building of .
The statement was checked by exact computation, with Mumford’s group reconstructed from Kato’s arithmetic description.
The sky at three places
Reduce Mumford’s group at the prime . Its kernel , the elements that reduce to the identity, is torsion-free, and the quotient of the building by is a complex of eight vertices, fifty-six edges and fifty-six triangles, one triangle for every triple of the eight vertices. It is the sky, as a set with the action of the group of order 168, and the building is its universal cover. At each vertex the Fano link reads the twenty-eight observers as the twenty-eight pairs of sky points: seven are edges from the vertex and back, and twenty-one are the far sides of triangles. So one arithmetic group, reached from the signed octonion table, carries the Fano plane at the prime 2 and the sky at the prime 7.
The real place completes the assembly. The eight sky lines of Chapter XV are the octonion basis lines under , with no phase between them: the line of 1 is a light direction’s sky state, and the seven imaginary units are the clocks of that direction’s seven observers. The labels, the groups and the orientation of every triple of sky points agree at the real place, at 2 and at 7. At the real place Mumford’s group is the unitary group of the three complex dimensions orthogonal to the light direction, and its centre is the circle generated by . Colour is the same construction at one clock, the stabilizer of the clock’s unit rather than of ; the two meet in an whose finite part is the Frobenius symmetry of order three, and together they generate .
The interior on every site
An infinite lattice of observers’ networks needs the interior to travel from site to site, and on Mumford’s building it does so natively. The table’s own lattice behaves differently: its translations act through colour, which the program’s standing condition that colour must not act on space excludes, while no transport of Mumford’s group lies in any colour group. So the physical internal lattice is Mumford’s.
Two signs record the spinor. An observer’s loop out and back multiplies matter by , as a full turn does to a spinor. And matter’s one-way hop between sky points squares to : it is multiplication by the sum of the units again.
Reduction at gives a homomorphism from Mumford’s group onto the double cover of the sky’s group, and it is unique. Through it the fiber’s own transports carry the octonion fiber to every vertex of the building in exactly one way. They carry each observer’s colour group to the corresponding observer’s at the next vertex, and around every loop the holonomy of colour is trivial.
An element of the group, reduced at , preserves the radical of the reduced form and acts on the quotient by a scalar whose square is a power of two. The determinant of its action on the radical is plus or minus that power and must be a square modulo 7. Two is a square modulo 7 and minus one is not, so the determinant is the power itself, and dividing by the scalar gives a homomorphism to . It is unique because the group has no nontrivial homomorphism to . The transports, the colour family and the holonomy were checked by exact computation.
Three kinds of site
Invert 7 as well as 2. At the prime 7 the unitary group of Mumford’s form has a tree, eight edges at every vertex, and at the vertex of Mumford’s lattice the eight neighbours are the eight lines of a plane over , permuted as the sky’s group permutes the sky. The group with both primes inverted acts on the building at 2 times this tree, with three kinds of site, and the double life of the group of order 168 (Chapter X) sits at one point of one arithmetic group.
Along the tree the interior no longer travels honestly. At sky sites and at clock sites the fiber’s transports act only up to sign, so on the parent the spinor sign cannot be avoided: matter there carries half-integer spin, whose statistics needs more (Chapter XVI). And the kernel at one site is geometry at the next. The element that an observer’s loop sends to at a light-direction site acts at the neighbouring sky site as a half-turn of the sky, an orientation-reversing map that fixes two of the eight points. No action of matter on the whole parent descends to the sky’s group, so a law written on the parent must carry the part of it that the sky cannot see.
The group acts cocompactly on the product of the building and the tree, with three orbits of vertices. Their stabilizers are the light direction’s Frobenius group of order 21, a clock’s octahedral group of order 24, and the sky’s group of order 168, which is, by computation, the automorphism group of Klein’s lattice. Each light-direction site lies between one sky site and seven clock sites, and the masses agree, , as the group’s decomposition into an amalgam requires. At a sky site the stabilizer moves the neighbours at 2 as the collineations of the Fano plane and the neighbours at 7 as the Möbius maps of the sky.
The tree is identified through Bruhat and Tits’s theory of reductive groups over local fields, the quotient by Kneser’s method of neighbouring lattices, and the amalgam by Serre’s theory of groups acting on trees; the stabilizers and the masses were checked by exact computation, by two independent routes.
Where the parents meet
Both parents have a tree at 7 whose link at a vertex is the sky. As bare trees they are alike, and the seam between their links is unique, because the eight-point sky is a rigid object. With their symmetries they differ. Admitting determinant adds odd maps on the spacetime side too, but only at the root: what separates the parents is where the orientation-reversing maps live, at the root of the spacetime tree and inside the root’s kernel on the interior’s. So spacetime, at the real place of the lift’s group, and the interior, at the compact real place of Mumford’s, meet only at the finite sky.
The orientation-reversing maps belong to the interior’s parent alone. Acting on the fiber’s signed basis they are antilinear: they exchange the quartet and antiquartet for and carry colour to the colour of the mirror table, whose lines are . The parent cannot use them on matter. A charge conjugation of the fiber that implements them exists, but on an edge of the tree between a light-direction site and a sky site one element acts as fermion parity at the first and as that charge conjugation at the second, so no action of the parent on matter restricts to both. A law for matter on either parent is a connection, whose holonomy lives on the squares that combine a loop at one site with a step along the tree, never a representation of the parent.
Which completion matter’s labels follow is then a question for seam theory. The labels, which say which octonion unit is which clock, form a rigid object: between any two of its incarnations there is exactly one seam. On the lift’s tree every hidden loop only changes which clock is which, so the labels are carried along that tree in exactly one way. On Mumford’s tree the element that is fermion parity at one site acts one step deeper as a reflection of the sky, which turns the clocks into the lines and the octonion table into its mirror, and no seam joins a table to its mirror. So matter’s labels follow the spacetime completion and not the interior’s, a theorem given only that the octonion product is physical; inside the interior’s parent they travel along its building at two, at the sites of the light direction’s kind, and nowhere else. On the spacetime side, one table per scale follows the tree exactly once every deeper frame’s table points its light direction back along the tower of scales, and such a direction can always be chosen, since the lift’s levels have a coarsest scale, the lift itself, at which it can be rooted. The parent does not supply the choice: it is a choice of base scale.
On the ball of radius two around a vertex, the lift’s group induces a group of order and Mumford’s a group of order . Every vertex stabilizer of the lift’s group, of determinant one, permutes its link by even maps, while Mumford’s group, with 7 inverted, also applies odd ones. No isomorphism of the two trees carries one group’s action to the other’s.
One lattice where they meet
The site of Mumford’s arithmetic at which the group of order 168 holds both its lives is a classical object, Klein’s lattice: three dimensions over the integers of , unimodular, with the group of order 168, up to sign, as its symmetry. Elkies showed that Klein’s quartic curve is built from it, the curve’s Jacobian being an elliptic curve with complex multiplication tensored with this lattice; Allcock and Kato showed that its group and Mumford’s are the two densest arithmetic lattices acting on the building at two; lattice theorists know it as the Hermitian Barnes lattice. The lattice and its symmetries are classical. What is new is the dictionary: a clock is a cube, an axis is a half-turn, a report is a diagonal, and the observers are vectors of one lattice that both parents share.
One step further out the two trees differ, and the difference is classical. On the lift’s tree the second step adds the Lorentz algebra read modulo seven, the crystal of Chapter XIII, a space of vectors. On Mumford’s tree it adds a doublet, a plane over the field with seven elements on which the sky’s double cover acts as on spinors, with the turn through acting as ; the vector space is the doublet’s symmetric square, as vectors are built from spinors in the continuum. So, one step out, spacetime forgets vectors and the interior forgets spinors. The doublet is not the complex qubit the finite sky cannot carry, but Weil’s construction turns it into exactly the spin quartet of Chapter XV together with Klein’s three-dimensional representation, the representation on this lattice; and the lattice, read at seven, is the spacetime tree’s forgotten vector space, uniquely up to scale. What one parent forgets one step out, the meeting site remembers at its first step.
Read the Fano plane as the lattice reduced at one of the two primes above two, so that its points are the clocks. (1) A clock is a cube: at each clock the lattice has a neighbour at that prime with an orthonormal frame, and the clock’s report group acts on it as the twenty-four rotations of the cube whose corners are the frame’s sign combinations. (2) The clock’s three axes are the cube’s four-fold axes, and the half-turn about each is the half-turn about one of the lattice’s shortest vectors, so the twenty-one half-turns of the program, one for each clock and axis, are the twenty-one pairs of shortest vectors. At the prime above two such a half-turn exchanges every letter with its antipode except the two letters on its axis; at seven it is the half-turn about a point inside the sky’s conic. (3) The clock’s four reports are the cube’s four diagonals, which are vectors of the lattice: the twenty-eight anchored observers are its twenty-eight pairs of vectors of the next length. Their pairs of sky points are disjoint and cover the sky, and the report group moves them as the rotations move the cube’s corners. (4) The sky’s eight points are the lattice’s eight neighbours at seven, one of them Mumford’s site of the light direction; labelled along the clocks’ cycle of order seven, the lines of the plane are the octonion table’s lines, with the unit 1 at the light direction. (5) Two observers meet in the Coxeter graph exactly when the product of their vectors is : they are orthogonal at the prime seven, not in the lattice itself.
Each item was established by exact computation.
Two hands
Each parent carries a flip of its own. The lift comes in two mirror images, one for each prime above seven, and its spinors have the matching hand; the interior’s octonion table on the sky has a mirror table, and choosing between them is the same choice as which of the quartet and its conjugate is called matter. Only one of the two flips is a hand. The lift’s mirror image is seen by the lift’s own structures: the fiber’s scattering constant, which the lift’s integral structure fixes, changes under it, and so do the orientations of the lift’s cells read against the table’s four-fold form, in every combination that does not depend on which of the two opposite unit vectors at each light direction is called positive. The interior’s flip is not seen. That choice of unit vectors is a convention, which the record absorbs as a phase, and once it is set aside, exchanging the table with its mirror and the quartet with its conjugate is an exact symmetry of the lift, of the sky and of matter’s interaction. An earlier reading took the table’s cells relative to the lift for a relative orientation of the two flips; it compared the table and its mirror each in its own convention, and in matched conventions the two agree.
So the program has one native hand, spacetime’s, and its matter is symmetric under charge conjugation: every coupling of the lift’s massless fields is unchanged by the rotations that exchange the quartets, and where it tells them apart it does so as a charge does. The fiber’s scattering phase changes under the mirror alone, the pattern of a phase that violates the combined symmetry of mirror and charge conjugation, not the weak force’s (a reading). The spacetime half of the weak force’s chirality is native: matter’s spinor is the lift’s own and carries its hand, every step of a history keeps it, and so every field of matter has the same spacetime hand, the Standard Model’s own form when all its fields are written as left-handed. The added point of the Cayley plane gives the arrangement in which the left weak group acts on the quartet and the right on its conjugate, the vacuum, an added condensate, chooses which survives, and no orientation of spacetime has been added. One choice remains, of charge-conjugation type: whether the vacuum keeps the weak group of the quartet called matter or of its conjugate. While the exchange of the quartets is an exact symmetry, that choice is a naming.
(1) The lift’s mirror image is the lift at the conjugate prime, reached by complex conjugation. It reverses the orientation of velocity space and changes nothing that is defined on the sky, so it leaves every datum of the interior read there unchanged. (2) The symmetries of the sky outside the group of order 168 act on the lift by rotations, which keep its hand, and exchange the clock cubes with the line cubes. On the interior they exchange, all at once, the octonion table with its mirror, the quartet with its conjugate, and the two prime factors of 2 among the integers of ; in the sky’s frame they also reverse a clock. (3) So the two flips are independent. They are the sign changes of , on which the lift is built, and of , on which the interior’s arithmetic is built, which generate a group of four; complex conjugation, which changes both, is their product.
Matter’s law on the two parents
Can the two parents be made one structure, so that matter’s law runs along the interior’s sites and along spacetime’s scales at once? Spacetime’s parent, with its prime inverted, moves along the tower of scales, a tree whose every vertex is a scale with an eight-point sky of its own; the interior’s moves along its building at two. Mathematics has one way to join two such groups, the fiber product of the pairs that act on the sky in the same way, and Margulis’s arithmeticity theorem says that nothing more intimate exists here. Item (1) comes from spacetime’s side alone: closeness in the tower is seven-adic, so the symmetries fixing a scale come arbitrarily close to every symmetry of that scale, and discarding finitely many, as any group of joint symmetries must, leaves enough to turn the sky in every way. Item (3) rests on a theorem of Serre’s: every way of reducing spacetime’s group, with its prime inverted, onto the sky’s group is reduction at the other prime.
So matter’s law stays on spacetime, and the interior attaches at one scale. Spacetime carries matter across scales observer by observer: its loops through the tower bring every observer’s matter back as matter, changed only by a colour rotation at its own clock, uniquely up to colour and in agreement with every meeting. Only a shortcut fails. On one loop in eight a single relabelling of the table serves every observer at once; on the other seven any single relabelling reverses at least two of the seven clocks, and then twenty or more of the forty-two meetings would compare matter with antimatter, so the meetings rule it out. Nothing reverses charge as matter crosses scales, and the tower has no native source that changes lepton number. Colour does couple the scales: the shortest loops across scales, five meetings long, are among the plaquettes, so the tower is one gauge theory, but its coupling does not run along the tower, finer scales only stiffening coarser ones once, nor on the crystal inside each meeting, which copies loops rather than subdividing them. The program’s positions do subdivide, but the links join observers’ frames, not positions, so a running coupling would need a colour frame added at every position.
Matter’s labels can be carried from scale to scale in two ways. Holding the octonion product fixed, observer by observer, keeps every lepton a lepton and every clock’s orientation, and in each observer’s frame even the light direction’s charge is restored by a colour rotation. Carrying the product as frame data, by the spinor transport, keeps exactly and lets the table’s light direction move from scale to scale. The two differ by a half-turn in the plane of two clocks, and is not what an observer counts as matter. Nothing built from the sky, the observers and their clocks, or the spinor structure can tell the transported table from the one that is there; only the octonion unit can, and carried as frame data a lepton would come back as a quark at six of the seven clocks. The program made the product with its unit physical, so across scales the product is held fixed, observer by observer, and it costs nothing. Which scale is the base is a choice the parents do not supply. Spacetime’s two primes above seven divide the work, one carrying scale and the other the attachment. That this has the shape of an internal symmetry meeting spacetime symmetry only through a finite group, as Coleman and Mandula’s theorem would lead one to expect, is a reading.
(1) Across scales, no group of joint symmetries keeps matter’s labels attached to the sky, and none keeps its quartet: at every scale, the joint symmetries that fix the scale include spacetime symmetries that turn that scale’s sky in every possible way and leave the interior untouched. (2) At one scale the attachment is perfect. Paired with the lift’s own group at the lift’s scale, the interior carries matter’s labels in exactly one way and its quartet up to a single phase; whether the interior’s quartet is the lift’s quartet or its antiquartet is a convention, since the interior’s flip exchanges them and is a symmetry. (3) A group of joint symmetries across scales exists, but it attaches the interior to the sky of the other prime above seven, the sky of the lift’s mirror image, which does not change with scale.
In the volume’s story the chapter completes Part IV. The finite sky is not only the shadow of spacetime: it is the one place where two arithmetic objects meet, one Lorentzian at its real place and one compact, and the interior lives natively on the second. They meet at a single classical lattice, whose short vectors are the observers and their half-turns. The kernel of each reduction carries what the sky forgets: in the lift the light cone (Chapter XXII) and, one step further out, a space of vectors; in Mumford’s group the orientation-reversing half-turns and the spinor sign and, one step further out, a space of spinors. Spacetime’s parent carries the program’s one native hand, which matter’s spinor carries; the interior’s flip is an exact symmetry, which the vacuum must break before the weak force can have a hand. Matter’s law is written on the spacetime parent, which carries scale, and the interior’s parent is attached to it at one scale.
In Seams the table’s lattice and Mumford’s are two completions of the Fano plane, separated by a finite invariant and by rigidity, and the two parents are one finite group with two arithmetic parents of opposite real type, which is not a double life. Between their trees at 7 the bridge is built for the links, a type for the bare trees, and refuted for the trees with their parents’ symmetries. Seams gives the meeting a chapter of its own, with the dictionary at Klein’s lattice, the doublet one step out, seam systems on the two trees, the joint parent, the loops across scales and the two transports of the table under neutral names, and its chapter on orientation and charge holds the two flips.
- In the Esquisse
- 3La table des sutures du groupe d’ordre 1684La monodromie des sutures5Courte marche à travers la théorie de Galois6Quatre groupes à double vie7La trinité de Galois9Immeubles et réseaux10La table en deux, en sept et à l’infini11Le revêtement double et le miroir12Où se rencontrent les deux parents13Orientation et charge16Une loi de réciprocité17L’écart de Galois18Exceptionnel veut dire relevable19Une formule du produit