Find the exact object.

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

Lie theory · Group

SU(3)×SU(2)×U(1)SU(3)\times SU(2)\times U(1)Standard Model compact covering product

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

Compare this group
Executable coverageCompactConnectedProduct quotient
Definition

The compact product SU(3) × SU(2) × U(1), with U(1) period 2π and integer hypercharge Q=6Y. It is a covering group of the three nontrivial specified quotients, but it is not the universal cover.

Definition sources
Real dimension
1212
Source and assumptions
Fundamental group
Z
Source and assumptions
Abstract center
U(1) × Z_6
Source and assumptions

Reference properties

PropertyValueEvidence
Real dimension1212Sources
Rank44Sources
CompactYesSources
ConnectedYesSources
Fundamental groupZSources
Specified quotient order11Sources
Abstract centerU(1) × Z_6Sources

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/1) 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 Γ_1 is infinite cyclic: its finite subgroup at U(1) phase zero is trivial. Therefore the quotient has fundamental group Z, rather than Z_1. 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 Z1 · Standard Model quotient 1

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 compact product SU(3) × SU(2) × U(1), with U(1) period 2π and integer hypercharge Q=6Y. It is a covering group of the three nontrivial specified quotients, but it is not the universal cover.

group:standard-model-z1#definition
Real dimension

12

group:standard-model-z1#dimension
Rank

4

group:standard-model-z1#rank
Compact

Yes

group:standard-model-z1#compact
Connected

Yes

group:standard-model-z1#connected
Fundamental group

Z

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

1

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

U(1) × Z_6

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-z1#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/1) to act trivially. The standard left-handed fermions and Higgs satisfy the condition.

group:standard-model-z1#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-z1#representations-2
Topology and the universal cover

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

group:standard-model-z1#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-z1#conventions-1
The common gauge algebra

algebra:standard-model-r

group:standard-model-z1#relation-1
Diagonal quotient of order 2

group:standard-model-z2

group:standard-model-z1#relation-2
Diagonal quotient of order 3

group:standard-model-z3

group:standard-model-z1#relation-3
Diagonal quotient of order 6

group:standard-model-z6

group:standard-model-z1#relation-4