In mathematics, a Fuchsian model is a representation of a hyperbolic Riemann surface R as a quotient of the upper half-plane H by a Fuchsian group. Every hyperbolic Riemann surface admits such a representation.
By the uniformization theorem, every Riemann surface is either elliptic, parabolic or hyperbolic. More precisely this theorem states that a Riemann surface
R
which is not isomorphic to either the Riemann sphere (the elliptic case) or a quotient of the complex plane by a discrete subgroup (the parabolic case) must be a quotient of the hyperbolic plane
H
by a subgroup
Γ
acting properly discontinuously and freely.
In the Poincaré half-plane model for the hyperbolic plane the group of biholomorphic transformation is the group
P
S
L
2
(
R
)
acting by homographies, and the uniformization theorem means that there exists a discrete, torsion-free subgroup
Γ
⊂
P
S
L
2
(
R
)
such that the Riemann surface
Γ
∖
H
is isomorphic to
R
. Such a group is called a Fuchsian group, and the isomorphism
R
≅
Γ
∖
H
is called a Fuchsian model for
H
.
Fuchsian models and Teichmüller space
Let
R
be a closed hyperbolic surface and let
Γ
be a Fuchsian group so that
Γ
∖
H
is a Fuchsian model for
R
. Let
A
(
Γ
)
=
{
ρ
:
Γ
→
P
S
L
2
(
R
)
:
ρ
is faithful and discrete
}
and endow this set with the topology of pointwise convergence (sometimes called "algebraic convergence"). In this particular case this topology can most easily be defined as follows: the group
Γ
is finitely generated since it is isomorphic to the fundamental group of
R
. Let
g
1
,
…
,
g
r
be a generating set: then any
ρ
∈
A
(
Γ
)
is determined by the elements
ρ
(
g
1
)
,
…
,
ρ
(
g
r
)
and so we can identify
A
(
G
)
with a subset of
P
S
L
2
(
R
)
r
by the map
ρ
↦
(
ρ
(
g
1
)
,
…
,
ρ
(
g
r
)
)
. Then we give it the subspace topology.
The Nielsen isomorphism theorem (this is not standard terminology and this result is not directly related to the Dehn-Nielsen theorem) then has the following statement:
For any
ρ
∈
A
(
G
)
there exists a self-homeomorphism (in fact a quasiconformal map)
h
of the upper half-plane
H
such that
h
∘
γ
∘
h
−
1
=
ρ
(
γ
)
for all
γ
∈
G
.
The proof is very simple: choose an homeomorphism
R
→
ρ
(
Γ
)
∖
H
and lift it to the hyperbolic plane. Taking a diffeomorphism yields quasi-conformal map since
R
is compact.
This result can be seen as the equivalence between two models for Teichmüller space of
R
: the set of discrete faithful representations of the fundamental group
π
1
(
R
)
into
P
S
L
2
(
R
)
modulo conjugacy and the set of marked Riemann surfaces
(
X
,
f
)
where
f
:
R
→
X
is a quasiconformal homeomorphism modulo a natural equivalence relation.