, , March 1, 2005

For a long time, it has been known that the ergodic properties of linear flows on a translation surface are strongly related to the behavior of its

SL 2 (R)

-orbit in the moduli space of holomorphic one forms (see [MaTa] for a survey of the literature on this subject). The

SL 2 (R)

-orbit of a translation surface is called its Teichmüller disc. Its stabilizer under the action of

SL 2 (R)

is a Fuchsian group called the Veech group.

In 1989, Veech proved that a translation surface whose stabilizer is a lattice has optimal dynamical properties: the directional flows are periodic or uniquely ergodic (see [Ve2] ). Since then, much effort has gone into the study of the geometry of Teichmüller discs ([Ve3] , [Vo] , [Wa] ). Hubert and Schmidt [HuSc1, HuSc2] found the first examples of infinitely generated Veech groups. Just after that, McMullen [Mc1, Mc2] proved that, in genus 2, the existence of a pseudo-Anosov diffeomorphism in the affine group implies that the Veech group is a Fuchsian group of the first kind (which means that either it is a lattice or it is infinitely generated). Calta's work [Ca] presents a different approach to the classification of completely periodic surfaces in genus 2. Roughly speaking, in genus 2, as soon as the Veech group contains a hyperbolic element, it is very big. We will explain that the situation may be different in genus

g \geq 3

Gutkin and Judge [GuJu] showed that a translation surface is a covering of the torus ramified over one point if and only if its Veech group is commensurable to

SL 2 (Z)

. Kenyon and Smillie [KeSm] gave a simple criterion ensuring this property: if the Veech group of a translation surface contains a hyperbolic element whose trace belongs to

Q

, then this group is commensurable to

SL 2 (Z)

. Hubert and Lelièvre [HuLe] found examples of Teichmüller discs of finite volume which have positive genus.

This result was extended in full generality by McMullen [Mc3] . In particular, this implies that the naive algorithm consisting in calculating the subgroup generated by the parabolic elements does not give the whole Veech group (even not a finite index subgroup). Up to now, there are no general methods to prove that a Veech group is no bigger than what we “see”. The result of this paper is a step in this direction.

To date there are two methods to produce pseudo-Anosov diffeomorphisms in natural coordinates.

