@uludag

Cutting Sequences for Geodesic Flow on the Modular Surface and Continued Fractions

, and . (1997)cite arxiv:math/9707215 Comment: 46 pages (including abstract page), 5 figures, LaTeX, curves.sty; minor changes suggested by referee from previous version; that version revises sections 1 and 3 and corrects minor errors from MSRI 1997-074.

Abstract

This paper describes the cutting sequences of geodesic flow on the modular surface H/PSL(2,Z) with respect to the standard fundamental domain F = z=x+iy: -1/2 <= x <= 1/2 and |z|>=1 of PSL(2,Z). The cutting sequence for a vertical geodesic þeta+it: t > 0 is related to a one-dimensional continued fraction expansion for þeta, called the one-dimensional Minkowski geodesic continued fraction (MGCF) expansion, which is associated to a parametrized family of reduced bases of a family of 2-dimensional lattices. The set of cutting sequences for all geodesics forms a two-sided shift in a symbol space L,R,J which has the same set of forbidden blocks as for vertical geodesics. We show that this shift is not a sofic shift, and that it characterizes the fundamental domain F up to an isometry of the hyperbolic plane H. We give conversion methods between the cutting sequence for the vertical geodesic þeta+it: t > 0, the MGCF expansion of and the additive ordinary continued fraction (ACF) expansion of þeta. We show that the cutting sequence and MGCF expansions can each be computed from the other by a finite automaton, and the ACF expansion of can be computed from the cutting sequence for the vertical geodesic þeta+it by a finite automaton. However, the cutting sequence for a vertical geodesic cannot be computed from the ACF expansion by any finite automaton, but there is an algorithm to compute its first l symbols when given as input the first O(l) symbols of the ACF expansion, which takes time O(l^2) and space O(l).

Description

Cutting Sequences for Geodesic Flow on the Modular Surface and Continued Fractions

Links and resources

Tags