Hostname: page-component-848d4c4894-5nwft Total loading time: 0 Render date: 2024-05-15T12:05:02.485Z Has data issue: false hasContentIssue false

Calculation of Fuchsian groups associated to billiards in a rational triangle

Published online by Cambridge University Press:  01 August 1998

CLAYTON C. WARD
Affiliation:
8306 Grainfield Road, Severn, MD 21144, USA (e-mail: clayton@afterlife.ncsc.mil)

Abstract

We define, following Veech, the Fuchsian group $\Gamma(P)$ of a rational polygon $P$. If $P$ is simply-connected, then ‘rational’ is equivalent to the condition that all interior angles of $P$ be rational multiples of $\pi$. Should it happen that $\Gamma(P)$ has finite covolume in $\mathop{\rm PSL}\nolimits (2, {\Bbb R})$ (and is thus a {\it lattice}), then a theorem of Veech states that every billiard path in $P$ is either finite or uniformly distributed in $P$.

We consider the Fuchsian groups of various rational triangles. First, we calculate explicitly the Fuchsian groups of a new sequence of triangles, and discover they are lattices. Interestingly, the lattices found are not commensurable with those previously known. We then demonstrate a class of triangles whose Fuchsian groups are {\it not\/} lattices. These are the first examples of such triangles. Finally, we end by showing how one may specify algebraically, i.e. by an explicit polynomial in two variables, the Riemann surfaces and holomorphic one-forms that are associated to a simply-connected rational polygon. Previously, these surfaces were known by their geometric description. As an example, we show a connection between the billiard in a regular polygon and the well-known Fermat curves of the algebraic equation $x^n + y^n = 1$.

Type
Research Article
Copyright
© 1998 Cambridge University Press

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)