Universal Kernel

Part IV · The Exceptional InteriorChapter XVII

One Point of the Cayley Plane

h3(O)α1zyzα2xyxα3pO2: two copies of the fiberinward: (4, 2, 1)dashed: their conjugatesstabilizer of p in (SU(3) × SU(3))/Z3= S(U(3) × U(2))≅ (SU(3) × SU(2) × U(1))/Z6
Plate XVII.1A point of the Cayley plane: in the 3×33\times3 Hermitian octonionic matrices, the point pp and the two octonion slots it carries, two copies of the fiber.
  1. XVII.1
  2. XVII.2
  3. XVII.3
  4. XVII.4
  5. XVII.5
  6. XVII.6

Where does the weak doublet come from, and what breaks the symmetry its point leaves?

The fiber of Chapter XVI carries colour, baryon minus lepton number and the Pati–Salam quartet, and it carries no weak isospin. One two-state multiplicity, adjoined beside the fiber, supplies it: with SU⁡(2)L\SU(2)_L acting on one quartet and SU⁡(2)R\SU(2)_R on the other, the sixteen states are one family of the Standard Model, with its hypercharges and no anomaly. This chapter asks what that multiplicity is.

The answer is a point. The exceptional Jordan algebra, the algebra of 3×33\times3 Hermitian octonionic matrices, has a projective plane of primitive idempotents, the Cayley plane, and the space the algebra attaches to one of its points is two copies of the fiber. Read with the observer’s clock, the point fixes the electroweak group, its hypercharges and the quotient by Z6\Z_6. Over the complex numbers, which the fiber already uses, the same point carries the whole family, and the clock leaves the left–right group. What remains is a breaking from that group to the Standard Model’s, and its carrier lies inside the family itself.

The central result

Let an observer’s clock fix a copy of the complex numbers in the octonions, and let pp be a point of the Cayley plane in the clock’s complex projective plane, read inward.

(1) The part of F4F_4 that commutes with the centre of the clock’s colour group leaves, at pp, exactly (SU⁡(3)×SU⁡(2)×U(1))/Z6(\SU(3)\times\SU(2)\times\mathrm U(1))/\Z_6, which acts on the space attached to pp as the Standard Model’s group acts on the left half of one family.

(2) Over the complex numbers, pp carries the whole family, as the 16\mathbf{16} in the algebra’s twenty-seven dimensions, and the clock leaves the left–right group SU⁡(3)×SU⁡(2)L×SU⁡(2)R×U(1)B−L\SU(3)\times\SU(2)_L\times\SU(2)_R\times\mathrm U(1)_{B-L}.

(3) Relative to the clock, neither pp nor the direction that cuts the left–right group to the Standard Model’s is a parameter. The family fixes pp, and the Standard Model’s group is the stabilizer of pp together with a null line through it. The line’s only carrier among pairs of family states is a pair of right-handed neutrinos, the one pair the Standard Model’s group leaves unchanged.

So, beside the dynamics of the gauge links, the gauge structure needs one added dynamical fact: that this pair condenses.

Status

Item (1) is the theorem of Todorov and Dubois-Violette and item (2) the theorem of Boyle; both were checked on the program’s own octonion table, and both are read with the program’s clock and its inward orientation, which the fiber’s Pati–Salam symmetry fixes. Item (3) is the program’s own, checked by direct computation. So the electroweak group with its hypercharges and its Z6\Z_6, and over the complex numbers the whole family with the left–right group, are derived from one point and the clock; the point itself is fixed by the family; and the breaking to the Standard Model’s group is added, with a native carrier: a pair of right-handed neutrinos must condense, and no force in the program’s present law acts on such a pair.

If the pair condenses, the right-handed neutrino has a Majorana mass and the light neutrinos’ masses take the seesaw form. The condensate presupposes the pair structure the program owes, or a reading of it as order between states of a fixed number of registers. The point’s cubic norm as the source of the masses is refuted by nature. Three generations are added, as a bare multiplicity, so their masses and mixings are data. Open: the force that would condense the pair, its alignment with the Higgs directions, electroweak breaking, and why the pair term carries its second structure, whose form, with Georgi and Jarlskog’s factor, is native.

The doublet as a point

