In mathematics, a Fuchsian model is a construction of a hyperbolic Riemann surface R as a quotient of the upper half-plane H. By the uniformization theorem, every Riemann surface is either elliptic, parabolic or hyperbolic. Every hyperbolic Riemann surface has a non-trivial fundamental group . The fundamental group can be shown to be isomorphic to some subgroup Γ of the group of real Möbius transformations , this subgroup being a Fuchsian group. The quotient space H/Γ is then a Fuchsian model for the Riemann surface R. Many authors use the terms Fuchsian group and Fuchsian model interchangeably, letting the one stand for the other. The latter remark is true mostly of the creator of this page. Meanwhile, Matsuzaki reserves the term Fuchsian model for the Fuchsian group, never the surface itself.
A more precise definition
To be more precise, every Riemann surface has a universal covering map that is either the Riemann sphere, the complex plane or the upper half-plane. Given a covering map , where H is the upper half-plane.
The Fuchsian model of R is the quotient space . R. Note that is a complete 2D hyperbolic manifold.
Nielsen isomorphism theorem
More precisely, let R be a closed hyperbolic surface. Let G be the Fuchsian group of R and let be a faithful representation of G, and let be discrete. Then define the set
and add to this set a topology of pointwise convergence, so that A(G) is an algebraic topology.
The Nielsen isomorphism theorem: For any there exists a homeomorphism h of the upper half-plane H such that for all .
Most of the material here is copied, not very accurately, out of the book below (see page 12).
Matsuzaki, K.; Taniguchi, M.: Hyperbolic manifolds and Kleinian groups. Oxford (1998).