In der Mathematik sind Henkelkörper 3-dimensionale Gebilde, deren Ränder Flächen sind.
Definition
Eine Vollkugel mit 3 disjunkten Henkeln.
Den Henkelkörper vom Geschlecht
g
{\displaystyle g}
erhält man, indem man an eine 3-dimensionale Vollkugel
g
{\displaystyle g}
disjunkte Henkel ansetzt.
In Formeln: Sei
B
3
{\displaystyle B^{3}}
eine Vollkugel, seien
f
1
,
…
,
f
g
:
B
2
×
{
0
,
1
}
→
∂
B
3
{\displaystyle f_{1},\ldots ,f_{g}:B^{2}\times \left\{0,1\right\}\rightarrow \partial B^{3}}
injektive stetige Abbildungen mit disjunkten Bildern, dann definieren wir den Henkelkörper
H
g
{\displaystyle H_{g}}
als Quotienten von
H
g
:=
(
B
3
⋃
∪
i
=
1
g
(
B
2
×
[
0
,
1
]
)
i
)
/
∼
{\displaystyle H_{g}:=(B^{3}\bigcup \cup _{i=1}^{g}(B^{2}\times \left[0,1\right])_{i})/\sim }
unter der Äquivalenzrelation
x
∼
f
i
(
x
)
{\displaystyle x\sim f_{i}(x)}
für
x
∈
(
B
2
×
{
0
,
1
}
)
i
,
i
=
1
,
…
,
g
{\displaystyle x\in (B^{2}\times \left\{0,1\right\})_{i},i=1,\ldots ,g}
.
H
g
{\displaystyle H_{g}}
ist eine orientierbare 3-dimensionale Mannigfaltigkeit mit Rand , ihr Rand ist eine Fläche vom Geschlecht
g
{\displaystyle g}
. Die Vollkugel wird als Henkelkörper vom Geschlecht
g
=
0
{\displaystyle g=0}
bezeichnet.
g
=
1
{\displaystyle g=1}
:
Volltorus
g
=
2
{\displaystyle g=2}
: Vollbrezel
g
=
3
{\displaystyle g=3}
Kompressionskörper
Ein allgemeinerer Begriff, der vor allem in der Theorie der 3-Mannigfaltigkeiten mit Rand Anwendung findet, ist der Begriff des Kompressionskörpers .
Ein Kompressionskörper
C
{\displaystyle C}
entsteht aus einem Produkt
S
×
[
0
,
1
]
{\displaystyle S\times \left[0,1\right]}
, für eine geschlossene Fläche
S
{\displaystyle S}
, durch Ankleben von 2-Henkeln entlang
S
×
{
1
}
{\displaystyle S\times \left\{1\right\}}
. Man bezeichnet
∂
−
C
:=
S
×
{
0
}
{\displaystyle \partial _{-}C:=S\times \left\{0\right\}}
und
∂
+
C
:=
∂
C
∖
∂
−
C
{\displaystyle \partial _{+}C:=\partial C\setminus \partial _{-}C}
.
Henkelkörper erhält man für
S
=
∅
{\displaystyle S=\emptyset }
, in diesem Fall ist
∂
−
C
=
∅
{\displaystyle \partial _{-}C=\emptyset }
.
Literatur
Bonahon : Geometric structures on 3-manifolds. Handbook of geometric topology, 93–164, North-Holland, Amsterdam, 2002.
Bonahon: Cobordism of automorphisms of surfaces. Ann. Sci. École Norm. Sup. (4) 16 (1983), no. 2, 237–270. pdf
Lackenby, Purcell: Geodesics and compression bodies pdf
Oertel: Automorphisms of three-dimensional handlebodies. Topology 41 (2002), no. 2, 363–410. pdf