hasUniversalCover
P70392
predicate
Indicates that one mathematical space serves as the universal covering space of another, mapping onto it via a covering map that is simply connected and covers all its loops.
Observed surface forms (3)
- isUniversalCoverOf ×6
- universalCover ×3
- hasCoveringMapFrom ×1
Sample triples (14)
| Subject | Object |
|---|---|
| AdS isometry group SO(2,d) | Spin(2,d) ⓘ |
|
PSL(2,\mathbb{C})
surface form:
PSL(2,ℂ)
|
SL(2,ℂ) NERFINISHED ⓘ |
| PSL(2,ℝ) | universal covering group of SL(2,ℝ) via predicate surface "universalCover" ⓘ |
| SL(2,C) |
Lorentz group
via predicate surface "isUniversalCoverOf"
ⓘ
surface form:
SO^+(3,1)
|
| SL(2,R) | universal covering group of SL(2,R) via predicate surface "universalCover" ⓘ |
| SL(2,ℤ) | PSL(2,ℤ) up to center via predicate surface "isUniversalCoverOf" ⓘ |
|
special linear group SL(n,C)
surface form:
SL(n,ℂ)
|
itself for n ≥ 2 ⓘ |
| SO(2,d-1) | Spin(2,d-1) ⓘ |
|
rotation group SO(3)
surface form:
SO(3)
|
rotation group SU(2)
via predicate surface "universalCover"
ⓘ
surface form:
SU(2)
|
|
rotation group SO(3)
surface form:
SO(3)
|
unit quaternions via predicate surface "hasCoveringMapFrom" ⓘ |
|
rotation group SU(2)
surface form:
SU(2)
|
SO(3) via predicate surface "isUniversalCoverOf" NERFINISHED ⓘ |
| S^2 × R geometry | geometric S^2 × R 3-manifolds via predicate surface "isUniversalCoverOf" ⓘ |
| Spin(2,d) | SO(2,d)^{ ext{connected}} via predicate surface "isUniversalCoverOf" ⓘ |
| Teichmüller space | moduli space of Riemann surfaces via predicate surface "isUniversalCoverOf" NERFINISHED ⓘ |