Find the exact object.

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

Lie theory · Group

SO0(2,3)\mathrm{SO}_0(2,3)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).

Compare this group
Reference coverageNoncompact Lie groupSimple algebraGlobal form
Definition

The identity component of the determinant-one real 5 × 5 matrices preserving a quadratic form with signature (2,3).

Definition sources
Real dimension
1010
Source and assumptions
Fundamental group π₁
Z × C₂
Source and assumptions

Reference properties

PropertyValueEvidence
Real dimension1010Sources
Real rank22Sources
Center11Sources
Fundamental group π₁Z × C₂Sources
CompactNoSources
ConnectedYesSources
AbelianNoSources
Simple real Lie algebraYesSources
Global formSp(4,R)/{±I}\mathrm{Sp}(4,\mathbb R)/\{\pm I\}Sources
Real Lie algebrasp(4,R)≅so(2,3)\mathfrak{sp}(4, \mathbb R) \cong \mathfrak{so}(2,3)Sources
Maximal compact subgroupSO(2)×SO(3)\mathrm{SO}(2) \times \mathrm{SO}(3)Sources

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

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).

group:so-2-3-identity#definition
Real dimension

10

group:so-2-3-identity#dimension
Real rank

2

group:so-2-3-identity#real-rank
Center

1

group:so-2-3-identity#center
Fundamental group π₁

Z × C₂

Derivation: Cartan decomposition is a deformation retraction onto the stated maximal compact subgroup; compute its fundamental group.

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#pi1
Compact

No

group:so-2-3-identity#compact
Connected

Yes

group:so-2-3-identity#connected
Abelian

No

group:so-2-3-identity#abelian
Simple real Lie algebra

Yes

group:so-2-3-identity#simple-algebra
Global form

Sp(4,R)/{±I}

group:so-2-3-identity#global-form
Real Lie algebra

sp(4, R) ≅ so(2,3)

group:so-2-3-identity#lie-algebra
Maximal compact subgroup

SO(2) × SO(3)

group:so-2-3-identity#maximal-compact
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.

group:so-2-3-identity#topology-1
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.

group:so-2-3-identity#representations-1
Real Lie algebra

algebra:sp-4-r

group:so-2-3-identity#relation-1
Real-form context

real-form:sp-4-r

group:so-2-3-identity#relation-2
Explicit homomorphism

map:sp-4-r-to-so-2-3

group:so-2-3-identity#relation-3
Specified connected covering group

group:sp-4-r

group:so-2-3-identity#relation-4