h3(O)α1zyzα2xyxα3pO2: two copies of the fiberinward: (4, 2, 1)dashed: their conjugatesstabilizer of p in (SU(3) × SU(3))/Z3= S(U(3) × U(2))≅ (SU(3) × SU(2) × U(1))/Z6
Plate XVII.1A point of the Cayley plane: in the 3×33\times3 Hermitian octonionic matrices, the point pp and the two octonion slots it carries, two copies of the fiber.

Let J=h3(O)J=\mathfrak h_3(\Oct) be the exceptional Jordan algebra and F4F_4 its automorphism group. A point of the Cayley plane OP2\Oct P^2 is a primitive idempotent of JJ, and the stabilizer of a point is Spin⁡(9)\Spin(9). The observer’s clock picks a copy span⁡{1,ec}\operatorname{span}\{1,e_c\} of the complex numbers in the octonions, the lepton plane of Chapter XVI, and the subgroup of F4F_4 that commutes with the centre of the clock’s colour group is (SU⁡(3)×SU⁡(3))/Z3(\SU(3)\times\SU(3))/\Z_3. The clock can be any observer’s: the spinor transport carries each observer’s colour group to every other’s (Chapter XV), so the group the point leaves is one group seen in twenty-eight frames.

Item (4) settles the orientation. The fiber’s Pati–Salam symmetry is native kinematics, so an added point that keeps it must be read inward, and then the electroweak group is what the clock leaves of that symmetry: at the level of Lie algebras, su(3)⊕su(2)⊕u(1)\mathfrak{su}(3)\oplus\mathfrak{su}(2)\oplus\mathfrak u(1) is the intersection of the fiber’s su(4)⊕su(2)L\mathfrak{su}(4)\oplus\mathfrak{su}(2)_L with the centralizer of the clock’s colour centre. The program’s other candidate orienters do not decide it: reversing the clock conjugates each reading within itself, a commit’s two directions act alike, the spin bundle’s two forms leave every relevant operator fixed, and the table’s handedness is undone by an isomorphism of Jordan algebras.

So the second copy of the fiber that weak isospin needs is the one a point of the Cayley plane carries. The program adds the point; nothing native to one observer supplies it, since inside one fiber no structure singles out a slot of JJ, and every three outside the fiber lies across several frames, where gauge freedom does not reach. One geometric datum, kept compatible with the fiber, replaces a group, a representation and a table of charges chosen separately.

Theorem(The added doublet is a point of the Cayley plane)

Let pp be a point of OP2\Oct P^2 in the clock’s complex projective plane. (1) The stabilizer of pp in (SU⁡(3)×SU⁡(3))/Z3(\SU(3)\times\SU(3))/\Z_3 is S(U(3)×U(2))≅(SU⁡(3)×SU⁡(2)×U(1))/Z6S(\mathrm U(3)\times\mathrm U(2))\cong(\SU(3)\times\SU(2)\times\mathrm U(1))/\Z_6, and its SU⁡(3)\SU(3) is the clock’s colour. (2) The sixteen-dimensional space that JJ attaches to pp is O2\Oct^2, two copies of the fiber. It can be read with both entries oriented into pp or both out of it, and with the clock’s left complex structure on both copies either reading is compatible with the group of (1). (3) Read inward, the space is the left half (4,2,1)(\mathbf{4},\mathbf{2},\mathbf{1}) of the family: the group of (1) acts as SU⁡(3)×SU⁡(2)L×U(1)Y\SU(3)\times\SU(2)_L\times\mathrm U(1)_Y does there, with the same hypercharges and the same Z6\Z_6, and the electric charges are those of ee, dd, ν\nu and uu. Read outward, it carries the quark doublet together with a lepton doublet of the opposite hand. (4) Read inward, the part of Spin⁡(9)\Spin(9) that commutes with the complex structure is exactly the fiber’s own Pati–Salam algebra su(4)⊕su(2)L\mathfrak{su}(4)\oplus\mathfrak{su}(2)_L, generated by the bivectors of the six letters. Read outward, only colour lies in Spin⁡(9)\Spin(9).

Proof

Item (1) is the theorem of Todorov and Dubois-Violette, with the stabilizer of a copy of C\C taken in the sense of Todorov and Drenska. It was checked as a computation of Lie algebras on the program’s own octonion table: the intersection has dimension 12, a one-dimensional centre, and derived algebra su(3)⊕su(2)\mathfrak{su}(3)\oplus\mathfrak{su}(2), with the su(3)\mathfrak{su}(3) equal to the stabilizer of ece_c among the derivations of O\Oct. Items (2) to (4) are direct computations on the same table. The inward map carries su(2)L\mathfrak{su}(2)_L and YY onto the stabilizer’s su(2)\mathfrak{su}(2) and centre, its generators match, and the two Z6\Z_6 kernels coincide. The commutant in item (4) has dimension 18 and equals the image of the fiber’s su(4)⊕su(2)L\mathfrak{su}(4)\oplus\mathfrak{su}(2)_L.

