The Global Form of the Standard Model Gauge Group

The Standard Model Lie algebra does not uniquely specify its gauge group. With the usual matter representations, a common $\mathbb Z_6$ subgroup of the centers acts trivially, so groups obtained by quotienting by $1$, $\mathbb Z_2$, $\mathbb Z_3$, or $\mathbb Z_6$ share the same local particle vertices but differ in genuine line operators, allowed bundles, and magnetic-charge sectors.

Required background. Use the representation and hypercharge table from the Standard Model Lagrangian and the distinction between representations and genuine probes from lines, screening, and charge lattices.

Helpful background. Roots, weights, and lattices provide the weight/cocharacter language used to classify electric and magnetic charges.

The common center kernel

Normalize hypercharge to the integer $q=6Y$, and write $\omega_3=e^{2\pi i/3}$. The element

$$z=\left(\omega_3\mathbf1_3,-\mathbf1_2,e^{i\pi/3}\right) \in SU(3)_C\times SU(2)_L\times U(1)_q$$

has order six. Its phase on a representation with color triality $t\in\mathbb Z_3$, weak-center parity $s\in\mathbb Z_2$, and integer hypercharge $q$ is

$$\rho(z)=\exp\!\left[2\pi i\left(\frac{t}{3}+\frac{s}{2}+\frac{q}{6}\right)\right].$$

For every Standard Model field, the quantity in parentheses is an integer:

Field	$t$	$s$	$q=6Y$	$t/3+s/2+q/6$
$Q_L$	$1$	$1$	$1$	$1$
$u_R$	$1$	$0$	$4$	$1$
$d_R$	$1$	$0$	$-2$	$0$
$L_L$	$0$	$1$	$-3$	$0$
$e_R$	$0$	$0$	$-6$	$-1$
$H$	$0$	$1$	$3$	$1$

Thus $\langle z\rangle\cong\mathbb Z_6$ lies in the kernel of the action on the minimal fields. The faithful group acting on precisely that field content is

$$G_{\mathrm{faithful}} =\frac{SU(3)_C\times SU(2)_L\times U(1)_q}{\mathbb Z_6}.$$

This is a representation-theory statement, not a claim that all physical realizations must use the full quotient. If a gauge-group presentation is allowed to act nonfaithfully, the four candidate quotients

$$G_\Gamma=\frac{SU(3)_C\times SU(2)_L\times U(1)_q}{\Gamma}, \qquad \Gamma\in\{1,\mathbb Z_2,\mathbb Z_3,\mathbb Z_6\},$$

all admit the familiar local fields. The exact sequence and the resulting line spectra are worked out in Tong 2017, §§2–3.

What changes under the quotient

A quotient is invisible to infinitesimal gauge transformations but changes global admissibility conditions. The relevant questions are:

Probe	Quotient-sensitive datum	Invariant local statement
Wilson line	whether its electric weight is a representation of $G_\Gamma$	perturbative vertices of the observed fields
’t Hooft line	allowed magnetic cocharacters and mutual-locality pairing	Lie-algebra-valued field strength locally
Dyonic line	electric–magnetic lattice and its change under theta shifts	local equations away from the defect
Gauge bundle	transition functions and characteristic classes on nontrivial cycles	local connection on a contractible patch
Monopole sector	Dirac quantization and minimum magnetic charge	measured elementary electric charges alone

For the full $\mathbb Z_6$ quotient, an electric representation must obey

$$2t+3s+q=0\pmod 6.$$

This compact congruence reproduces the field-table check above. It also rejects a proposed isolated representation whose color, weak isospin, and hypercharge do not descend to the quotient. Conversely, choosing a smaller $\Gamma$ permits more Wilson representations but correspondingly changes the mutually local magnetic lattice. This is the general mechanism explained in Aharony, Seiberg, and Tachikawa 2013, §§1–2.

Charge quantization without overclaiming

The quotient correlates color triality, weak isospin, and hypercharge; it does not derive the observed spectrum from local anomaly cancellation alone. A useful separation distinguishes three statements:

1. Representation compatibility: the listed fields descend to $G_\Gamma$.
2. Quantum consistency: perturbative and global anomalies vanish for those fields.
3. Physical selection: the theory or experiment specifies which nonlocal probes, bundles, or monopoles are admitted.

Only the first follows from the center calculation. The second is the subject of gauge-anomaly cancellation. The third requires global evidence or ultraviolet information not encoded by ordinary collider amplitudes.

As a limiting check, restrict to topologically trivial spacetime and observables made only from the listed local fields. Every $G_\Gamma$ then gives the same perturbative Feynman rules. If a proposed calculation changes an ordinary tree-level amplitude merely because $\Gamma$ changed, it has inserted global data into a local computation incorrectly.

A reusable quotient test

For any proposed extension:

1. normalize every Abelian charge to a common integer lattice;
2. compute the action of each non-Abelian center and the Abelian phase on every field;
3. intersect the kernels to obtain the largest trivially acting subgroup;
4. declare whether the gauge group is the faithful quotient or a nonfaithful cover;
5. derive the allowed Wilson and magnetic lattices for that declaration;
6. repeat anomaly and bundle checks for the chosen global form.

The output is not just a group symbol but the typed object

$$\left(G_\Gamma,\ \Lambda_{\mathrm{Wilson}},\ \Lambda_{\mathrm{magnetic}},\ \text{allowed bundles},\ \text{matter kernel}\right).$$

That object can be passed unambiguously to monopole, generalized-symmetry, or extension analyses. Omitting the lattices while writing only $SU(3)\times SU(2)\times U(1)$ leaves precisely the global question unresolved.

References

• Aharony, Ofer, Nathan Seiberg, and Yuji Tachikawa. “Reading between the Lines of Four-Dimensional Gauge Theories.” Journal of High Energy Physics 2013, no. 8 (2013): 115, §§1–2. DOI.
• Tong, David. “Line Operators in the Standard Model.” Journal of High Energy Physics 2017, no. 7 (2017): 104, §§2–3. DOI.