The Z6 quotient and 2t + 3n + 6Y

Here is one of the few pieces of Standard Model arithmetic in this programme that you can verify in your head, and also an object lesson in how weak a satisfied constraint can be. The constraint is a congruence. Every Standard Model multiplet satisfies it exactly. It is real group theory. It is also weaker than it looks, and knowing why is the point of this post.

The congruence, and the convention

The Standard Model gauge group is not SU(3) times SU(2) times U(1). It is that quotiented by a shared centre of order six, which means a field is admissible only if a certain combination of its charges is compatible with the quotient. Write t for the field’s colour triality, which is 0 for colour singlets, 1 for triplets, 2 for antitriplets. Write n for the weak isospin grading, which is 0 for singlets and 1 for doublets. Write Y for hypercharge. The admissibility condition is 2t + 3n + 6Y = 0 modulo 6.

Now run all seven multiplets. The left-handed quark doublet: triality 1, isospin grading 1, hypercharge one sixth. That gives 2 plus 3 plus 1, which is 6, which is 0 modulo 6. The right-handed up quark: 2 plus 0 plus 4, which is 6 again. The right-handed down quark: 2 plus 0 minus 2, which is 0. The left-handed lepton doublet: 0 plus 3 minus 3, which is 0. The right-handed electron: 0 plus 0 minus 6, which is minus 6, which is 0 modulo 6. The right-handed neutrino: 0 plus 0 plus 0. The Higgs: 0 plus 3 plus 3, which is 6.

Every raw value lands on a multiple of six: 6, 6, 0, 0, minus 6, 0, 6. Nothing is approximately zero. The values are exactly zero in the group, which is the statement that the sixfold centre acts trivially on every physical field, which is what lets the category act as a boundary condition for the whole gauge structure rather than for a subgroup.

Why it is weaker than it looks

Now the deflation, which matters more than the result. A congruence mod 6 is one constraint on a lattice of possible charges, and charge quantisation conditions of exactly this shape have been standard since the 1970s; 2t plus 3n plus 6Y is a close cousin of the condition that makes hypercharge quantisation commute with the quotient structure of the gauge group. So the observation that the fields obey it is not new physics. It is a restatement, in category language, of quantisation facts already encoded in the gauge group.

The programme’s own audit made this sharper, and the sharpening hurt a neighbouring claim. The GUT trace ratio, five thirds, that the anomaly paper had proved as a theorem of the projection, turns out to be the standard SU(5)-type hypercharge normalisation satisfied by any Standard Model-like assignment. It carries no information specific to this framework. The printed proof of it was even internally inconsistent, with the same document giving two different values for one trace. Five thirds survives as a fact about the Standard Model, not as a derivation.

The honest claim, then, is narrow: the Z6 quotient is consistent with the Standard Model, and the consistency is exact. The dishonest claim would be that the congruence explains the charges. It does not. It is a necessary condition, and necessary conditions are cheap. There are infinitely many charge assignments that satisfy it and are not realised in nature.

What would make it strong

The congruence becomes physics if the framework supplies uniqueness: a reason this quotient, rather than any of the other quotients that also fit, is realised. The audit lists exactly that as open. Until then, keep the label where it belongs: a theorem about consistency, not about necessity. The next post takes the same category one step further, to the sum that fixes its central charge, where the numbers start doing work.