The whole family at one point

updownSU(2)L on 4SU(2)R on 4N = 3: Y = 1 (up) and 0 (down)N = 2: (3, 2), Y = 1/6N = 1: Y = 1/3 (up) and −2/3 (down)N = 0: (1, 2), Y = −1/2Tr Y = Tr Y3 = 0, and both mixed traces vanish
Plate XVII.2The sixteen states the point carries over the complex numbers: two copies of the occupation cube, joined by left isospin on the quartet and right isospin on its conjugate.

Over the real numbers the point carries only the left half of the family: the exceptional Jordan algebra holds the two left doublets, the down antiquark, a weak triplet and two singlets, but not the up antiquark or the positron. The fiber, however, is complex, and over the complex numbers the same point carries the rest. Complexify JJ to C⊗J\C\otimes J, a space of dimension 27. The transformations that keep its cubic norm and its Hermitian form make up the compact group E6E_6, and its points form the complexified Cayley plane, of complex dimension 16.

So the family’s right half and SU⁡(2)R\SU(2)_R do not lie outside the point. They are the complex half of the space the point carries, and the two-state multiplicity of Chapter XVI is that space written in coordinates. The left–right group is what the clock leaves of the point’s symmetry, as the electroweak group was over the real numbers. The step from it to the Standard Model’s group is the choice of the singlet’s direction, which the family’s hypercharge Y=12(B−L)+TR,3Y=\tfrac12(B-L)+T_{R,3} already makes when it names TR,3T_{R,3}.

Theorem(The whole family at one point)

Let pp be the point of the previous theorem, in the complexified Cayley plane. (1) The subgroup of E6E_6 fixing pp has Lie algebra so(10)\mathfrak{so}(10), and C⊗J\C\otimes J splits under it as 1⊕10⊕16\mathbf1\oplus\mathbf{10}\oplus\mathbf{16}. (2) The part of E6E_6 commuting with the centre of the clock’s colour group has Lie algebra su(3)⊕3\mathfrak{su}(3)^{\oplus3}; its intersection with the stabilizer of pp is the left–right algebra su(3)⊕su(2)L⊕su(2)R⊕u(1)B−L\mathfrak{su}(3)\oplus\mathfrak{su}(2)_L\oplus\mathfrak{su}(2)_R\oplus\mathfrak u(1)_{B-L}. (3) The 16\mathbf{16} is the family of Chapter XVI: a linear map built from the inward coordinates carries the left–right algebra onto the family’s colour, TLT_L, TRT_R and B−LB-L, and the Standard Model’s hypercharge onto the family’s YY, and the family’s right half is the other half of the same complex space. (4) The group of the previous theorem, extended to the whole family, acts on the right half as on the conjugate of the left half. On the whole family the Standard Model’s group is instead the subgroup of the left–right group that fixes one direction of the neutral singlet, and that direction lies in the complex space, not in the real algebra.

Proof

Items (1) and (2), and the reading of the 16\mathbf{16} as a family, are the theorem of Boyle. All four items were checked on the program’s own octonion table. The compact E6E_6 was realized as f4\mathfrak f_4 together with ii times the Jordan multiplications by traceless elements; these close into a Lie algebra of dimension 78 that keeps the cubic norm and acts irreducibly on C27\C^{27}. The stabilizer has dimension 45 and the left–right algebra dimension 15. The built map carries the left–right algebra onto the span of the family’s operators, also of dimension 15, with the hypercharge exact. In the left–right algebra the stabilizer of the singlet’s direction has dimension 12: colour, su(2)L\mathfrak{su}(2)_L and the hypercharge.

A breaking, not a value

fix the point pfixed by the family itselfcommute with the clock’s colour centrenative: the observer’s timefix a null line through padded: a neutrino pair condensesfix the frame’s other two pointselectroweak breaking: not addressed78E645Spin(10)15SU(3) × SU(2)L × SU(2)R × U(1)B−L12SU(3) × SU(2)L × U(1)Y9SU(3) × U(1)emone orbit of theleft–right group:a breaking,not a value;invariants: twomagnitudes andone bit
Plate XVII.3The breaking as a chain of stabilizers in the complexified Cayley plane: each step fixes one more datum, and fixing a null line through the point is a choice within one orbit, a breaking rather than a value.

