so(5, C) ≅ sp(4, C) — complex Lie algebra
The complex simple algebra of type B₂, isomorphic to the symplectic Lie algebra on C⁴. The B₂ and C₂ diagrams use different conventional node numberings.
The complex simple algebra of type B₂, isomorphic to the symplectic Lie algebra on C⁴. The B₂ and C₂ diagrams use different conventional node numberings.
Definition sourcesReference properties
Using the algebra record
The dimension here is complex dimension. A real form has the same real dimension, while restriction of scalars of this complex algebra to R doubles the dimension. Its connected integrating group and center require additional global information. [sources]
Choose a real-form record before selecting a real Lie group. Highest weights belong to a weight-lattice convention, and their integration to a global quotient requires a kernel test. [sources]
Names and aliases
sp(4,C) · C₂
Related objects and maps
- Simple-type classification
- C₂ low-rank coincidence
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 complex simple algebra of type B₂, isomorphic to the symplectic Lie algebra on C⁴. The B₂ and C₂ diagrams use different conventional node numberings.
- Lie Groups and Lie AlgebrasSections 6.1–6.3: classical matrix groups and their Lie algebrasOpen source
- Conrad and Landesman · Compact Lie groupsLecture 25 and Appendix T: root systems and classical root computationsOpen source
- Math 210C. Centers of simply connected semisimple groupsPage 4: SO(3), SO(4), SO(5), and SO(6) low-rank isomorphismsOpen source
algebra:b-2-c#definitionScalar field
C
- Lie Groups and Lie AlgebrasSections 6.1–6.3: classical matrix groups and their Lie algebrasOpen source
algebra:b-2-c#fieldComplex dimension
10
- Lie Groups and Lie AlgebrasSections 6.1–6.3: classical matrix groups and their Lie algebrasOpen source
- Conrad and Landesman · Compact Lie groupsLecture 25 and Appendix T: root systems and classical root computationsOpen source
- Lecture 6: Maximal Root, Exponents, Coxeter Numbers, Dual RepresentationsSection 32.4, printed pages 175–176: Coxeter and dual Coxeter numbersOpen source
algebra:b-2-c#dimensionComplex rank
2
- Conrad and Landesman · Compact Lie groupsLecture 25 and Appendix T: root systems and classical root computationsOpen source
algebra:b-2-c#rankRoot-system type
B₂ = C₂
- Conrad and Landesman · Compact Lie groupsLecture 25 and Appendix T: root systems and classical root computationsOpen source
- Math 210C. Centers of simply connected semisimple groupsPage 4: SO(3), SO(4), SO(5), and SO(6) low-rank isomorphismsOpen source
algebra:b-2-c#cartan-typeSimple over C
Yes
- Conrad and Landesman · Compact Lie groupsLecture 25 and Appendix T: root systems and classical root computationsOpen source
- Math 210C. Centers of simply connected semisimple groupsPage 4: SO(3), SO(4), SO(5), and SO(6) low-rank isomorphismsOpen source
algebra:b-2-c#simpleUsing the algebra record
The dimension here is complex dimension. A real form has the same real dimension, while restriction of scalars of this complex algebra to R doubles the dimension. Its connected integrating group and center require additional global information.
- Lecture 15: Classification of Real Forms of Semisimple Lie AlgebrasSections 41.2–41.4: compact, split, and classical real formsOpen source
- Conrad and Landesman · Compact Lie groupsAppendix O, pages 231–232: fundamental groups and covering groups; Appendix V: central quotientsOpen source
algebra:b-2-c#interpretation-1Using the algebra record
Choose a real-form record before selecting a real Lie group. Highest weights belong to a weight-lattice convention, and their integration to a global quotient requires a kernel test.
- Conrad and Landesman · Compact Lie groupsLectures 27–28: highest-weight classification and fundamental representationsOpen source
- Lecture 17: Classification of Connected Compact and Complex Reductive GroupsSection 43.1, Proposition 43.2 and Corollary 43.5: weight lattices and descent to central quotientsOpen source
algebra:b-2-c#interpretation-2Simple-type classification
family:lie-b
- Conrad and Landesman · Compact Lie groupsLecture 25 and Appendix T: root systems and classical root computationsOpen source
algebra:b-2-c#relation-1C₂ low-rank coincidence
family:lie-c
- Math 210C. Centers of simply connected semisimple groupsPage 4: SO(3), SO(4), SO(5), and SO(6) low-rank isomorphismsOpen source
algebra:b-2-c#relation-2