Find the exact object.

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

Lie theory · Real form

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

Noncompact real form of sl(2, C) ⊕ sl(2, C) with its curated integrating groups.

Reference coverageNoncompact real form
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

Complexification

sl(2,C)⊕sl(2,C)\mathfrak{sl}(2, \mathbb C) \oplus \mathfrak{sl}(2, \mathbb C)

This real form is noncompact. The integration links below identify particular global groups with this local algebra.

Reference properties

PropertyValueEvidence
Real dimension66Sources
Complexificationsl(2,C)⊕sl(2,C)\mathfrak{sl}(2, \mathbb C) \oplus \mathfrak{sl}(2, \mathbb C)Sources
Compact real formNoSources
Real rank11Sources

One algebra, several integrations

A real form is algebraic data over R. The linked group records fix particular connected integrations, and state their global topology separately. Compactness of this real algebra should not be used to infer a particular quotient kernel. [sources]

Here the complex algebra is A₁ ⊕ A₁. The same complexification also has the compact real form su(2) ⊕ su(2), but the two real algebras are different: the Lorentz algebra is simple over R and the compact one is a direct sum. [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 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).

real-form:sl-2-c-as-real#definition
Real dimension

6

real-form:sl-2-c-as-real#dimension
Complexification

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

real-form:sl-2-c-as-real#complexification
Compact real form

No

real-form:sl-2-c-as-real#compact
Real rank

1

real-form:sl-2-c-as-real#real-rank
One algebra, several integrations

A real form is algebraic data over R. The linked group records fix particular connected integrations, and state their global topology separately. Compactness of this real algebra should not be used to infer a particular quotient kernel.

real-form:sl-2-c-as-real#global-forms-1
One algebra, several integrations

Here the complex algebra is A₁ ⊕ A₁. The same complexification also has the compact real form su(2) ⊕ su(2), but the two real algebras are different: the Lorentz algebra is simple over R and the compact one is a direct sum.

Derivation: Compare the ideals of the realification with those of the compact direct sum, and complexify both.

Premises: algebra:sl-2-c-as-real · algebra:so-4-compact-r · algebra:a-1-plus-a-1-c

real-form:sl-2-c-as-real#global-forms-2
Actual real Lie algebra

algebra:sl-2-c-as-real

real-form:sl-2-c-as-real#relation-1
Complexification

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

real-form:sl-2-c-as-real#relation-2
Curated global form

group:sl-2-c

real-form:sl-2-c-as-real#relation-3
Curated global form

group:so-1-3-identity

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