Color-first SU(5) block homomorphism
The block map diag(z² A,z⁻³ B), with primitive charge X and kernel Z6. Physical hypercharge is Y=−X/6.
The homomorphism ι(A,B,z)=diag(z² A,z⁻³ B) from SU(3) × SU(2) × U(1) to SU(5), with the color block first. Its kernel is generated by (exp(−2πi/3) I₃,−I₂,exp(2πi/6)) and its image is S(U(3) × U(2)).
Definition sourcesThe group map
Reference properties
Keep the charge
The same nonabelian multiplet can occur at different U(1) charges. The complete output is labeled by both SU highest weights and X. The kernel condition is −2t3+3t2+X=0 mod 6. The tool separately displays Y=−X/6 and transfers Q=−X when opening the product-group calculation. [sources]
From homomorphism to embedding
The map is not injective on the compact product. Quotienting by its actual kernel gives the block subgroup. Inverting the U(1) coordinate changes from the X convention to Q=6Y and identifies this quotient with the G_SM^(6) record. [sources]
Related objects and maps
- Underlying compact product, with the X coordinate stated here
- Parent group
- G_SM^(6)Image after converting X to Q=−XStandard Model global group with diagonal Z6 quotient
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 homomorphism ι(A,B,z)=diag(z² A,z⁻³ B) from SU(3) × SU(2) × U(1) to SU(5), with the color block first. Its kernel is generated by (exp(−2πi/3) I₃,−I₂,exp(2πi/6)) and its image is S(U(3) × U(2)).
- The Algebra of Grand Unified TheoriesSection 3.1: SU(5), exterior powers of its fundamental, and the Standard Model subgroup. Hypercharge conventions must be translated explicitly.Open source
- Tong · Line operators in the Standard Model§1 and §3, especially pp. 7–9: the embedded Z6, integer hypercharge, and four quotient choicesOpen source
- Brian Conrad, Fundamental Groups of Lie Groupspp. 1–2: the exact sequence for a connected Lie group modulo a discrete central subgroupOpen source
map:su-3-su-2-u1-to-su-5-block#definitionKernel
Z6 with the explicitly stated generator
- The Algebra of Grand Unified TheoriesSection 3.1: SU(5), exterior powers of its fundamental, and the Standard Model subgroup. Hypercharge conventions must be translated explicitly.Open source
- Tong · Line operators in the Standard Model§1 and §3, especially pp. 7–9: the embedded Z6, integer hypercharge, and four quotient choicesOpen source
- Brian Conrad, Fundamental Groups of Lie Groupspp. 1–2: the exact sequence for a connected Lie group modulo a discrete central subgroupOpen source
map:su-3-su-2-u1-to-su-5-block#kernelImage
S(U(3) × U(2))
- The Algebra of Grand Unified TheoriesSection 3.1: SU(5), exterior powers of its fundamental, and the Standard Model subgroup. Hypercharge conventions must be translated explicitly.Open source
- Tong · Line operators in the Standard Model§1 and §3, especially pp. 7–9: the embedded Z6, integer hypercharge, and four quotient choicesOpen source
- Brian Conrad, Fundamental Groups of Lie Groupspp. 1–2: the exact sequence for a connected Lie group modulo a discrete central subgroupOpen source
map:su-3-su-2-u1-to-su-5-block#imageInjective
No
- The Algebra of Grand Unified TheoriesSection 3.1: SU(5), exterior powers of its fundamental, and the Standard Model subgroup. Hypercharge conventions must be translated explicitly.Open source
- Tong · Line operators in the Standard Model§1 and §3, especially pp. 7–9: the embedded Z6, integer hypercharge, and four quotient choicesOpen source
- Brian Conrad, Fundamental Groups of Lie Groupspp. 1–2: the exact sequence for a connected Lie group modulo a discrete central subgroupOpen source
map:su-3-su-2-u1-to-su-5-block#injectiveSurjective onto SU(5)
No
- The Algebra of Grand Unified TheoriesSection 3.1: SU(5), exterior powers of its fundamental, and the Standard Model subgroup. Hypercharge conventions must be translated explicitly.Open source
- Tong · Line operators in the Standard Model§1 and §3, especially pp. 7–9: the embedded Z6, integer hypercharge, and four quotient choicesOpen source
- Brian Conrad, Fundamental Groups of Lie Groupspp. 1–2: the exact sequence for a connected Lie group modulo a discrete central subgroupOpen source
map:su-3-su-2-u1-to-su-5-block#surjectivePhysical hypercharge
Y=−X/6; integer Q=6Y=−X
- The Algebra of Grand Unified TheoriesSection 3.1: SU(5), exterior powers of its fundamental, and the Standard Model subgroup. Hypercharge conventions must be translated explicitly.Open source
- Tong · Line operators in the Standard Model§1 and §3, especially pp. 7–9: the embedded Z6, integer hypercharge, and four quotient choicesOpen source
- Brian Conrad, Fundamental Groups of Lie Groupspp. 1–2: the exact sequence for a connected Lie group modulo a discrete central subgroupOpen source
map:su-3-su-2-u1-to-su-5-block#normalizationKeep the charge
The same nonabelian multiplet can occur at different U(1) charges. The complete output is labeled by both SU highest weights and X. The kernel condition is −2t3+3t2+X=0 mod 6. The tool separately displays Y=−X/6 and transfers Q=−X when opening the product-group calculation.
- The Algebra of Grand Unified TheoriesSection 3.1: SU(5), exterior powers of its fundamental, and the Standard Model subgroup. Hypercharge conventions must be translated explicitly.Open source
- Tong · Line operators in the Standard Model§1 and §3, especially pp. 7–9: the embedded Z6, integer hypercharge, and four quotient choicesOpen source
- Brian Conrad, Fundamental Groups of Lie Groupspp. 1–2: the exact sequence for a connected Lie group modulo a discrete central subgroupOpen source
map:su-3-su-2-u1-to-su-5-block#branching-1From homomorphism to embedding
The map is not injective on the compact product. Quotienting by its actual kernel gives the block subgroup. Inverting the U(1) coordinate changes from the X convention to Q=6Y and identifies this quotient with the G_SM^(6) record.
- The Algebra of Grand Unified TheoriesSection 3.1: SU(5), exterior powers of its fundamental, and the Standard Model subgroup. Hypercharge conventions must be translated explicitly.Open source
- Tong · Line operators in the Standard Model§1 and §3, especially pp. 7–9: the embedded Z6, integer hypercharge, and four quotient choicesOpen source
- Brian Conrad, Fundamental Groups of Lie Groupspp. 1–2: the exact sequence for a connected Lie group modulo a discrete central subgroupOpen source
map:su-3-su-2-u1-to-su-5-block#global-form-1Underlying compact product, with the X coordinate stated here
group:standard-model-z1
- The Algebra of Grand Unified TheoriesSection 3.1: SU(5), exterior powers of its fundamental, and the Standard Model subgroup. Hypercharge conventions must be translated explicitly.Open source
- Tong · Line operators in the Standard Model§1 and §3, especially pp. 7–9: the embedded Z6, integer hypercharge, and four quotient choicesOpen source
- Brian Conrad, Fundamental Groups of Lie Groupspp. 1–2: the exact sequence for a connected Lie group modulo a discrete central subgroupOpen source
map:su-3-su-2-u1-to-su-5-block#relation-1Parent group
group:su-5
- The Algebra of Grand Unified TheoriesSection 3.1: SU(5), exterior powers of its fundamental, and the Standard Model subgroup. Hypercharge conventions must be translated explicitly.Open source
- Tong · Line operators in the Standard Model§1 and §3, especially pp. 7–9: the embedded Z6, integer hypercharge, and four quotient choicesOpen source
- Brian Conrad, Fundamental Groups of Lie Groupspp. 1–2: the exact sequence for a connected Lie group modulo a discrete central subgroupOpen source
map:su-3-su-2-u1-to-su-5-block#relation-2Image after converting X to Q=−X
group:standard-model-z6
- The Algebra of Grand Unified TheoriesSection 3.1: SU(5), exterior powers of its fundamental, and the Standard Model subgroup. Hypercharge conventions must be translated explicitly.Open source
- Tong · Line operators in the Standard Model§1 and §3, especially pp. 7–9: the embedded Z6, integer hypercharge, and four quotient choicesOpen source
- Brian Conrad, Fundamental Groups of Lie Groupspp. 1–2: the exact sequence for a connected Lie group modulo a discrete central subgroupOpen source
map:su-3-su-2-u1-to-su-5-block#relation-3