Find the exact object.

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

Lie theory · Lie algebra

sl(2,C)R\mathfrak{sl}(2,\mathbb C)_{\mathbb R}sl(2, C) viewed over R — real Lie algebra

The complex traceless 2 × 2 matrices with only real scalar multiplication retained. This is a simple real algebra, isomorphic to so(1,3); its complexification is sl(2,C) ⊕ sl(2,C).

Reference coverageNoncompact algebraSimple over R
Definition

The complex traceless 2 × 2 matrices with only real scalar multiplication retained. This is a simple real algebra, isomorphic to so(1,3); its complexification is sl(2,C) ⊕ sl(2,C).

Definition sources
Real dimension
66
Source and assumptions
Absolute rank (of complexification)
22
Source and assumptions

Reference properties

PropertyValueEvidence
Scalar fieldRSources
Real dimension66Sources
Absolute rank (of complexification)22Sources
Simple over RYesSources
Compact real algebraNoSources
Complexificationsl(2,C)⊕sl(2,C)\mathfrak{sl}(2, \mathbb C) \oplus \mathfrak{sl}(2, \mathbb C)Sources
Real rank11Sources

From algebra to group

The linked groups integrate this real Lie algebra. They can have different centers and fundamental groups, so their ordinary representations are not interchangeable solely because their Lie algebras agree. [sources]

Restriction of scalars doubles the real dimension. Complexifying this realification gives two complex sl(2,C) factors, which label the two chiral highest weights. It is not a real form of the single complex A₁ algebra. [sources]

Names and aliases

so(1,3) · so(3,1)

Aliases identify the stated object under this record’s conventions. Type names and broader search terms are kept separate.

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 complex traceless 2 × 2 matrices with only real scalar multiplication retained. This is a simple real algebra, isomorphic to so(1,3); its complexification is sl(2,C) ⊕ sl(2,C).

algebra:sl-2-c-as-real#definition
Scalar field

R

algebra:sl-2-c-as-real#field
Real dimension

6

algebra:sl-2-c-as-real#dimension
Absolute rank (of complexification)

2

algebra:sl-2-c-as-real#rank
Simple over R

Yes

algebra:sl-2-c-as-real#simple
Compact real algebra

No

algebra:sl-2-c-as-real#compact
Complexification

sl(2, C) ⊕ sl(2, C)

algebra:sl-2-c-as-real#complexification
Real rank

1

algebra:sl-2-c-as-real#real-rank
From algebra to group

The linked groups integrate this real Lie algebra. They can have different centers and fundamental groups, so their ordinary representations are not interchangeable solely because their Lie algebras agree.

algebra:sl-2-c-as-real#integration-1
From algebra to group

Restriction of scalars doubles the real dimension. Complexifying this realification gives two complex sl(2,C) factors, which label the two chiral highest weights. It is not a real form of the single complex A₁ algebra.

Derivation: For a complex algebra g, g_R ⊗_R C ≅ g ⊕ conjugate(g). For sl(2,C), the conjugate algebra is again sl(2,C).

Premises: algebra:a-1-c · Restriction of scalars R ⊂ C

algebra:sl-2-c-as-real#integration-2
Complexification

algebra:a-1-plus-a-1-c

algebra:sl-2-c-as-real#relation-1
Real-form context

real-form:sl-2-c-as-real

algebra:sl-2-c-as-real#relation-2
Curated integrating group

group:sl-2-c

algebra:sl-2-c-as-real#relation-3
Curated integrating group

group:so-1-3-identity

algebra:sl-2-c-as-real#relation-4