Find the exact object.

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

Lie theory · Group

SL(2,R)~\widetilde{\mathrm{SL}(2,\mathbb R)}Simply connected group integrating sl(2,R)

Simply connected real Lie group; not a matrix group. The simply connected covering Lie group of SL(2,R), or equivalently of PSL(2,R).

Compare this group
Reference coverageNoncompact Lie groupSimple algebraSimply connected
Definition

The simply connected covering Lie group of SL(2,R), or equivalently of PSL(2,R).

Definition sources
Real dimension
33
Source and assumptions
Fundamental group π₁
00
Source and assumptions

Reference properties

PropertyValueEvidence
Real dimension33Sources
Real rank11Sources
CenterZSources
Fundamental group π₁00Sources
CompactNoSources
ConnectedYesSources
AbelianNoSources
Simple real Lie algebraYesSources
Global formSimply connected real Lie group; not a matrix groupSources
Real Lie algebrasl(2,R)\mathfrak{sl}(2, \mathbb R)Sources
Maximal compact subgroupTrivialSources

Global structure and topology

The lifted Iwasawa factors identify its manifold with R³. Let z be the central element represented by a lift of a rotation through π in SL(2,R). Then the projection to SL(2,R) has kernel ⟨z²⟩, while the projection to PSL(2,R) has kernel ⟨z⟩. [sources]

Representation category and descent

Every finite-dimensional complex representation factors through SL(2,R). Consequently this simply connected Lie group has no faithful finite-dimensional matrix representation; its infinite cyclic center is not detected faithfully in that category. [sources]

Names and aliases

Universal cover of PSL(2,R) · Universal cover of SU(1,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 simply connected covering Lie group of SL(2,R), or equivalently of PSL(2,R).

group:universal-cover-sl-2-r#definition
Real dimension

3

group:universal-cover-sl-2-r#dimension
Real rank

1

group:universal-cover-sl-2-r#real-rank
Center

Z

group:universal-cover-sl-2-r#center
Fundamental group π₁

0

group:universal-cover-sl-2-r#pi1
Compact

No

group:universal-cover-sl-2-r#compact
Connected

Yes

group:universal-cover-sl-2-r#connected
Abelian

No

group:universal-cover-sl-2-r#abelian
Simple real Lie algebra

Yes

group:universal-cover-sl-2-r#simple-algebra
Global form

Simply connected real Lie group; not a matrix group

group:universal-cover-sl-2-r#global-form
Real Lie algebra

sl(2, R)

group:universal-cover-sl-2-r#lie-algebra
Maximal compact subgroup

Trivial

group:universal-cover-sl-2-r#maximal-compact
Global structure and topology

The lifted Iwasawa factors identify its manifold with R³. Let z be the central element represented by a lift of a rotation through π in SL(2,R). Then the projection to SL(2,R) has kernel ⟨z²⟩, while the projection to PSL(2,R) has kernel ⟨z⟩.

group:universal-cover-sl-2-r#topology-1
Representation category and descent

Every finite-dimensional complex representation factors through SL(2,R). Consequently this simply connected Lie group has no faithful finite-dimensional matrix representation; its infinite cyclic center is not detected faithfully in that category.

group:universal-cover-sl-2-r#representations-1
Real Lie algebra

algebra:sl-2-r

group:universal-cover-sl-2-r#relation-1
Real-form context

real-form:sl-2-r

group:universal-cover-sl-2-r#relation-2
Explicit homomorphism

map:universal-sl-2-r-to-sl-2-r

group:universal-cover-sl-2-r#relation-3