In mathematics, the quaternionic-hyperbolic space is a negatively curved symmetrical space defined with the help of quaternions .
definition
Let be the quaternions and be the - vector space with the quaternionic-Hermitian form
H
{\ displaystyle \ mathbb {H}}
H
n
,
1
{\ displaystyle \ mathbb {H} ^ {n, 1}}
H
{\ displaystyle \ mathbb {H}}
H
n
+
1
{\ displaystyle \ mathbb {H} ^ {n + 1}}
⟨
U
,
V
⟩
=
-
u
n
+
1
v
¯
n
+
1
+
∑
j
=
1
n
u
j
v
¯
j
{\ displaystyle \ langle U, V \ rangle = -u_ {n + 1} {\ overline {v}} _ {n + 1} + \ sum _ {j = 1} ^ {n} u_ {j} {\ overline {v}} _ {j}}
for . (Here the quaternionic conjugation is defined by for real numbers a, b, c, d.)
U
=
(
u
1
,
...
,
u
n
+
1
)
,
V
=
(
v
1
,
...
,
v
n
+
1
)
{\ displaystyle U = (u_ {1}, \ ldots, u_ {n + 1}), V = (v_ {1}, \ ldots, v_ {n + 1})}
a
+
b
i
+
c
j
+
d
k
¯
: =
a
-
b
i
-
c
j
-
d
k
{\ displaystyle {\ overline {a + bi + cj + dk}}: = a-bi-cj-dk}
The n-dimensional quaternionic-hyperbolic space is
H
H
n
{\ displaystyle \ mathbb {H} H ^ {n}}
H
H
n
=
{
X
∈
H
n
,
1
:
⟨
X
,
X
⟩
=
-
1
}
{\ displaystyle \ mathbb {H} H ^ {n} = \ left \ {X \ in \ mathbb {H} ^ {n, 1}: \ langle X, X \ rangle = -1 \ right \}}
with the Riemannian metric induced by the Hermitian form .
⟨
.
,
.
⟩
{\ displaystyle \ langle.,. \ rangle}
Seal model
An equivalent definition can be obtained with the seal model. Here the quaternionic-Hermitian form is used , the image is viewed from under the projection onto the projective space and defined .
⟨
U
,
V
⟩
=
u
¯
1
v
n
+
1
+
u
¯
2
v
2
+
...
+
u
¯
n
v
n
+
u
¯
n
+
1
v
1
{\ displaystyle \ langle U, V \ rangle = {\ overline {u}} _ {1} v_ {n + 1} + {\ overline {u}} _ {2} v_ {2} + \ ldots + {\ overline {u}} _ {n} v_ {n} + {\ overline {u}} _ {n + 1} v_ {1}}
V
-
: =
{
U
∈
H
n
+
1
:
⟨
U
,
U
⟩
<
0
}
{\ displaystyle V _ {-}: = \ left \ {U \ in \ mathbb {H} ^ {n + 1}: \ langle U, U \ rangle <0 \ right \}}
π
:
H
n
+
1
→
P
H
n
{\ displaystyle \ pi: \ mathbb {H} ^ {n + 1} \ rightarrow P \ mathbb {H} ^ {n}}
H
H
n
: =
π
(
V
-
)
⊂
P
H
n
{\ displaystyle \ mathbb {H} H ^ {n}: = \ pi (V _ {-}) \ subset P \ mathbb {H} ^ {n}}
geometry
H
H
n
{\ displaystyle \ mathbb {H} H ^ {n}}
is a symmetrical space of rank 1.
The inequality applies to the sectional curvature of planes in . Planes in have section curvature , while plane has section curvature .
H
H
n
{\ displaystyle \ mathbb {H} H ^ {n}}
-
4th
≤
K
≤
-
1
{\ displaystyle -4 \ leq K \ leq -1}
R.
H
n
⊂
H
H
n
{\ displaystyle \ mathbb {R} H ^ {n} \ subset \ mathbb {H} H ^ {n}}
-
1
{\ displaystyle -1}
C.
H
1
⊂
H
H
1
⊂
H
H
n
{\ displaystyle \ mathbb {C} H ^ {1} \ subset \ mathbb {H} H ^ {1} \ subset \ mathbb {H} H ^ {n}}
-
4th
{\ displaystyle -4}
Isometrics and quasi-isometrics
The isometry of is , this is the Lie group
H
H
n
{\ displaystyle \ mathbb {H} H ^ {n}}
P
S.
p
(
n
,
1
)
=
S.
p
(
n
,
1
)
/
{
±
1
}
{\ displaystyle PSp (n, 1) = Sp (n, 1) / \ left \ {\ pm 1 \ right \}}
S.
p
(
n
,
1
)
{\ displaystyle Sp (n, 1)}
S.
p
(
n
,
1
)
=
{
A.
∈
G
L.
(
n
+
1
,
H
)
:
⟨
A.
U
,
A.
V
⟩
=
⟨
U
,
V
⟩
∀
U
,
V
∈
H
n
,
1
}
=
G
L.
(
n
+
1
,
H
)
∩
U
(
2
n
,
2
)
{\ displaystyle Sp (n, 1) = \ left \ {A \ in GL (n + 1, \ mathbb {H}): \ langle AU, AV \ rangle = \ langle U, V \ rangle \ forall U, V \ in \ mathbb {H} ^ {n, 1} \ right \} = GL (n + 1, \ mathbb {H}) \ cap U (2n, 2)}
.
All quasi-isometrics of the have a finite distance from an isometry.
H
H
n
{\ displaystyle \ mathbb {H} H ^ {n}}
Quaternionic-hyperbolic manifolds
A Riemannian manifold is called quaternionic-hyperbolic if its universal superposition is isometric to .
H
H
n
{\ displaystyle \ mathbb {H} H ^ {n}}
Web links
Jean-François Quint : An overview of Patterson-Sullivan theory pdf
Gongopadhyay, Parsad: Classification of quaternionic hyperbolic isometries pdf
swell
^ Inkang Kim , John R. Parker : Geometry of quaternionic hyperbolic manifolds . In: Cambridge Philosophical Society : Mathematical Proceedings , 135 (2003), no. 2, 291-320. ISSN 0305-0041 pdf
↑ Pierre Pansu : Métriques de Carnot-Carathéodory et des espaces quasiisométries symétriques de rang un . In: Annals of Mathematics , (2) 129 (1989), no. 1, 1-60. ISSN 0003-486X pdf
<img src="https://de.wikipedia.org/wiki/Special:CentralAutoLogin/start?type=1x1" alt="" title="" width="1" height="1" style="border: none; position: absolute;">