In der Mathematik sind Beltrami-Formen gewisse messbare Funktionen, die man als Beltrami-Koeffizienten quasikonformer Abbildungen bekommt.
Sei
Γ
∖
H
2
{\displaystyle \Gamma \backslash \mathbb {H} ^{2}}
eine hyperbolische Fläche . Eine Beltrami-Form
μ
{\displaystyle \mu }
auf
Γ
∖
H
2
{\displaystyle \Gamma \backslash \mathbb {H} ^{2}}
ist eine messbare Funktion
μ
~
:
H
2
→
C
{\displaystyle {\tilde {\mu }}\colon \mathbb {H} ^{2}\to \mathbb {C} }
mit
‖
μ
~
‖
∞
<
∞
{\displaystyle \Vert {\tilde {\mu }}\Vert _{\infty }<\infty }
, so dass für alle
γ
∈
Γ
{\displaystyle \gamma \in \Gamma }
μ
~
(
γ
(
z
)
)
=
γ
′
(
z
)
¯
γ
′
(
z
)
=
μ
~
(
z
)
{\displaystyle {\tilde {\mu }}(\gamma (z))={\frac {\overline {\gamma ^{\prime }(z)}}{\gamma ^{\prime }(z)}}={\tilde {\mu }}(z)}
für fast alle
z
∈
H
2
{\displaystyle z\in \mathbb {H} ^{2}}
gilt.
Die Beltrami-Formen mit der Norm
‖
.
‖
∞
{\displaystyle \Vert .\Vert _{\infty }}
bilden einen Banach-Raum , der mit
B
(
Γ
)
{\displaystyle {\mathcal {B}}(\Gamma )}
bezeichnet wird. Mit
B
1
(
Γ
)
{\displaystyle {\mathcal {B}}^{1}(\Gamma )}
bezeichnet man den offenen Einheitsball
{
μ
∈
B
(
Γ
)
:
‖
μ
‖
∞
<
1
}
{\displaystyle \left\{\mu \in {\mathcal {B}}(\Gamma )\colon \Vert \mu \Vert _{\infty }<1\right\}}
.
Nach dem Satz von Ahlfors-Bers gibt es zu jedem
μ
∈
B
1
(
Γ
)
{\displaystyle \mu \in {\mathcal {B}}^{1}(\Gamma )}
einen quasikonformen Homöomorphismus
ϕ
μ
:
H
2
:
H
2
{\displaystyle \phi _{\mu }\colon \mathbb {H} ^{2}\colon \mathbb {H} ^{2}}
mit Beltrami-Koeffizient
μ
~
{\displaystyle {\tilde {\mu }}}
. Für
γ
∈
Γ
{\displaystyle \gamma \in \Gamma }
verschwindet der Beltrami-Koeffizient von
ρ
μ
(
γ
)
:=
ϕ
μ
−
1
∘
γ
∘
ϕ
γ
{\displaystyle \rho _{\mu }(\gamma ):=\phi _{\mu }^{-1}\circ \gamma \circ \phi _{\gamma }}
, weshalb
ρ
γ
{\displaystyle \rho _{\gamma }}
eine Darstellung
Γ
→
P
S
L
(
2
,
R
)
{\displaystyle \Gamma \to PSL(2,\mathbb {R} )}
und damit ein Element des Teichmüller-Raums
T
(
Γ
)
{\displaystyle {\mathcal {T}}(\Gamma )}
definiert. Man erhält so eine surjektive Abbildung
B
1
(
Γ
)
→
T
(
Γ
)
{\displaystyle {\mathcal {B}}^{1}(\Gamma )\to {\mathcal {T}}(\Gamma )}
.
J.-P. Otal : Thurston’s hyperbolization of Haken manifolds. Hsiung, C. C. (ed.) et al., Surveys in differential geometry. Vol. III. A supplement to the Journal of Differential Geometry. Lectures on geometry and topology in honor of the 80th birthday of Chuan-Chih Hsiung, Harvard University, Cambridge, MA, USA, May 3-5, 1996. Boston, MA: International Press. 77-194 (1998).