Neither the point nor the singlet’s direction is a parameter. Relative to the clock, the candidate points form a single orbit of the symmetries that commute with the clock’s colour centre, and for each point the singlet’s directions form a single orbit of the left–right group. So choosing them is a breaking, not a value. The Standard Model’s group is the stabilizer of the point together with a second point on a null line through it. The only invariants of the choice are two magnitudes and one bit, which of the two weak groups survives, and reversing the clock exchanges the two. In the standard left–right models the same breaking is made by a field that carries B−LB-L. One structure on the other side is native: the commit’s factor Wa=γa⊗I2W_a=\gamma_a\otimes I_2, which exchanges the two weak factors, is for each of the six letters an automorphism of the real algebra JJ, inside Spin⁡(8)⊂F4\Spin(8)\subset F_4.

That bit is relative to the clock, an interior convention, not to spacetime. A vacuum that sets it breaks the symmetry between the quartets, the first of the two things the weak force’s hand needs. The second, that the surviving weak group act on fields of spacetime’s hand, no vacuum of the fiber could supply, because the lift’s mirror image leaves every datum of the fiber unchanged. Matter’s spinor supplies it: that spinor is the lift’s own, so every field of matter carries the lift’s one hand, and the left–right arrangement of the point’s sixteen states makes the surviving weak group act on fields of that hand (Chapters XV and XVIII). What remains is a naming of charge-conjugation type: which quartet the vacuum keeps as weak, relative to which is called matter.

Nothing native makes the breaking occur. Every datum the program supplies acts on the fiber and leaves the doublet index alone, and any one-particle datum that broke the symmetry this way would change B−LB-L by one unit. Relativity is consistent with the breaking but does not cause it: its lift to the algebra fixes the frame of three points for every observer at once, so the direction named by TR,3T_{R,3} and the Higgs directions are left unchanged by every relabelling, yet no observer’s own symmetries single out one axis, because relativity acts on the doublet’s two copies alike.

The carrier of the breaking

fix the point pfixed by the family itselfcommute with the clock’s colour centrenative: the observer’s timefix a null line through padded: a neutrino pair condensesfix the frame’s other two pointselectroweak breaking: not addressed78E645Spin(10)15SU(3) × SU(2)L × SU(2)R × U(1)B−L12SU(3) × SU(2)L × U(1)Y9SU(3) × U(1)emνcνc: the one pairof family states theStandard Model’sgroup leaves unchanged;B − L = 2
Plate XVII.4The whole chain: the point is fixed by the family and the colour centre by the clock; the null line is added, and its carrier is a pair of the family’s own right-handed neutrinos.

The breaking has a carrier inside the family. The family fixes the point itself: the sixteen states span a space whose symmetry singles out the point. The line has a carrier too. Among all pairs of the family’s states exactly one is left unchanged by the Standard Model’s group, a pair of right-handed neutrinos, and its vacuum is the line. That pair carries B−L=2B-L=2, and the same pairing gives the right-handed neutrino alone a mass of the Majorana kind, which with its ordinary coupling gives the neutrinos’ masses the seesaw form. Nothing in the program’s present law acts on such a pair, so what remains added is one dynamical fact, that the pair condenses. A condensate of pairs needs pairs: with the number of registers fixed, as it is natively, every pair amplitude vanishes in a state of definite register number (Chapter XVI), so the breaking presupposes the pair structure that the program owes, or a reading of the condensate as order between states of fixed number, the off-diagonal long-range order of superconductors. The pair’s alignment with the Higgs directions is a further condition on the forces that would make it condense.

Two of the program’s own processes have been tested on the pair, and neither attracts it. The colour-neutral contact of Chapter XXII acts on the letters and leaves the fiber unchanged; dressed by the steps that write its letters into the fibers it does reach the lepton line, as an exchange of B−LB-L, but in its covariant form that exchange leaves the pair exactly alone, together with the left-handed pair, so it neither binds the pair nor sets it apart. The binding of composites through an intermediate that both partners touch has the sign that Adler showed favours the pair’s channel, but it acts through colour alone, and carried onto the family it leaves every pair of leptons unchanged. An attraction that reaches the pair must carry B−LB-L or right-handed weak isospin. Only B−LB-L is native, and on its own it treats the left- and right-handed lepton pairs alike; the clock’s arrow cannot choose between them, since reversing it is a symmetry of the exchange. The step that writes a record changes B−LB-L, and no relabelling of the records restores it, so if the pair condensed, the boson that would otherwise be massless with it, the Majoron, would carry a small mass.

