Find the exact object.

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

Lie theory · Group

SO0(2,4)\mathrm{SO}_0(2,4)Identity component of the orthogonal group of signature (2,4)

SU(2,2)/{±I}. The identity component of the determinant-one real 6 × 6 matrices preserving a quadratic form with signature (2,4).

Compare this group
Reference coverageNoncompact Lie groupSimple algebraGlobal form
Definition

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

Definition sources
Real dimension
1515
Source and assumptions
Center
C2\mathrm{C}_{2}
Source and assumptions
Fundamental group π₁
Z × C₂
Source and assumptions

Reference properties

PropertyValueEvidence
Real dimension1515Sources
Real rank22Sources
CenterC2\mathrm{C}_{2}Sources
Fundamental group π₁Z × C₂Sources
CompactNoSources
ConnectedYesSources
AbelianNoSources
Simple real Lie algebraYesSources
Global formSU(2,2)/{±I}\mathrm{SU}(2,2)/\{\pm I\}Sources
Real Lie algebrasu(2,2)≅so(2,4)\mathfrak{su}(2,2) \cong \mathfrak{so}(2,4)Sources
Maximal compact subgroupSO(2)×SO(4)\mathrm{SO}(2) \times \mathrm{SO}(4)Sources

Global structure and topology

A Cartan decomposition gives maximal compact subgroup SO(2) × SO(4), hence π₁ = Z × C₂. The matrix −I lies in the identity component because both signature blocks have even dimension; the center is {±I}. Its spin double cover SU(2,2) still has π₁ = Z. [sources]

Representation category and descent

The vector 6 is an ordinary representation of this matrix group. The chiral spinor 4 of SU(2,2) does not descend through the order-two covering kernel. For a spacetime application, specify separately whether the action uses this group, its projective quotient, or a further covering group. [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 6 × 6 matrices preserving a quadratic form with signature (2,4).

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

15

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

2

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

C₂

group:so-2-4-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(4) · π₁(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-4-identity#pi1
Compact

No

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

Yes

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

No

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

Yes

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

SU(2,2)/{±I}

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

su(2,2) ≅ so(2,4)

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

SO(2) × SO(4)

group:so-2-4-identity#maximal-compact
Global structure and topology

A Cartan decomposition gives maximal compact subgroup SO(2) × SO(4), hence π₁ = Z × C₂. The matrix −I lies in the identity component because both signature blocks have even dimension; the center is {±I}. Its spin double cover SU(2,2) still has π₁ = Z.

group:so-2-4-identity#topology-1
Representation category and descent

The vector 6 is an ordinary representation of this matrix group. The chiral spinor 4 of SU(2,2) does not descend through the order-two covering kernel. For a spacetime application, specify separately whether the action uses this group, its projective quotient, or a further covering group.

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

algebra:su-2-2-r

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

real-form:su-2-2-r

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

map:su-2-2-to-so-2-4

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

group:su-2-2

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