PSL(2,ℝ)

E656693

PSL(2,ℝ) is the Lie group of orientation-preserving isometries of the hyperbolic plane, realized as 2×2 real matrices with determinant 1 modulo their center.

All labels observed (5)

Label Occurrences
PSL(2,ℝ) canonical 7
PSL(2,R) 3
Isom⁺(ℍ²) 1

How this entity was disambiguated

Statements (48)

Predicate Object
instanceOf Lie group ⓘ
center-free group ⓘ
connected Lie group ⓘ
linear group ⓘ
rank-one Lie group ⓘ
real Lie group ⓘ
real algebraic group ⓘ
semisimple Lie group ⓘ
simple Lie group ⓘ
actionType orientation-preserving isometries of hyperbolic plane ⓘ
actsOn Poincaré disk model of hyperbolic plane ⓘ
upper half-plane model of hyperbolic plane ⓘ
CartanDecomposition KAK with K≅SO(2) ⓘ
definedAs SL(2,ℝ)/{±I} ⓘ
dimensionOverℝ 3 ⓘ
fullName projective special linear group of 2×2 real matrices ⓘ
fundamentalGroup ℤ ⓘ
hasCenter trivial group ⓘ
hasKillingFormSignature (2,1) ⓘ
hasLatticeSubgroups fundamental groups of closed hyperbolic surfaces ⓘ
hasLieAlgebra sl(2,ℝ) ⓘ
hasMaximalCompactSubgroup SO(2) ⓘ
hasPropertyT false ⓘ
hasRealFormOf complex Lie group PSL(2,ℂ) ⓘ
isAmenable false ⓘ
isConnected true ⓘ
isDoubleCoverOf SO⁺(2,1) ⓘ
isFuchsianGroupContainer contains discrete subgroups called Fuchsian groups ⓘ
isGromovHyperbolic false ⓘ
isIsometryGroupOf hyperbolic plane ⓘ
isNonCompact true ⓘ
isomorphicTo Isom⁺(ℍ²) ⓘ
linked to: PSL(2,ℝ)

orientation-preserving isometry group of hyperbolic plane ⓘ
isRealPointsOf algebraic group PSL₂ over ℝ ⓘ
linked to: PSL(2,ℝ)
isSimplyConnected false ⓘ
isWordHyperbolic false ⓘ
IwasawaDecomposition KAN with K≅SO(2), A≅ℝ, N≅ℝ ⓘ
locallyIsomorphicTo SL(2,ℝ) ⓘ
linked to: SL(2,R)

SO⁺(2,1) ⓘ
quotientBy {±I} ⓘ
quotientOf SL(2,ℝ) ⓘ
linked to: SL(2,R)
realRank 1 ⓘ
universalCover universal covering group of SL(2,ℝ) ⓘ
usedIn Teichmüller theory ⓘ
automorphic forms ⓘ
hyperbolic geometry ⓘ
representation theory of Lie groups ⓘ
theory of Fuchsian groups ⓘ

How these facts were elicited

Referenced by (13)

Full triples — surface form annotated when it differs from this entity's canonical label.

PSL(2,ℤ) → isLatticeIn → PSL(2,ℝ) ⓘ
subject linked to: modular group PSL(2,Z)
PSL(2,ℤ) → cofiniteVolumeIn → PSL(2,ℝ) ⓘ
subject linked to: modular group PSL(2,Z)
PSL(2,ℝ) → isomorphicTo → Isom⁺(ℍ²) ⓘ
linked to: PSL(2,ℝ)
PSL(2,ℝ) → isRealPointsOf → algebraic group PSL₂ over ℝ ⓘ
linked to: PSL(2,ℝ)
Poincaré upper half-plane model → hasFullIsometryGroup → PGL(2,ℝ) ⓘ
linked to: PSL(2,ℝ)
SL(2,R) → quotientByCenter → PSL(2,R) ⓘ
linked to: PSL(2,ℝ)
SL(2,R) → relatedGroup → PSL(2,R) ⓘ
linked to: PSL(2,ℝ)
PSL(2,ℂ) → hasRealForm → PSL(2,ℝ) ⓘ
subject linked to: PSL(2,\mathbb{C})
PSL(2,ℂ) → containsSubgroup → PSL(2,ℝ) ⓘ
subject linked to: PSL(2,\mathbb{C})
PSL(2,ℂ) → hasRealPoints → PSL(2,ℝ) ⓘ
subject linked to: PSL(2,\mathbb{C})
Poincaré metric → isInvariantUnder → PSL(2,R) ⓘ
linked to: PSL(2,ℝ)