The Higgs and the masses

h3(O)α1zyzα2xyxα3pHiggs: up quark, neutrinoHiggs: down quark, electronwhich is which: a labellingcubic norm: 16 · 16 · 10one coefficient for all four Yukawa typeswith three bare copies:quark mixing matrix = identityrefuted by naturedown-type quark masses= charged-lepton massesat the matching scalerefuted by nature
Plate XVII.5The frame of three points: pp and the two points that complete it, which carry the neutral Higgs directions; the cubic norm couples the family to them with one coefficient for all four types.

In the algebra the singlet’s direction is an ordered pair of points that completes pp to a frame of three orthogonal points, and the same two points carry the Higgs field. Restricted to the point, the cubic norm of C⊗J\C\otimes J couples the family’s 16\mathbf{16} to the point’s 10\mathbf{10}, with one coefficient for all four Yukawa types. The frame’s other two points are the directions of the neutral Higgs fields: one gives masses to the up quark and the neutrino, the other to the down quark and the electron.

With three bare copies this makes the up-type and down-type mass matrices proportional, so that the quark mixing matrix is the identity, and it sets the down-type quark masses equal to the charged-lepton masses at the matching scale. Nature refutes both (Chapter XXIV). So the point’s cubic norm is not the source of the masses: they stay data, and at least two independent Yukawa structures are needed. The program now has the second one’s form. For fermions the pair terms that respect colour and matter’s number are exactly two, at a given clock: one weights leptons and quarks alike, and one weights them as one to minus a third. The second is baryon minus lepton number read through the clock’s chirality, with Georgi and Jarlskog’s factor fixed rather than fitted (Chapter XVI). Which generation carries which structure stays data, and no part of the program’s vacuum supplies the second, so the pair term must carry it as part of the law.

Three copies

not a family indexthe three axes→ the coordinate lines of colourthree copies of the chiral octet→ three different spin fieldstriality’s three representations→ different baryon and lepton numbersthe Cayley point’s three slots→ the weak doublet and a singletthe lift’s 3 ⊕ 3→ one representation of a light direction’s little groupC3 ⊗ F: every native symmetry acts trivially on C3commutant: one M3(C) for each of the six species,the shape of the mixing matricesmasses and mixings: data
Plate XVII.6Every three the program makes is already spent, so the generations are a bare multiplicity C3\C^3 beside one family.

No three that the program makes can serve as a family index, because each candidate is spent on something a family index must commute with. The three axes are the coordinate lines of colour. The observers’ three copies of the chiral octet are three different spin fields. Triality’s three representations carry different baryon and lepton numbers. The Cayley point’s three slots are the weak doublet and a singlet. And the lift’s pair 3⊕3‾\mathbf3\oplus\overline{\mathbf3} is one representation, of dimension three, of the little group of a light direction. The forty-eight states in which three generations have been read in C⊗O\C\otimes\Oct need a colour action that no transformation of the fiber induces.

So the generations are added. Matter’s one-particle space is C3⊗F\C^3\otimes F, with FF one family and C3\C^3 a bare multiplicity on which every native symmetry acts trivially. Each copy is free of anomalies; the operators commuting with every native symmetry are one M3(C)M_3(\C) for each of the six species, which is the shape of the quark and lepton mixing matrices; and nothing native tells the copies apart, so their masses and mixings are data. The copies’ frames must carry the clock’s orientation, because reversing the clock exchanges left and right isospin.

In the volume’s story the chapter turns the last addition of the interior into geometry. The fiber’s matter, the clock’s colour and the weak doublet are the symmetry of one point seen from one time direction. What remains is not a datum of the law but a property of its state: a condensate, whose carrier the family already contains.

In Seams the Cayley plane is the last survivor of a chain, octonionic geometry stopping at the plane, and the meeting in F4F_4, with its complexification in E6E_6, is a continuum of the octonions, where the intersections behind the electroweak and left–right algebras are computed without their physical names. The next chapter turns from the point to the sky’s second parent, an arithmetic group whose building carries the octonion fiber on every site.

In the Esquisse
14Les continus