View source for Fundamental polygon

{{Short description|Polygon associated with a compact Riemann surface}}
In [[mathematics]], a '''fundamental polygon''' can be defined for every [[compact Riemann surface]] of genus greater than 0. It encodes not only information about the topology of the surface through its [[fundamental group]] but also determines the [[Riemann surface]] up to conformal equivalence. By the [[uniformization theorem]], every compact Riemann surface has simply connected universal covering surface given by exactly one of the following:

*the [[Riemann sphere]], 
*the [[complex plane]],
*the unit disk ''D'' or equivalently the upper half-plane ''H''.

In the first case of genus zero, the surface is conformally equivalent to the Riemann sphere.

In the second case of genus one, the surface is conformally equivalent to a torus '''C'''/Λ for some lattice Λ in '''C'''. The fundamental polygon of Λ, if assumed convex, may be taken to be either a period parallelogram or a centrally symmetric hexagon, a result first proved by [[Evgraf Fedorov|Fedorov]] in 1891.

In the last case of genus ''g'' > 1, the Riemann surface is conformally equivalent to ''H''/Γ where Γ is a [[Fuchsian group]] of [[Möbius transformation]]s. A fundamental domain for Γ is given by a convex polygon for the hyperbolic metric on ''H''. These can be defined by Dirichlet polygons and have an even number of sides. The structure of the fundamental group Γ can be read off from such a polygon. Using the theory of [[quasiconformal mapping]]s and the [[Beltrami equation]], it can be shown there is a canonical convex fundamental polygon with 4''g'' sides, first defined by [[Robert Fricke|Fricke]], which corresponds to the standard presentation of Γ  as the group with 2''g'' generators ''a''<sub>1</sub>, ''b''<sub>1</sub>, ''a''<sub>2</sub>, ''b''<sub>2</sub>, ..., ''a''<sub>''g''</sub>, ''b''<sub>''g''</sub> and the single relation [''a''<sub>1</sub>,''b''<sub>1</sub>][''a''<sub>2</sub>,''b''<sub>2</sub>] ⋅⋅⋅ [''a''<sub>''g''</sub>,''b''<sub>''g''</sub>] = 1, where [''a'',''b''] = ''a'' ''b'' ''a''<sup>−1</sup>''b''<sup>−1</sup>.

Any Riemannian metric on an oriented closed 2-manifold  ''M'' defines a complex structure on ''M'', making ''M'' a compact Riemann surface. Through the use of fundamental polygons, it follows that two oriented closed 2-manifolds are classified by their genus, that is half the rank of the Abelian group Γ/[Γ,Γ], where Γ = {{pi}}<sub>1</sub>(''M''). Moreover, it also follows from the theory of quasiconformal mappings that two compact Riemann surfaces are diffeomorphic if and only if they are homeomorphic. Consequently, two closed oriented 2-manifolds are 
homeomorphic if and only if they are diffeomorphic. Such a result can also be proved using the methods of [[differential topology]].<ref>See:
*{{harvnb|Fricke|Klein|1897}}
*{{harvnb|Appell|Goursat|Fatou|1930}}
*{{harvnb|Keen|1965}}
*{{harvnb|Beardon|1983}}
*{{harvnb|Jost|2002}}</ref><ref>See:
*{{harvnb|Hirsch|1994}}
*{{harvnb|Shastri|2011}}</ref>

==Fundamental polygons in genus one==
[[File:Fricke-Klein-1897-hexagon-parallelogram-1.jpg|thumb|300px]]
[[File:Fricke-Klein-1897-hexagon-parallelogram-2.jpg|thumb|150px]]

===Parallelograms and centrally symmetric hexagons===
In the case of genus one, a fundamental convex polygon is sought for the action by translation of Λ = '''Z''' '''a''' ⊕ '''Z''' '''b''' on '''R'''<sup>2</sup> = '''C''' where '''a''' and '''b''' are linearly independent over '''R'''. (After performing a real linear transformation on '''R'''<sup>2</sup>, it can be assumed if necessary that Λ = '''Z'''<sup>2</sup> = '''Z''' +  '''Z''' ''i''; for a genus one Riemann surface it can be taken to have the form  Λ = '''Z'''<sup>2</sup> = '''Z''' +  '''Z''' ω, with Im ω > 0.) A [[fundamental domain]] is given by the parallelogram {{math|''s'' '''x''' + ''t'' '''y'''}} for {{math|1=0 < ''s'' , ''t'' < 1}} where {{math|'''x'''}} and {{math|'''y'''}} are generators of Λ.

If ''C'' is the interior of a fundamental convex polygon, then the translates {{overline|''C''}} + '''x''' cover '''R'''<sup>2</sup> as '''x''' runs over Λ. It follows that the boundary points of ''C'' are formed of intersections {{overline|''C''}} ∩ ({{overline|''C''}} + '''x'''). These are compact convex sets in ∂''C'' and thus either vertices of ''C'' or sides of ''C''. It follows that every closed side of ''C'' can be written this way. Translating by −'''x''' it follows that {{overline|''C''}} ∩ ({{overline|''C''}} − '''x''') is also a side of '''C'''. Thus sides of ''C'' occur in parallel pairs of equal length. The end points of two such parallel segments of equal length can be joined so that they intersect and the intersection occurs at the midpoints of the line segments joining the endpoints. It follows that the intersections of al such segments occur at the same point. Translating that point to the origin, it follows that the polygon is centrally symmetric; that is, if a point ''z'' is in the polygon, so too is −''z''.

It is easy to see translates of a centrally symmetric convex hexagon tessellate the plane. If ''A'' is a point of the hexagon, then the lattice is generated by the displacement vectors ''AB'' and ''AC'' where ''B'' and ''C'' are the two vertices which are not neighbours of ''A'' and not opposite ''A''. Indeed, the second picture shows how the hexagon is equivalent to the parallelogram obtained by displacing the two triangles chopped off by the segments ''AB'' and ''AC''. Equally well the first picture shows another way of matching a tiling by parallelograms with the hexagonal tiling. If the centre of the hexagon is 0 and the vertices in order are '''a''', '''b''', '''c''', −'''a''',  −'''b''' and −'''c''', then Λ is the Abelian group with generators {{math|'''a''' + '''b'''}} and {{math|'''b''' + '''c'''}}.

