SURFACES OF GENUS 2: GENERIC FUNDAMENTAL POLYGONS
SURFACES OF GENUS 2: GENERIC FUNDAMENTAL POLYGONS
复制标题
第 2 类曲面:通用基本多边形
DOI:
10.1093/qmath/33.4.451
复制
发表时间:
1982
影响因子:
0.7
通讯作者:
M. Näätänen
中科院分区:
文献类型:
--
作者:
T. Jørgensen;M. Näätänen
WHEN studying a Fuchsian group F acting on the hyperbolic plane H it is often convenient to represent the orbit space HfT by a fundamental polygon. There are various ways of constructing such a polygon. If one chooses a point h e H with distinct images under the action of F, then the set Ph (F) of points closer to h than to any other point in the F-orbit of h is a convex fundamental polygon. The sides of Ph (F) are congruent in pairs by certain elements of F. These side-pairing transformations generate F.We study some of the different possible side-pairing patterns for polygons like Ph (F) in the case when HfT is a closed surface S of genus 2. One may think of S as being obtained by gluing together the equivalent sides of a fundamental polygon P. On the surface the gluing locus is a connected graph G with connected complement. Going around the boundary of P once corresponds to a closed walk on G, where each edge is traversed exactly once in each direction. Let e and v denote the number of edges and vertices of G. Since S has genus 2, Euler's formula gives e= v+ 3. Each edge of G lifts to 2 sides of P and each vertex lifts to at least 3 vertices. The number of sides of P equals the number of vertices, hence 2e^ 3D. It follows that P has at most 18 sides. The minimal number of sides for P is 8, obtained when v= 1. The generic case is that of Ph (F) being an 18-gon or, equivalently, of G being a trivalent graph with 9 edges and 6 vertices. Given the group F, this picture arises for P= Ph (F) for almost all h [1]. We show that, disregarding orientation, there are 8 essentially different ways of pairing the sides of an 18-gon to obtain a closed surface of genus 2 (Theorem 1). This is done by first exhibiting the possible graphs (Proposition 1) and then studying which closed walks each permits (Proposition 2). The transition pattern between the 8 types is presented in Section 5. All 8 patterns occur as Dirichlet regions. This is seen by constructing an 18-gon with angles 2TT/3 and using the Poincare theorem. With help of a computer, Lee Mosher has found that there are 1726 different types of generic fundamental polygons for surfaces of genus 3.