Identity component of the orthogonal group of signature (2,3)
Sp(4,R)/{±I}. The identity component of the determinant-one real 5 × 5 matrices preserving a quadratic form with signature (2,3).
The identity component of the determinant-one real 5 × 5 matrices preserving a quadratic form with signature (2,3).
Definition sourcesReference properties
Global structure and topology
Its maximal compact subgroup is SO(2) × SO(3), giving π₁ = Z × C₂. The connected spin cover is Sp(4,R), whose fundamental group is Z. Neither the word Spin nor this double cover makes that covering group simply connected. [sources]
Representation category and descent
The vector 5 is an ordinary representation of SO₀(2,3). The symplectic 4 belongs to its connected spin cover Sp(4,R), since the covering kernel acts by minus the identity. [sources]
Related objects and maps
- Real Lie algebra
- Real-form context
- Explicit homomorphism
- Specified connected covering group
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 identity component of the determinant-one real 5 × 5 matrices preserving a quadratic form with signature (2,3).
- Lie Groups and Lie AlgebrasSections 6.1–6.3: classical matrix groups and their Lie algebrasOpen source
- Lecture 15: Classification of Real Forms of Semisimple Lie AlgebrasSections 41.2–41.4: compact, split, and classical real formsOpen source
group:so-2-3-identity#definitionReal 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
group:so-2-3-identity#dimensionReal rank
2
- Lecture 15: Classification of Real Forms of Semisimple Lie AlgebrasSections 41.2–41.4: compact, split, and classical real formsOpen source
group:so-2-3-identity#real-rankCenter
1
- Lie Groups and Lie AlgebrasSections 6.1–6.3: classical matrix groups and their Lie algebrasOpen source
- Lie Groups Beyond an Introduction — Chapter VI: Structure Theory of Semisimple GroupsChapter VI, Sections 3–4: Cartan and Iwasawa decompositions; Theorem 6.46 (Iwasawa), printed pages 317–318; SU(p,q) and SO(p,q) examples on pages 314–316Open source
group:so-2-3-identity#centerFundamental group π₁
Z × C₂
- Lie Groups Beyond an Introduction — Chapter VI: Structure Theory of Semisimple GroupsChapter VI, Sections 3–4: Cartan and Iwasawa decompositions; Theorem 6.46 (Iwasawa), printed pages 317–318; SU(p,q) and SO(p,q) examples on pages 314–316Open source
- Lecture 17: Classification of Connected Compact and Complex Reductive GroupsSection 43.2: polar decomposition; Example 43.10 for SL(n,R) and SL(n,C)Open source
- Conrad and Landesman · Compact Lie groupsAppendix O, pages 231–232: fundamental groups and covering groups; Appendix V: central quotientsOpen source
Premises: Maximal compact subgroup: SO(2) × SO(3) · π₁(SO(2))=Z, π₁(SO(n))=C₂ for n≥3, π₁(U(2))=Z · For S(U(2)×U(2)), the determinant map has simply connected fiber SU(2)×SU(2), giving π₁=Z
group:so-2-3-identity#pi1Compact
No
- Lie Groups and Lie AlgebrasSections 6.1–6.3: classical matrix groups and their Lie algebrasOpen source
- Lie Groups Beyond an Introduction — Chapter VI: Structure Theory of Semisimple GroupsChapter VI, Sections 3–4: Cartan and Iwasawa decompositions; Theorem 6.46 (Iwasawa), printed pages 317–318; SU(p,q) and SO(p,q) examples on pages 314–316Open source
group:so-2-3-identity#compactConnected
Yes
- Lie Groups and Lie AlgebrasSections 6.1–6.3: classical matrix groups and their Lie algebrasOpen source
- Lie Groups Beyond an Introduction — Chapter VI: Structure Theory of Semisimple GroupsChapter VI, Sections 3–4: Cartan and Iwasawa decompositions; Theorem 6.46 (Iwasawa), printed pages 317–318; SU(p,q) and SO(p,q) examples on pages 314–316Open source
group:so-2-3-identity#connectedAbelian
No
- 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
group:so-2-3-identity#abelianSimple real Lie algebra
Yes
- 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 groupsLecture 25 and Appendix T: root systems and classical root computationsOpen source
group:so-2-3-identity#simple-algebraGlobal form
Sp(4,R)/{±I}
- Lie Groups Beyond an Introduction — Chapter VI: Structure Theory of Semisimple GroupsChapter VI, Sections 3–4: Cartan and Iwasawa decompositions; Theorem 6.46 (Iwasawa), printed pages 317–318; SU(p,q) and SO(p,q) examples on pages 314–316Open source
- Lie Groups Beyond an Introduction — Chapter VI: Structure Theory of Semisimple GroupsChapter VI, Sections 3–4: Cartan and Iwasawa decompositions; Theorem 6.46 (Iwasawa), printed pages 317–318; SU(p,q) and SO(p,q) examples on pages 314–316Open source
- Conrad and Landesman · Compact Lie groupsLecture 16, including (16.6), and Appendix P: Spin(n) as the simply connected double cover for n ≥ 3Open source
- Sporadic isogenies to orthogonal groupsSection 2.8: real symplectic double cover of SO(3,2)Open source
group:so-2-3-identity#global-formReal Lie algebra
sp(4, R) ≅ so(2,3)
- Lie Groups and Lie AlgebrasSections 6.1–6.3: classical matrix groups and their Lie algebrasOpen source
- Lecture 15: Classification of Real Forms of Semisimple Lie AlgebrasSections 41.2–41.4: compact, split, and classical real formsOpen source
group:so-2-3-identity#lie-algebraMaximal compact subgroup
SO(2) × SO(3)
- Lie Groups and Lie AlgebrasSections 6.1–6.3: classical matrix groups and their Lie algebrasOpen source
- Lie Groups Beyond an Introduction — Chapter VI: Structure Theory of Semisimple GroupsChapter VI, Sections 3–4: Cartan and Iwasawa decompositions; Theorem 6.46 (Iwasawa), printed pages 317–318; SU(p,q) and SO(p,q) examples on pages 314–316Open source
- Lecture 17: Classification of Connected Compact and Complex Reductive GroupsSection 43.2: polar decomposition; Example 43.10 for SL(n,R) and SL(n,C)Open source
group:so-2-3-identity#maximal-compactGlobal structure and topology
Its maximal compact subgroup is SO(2) × SO(3), giving π₁ = Z × C₂. The connected spin cover is Sp(4,R), whose fundamental group is Z. Neither the word Spin nor this double cover makes that covering group simply connected.
- Lie Groups Beyond an Introduction — Chapter VI: Structure Theory of Semisimple GroupsChapter VI, Sections 3–4: Cartan and Iwasawa decompositions; Theorem 6.46 (Iwasawa), printed pages 317–318; SU(p,q) and SO(p,q) examples on pages 314–316Open source
- Conrad and Landesman · Compact Lie groupsLecture 16, including (16.6), and Appendix P: Spin(n) as the simply connected double cover for n ≥ 3Open source
- Sporadic isogenies to orthogonal groupsSection 2.8: real symplectic double cover of SO(3,2)Open source
group:so-2-3-identity#topology-1Representation category and descent
The vector 5 is an ordinary representation of SO₀(2,3). The symplectic 4 belongs to its connected spin cover Sp(4,R), since the covering kernel acts by minus the identity.
- Sporadic isogenies to orthogonal groupsSection 2.8: four-dimensional defining module and five-dimensional orthogonal actionOpen source
group:so-2-3-identity#representations-1Real Lie algebra
algebra:sp-4-r
- Lie Groups and Lie AlgebrasSections 6.1–6.3: classical matrix groups and their Lie algebrasOpen source
- Lecture 15: Classification of Real Forms of Semisimple Lie AlgebrasSections 41.2–41.4: compact, split, and classical real formsOpen source
group:so-2-3-identity#relation-1Real-form context
real-form:sp-4-r
- Lecture 15: Classification of Real Forms of Semisimple Lie AlgebrasSections 41.2–41.4: compact, split, and classical real formsOpen source
group:so-2-3-identity#relation-2Explicit homomorphism
map:sp-4-r-to-so-2-3
- Lie Groups Beyond an Introduction — Chapter VI: Structure Theory of Semisimple GroupsChapter VI, Sections 3–4: Cartan and Iwasawa decompositions; Theorem 6.46 (Iwasawa), printed pages 317–318; SU(p,q) and SO(p,q) examples on pages 314–316Open source
- Conrad and Landesman · Compact Lie groupsLecture 16, including (16.6), and Appendix P: Spin(n) as the simply connected double cover for n ≥ 3Open source
- Sporadic isogenies to orthogonal groupsSection 2.8: real symplectic double cover of SO(3,2)Open source
group:so-2-3-identity#relation-3Specified connected covering group
group:sp-4-r
- Lie Groups Beyond an Introduction — Chapter VI: Structure Theory of Semisimple GroupsChapter VI, Sections 3–4: Cartan and Iwasawa decompositions; Theorem 6.46 (Iwasawa), printed pages 317–318; SU(p,q) and SO(p,q) examples on pages 314–316Open source
- Conrad and Landesman · Compact Lie groupsLecture 16, including (16.6), and Appendix P: Spin(n) as the simply connected double cover for n ≥ 3Open source
- Sporadic isogenies to orthogonal groupsSection 2.8: real symplectic double cover of SO(3,2)Open source
group:so-2-3-identity#relation-4