===Examples of Fundamental Polygons Generated by Parallelograms===
There are exactly four topologies that can be created by identifying the sides of a [[rhombus]] in different ways. They are given below as directional edges A and B on a square, either as AABB or ABAB sequences.

{| class=wikitable align=center
|- align=center
! Name|| [[Sphere]]|| [[Torus]]|| [[Real projective plane|Projective plane]]|| [[Klein bottle]]
|- 
![[Orientability|Orientable]]||colspan=2|Yes||colspan=2|No
|-
![[Gaussian_curvature#Total_curvature|Total curvature]]||4&pi;||0||2&pi;||0
|-
!Topology<br />ABAB<br />(square)
| valign=top width=150 align=center|
| valign=top width=150 align=center|[[File:TorusAsSquare.svg|150px]]<br /><math>A B A^{-1} B^{-1}</math>
| valign=top width=150 align=center|[[File:ProjectivePlaneAsSquare.svg|150px]]<br /><math>A B A B</math>
| valign=top width=150 align=center|[[File:KleinBottleAsSquare.svg|150px]]<br /><math>A B A B^{-1}</math><br />(or <math>A B A^{-1} B</math>)&nbsp;&nbsp;&nbsp;&nbsp;
|-
!Topology<br />AABB<br />(square)
| valign=top width=150 align=center|[[File:SphereAsSquare.svg|150px]]<br /><math>A B B^{-1} A^{-1}</math><ref>Example of [http://www.math.cornell.edu/~mec/Winter2009/Victor/part2(14).png sphere construction from fundamental polygon].</ref>
| valign=top width=150 align=center|
| valign=top width=150 align=center|[[File:ProjectivePlaneAsSquare2.png|150px]]<br /><math>A B B^{-1} A</math><br />(or <math>A B B A^{-1}</math>)&nbsp;&nbsp;&nbsp;
| valign=top width=150 align=center|[[File:KleinBottleAsSquare2.png|136px]]<br /><math>A B B A</math>
|- align=center
! Geometry
| valign=bottom| [[File:Sphere wireframe 10deg 6r.svg|150px]]<br />Sphere
| valign=bottom| [[File:Toroidal monohedron.png|150px]]<br />Torus
| valign=bottom| [[File:Sphere symmetry group ci.png|150px]]<br />Hemisphere
| valign=bottom| [[File:Klein_bottle_translucent.png|150px]]<br />Half torus
|}

===Fedorov's theorem===
'''Fedorov's theorem''', established by the Russian crystallographer [[Evgraf Fedorov]] in 1891, asserts that parallelograms and centrally symmetric hexagons are the only convex polygons that are fundamental domains.<ref>E. Fedorov (1891) [https://babel.hathitrust.org/cgi/pt?id=umn.31951t00080576a;view=1up;seq=357 "Симметрія на плоскости"] (''Simmetriya na ploskosti'', Symmetry in the plane), ''Записки Императорского С.-Петербургского минералогического общества'' (''Zapiski Imperatorskova Sankt-Petersburgskova Mineralogicheskova Obshchestva'', Proceedings of the Imperial St. Petersburg Mineralogical Society), 2nd series, '''28''' : 345–390 (in Russian).</ref> There are several proofs of this, some of the more recent ones related to results in [[Convexity (mathematics)|convexity theory]], the [[geometry of numbers]] and [[circle packing]], such as the [[Brunn–Minkowski inequality]].<ref>See:
*{{harvnb|Eggleston|1958}}
*{{harvnb|Cassels|1997}}
*{{harvnb|Grünbaum|Shephard|1987}}
*{{harvnb|Böröczky|2004}}
*{{harvnb|Zong|2014}}</ref>
Two elementary proofs due to [[H. S. M. Coxeter]] and [[Georgy Voronoi|Voronoi]] will be presented here.<ref>Voronoi's proof has the advantage of generalising to ''n'' dimensions: it shows that if translates of a centrally symmetric convex polyhedron tessallate '''R'''<sup>''n''</sup>, then the polyhedron has at most 2(2<sup>''n''</sup> − 1) faces.</ref><ref>See:
*{{harvtxt|Bambah|Davenport|1952}}
*{{harvtxt|Coxeter|1962}}
*{{harvtxt|Lyusternik|1966}}</ref>

Coxeter's proof proceeds by assuming that there is a centrally symmetric convex polygon ''C'' with 2''m'' sides. Then a large closed parallelogram formed from ''N''<sup>2</sup> fundamental parallelograms is tiled by translations of ''C'' which go beyond the edges of the large parallelogram. This induces a tiling on the torus '''C'''/''N''Λ. Let ''v'', ''e'' and ''f'' be the number of vertices, edges and faces in this tiling (taking into account identifications in the quotient space). Then, because the [[Euler–Poincaré characteristic]] of a torus is zero,

:<math> v - e + f =0.</math>

On the other hand, since each vertex is on at least 3 different edges and every edge is between two vertices,

:<math>3v\le 2e.</math>

Moreover, since every edge is on exactly two faces,

:<math> 2e = 2mf.</math>

Hence

:<math>mf= e \le 3(e-v)=3f.</math>

so that

:<math>m\le 3,</math>

as required.

Voronoi's proof starts with the observation that every edge of ''C'' corresponds to an element '''x''' of Λ. In fact the edge is the orthogonal bisector of the radius from 0 to '''x'''. Hence the foot of the perpendicular from 0 to each edge lies in the interior of each edge. If '''y''' is any lattice point, then 1/2 '''y''' cannot lie in ''C''; for if so, –1/2 '''y''' would also lie in ''C'', contradicting ''C'' being a fundamental domain for Λ. Let ±'''x'''<sub>1</sub>, ..., ±'''x'''<sub>''m''</sub> be the 2''m'' distinct points of Λ corresponding to sides of ''C''. Fix generators '''a''' and '''b''' of Λ. Thus '''x'''<sub>''i''</sub> = α<sub>''i''</sub> '''a''' + β<sub>''i''</sub> '''b''', where α<sub>''i''</sub> and  β<sub>''i''</sub> are integers. It is not possible for both α<sub>''i''</sub> and  β<sub>''i''</sub> to be even, since otherwise ± 1/2 '''x'''<sub>''i''</sub> would be a point of Λ on a side, which contradicts ''C'' being a fundamental domain. So there are three possibilities for the pair of integers (α<sub>''i''</sub>, β<sub>''i''</sub>) modulo 2: (0,1), (1,0) and (1,1). Consequently, if ''m'' > 3, there would be '''x'''<sub>''i''</sub> and '''x'''<sub>''j''</sub> with ''i'' ≠ ''j'' with both coordinates of '''x'''<sub>''i''</sub> − '''x'''<sub>''j''</sub> even, i.e. 1/2 ('''x'''<sub>''i''</sub> + '''x'''<sub>''j''</sub>) lies in Λ. But this is the midpoint of the line segment joining two interior points of edges and hence lies in ''C'', the interior of the polygon. This again contradicts the fact that ''C'' is a fundamental domain. So ''reductio ad absurdum'' ''m'' ≤ 3, as claimed.

===Dirichlet–Voronoi domains===
For a lattice Λ in '''C''' = '''R'''<sup>2</sup>, a fundamental domain can be defined canonically using the conformal structure of '''C'''. Note that the group of conformal transformations of '''C''' is given by complex affine transformations {{nowrap|1=''g''(''z'') = ''az'' + ''b''}} with {{nowrap|''a'' ≠ 0}}. These transformations preserve Euclidean metric {{nowrap|1=''d''(''z'', ''w'') = {{abs|''z'' − ''w''}}}} up to a factor, as well as preserving the [[Orientability|orientation]]. It is the subgroup of the Möbius group fixing the point at ∞. The metric structure can be used to define a canonical fundamental domain by {{nowrap|1=''C'' = {''z'': ''d''(''z'', 0) < ''d''(''z'', ''λ'') for all ''λ'' ≠ 0 in Λ}.}} (It is obvious from the definition that it is a fundamental domain.) This is an example of a [[Dirichlet domain]] or [[Voronoi diagram]]: since complex translations form an Abelian group, so commute with the action of Λ, these concepts coincide. The canonical fundamental domain for {{nowrap|1=Λ = '''Z''' + '''Z'''''ω''}} with {{nowrap|Im ''ω'' > 0}} is either a symmetric convex parallelogram or hexagon with centre 0. By conformal equivalence, the period ''ω'' can be further restricted to satisfy {{nowrap|{{abs|Re ''ω''}} ≤ 1/2}} and {{nowrap|{{abs|''ω''}} ≥ 1}}. As [[Dirichlet]] showed ("Dirichlet's hexagon theorem", 1850), for almost all ''ω'' the fundamental domain is a hexagon. For {{nowrap|Re ''ω'' > 0}}, the midpoints of sides are given by ±1/2, ±''ω''/2 and {{nowrap|±(''ω'' – 1)/2}}; the sides bisect the corresponding radii from 0 orthogonally, which determines the vertices completely. In fact the first vertex must have the form {{nowrap|(1 + ''ix'')/2 }} and {{nowrap|''ω''(1 + ''iy'')/2}} with ''x'' and ''y'' real; so if {{nowrap|1=''ω'' = ''a'' + ''ib''}}, then {{nowrap|1=''a'' – ''by'' = 1}} and {{nowrap|1=''x'' = ''b'' + ''ay''}}. Hence {{nowrap|1=''y'' = (''a'' – 1)/''b''}} and {{nowrap|1=''x'' =  (''a''<sup>2</sup> + ''b''<sup>2</sup> – ''a'')/''b''}}. The six vertices are therefore {{nowrap|±''ω''(1 – ''iy'')/2}} and {{nowrap|±(1 ± ''ix'')/2}}.<ref>See:
*{{harvnb|Cassels|1997}} 
*{{harvnb|Kolmogorov|Yukshkevich|2001|pages=157–159}}
</ref>
{{clear}}

==Fundamental polygons in higher genus==
===Overview===
Every compact Riemann surface ''X'' has a [[universal covering space|universal covering surface]] which is a simply connected Riemann surface {{overline|''X''}}. The [[fundamental group]] of ''X'' acts as [[deck transformations]] of {{overline|''X''}} and can be identified with a subgroup Γ of the group of [[biholomorphism]]s of {{overline|''X''}}. The group Γ thus acts freely on {{overline|''X''}} with compact quotient space {{overline|''X''}}/Γ, which can be identified with ''X''. Thus the classification of compact Riemann surfaces can be reduced to the study of possible groups Γ. By the [[uniformization theorem]] {{overline|''X''}} is either the Riemann sphere, the complex plane or the unit disk/upper halfplane. The first important invariant of a compact Riemann surface is its ''genus'', a topological invariant given by half the rank of the Abelian group {{nowrap|Γ/[Γ, Γ]}} (which can be identified with the [[singular homology|homology group]] {{nowrap|''H''<sub>1</sub>(''X'', '''Z''')}}). The genus is zero if the covering space is the Riemann sphere; one if it is the complex plane; and greater than one if it is the unit disk or upper halfplane.<ref name="Primer"/>

Bihomolomorphisms of the Riemann sphere are just complex Möbius transformations and every non-identity transformation has at least one fixed point, since the corresponding complex matrix always has at least one non-zero eigenvector. Thus if {{overline|''X''}} is the Riemann sphere, then ''X'' must be simply connected and biholomorphic to the Riemann sphere, the ''genus zero'' Riemann surface. When {{overline|''X''}} is the complex plane, the group of biholomorphisms is the affine group, the complex Möbius transformations fixing ∞, so the transformations {{nowrap|1=''g''(''z'') = ''az'' + ''b''}} with {{nowrap|''a'' ≠ 0}}. The non-identity transformations without fixed points are just those with {{nowrap|1=''a'' = 1}} and {{nowrap|''b'' ≠ 0}}, i.e. the non-zero translations. The group Γ can thus be identified with a lattice Λ in '''C''' and ''X'' with a quotient '''C'''/Λ, as described in the section on fundamental polygons in genus one. In the third case when {{overline|''X''}} is the unit disk or upper half plane, the group of biholomorphisms consists of the complex Möbius transformations fixing the unit circle or the real axis. In the former case, the transformations correspond to elements of the group {{nowrap|SU(1, 1)/{±''I''};}} in the latter case they correspond to real Möbius transformations, so elements of {{Nowrap|SL(2, '''R''')/{±''I''}.}}<ref name="Primer"/>

The study and classification of possible groups Γ that act freely on the unit disk or upper halfplane with compact quotient—the [[Fuchsian group]]s of the first kind—can be accomplished by studying their fundamental polygons, as described below. As [[Henri Poincaré|Poincaré]] observed, each such polygon has special properties, namely it is convex and has a natural pairing between its sides. These not only allow the group to be recovered but provide an explicit presentation of the group by generators and relations. Conversely Poincaré proved that any such polygon gives rise to a compact Riemann surface; in fact, Poincaré's polygon theorem applied to more general polygons, where the polygon was allowed to have ideal vertices, but his proof was complete only in the compact case, without such vertices. Without assumptions on the convexity of the polygon, complete proofs have been given by [[Bernard Maskit|Maskit]] and [[Georges de Rham|de Rham]], based on an idea of [[Carl Ludwig Siegel|Siegel]], and can be found in {{harvtxt|Beardon|1983}}, {{harvtxt|Iversen|1992}} and {{harvtxt|Stillwell|1992}}. [[Constantin Carathéodory|Carathéodory]] gave an elementary treatment of the existence of tessellations by [[Schwarz triangles]], i.e. tilings by geodesic triangles with angles {{pi}}/''a'', {{pi}}/''b'', {{pi}}/''c'' with sum less than {{pi}} where ''a'', ''b'', ''c'' are integers. When all the angles equal {{pi}}/2''g'', this establishes the tiling by regular ''4g''-sided hyperbolic polygons and hence the existence of a particular compact Riemann surface of genus ''g'' as a quotient space. This special example, which has a cyclic group '''Z'''<sub>2''g''</sub> of bihomolomorphic symmetries, is used in the development below.<ref name="Primer">{{harvnb|Beardon|1984}}</ref>

The classification up to homeomorphism and diffeomorphism of compact Riemann surfaces implies the classification of closed [[Orientability|orientable]] 2-manifolds up to homeomorphism and diffeomorphism: any two 2-manifolds with the same genus are diffeomorphic. In fact using a partition of unity, every closed orientable 2-manifold admits a [[Riemannian metric]]. For a compact Riemann surface a conformal metric can also be introduced which is conformal, so that in holomorphic coordinates the metric takes the form ''ρ''(''z'') {{abs|''dz''}}<sup>2</sup>. Once this metric has been chosen, locally biholomorphic mappings are precisely orientation-preserving diffeomorphisms that are conformal, i.e. scale the metric by a smooth function. The existence of [[isothermal coordinates]]—which can be proved using either [[Isothermal coordinates#Hodge star operator|local existence theorems for the Laplacian]] or the [[Isothermal coordinates#Beltrami equation|Beltrami equation]]—shows that every closed oriented Riemannian 2-manifold can be given a complex structure compatible with its metric, and hence has the structure of a compact Riemann surface. This construction shows that the classification of closed orientable 2-manifolds up to diffeomorphism or homeomorphism can be reduced to the case of compact Riemann surfaces.<ref>{{harvnb|Imayoshi|Taniguchi|1992}}</ref>

The classification up to homeomorphism and diffeomorphism of compact Riemann surfaces can be accomplished using the fundamental polygon. Indeed, as Poincaré observed, convex fundamental polygons for compact Riemann surfaces ''H''/Γ can be constructed by adapting the method of Dirichlet from the Euclidean space to hyperbolic space. Then following Nevanlinna and Jost, the fundamental domain can be modified in steps to yield a non-convex polygon with vertices lying in a single orbit of Γ and piecewise geodesic sides. The pairing relation on the sides is also modified in each of these steps. Each step involves cutting the polygon by a diagonal geodesic segment in the interior of the polygon and reassembling the polygon using one of the Möbius transformations involved in the pairing. No two paired sides can have a common vertex in the final pairing relation, which satisfies similar properties to the original relation. This polygon can in turn be successively modified by reassembling the polygon after cutting it by a diagonal piecewise geodesic segment in its interior. The final polygon has 4''g'' equivalent vertices, with sides that are piecewise geodesic. The sides are labelled by the group elements which give the Möbius transformation to the paired side. In order the labelling is

:<math>a_1, b_1, a_1^{-1}, b_1^{-1}, \dots, a_g, b_g, a_g^{-1}, b_g^{-1},</math>

so that Γ is generated by the ''a''<sub>''i''</sub> and ''b''<sub>''i''</sub> subject to the single relation

:<math>a_1b_1a_1^{-1}b_1^{-1} \cdots a_g b_g a_g^{-1} b_g^{-1} = 1.</math>

<gallery>
File:Inkscape_radial_gradient_test_1.svg|Genus zero surface (sphere)
File:Torus illustration.png|Genus one surface (torus)
File:Double torus illustration.png|Genus two surface
File:Triple_torus_illustration.png|Genus three surface
</gallery>
Using the theory of [[Differential forms on a Riemann surface#Intersection number of closed curves|intersection numbers]], it follows that the shape obtained by joining vertices by geodesics is also a proper polygon, not necessarily convex, and is also a fundamental domain with the same group elements giving the pairing. This yields a fundamental polygon with edges given by geodesic segments and with the standard labelling. The abelianisation of Γ, the quotient group {{nowrap|Γ/[Γ, Γ]}}, is a free Abelian group with 2''g'' generators. Thus the [[genus (mathematics)|genus]] ''g'' is a topological invariant. It is easy to see that two Riemann surfaces with the same genus are homeomorphic since as topological space since they are obtained by identifying sides of a 4''g''-sided polygon—a Euclidean polygon in the [[Klein model]]—by diffeomorphisms between paired sides.<ref>Note that a simple polygon in the plane with ''n'' ≥ 4 vertices is homeomorphic to one, and hence any, convex ''n''-gon by a piecewise linear homeomorphism, linear on the edges: this follows by induction on ''n'' from the observation of [[Max Dehn]] that any simple polygon possesses a diagonal, i.e. an interior chord between vertices, so can be broken up into smaller polygons; see {{harvtxt|Guggenheimer|1977}}. For a regular 4''g''-gon, the pairing between sides can be made linear, by reparametrising triangles made up of the centre and one side from each pair of sides.</ref> Applying this construction to the regular 4''g''-sided polygon allows the Riemann surface to be viewed topologically as a doughnut with ''g'' holes, the standard description of oriented surfaces in introductory texts on topology.<ref>{{harvnb|Jost|2002|pages=47–57}}</ref><ref>{{harvnb|Shastri|2011}}</ref>

There are several further results:

*Two homeomorphic Riemann surfaces are diffeomorphic.
*Any convex fundamental polygon in genus ''g'' has ''N'' vertices where 4''g'' ≤ ''N'' ≤ 12''g'' – 6.
*A Dirichlet polygon in genus ''g'' has exactly {{nowrap|12''g'' – 6}} vertices for a dense open set of centres.
*Every genus ''g'' Riemann surface has a Fricke fundamental polygon, i.e. a convex polygon with canonical pairing between sides. (The polygon need not necessarily be a Dirichlet polygon.)
*After a suitable normalisation and labelling of the generators of the fundamental group, the Fricke polygon is uniquely determined and the {{nowrap|6''g'' – 6}} real parameters describing it can be used as global real analytic parameters for [[Teichmüller space]] in genus ''g''.

These results are tied up with the interrelation between homeomorphisms and the fundamental group: this reflects the fact that the [[Mapping class group of a surface|mapping class group]] of a Riemann surface—the group of quasiconformal self-homomorphisms of a Riemann surface ''H''/Γ modulo those homotopic to the identity—can be identified with the [[outer automorphism group]] of Γ (the [[Mapping class group of a surface#The Dehn–Nielsen–Baer theorem|Dehn–Nielsen–Baer theorem]]).<ref>{{harvnb|Farb|Margalit|2012}}</ref> To see this connection, note that if ''f'' is a quasiconformal homeomorphism of ''X''<sub>1</sub> = ''H''/Γ<sub>1</sub> onto ''X''<sub>2</sub> = ''H''/Γ<sub>2</sub>, then ''f'' lifts to a quasiconformal homeomorphism {{overline|''f''}} of ''H'' onto itself. This lift is unique up to pre-composition with elements of Γ<sub>1</sub>  and post-composition with elements of Γ<sub>2</sub>. If {{pi}}<sub>''i''</sub> is the projection of ''H'' onto ''X''<sub>''i''</sub>, then {{nowrap|1=''f'' ∘ {{pi}}<sub>1</sub> = {{pi}}<sub>2</sub> ∘ {{overline|''f''}}}} and Γ<sub>''i''</sub> is just the group of homeomorphisms ''g'' of ''H'' such that {{pi}}<sub>''i''</sub> ∘ ''g'' = {{pi}}<sub>''i''</sub>. If follows that {{nowrap|1={{overline|''f''}} ''g'' = ''θ''(''g'') {{overline|''f''}} }} for ''g'' in Γ<sub>1</sub> where ''θ'' is a group isomorphism of Γ<sub>1</sub> onto Γ<sub>2</sub>. A different choice of {{overline|''f''}} changes ''θ'' by composition with an inner automorphism: such isomorphisms are said to be ''equivalent''.<ref name="Ahlfors">{{harvnb|Ahlfors|2006|pages=67–68}}</ref>

Two isomorphisms ''θ'' and ''θ''′ are equivalent if and only if the corresponding homeomorphisms ''f'' and ''f''{{'}} are homotopic. In fact it suffices to show that a quasiconformal self-homeomorphism ''f'' of a surface induces an inner automorphism of the fundamental group if and only if it is homotopic to the identity map: in other words the homomorphism of the quasiconformal self-homeomorphism group of ''H''/Γ into Out Γ passes to the mapping class group on which it is injective. Indeed, suppose first that ''F''(''t'') is a continuous path of self-homeomorphisms with ''F''(0) = id and {{nowrap|1=''F''(1) = ''f''}}. Then there is a continuous lift {{overline|''F''}}(''t'') with {{overline|''F''}}(0) = id. Moreover, for each ''g'' in  Γ, {{nowrap|1= {{overline|''F''}}(''t'') ∘ ''g'' ∘ {{overline|''F''}}(''t'')<sup>−1</sup>}} is a continuously varying element of Γ equal to ''g'' for {{nowrap|1=''t'' = 0}}; so discreteness of Γ forces this element to be constant and hence equal to ''g'' so that {{overline|''F''}}(''t'') commutes with Γ, so ''F''(1) induces the trivial automorphism. If on the other hand ''F'' is a quasiconformal lift of ''f'' inducing an inner automorphism of Γ, after composition with an element Γ if necessary it can be assumed that ''F'' commutes with Γ. Since ''F'' is quasiconformal, it extends to a quasisymmetric homeomorphism of the circle which also commutes with Γ. Each {{nowrap|''g'' ≠ id}} in Γ is hyperbolic so has two fixed points on the circle ''a''<sub>±</sub> such that for all other points ''z'', ''g''<sup>±''n''</sup>(''z'') tends to ''a''<sub>±</sub> as ''n'' tends to infinity. Hence ''F'' must fix these points; since these points are dense in the circle as ''g'' varies, it follows that ''F'' fixes the unit circle. Let ''μ'' = ''F''<sub>{{overline|z}}</sub> / ''F''<sub>''z''</sub>, so that ''μ'' is a Γ-invariant Beltrami differential. Let ''F''(''t'') be the solution of the Beltrami equation ''tμ'' normalised to fix three points on the unit circle. Then ''F''(''t'') commutes with Γ and so, as for {{nowrap|1=''F'' = ''F''(1)}}, is the identity on the unit circle. By construction ''F''(''t'') is an isotopy between the identity and ''F''. This proves injectivity.<ref name="Ahlfors"/>

The proof of surjectivity relies on comparing the hyperbolic metric on ''D'' with a word-length metric on Γ.<ref>{{harvnb|Farb|Margalit|2012|pages=230–236}}</ref> Assuming without loss of generality that 0 lies in the interior of a convex fundamental polygon ''C'' and ''g'' is an element of Γ, the ray from 0 to ''g''(0)—the hyperbolic geodesic—passes through a succession of translates of ''C''. Each of these is obtained from the previous one by applying a generator of Γ or a fixed product of generators (if successive translates meet in a vertex). It follows that the hyperbolic distance between 0 and ''g''(0) is less than 4''g'' times the word length of ''g'' plus twice diameter of the fundamental polygon. Thus the metric on Γ {{nowrap|1=''d''<sub>1</sub>(''g'', ''h'') = ''L''(''h''<sup>−1</sup>''g'')}} defined by the word length ''L''(''g'') satisfies

:<math>d(g(0),h(0)) \le a\, d_1(g,h) + b</math>

for positive constants ''a'' and ''b''. Conversely there are positive constants ''c'' and ''d'' such that

:<math>d_1(g,h) \le c \,d(g(0),h(0)) + d.</math>

===Dirichlet polygons===
Given a point <math>z_0</math> in the [[upper half-plane]] '''H''', and a discrete [[subgroup]] Γ of {{nowrap|PSL(2, '''R''')}} that acts [[free regular set|freely discontinuously]] on the upper half-plane, then one can define the '''Dirichlet polygon''' as the set of points

:<math>F=\{z \in \mathbf{H} : d(z,z_0) < d(z,gz_0) \;\; \forall g\in \Gamma, g\ne 1 \}</math>

Here, ''d'' is a hyperbolic [[metric space|metric]] on the upper half-plane. The metric fundamental polygon is more usually called the '''Dirichlet polygon'''.
* This fundamental polygon is a [[fundamental domain]].
* This fundamental polygon is [[Convex set|convex]] in that the [[geodesic]] joining any two points of the polygon is contained entirely inside the polygon.
* The [[diameter]] of ''F'' is less than or equal to the diameter of '''H'''/Γ. In particular, the closure of ''F'' is compact.
* If Γ has no fixed points in '''H''' and '''H'''/Γ is compact, then ''F'' will have finitely many sides.
* Each side of the polygon is a [[geodesic]] arc.
* For every side ''s'' of the polygon, there is precisely one other side ''s''′ such that {{nowrap|1=''gs'' = ''s''′}} for some ''g'' in Γ. Thus, this polygon will have an even number of sides.
* The set of group elements ''g'' that join sides to each other are [[generating set of a group|generators]] of Γ (note though that this set of generators is not necessarily minimal).
* The upper half-plane is tiled by the closure of ''F'' under the action of Γ. That is, <math>H=\cup_{g\in\Gamma}\, g\overline{F}</math> where <math>\overline{F}</math> is the closure of ''F''.

===Normalised polygon===
In this section, starting from an arbitrary Dirichlet polygon, a description will be given of the method of {{harvtxt|Nevanlinna|1953}}, elaborated in {{harvtxt|Jost|2002}}, for modifying the polygon to a non-convex polygon with 4'''g''' equivalent vertices and a canonical pairing on the sides. This treatment is an analytic counterpart of the classical topological classification of orientable 2-dimensional polyhedra presented in {{harvtxt|Seifert|Threlfall|1934}}.

===Fricke canonical polygon===
Given a Riemann surface of genus ''g'' greater than one, [[Robert Fricke|Fricke]] described another fundamental polygon, the '''Fricke canonical polygon''', which is a very special example of a Dirichlet polygon. The polygon is related to the standard presentation of the fundamental group of the surface. Fricke's original construction is complicated and described in {{harvtxt|Fricke|Klein|1897}}. Using the theory of [[quasiconformal mapping]]s of [[Lars Ahlfors|Ahlfors]] and [[Lipman Bers|Bers]], {{harvtxt|Keen|1965}} gave a new, shorter and more precise version of Fricke's construction. The Fricke canonical polygon has the following properties:

* The vertices of the Fricke polygon has 4''g'' vertices which all lie in an orbit of Γ. By ''vertex'' is meant the point where two sides meet. 
* The sides are matched in distinct pairs, so that there is a unique element of Γ carrying a side to the paired side, reversing the orientation. Since the action of Γ is orientation-preserving, if one side is called <math>A</math>, then the other of the pair can be marked with the opposite orientation <math>A^{-1}</math>.
* The edges of the standard polygon can be arranged so that the list of adjacent sides takes the form <math>A_1 B_1 A_1^{-1} B_1^{-1}A_2 B_2 A_2^{-1} B_2^{-1}\cdots A_g B_g A_g^{-1} B_g^{-1}</math>. That is, pairs of sides can be arranged so that they interleave in this way.
* The sides are geodesic arcs.
* Each of the interior angles of the Fricke polygon is strictly less than {{pi}}, so that the polygon is strictly convex, and the sum of these interior angles is 2{{pi}}.

The above construction is sufficient to guarantee that each side of the polygon is a closed (non-trivial) loop in the Riemann surface '''H'''/Γ. As such, each side can thus an element of the [[fundamental group]] <math>\pi_1 (\mathbb{H}/\Gamma) \equiv \Gamma </math>. In particular, the fundamental group <math>\pi_1 (\mathbb{H}/\Gamma)</math> has 2''g'' generators <math>A_1, B_1, A_2, B_2, \cdots A_g, B_g</math>, with exactly one defining constraint,

:<math>A_1 B_1 A_1^{-1} B_1^{-1}A_2 B_2 A_2^{-1} B_2^{-1}\cdots A_g B_g A_g^{-1} B_g^{-1}=1</math>.

The genus of the Riemann surface '''H'''/Γ is ''g''.

===Area===
The area of the standard fundamental polygon is <math>4\pi(g-1)</math> where ''g'' is the genus of the Riemann surface (equivalently, where 4''g'' is the number of the sides of the polygon). Since the standard polygon is a representative of '''H'''/Γ, the total area of the Riemann surface is equal to the area of the standard polygon. The area formula follows from the [[Gauss–Bonnet theorem]] and is in a certain sense generalized through the [[Riemann–Hurwitz formula]].

==Explicit form for standard polygons==
Explicit expressions can be given for the regular standard 4''g''-sided polygon, with rotational symmetry. In this case, that of a genus <math>g</math> Riemann surface with ''g''-fold rotational symmetry, the group may be given by <math>2g</math> generators <math>a_k</math>. These generators are given by the following [[fractional linear transform]]s acting on the [[upper half-plane]]:

:<math>a_k=
\left( \begin{matrix}
 \cos k\alpha & -\sin k\alpha \\ \sin k\alpha & \cos k\alpha
\end{matrix} \right)
\left( \begin{matrix} e^p & 0 \\ 0 & e^{-p} \end{matrix} \right)
\left( \begin{matrix}
 \cos k\alpha & \sin k\alpha \\ -\sin k\alpha & \cos k\alpha
\end{matrix} \right)
</math>

for <math>0\le k < 2g</math>. The parameters are given by
:<math>\alpha= \frac{\pi}{4g}\left(2g-1\right)</math>

and
:<math>\beta= \frac{\pi}{4g}</math>

and
:<math>p=\ln \frac{\cos \beta + \sqrt{\cos 2\beta}}{\sin \beta} </math>

It may be verified that these generators obey the constraint

:<math>a_0a_1\cdots a_{2g-1} a^{-1}_0a^{-1}_1\cdots a^{-1}_{2g-1}=1</math>

which gives the totality of the [[group presentation]].

==See also==
* [[Cayley graph]]
* [[Euclidean domain]]
* [[Voronoi diagram]]

==Notes==
{{reflist|30em}}

==References==
*{{citation|last= Ahlfors|first= Lars V. |title=Lectures on quasiconformal mappings|edition= Second|series= University Lecture Series|volume=38|publisher= [[American Mathematical Society]]|year= 2006|isbn= 978-0-8218-3644-6}}
*{{citation|last=Appell|first= P.| last2=Goursat|first2=E.|last3=Fatou|first3=P.|title= Théorie des fonctions algébriques d'une variable, Tome II, Fonctions automorphes|publisher=Gauthier-Vi]lars|year=1930|pages=102–154}}
*{{citation|last=Bambah|first=R. P.|last2= Davenport|first2= H.|title=The covering of n-dimensional space by spheres|journal=J. London Math. Soc.|volume= 27|issue=2|year=1952|pages=224–229|doi=10.1112/jlms/s1-27.2.224}}
*{{citation|first=Alan F.|last= Beardon|title=The Geometry of Discrete Groups|year=1983|publisher=Springer-Verlag|isbn=978-0-387-90788-8}}
*{{citation|first= Alan F.|last= Beardon|title= A primer on Riemann surfaces|series= London Mathematical Society Lecture Note Series|volume= 78|publisher= [[Cambridge University Press]]|year= 1984|isbn= 978-0-521-27104-2|url-access= registration|url= https://archive.org/details/primeronriemanns0000bear}}
*{{citation|last=Bonk|first=Marius|last2=Schramm|first2=Oded|author-link2=Oded Schramm|title=Embeddings of Gromov hyperbolic spaces|journal=Geom. Funct. Anal. |volume=10 |issue=2|year=2000|pages= 266–306|doi=10.1007/s000390050009|citeseerx=10.1.1.47.7874}}
*{{citation|last=Böröczky|first= Károly Jr.|title=Finite packing and covering|series=Cambridge Tracts in Mathematics|volume=154|publisher=[[Cambridge University Press]]|year= 2004|isbn= 978-0-521-80157-7 }}
*{{citation|last=Bourdon|first= Marc|last2=Pajot|first2=Hervé|chapter=Quasiconformal geometry and hyperbolic geometry|title= Rigidity in dynamics and geometry|year=2002|pages= 1–17|publisher=Springer|isbn=978-3-540-43243-2 |editor1=Marc Burger|editor2=Alessandra Iozzi|editor2-link=Alessandra Iozzi}}
*{{citation|last=Buser|first=Peter|author-link=Jürg Peter Buser|title=Geometry and spectra of compact Riemann surfaces|series=Progress in Mathematics|volume=106|publisher=Birkhäuser|year=1992|isbn=978-0-8176-3406-3|url-access=registration|url=https://archive.org/details/geometryspectrao0000buse|doi=10.1007/978-0-8176-4992-0|doi-access=free}}
*{{citation|last=Cassels|first=J. W. S.|title= An introduction to the geometry of numbers|series= Classics in Mathematics|publisher= Springer-Verlag|year=1997|isbn= 978-3-540-61788-4|chapter=IX. Packings}}
* {{citation| last = Coxeter| first= H. S. M| author-link = Harold Scott MacDonald Coxeter| year = 1962
 | title = The Classification of Zonohedra by Means of Projective Diagrams | journal = J. Math. Pures Appl.| volume = 41| pages = 137–156}} 
*{{citation|last=Coxeter|first= H. S. M.|author-link=H. S. M. Coxeter|last2=Moser|first2 =W. O. J.|title=Generators and relations for discrete groups|edition=Fourth edition. Ergebnisse der Mathematik und ihrer Grenzgebiete|volume=14|publisher= Springer-Verlag|year= 1980|isbn= 978-3-540-09212-4}}
*{{citation|last=Eggleston|first=H. G.|title=Convexity|series=Cambridge Tracts in Mathematics and Mathematical Physics|volume=[[Cambridge University Press]]|year= 1958}}
*{{citation|last=Farb|first=Benson|author1-link=Benson Farb|last2=Margalit|first2=Dan|author2-link=Dan Margalit (mathematician)|title=A primer on mapping class groups|series=Princeton Mathematical Series|volume=49|publisher=[[Princeton University Press]]|year= 2012|isbn= 978-0-691-14794-9}}
*{{citation|first=Hershel M. |last=Farkas|first2= Irwin|last2= Kra|title=Riemann Surfaces|year=1980|publisher= Springer-Verlag|isbn= 978-0-387-90465-8}}
*{{citation|last=Fenchel|first= Werner|author-link=Werner Fenchel|last2=Nielsen|first2=Jakob|author-link2=Jakob Nielsen (mathematician)|title=Discontinuous groups of isometries in the hyperbolic plane|series=de Gruyter Studies in Mathematics|volume= 29|publisher= Walter de Gruyter|year= 2003|isbn= 978-3-11-017526-4 }}
*{{citation|last=Fricke|first= Robert|last2= Klein|first2= Felix|title=Vorlesungen über die Theorie der automorphen Funktionen, Band 1: Die gruppentheoretischen Grundlagen|  year=1897| publisher=Teubner| pages=236–237, 295–320}}
*{{citation|last=Grünbaum|first=Branko|author1-link=Branko Grünbaum|last2=Shephard|first2=G. C.|author2-link=G. C. Shephard|title=Tilings and patterns|publisher=W. H. Freeman|year=1987|isbn=978-0-7167-1193-3|url-access=registration|url=https://archive.org/details/isbn_0716711931}}
*{{citation| last = Guggenheimer | first = H. | author-link = Heinrich Guggenheimer| doi = 10.1007/BF02464980| journal = [[Archive for History of Exact Sciences]]| jstor = 41133486| mr = 0532231| pages = 193–200| title = The Jordan curve theorem and an unpublished manuscript by Max Dehn| url = http://www.maths.ed.ac.uk/~aar/jordan/guggenheim.pdf| volume = 17| issue = 2 | year = 1977| citeseerx = 10.1.1.374.1893 }}
*{{citation|last=Hirsch|first= Morris W. |title=Differential topology|series=Graduate Texts in Mathematics|volume=33|publisher= Springer-Verlag|year= 1994|isbn= 978-0-387-90148-0}}
*{{citation|first=Y. |last=Imayoshi|first2=M.|last2=Taniguchi|title=An Introduction to Teichmüller spaces|publisher=Springer-Verlag|year=1992|isbn=978-0-387-70088-5}}
*{{citation|last=Iversen|first= Birger|title=Hyperbolic geometry|series=London Mathematical Society Student Texts|volume= 25|publisher=[[Cambridge University Press]]|year= 1992|isbn= 978-0-521-43508-6}}
*{{citation|first=Jurgen |last=Jost|title=Compact Riemann Surfaces|year=2002| edition=2nd|publisher=Springer-Verlag|isbn= 978-3-540-43299-9}}
*{{citation|last=Kapovich|first=Ilya|last2=Benakli|first2=Nadia|chapter=Boundaries of hyperbolic groups|title=Combinatorial and geometric group theory|pages= 39–93|series=Contemp. Math.|volume=296|publisher=[[American Mathematical Society]]|year=2002}}
*{{citation|last=Keen|first=Linda|author-link=Linda Keen|title=Canonical polygons for finitely generated Fuchsian groups|journal=Acta Math.|volume= 115|year= 1965 |pages=1–16|doi=10.1007/bf02392200|doi-access=free}}
*{{citation|last=Keen|first=Linda|author-link=Linda Keen|title=Intrinsic moduli on Riemann surfaces|journal=Ann. of Math.|volume= 84 |issue=3|year=1966|pages= 404–420|doi=10.2307/1970454|jstor=1970454}}
*{{citation|title=Mathematics of the 19th Century: Mathematical Logic, Algebra, Number Theory, Probability Theory|editor2-first=A. P. |editor2-last=Yukshkevich|editor1-first=A. N.|editor1-last=Kolmogorov|publisher=Springer |year= 2001|isbn=978-3-7643-6441-0}}
*{{citation|last=Lehto|first= Olli |title=Univalent functions and Teichmüller spaces|series= Graduate Texts in Mathematics|volume= 109|publisher=Springer-Verlag|year= 1987|isbn= 978-0-387-96310-5}}
*{{citation|last=Lyusternik|first= L. A.|author-link=Lazar Lyusternik|title=Convex figures and polyhedra|translator= Donald L. Barnett|publisher= D. C. Heath and Co.|location= Boston|year=1966}}
*{{citation|last=Nevanlinna|first= Rolf|title=Uniformisierung|language=de|series=Die Grundlehren der Mathematischen Wissenschaften in Einzeldarstellungen mit besonderer Berücksichtigung der Anwendungsgebiete|volume=64|publisher=Springer-Verlag|year= 1953}}
*{{citation|last= Seifert|first= Herbert|last2= Threlfall|first2= William|title= A textbook of topology|translator= Michael A. Goldman|series= Pure and Applied Mathematics|volume= 89|publisher= Academic Press|year= 1934|isbn= 978-0-12-634850-7|url-access= registration|url= https://archive.org/details/seifertthrelfall0000seif}}
*{{citation|last=Shastri|first= Anant R.|title=Elements of differential topology|publisher= CRC Press|year=2011|isbn= 978-1-4398-3160-1}}
*{{citation|last=Siegel|first= C. L.|title= Topics in complex function theory, Vol. II. Automorphic functions and abelian integrals|translator1= A. Shenitzer|translator2=M. Tretkoff|year=1971| publisher=Wiley-Interscience}}
*{{citation|last=Stillwell|first=John|title=Geometry of surfaces|series=Universitext|publisher=Springer-Verlag|year=1992|isbn=978-0-387-97743-0|url-access=registration|url=https://archive.org/details/geometryofsurfac0000stil}}
*{{citation|last=Zong|first=Chuanming |title=Packing, covering and tiling in two-dimensional spaces|journal=Expositiones Mathematicae|volume= 32|issue=4 |year=2014|pages=297–364|doi=10.1016/j.exmath.2013.12.002|doi-access=free}}

[[Category:Conformal geometry]]
[[Category:Riemann surfaces]]
[[Category:Combinatorial group theory]]
[[Category:Geometric topology]]