The Nielsen development and transitive points under a certain Fuchsian group (Q1058016): Difference between revisions

Denote by D the unit disk and let F be a regular 4g-gon in D centered at the origin. We view F as the Dirichlet fundamental region for a Fuchsian group G representing a compact surface of genus g. The union of the translates of \(\partial F\) forms an infinite graph in D accumulating at \(\partial D\). Let \(F^ d\) denote the dual of this graph and straighten each edge into a geodesic segment. Every word in G defines a path in \(F^ d\). For a restricted set of paths in the graph, Nielsen showed that a finite admissible symbol (his terminology) or path may be associated to a closed interval in \(\partial D\). He also gave a method for associating an infinite symbol to a boundary point and this association is unique except for countably many boundary points. The purpose of this paper is to use these ideas to prove a rotational invariance to the set of transitive points of G. Since this phrase has been defined in several distinct ways, we give the definition used. \(\zeta\in \partial D\) is a transitive point for G if, for every ordered pair \((\zeta_ 1,\zeta_ 2)\) of points in \(\partial D\) and all \(z\in D\) and all \(\epsilon >0\), there is some \(\gamma\in G\) so that the distance from \(\zeta_ 1\) to \(\gamma\) (z) \(+ the\) distance from \(\zeta_ 2\) to \(\gamma\) (\(\zeta)\) is less than \(\epsilon\). Using results of Nielsen and Hedlund, the authors prove that the set of transitive points is rotationally invariant under the cyclic group of order 4g. An example is also given of the Nielsen development associated to an intransitive point.