In the first one, due to Thurston, a pseudo-Anosov diffeomorphism is obtained as a product of two parabolic elements (see [FLP] , [Th] , [Ve2] ). Independently, a very general construction was discovered by Veech [Ve1] . It is based on the Rauzy induction of interval exchange transformations (see also [ArYo] for specific examples of such pseudo-Anosov diffeomorphisms, for any genus

g \geq 3

A simple consequence of our result is that some pseudo-Anosov diffeomorphisms are not given by Thurston's construction (see [Le] for another proof ). In fact, we prove a stronger result:

Theorem 1.1. Let

(X, ω)

be a translation surface. Let us assume that the Veech group

SL (X, ω)

contains two transverse parabolic elements. Then the trace field

Q [Trace (A), A \in SL (X, ω)]

is totally real.

When a pseudo-Anosov diffeomorphism

φ

acts linearly on a translation surface by the diagonal matrix

D φ = [\begin{matrix} λ & 0 \\ 0 & λ^{- 1} \end{matrix}]

(with

λ > 1

), its expansion factor is

λ (φ) = λ

(and

1 / λ

is the contraction factor).

From Theorem 1.1 , we draw the following results.

Theorem 1.2. Let

(X, ω)

be a translation surface endowed with a pseudo-Anosov diffeomorphism

φ

with expansion factor

λ

. Let us assume that the field

Q [λ + λ^{- 1}]

is not totally real. Then

SL (X, ω)

does not contain any parabolic element.

Arnoux and Yoccoz [ArYo] discovered a family

φ_{n}

n \geq 3

of pseudo-Anosov diffeomorphisms with expansion factor

λ_{n} = λ (φ_{n})

the Pisot root of the irreducible polynomial

X^{n} - X^{n - 1} - \cdot \cdot \cdot - X - 1

The pseudo-Anosov

φ_{n}

acts linearly on a genus

n

surface (the corresponding Abelian differential having two zeroes of order

n - 1

Corollary 1.3. The Teichmüller disc stabilized by the Arnoux–Yoccoz pseudo-Anosov

φ_{n}

n \geq 3

does not contain any parabolic direction. Therefore, for any genus

g \geq 3

, there exists a genus

g

translation surface such that its Veech group has (at least) one hyperbolic element and no parabolic elements.

Corollary 1.4. The trace field of any Veech surface is totally real.

Remark 1.1. Möller proved Corollary 1.4 by very different methods (see [M¨] ).

Corollary 1.5. There exists a Veech group which is commensurable to a Fuchsiangroup which only contains hyperbolic elements.

Acknowledgments. We thank John Hubbard for explaining to us Thurston's construction.We also thank Howard Masur, Curt McMullen, Thomas Schmidt and Anton Zorichfor helpful comments on preliminary versions of this paper. This work was done when the first author visited the second at the Max-Planck-Institutefür Mathematik in Bonn. We thank the Institute for excellent working conditions.

2 Background

In order to establish notations and preparatory material, we review basic notions concerning translation surfaces, affine automorphisms groups and trace fields. We will end this section by recalling Veech's viewpoint on Thurston's construction. See say [KeSm] , [MaTa] , [Mc1, Mc2] , [Th] , [Ve2] for more details; See also [Mc3, Mc4, Mc5] , for recent related developments. For a general reference on Fuchsian groups, see [Ka] .

2.1 Translation surfaces and affine diffeomorphisms groups

A translation surface is a (real) genus

g

surface with an atlas such that all transition functions are translations. As usual, we consider maximal atlases. These surfaces are precisely those given by a Riemann surface

X

and a holomorphic (non-null) one form

ω \in Ω (X)

; see [MaTa] for a general reference on translation surfaces and holomorphic one form.

We denote by

X^{'}

the surface that arises from

X

by deleting the zeroes of the form

ω

X

The translation structure defines on

X^{'}

a Riemannian structure; we therefore have notions of geodesic, length, angle, flow, measure... Orbits of the directional flows meeting singularities are called separatrices. Orbits of the flow going from a singularity to another one (possibly the same) are called saddle connections.

Given any matrix

A \in SL 2 (R)

, we can post-compose the coordinate functions of the charts of

(X, ω)

A

. One easily checks that this gives a new translation surface, denoted by

A \cdot (X, ω)

We therefore get an

SL 2 (R)

-action on these translation surfaces.

An affine diffeomorphism

f : X \to X

is a homeomorphism of

X

such that

f

restricts to a diffeomorphism on

X^{'}

of constant derivative. It is equivalent to say that

f

restricts to an isomorphism of

X^{'}

which preserves the induced translation structure given by

ω

. Usually, one denotes by

Aff (X, ω)

the group of orientation preserving affine diffeomorphisms. The function which takes an affine diffeomorphism

f

to its derivative

D f

gives a homomorphism from

Aff (X, ω)

into

SL 2 (R)

. The image of

Aff (X, ω)

is the Veech group

SL (X, ω)

of the surface

(X, ω)

– this is a discrete subgroup and, when

X

has genus greater than one, the kernel of the homomorphism is finite.

One easily checks that the Veech group

SL (X, ω)

is the

SL 2 (R)

-stabilizer of

(X, ω)

. Thus, for any matrix

A \in SL 2 (R)

, the Veech group of

(X, ω)

and

A \cdot (X, ω) = (Y, α)

are conjugate in

SL 2 (R)

SL (Y, α) = A \cdot SL (X, ω) \cdot A^{- 1}

There is a standard classification of the elements of

SL 2 (R)

into three types: elliptic, parabolic and hyperbolic. This induces a classification of affine diffeomorphisms.

Elliptic elements. A diffeomorphism

f

is periodic if and only if the linear map

D f

is elliptic; that is

| trace (D f) | < 2

. If an elliptic element belongs to a Fuchsian group, its order is finite.

Parabolic elements. An affine diffeomorphism

f

is reducible if and only if the linear map

D f

is parabolic; that is

| trace (D f) | = 2

. This is equivalent to say that

D f

has a unique invariant direction.

A cylinder on

(X, ω)

is a maximal connected set of homotopic simple closed geodesics.

If the genus of

X

is greater than one then every cylinder is bounded by saddle connections. A cylinder has a width (or circumference)

x

and a height

y

. The modulus of a cylinder is

μ = x / y

. Veech [Ve2] proved the following:

Proposition (Veech). If a translation surface

(X, ω)

has a parabolic affine diffeomorphism

f

, then there is a decomposition of

X

into metric cylinders parallel to the fixed direction of

D f

. Furthermore, the moduli of the cylinders are commensurable (have rational ratios).

Remark 2.1. In the above proposition, up to take a power of the affine diffeomorphism, we can assume that

f

acts as a power of the affine Dehn twist on each cylinder. Therefore the boundary of each cylinder is fixed by

f

Conversely, cylinder decomposition into cylinders of commensurable moduli produces parabolic elements. Namely, the following holds:

Proposition (Veech). If

(X, ω)

has a decomposition into metric cylinders for the horizontal direction, with commensurable moduli, then the Veech group

SL (X, ω)

contains

D f = (\begin{matrix} 1 & c \\ 0 & 1 \end{matrix})

where

c

is the least common multiple of the moduli.

Hyperbolic elements. A diffeomorphism

f

is pseudo-Anosov if and only if the linear map

D f

is hyperbolic; that is

| trace (D f) | > 2

. In this case,

D f

has two real eigenvalues

λ^{- 1} < 1 < λ

. We recall that

λ

is the expansion factor of the pseudo-Anosov diffeomorphism

f

Remark 2.2. In a Fuchsian group, a parabolic direction (invariant direction of a parabolic element) is never fixed by a hyperbolic element. More precisely, if a hyperbolic element

H

fixes a parabolic direction of a parabolic element

P

then one can easily check that

H^{n} P H^{- n}

converges to

Id

n

tends to

+ \infty

(or

- \infty

), which is impossible in a discrete group.

2.2 Trace fields

In this section we recall some general properties of the trace field of a group; see [GuJu] , [KeSm] , [Mc1, Mc2] .

The trace field of a group

Γ \subset SL 2 (R)

is the subfield of

R

generated by tr

(A)

A \in Γ

. One defines the trace field of a flat surface

(X, ω)

to be the trace field of its Veech group

SL (X, ω) \subset SL 2 (R)

Let

(X, ω)

be a genus

g

translation surface. Then the following holds:

Theorem (Kenyon, Smillie). The trace field of

(X, ω)

has degree at most

g

over

Q

Assume that the affine diffeomorphisms group of

(X, ω)

contains a pseudo-Anosov element

f

with expansion factor

λ

. Then the trace field of

(X, ω)

Q [λ + λ^{- 1}]

One defines the connection vectors to be the integrals of

ω

along the saddle connections. Let us denote

Λ = Λ (ω)

the subgroup of

R^{2}

generated by connection vectors

Λ = \int_{H_{1} (X, Z)} ω

Let

e_{1}, e_{2} \in Λ

be non-parallel vectors in

R^{2}

. One defines the holonomy field

k

to be the smallest subfield of

R

such that every element of

Λ

can be written

a e_{1} + b e_{2}

with

a, b \in k

Theorem (Kenyon, Smillie). The trace field of

(X, ω)

coincides with

k

. The space

Λ \otimes Q \subset C

is a

2

-dimensional vector space over

k

See also [GuJu] for a different approach of these notions. Note that these results have been rediscovered in [Mc1, Mc2] .

2.3 Veech's viewpoint on Thurston's construction

Let us recall the Thurston–Veech construction [Th, Ve2] . We will follow the notations of the paper of Veech [Ve2] , section

§ 9

Let

(Y, α)

be a translation surface with vertical and horizontal parabolic directions. Up to taking a power of the parabolic elements, one can assume that the corresponding parabolic

P_{v}

(resp

P_{h}

) is a multiple of the Dehn twist of each vertical (resp horizontal) cylinder (see Remark 2.1 ).

In these coordinates our two parabolic elements are

P_{h} = (\begin{matrix} 1 & c \\ 0 & 1 \end{matrix}) and P_{v} = (\begin{matrix} 1 & 0 \\ d & 1 \end{matrix})

Without loss of the generality, we may assume that

c

and

d

are positive real numbers.

Claim 2.1. Let

t = c d > 0

; then the trace field of

SL (Y, α)

Q [t]

Proof of Claim 2.1 . The matrix $P_{h} P_{v}$ has trace $2 + t > 2$ , thus this is a hyperbolic element and, following [KeSm] (see above section 2.2 ), the trace field of $SL (Y, α)$ is $Q [t]$ . So the claim is proven. □

Let us denote by

H_{i}

1 \leq i \leq r

and

V_{j}

1 \leq j \leq s

the horizontal and vertical cylinders. Let us denote the width and heights of

H_{i}

and

V_{j}

respectively by

(x_{i}, y_{i})

and

(ξ_{j}, η_{j})

. We insist that the first coordinate is the width and the second one is the height even for vertical cylinders.

With these notations, let

E

be the

r \times s

integer matrix whose entry

E_{i, j}

is the number of rectangles

(ξ_{j} \times y_{i})

in the intersection

H_{i} \cap V_{j}

. All of these rectangles have width

y_{j}

and heights

ξ_{i}

. In other words,

E_{i, j}

is the intersection number of the core curves of the cylinders

H_{i}

and

V_{j}

Let us introduce the following notations of linear algebra:

\vec{x} = (x_{1}, . . ., x_{r})

\vec{y} = (y_{1}, . . ., y_{r})

\vec{ξ} = (ξ_{1}, . . ., ξ_{s})

and

\vec{η} = (η_{1}, . . ., η_{s})

. Then one can summarize the above discussion by the matrix relations:

\begin{matrix} {\begin{matrix} \vec{x} = E \vec{ξ} \\ \vec{η} =^{t} E \vec{y} \end{matrix} \end{matrix}

(1)

The moduli of the vertical cylinder

V_{j}

(resp horizontal cylinder

H_{i}

) is commensurable with

d

(resp with

c

). More precisely, there exist integers

m_{i}

1 \leq i \leq r

, and

n_{j}

1 \leq j \leq s

, such that

\begin{matrix} {\begin{matrix} m_{i} x_{i} = c y_{i} \\ n_{j} η_{j} = d ξ_{j} \end{matrix} \end{matrix}

(2)

Let us denote by

D_{m} = Diag (m_{1}, . . ., m_{r})

and

D_{n} = Diag (n_{1}, . . ., n_{s})

the diagonal matrices. Then the above equation ( 2 ) becomes:

\begin{matrix} {\begin{matrix} D_{m} \vec{x} = c \vec{y} \\ D_{n} \vec{η} = d \vec{ξ} \end{matrix} \end{matrix}

(3)

From equations ( 1 ) and ( 3 ) one gets the following new one:

{\begin{matrix} E D_{n} \vec{η} = d \vec{x} \\ ^{t} E D_{m} \vec{x} = c \vec{η} \end{matrix}

and therefore we deduce:

\begin{matrix} {\begin{matrix} E {D_{n}}^{t} E D_{m} \vec{x} = c d \vec{x} \\ ^{t} E D_{m} E D_{n} \vec{η} = c d \vec{η} \end{matrix} \end{matrix}

(4)

Now, in order to follow Veech's notations, let us introduce the two matrices

F_{n} = E D_{n}

and

F_{m} =^{t} E D_{m}

. As remarked in [Ve2] , the matrices

F_{n} F_{m}

and

F_{m} F_{n}

have a power with positive entries (see [HuLe] Appendix C for a proof ). Therefore

t = c d > 0

is the unique Perron–Frobenius eigenvalue. Thus, up to renormalization of the area of the surface, the coordinates of

\vec{x}

and

\vec{η}

belong to

Q [t]

Now we have all necessary tools to prove the announced results.

3 Proofs

Proof of Theorem 1.2 . Let us assume that there is a parabolic element $P$ in $SL (X, ω)$ . Let us denote by $H$ the derivative of the pseudo-Anosov $φ$ . Then the conjugate $H . P . H^{- 1}$ is another parabolic element in $SL (X, ω)$ . Let $x \in \partial H$ be the fixed point of $P$ . Thus, $H (x)$ is a fixed point of $H . P . H^{- 1}$ . But by Remark 2.2 , $H (x) \neq x$ , then $H . P . H^{- 1} \in SL (X, ω)$ is certainly a parabolic element transverse to the parabolic $P$ . Therefore Theorem 1.1 applies. □

Proof of Theorem 1.1 . Let us assume that the surface

(X, ω)

has two transverse parabolic elements.

By a standard argument, one can find a matrix

A \in {SL}_{2} (R)

which sends the two invariant directions of our parabolic elements into horizontal and vertical direction. The Veech group

SL (Y, α) = A \cdot SL (X, ω) \cdot A^{- 1}

possesses the same trace field as

SL (X, ω)

Now up to taking a power of the parabolic element, one can assume that they are a multiple of the Dehn twist on each vertical (resp horizontal) cylinder (see Remark 2.1 ). Thus one can apply Veech's viewpoint on Thurston's construction, section 2.3 . In particular we follow the notations introduced in that section.

Recall that the trace field of

SL (Y, α)

Q [t]

(see Claim 2.1 ). Now let us prove that

Q [t]

is totally real.

Let

σ

be an embedding of

Q [t]

into

C

and

t^{'} = σ (t) \in C

be a conjugate of

t

. Applying

σ

to the first part of equation ( 4 ):

F_{n} F_{m} \vec{x} = t \vec{x}

and recalling that

F_{n} F_{m}

is an integer matrix, one gets

\begin{matrix} F_{n} F_{m} σ (\vec{x}) = t^{'} σ (\vec{x}) \end{matrix}

(5)

Now, let us denote by

D_{\sqrt{m}} = Diag (\sqrt{m_{1}}, . . ., \sqrt{m_{r}})

and

D_{\sqrt{n}} = Diag (\sqrt{n_{1}}, . . ., \sqrt{n_{s}})

the diagonal matrices.

Then

F_{n} F_{m} = E {D_{n}}^{t} E D_{m} = E D_{\sqrt{n}} {D_{\sqrt{n}}}^{t} E D_{\sqrt{m}} D_{\sqrt{m}} = E {D_{\sqrt{n}}}^{t} (E D_{\sqrt{n}}) D_{\sqrt{m}} D_{\sqrt{m}}

Let us set

A = E D_{\sqrt{n}}

. Substituting this into the last equation, yields:

F_{n} F_{m} = A^{t} A D_{\sqrt{m}} D_{\sqrt{m}}

Letting

M = D_{\sqrt{m}} A

, it becomes:

(6) F n F m = D m − 1 D m A t A D m D m = = D m − 1 D m A t ( D m A ) D m = = D m − 1 M t M D m

Now equation ( 5 ) and the fact that

σ (\vec{x}) \neq \vec{0}

imply that

t^{'}

is an eigenvalue of

F_{n} F_{m}

. But by equation ( 6 ), the two matrices

F_{n} F_{m}

and

M^{t} M

are similar, they thus have the same eigenvalues.

But

M^{t} M

is symmetric, thus all of its eigenvalues are real, and so

t^{'} \in R

Finally the trace field

Q [t]

(Y, α)

, and that of

(X, ω)

, is totally real. Theorem 1.1 is proved. □

Proof of Corollary 1.3 . Let n ≥ 3 be any odd integer. We denote by ( X n , ω n ) a flat surface in the Teichmüller disc stabilized by the Arnoux–Yoccoz pseudo-Anosov φ n . The trace field of ( X n , ω n ) is Q [ λ n + λ n − 1 ]
.
We recall that λ n is a Pisot number (see [ArYo] ). A direct calculation shows that the conjugates of λ n are not real if n is odd and that all the conjugates of λ n except one are not real if n
is even.
The following lemma shows that $Q [λ_{n} + λ_{n}^{- 1}]$ is not totally real.
Lemma 3.1. Let $β$ be a Pisot number such that $Q [β]$ is not totally real then $Q [β + β^{- 1}]$ is not totally real.

Proof of Lemma 3.1 . Let $δ$ be a conjugate of $β$ which is not real. The complex number $σ = δ + δ^{- 1}$ is a conjugate of $β + β^{- 1}$ . It is enough to show that $σ$ is not real to prove that $Q [β + β^{- 1}]$ is not totally real. Writing $δ = ρ e^{i θ}$ (with $sin (θ) \neq 0$ ), we have $ℑ m (σ) = (ρ - ρ^{- 1}) sin (θ)$ . As $β$ is a Pisot number, $ρ = | δ | < 1$ . Therefore $δ$ is not real. So Lemma 3.1 is proven. □

Now Corollary 1.3 follows from Lemma 3.1 and Theorem 1.2 . □

Proof of Corollary 1.4 . On a Veech surface, every direction of saddle connection is a parabolic direction. There are thus at least two transverse parabolic elements in the Veech group and Theorem 1.1 applies. □

Proof of Corollary 1.5 . Let $(X, ω)$ be any genus $g \geq 3$ translation surface whose Veech group only contains hyperbolic and elliptic elements. Any elliptic element in $SL (X, ω)$ is conjugate in $SL 2 (R)$ to a rotation. As a rotation preserves the underlying complex structure of the Riemann surface $X$ , it is an automorphism of a genus $g$ Riemann surface. Therefore, by a Theorem of Hurwitz, the order of any elliptic element belonging to $SL (X, ω)$ is bounded by $84 (g - 1)$ , see say [FaKr] $§ 5$ p. $242$ .
Now we recall a Theorem of Purzitsky on Fuchsian groups (see [Pu] Theorem $7$ p. $241$ ):
Theorem (Purzitsky). Let $Γ$ be a Fuchsian group. Then $Γ$ contains a finite index subgroup without elliptic elements if and only if there exists a constant $N$ such that the order of any elliptic element of $Γ$ is less than $N$ .

Now Corollary 1.5 follows from Purzitsky's Theorem taking $Γ = SL (X, ω)$ . □

References

P. Arnoux, J.C. Yoccoz, Construction de difféomorphismes pseudo-Anosov. (French) C. R. Acad. Sci. Paris Sr. I Math. 292 no. 1, (1981) 75–78.
K. Calta, Veech surfaces and complete periodicity in genus two, J. Amer. Math. Soc. 17 no. 4, (2004) 871–908.
H.M. Farkas, I. Kra, Riemann surfaces, Graduate Texts in Mathematics 71, Springer-Verlag, New York-Berlin, (1980).
A. Fathi, F. Laudenbach, V. Poénaru, Travaux de Thurston sur les surfaces, Astérisque 66–67, (1979).
E. Gutkin, C. Judge, Affine mappings of translation surfaces: Geometry and arithmetic, Duke Math. J. 103, (2000) 191–213.
P. Hubert, S. Lelièvre, Prime arithmetic Teichmüller discs in $ℋ (2)$ , Israel Journal of Math., (2005) to appear.
P. Hubert, T.A. Schmidt, Infinitely generated Veech groups, Duke Math. J. 123, (2004) 49–69.
P. Hubert, T.A. Schmidt, Geometry of infinitely generated Veech groups, ArXiV math.GT/0410132, preprint (2004).
S. Katok, Fuchsian Groups, U. Chicago Press, Chicago, (1992).
R. Kenyon, J. Smillie, Billiards in rational-angled triangles, Comment. Math. Helv. 75, (2000) 65–108.
C. Leininger, On groups generated by two positive multi-twists: Teichmüller curves and Lehmer's number, Geom. Topol. 8, (2004) 1301–1359.
H. Masur, S. Tabachnikov, Rational billiards and flat structures, in Handbook of dynamical systems, Vol. 1A, North-Holland, Amsterdam, (2002) 1015–1089.
C. McMullen, Billiards and Teichmüller curves on Hilbert modular surfaces, J. Amer. Math. Soc. 16 no. 4, (2003) 857–885.
C. McMullen, Teichmüller geodesics of infinite complexity, Acta Math. 191 no. 2, (2003) 191–223.
C. McMullen, Teichmüller curves in genus two: Discriminant and spin, preprint (2004).
C. McMullen, Teichmüller curves in genus two: The decagon and beyond, preprint (2004).
C. McMullen, Teichmüller curves in genus two: Torsion divisors and ratios of sines, preprint (2004).
M. Möller, Variations of Hodge structure of Teichmüller curves, ArXiV math.AG/0401290, preprint (2004).
N. Purzitsky, A cutting and pasting of noncompact polygons with applications to Fuchsian groups, Acta Math. 143, (1979) 233–250.
W. Thurston, On the geometry and dynamics of diffeomorphisms of surfaces, Bull. A.M.S. 19, (1988) 417–431.
W. Veech, Gauss measures for transformations on the space of interval exchange maps, Ann. Math. 115, (1982) 201–242.
W. Veech, Teichmüller curves in modular space, Eisenstein series, and an application to triangular billiards, Inv. Math. 97, (1989) 553–583.
W. Veech, The billiard in regular polygon, Geom. and Func. Analysis 2, (1992) 341–379.
Y. Vorobets, Planar structure and billiards in rational polygons: the Veech alternative, Russ. Math. Surv. 51, (1996) 779–817.
C. Ward, Calculation of Fuchsian groups associated to billiards in a rational triangle, Ergod. Th. Dynam. Sys. 18, (1998) 1019–1042.

IML, UMR CNRS 6206, 163 avenue de Luminy, case 907, 13288 Marseille cedex 9, France E-mail address : hubert@iml.univ-mrs.fr Max Planck Institute Fur Mathematics, Vivatsgasse 7, D-53111 Bonn, Germany E-mail address : lanneau@mpim-bonn.mpg.de

March 1, 2005

Pascal Hubert, Erwan Lanneau