Find the exact object.

Names, aliases, Unicode, and common TeX notation. Open full search

Lie theory · Group

GSM(6)G_{\mathrm{SM}}^{(6)}Standard Model global group with diagonal Z6 quotient

A compact connected twelve-dimensional global group with algebra su(3) ⊕ su(2) ⊕ u(1), quotient order 6, and fundamental group Z. Usual Standard Model matter descends in the stated Q=6Y convention.

Compare this group
Executable coverageCompactConnectedProduct quotient
Definition

The group (SU(3) × SU(2) × U(1))/Γ_6, where Γ_6=⟨γ^1⟩ and γ=(exp(2πi/3) I₃, −I₂, exp(2πi/6)). The U(1) action on a matter multiplet is z^Q with integer Q=6Y.

Definition sources
Real dimension
1212
Source and assumptions
Fundamental group
Z
Source and assumptions
Abstract center
U(1)\mathrm{U}(1)
Source and assumptions

Reference properties

PropertyValueEvidence
Real dimension1212Sources
Rank44Sources
CompactYesSources
ConnectedYesSources
Fundamental groupZSources
Specified quotient order66Sources
Abstract centerU(1)\mathrm{U}(1)Sources

Matter and the embedded kernel

A multiplet with color triality t3, SU(2) center charge t2, and integer Q has γ-phase t3/3+t2/2+Q/6 modulo one. Descent to this group requires γ^(6/6) to act trivially. The standard left-handed fermions and Higgs satisfy the condition. [sources]

All four subgroups of the common diagonal Z6 are compatible with the usual matter list. Matter compatibility alone does not determine the physical choice of quotient, a full line-operator spectrum, theta parameters, or anomaly cancellation. [sources]

Topology and the universal cover

The universal cover is SU(3) × SU(2) × R. The lift of Γ_6 is infinite cyclic: its finite subgroup at U(1) phase zero is trivial. Therefore the quotient has fundamental group Z, rather than Z_6. The compact product used as the quotient domain already has fundamental group Z. [sources]

Hypercharge and SU(5)

Color is listed before the weak factor. The block-branching tool uses X=diag(2,2,2,−3,−3), while this record uses Q=6Y=−X. In the Q convention the map to SU(5) is (A,B,z) ↦ diag(z^−2 A,z^3 B). It has kernel Γ6 and induces an injective map only from the quotient of order six. [sources]

Names and aliases

SM Z6 · Standard Model quotient 6 · S(U(3) × U(2))

Aliases identify the stated object under this record’s conventions. Type names and broader search terms are kept separate.

Related objects and maps

Claims and sources

Each assertion has a stable identifier within this record and a source locator or derivation. Cite the dataset edition when referring to a corrected or historical claim.

Definition

The group (SU(3) × SU(2) × U(1))/Γ_6, where Γ_6=⟨γ^1⟩ and γ=(exp(2πi/3) I₃, −I₂, exp(2πi/6)). The U(1) action on a matter multiplet is z^Q with integer Q=6Y.

group:standard-model-z6#definition
Real dimension

12

group:standard-model-z6#dimension
Rank

4

group:standard-model-z6#rank
Compact

Yes

group:standard-model-z6#compact
Connected

Yes

group:standard-model-z6#connected
Fundamental group

Z

group:standard-model-z6#pi1
Specified quotient order

6

group:standard-model-z6#quotient-order
Abstract center

U(1)

Derivation: The center is (Z3 × Z2 × U1)/Γd. The finite-component projection of Γd has order d, leaving 6/d connected components; the identity component is a circle.

Premises: source:conrad-pi1-lie · Γd projects injectively to both the diagonal finite center and the U(1) factor.

group:standard-model-z6#center
Matter and the embedded kernel

A multiplet with color triality t3, SU(2) center charge t2, and integer Q has γ-phase t3/3+t2/2+Q/6 modulo one. Descent to this group requires γ^(6/6) to act trivially. The standard left-handed fermions and Higgs satisfy the condition.

group:standard-model-z6#representations-1
Matter and the embedded kernel

All four subgroups of the common diagonal Z6 are compatible with the usual matter list. Matter compatibility alone does not determine the physical choice of quotient, a full line-operator spectrum, theta parameters, or anomaly cancellation.

group:standard-model-z6#representations-2
Topology and the universal cover

The universal cover is SU(3) × SU(2) × R. The lift of Γ_6 is infinite cyclic: its finite subgroup at U(1) phase zero is trivial. Therefore the quotient has fundamental group Z, rather than Z_6. The compact product used as the quotient domain already has fundamental group Z.

group:standard-model-z6#topology-1
Hypercharge and SU(5)

Color is listed before the weak factor. The block-branching tool uses X=diag(2,2,2,−3,−3), while this record uses Q=6Y=−X. In the Q convention the map to SU(5) is (A,B,z) ↦ diag(z^−2 A,z^3 B). It has kernel Γ6 and induces an injective map only from the quotient of order six.

group:standard-model-z6#conventions-1
The common gauge algebra

algebra:standard-model-r

group:standard-model-z6#relation-1
Specified compact covering product

group:standard-model-z1

group:standard-model-z6#relation-2
Block subgroup of SU(5) with the specified map

group:su-5

group:standard-model-z6#relation-3