To date there are two methods to produce pseudoAnosov diffeomorphisms in natural coordinates.
In the first one, due to Thurston, a pseudoAnosov 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 pseudoAnosov diffeomorphisms, for any genus
$g\ge 3$
).
A simple consequence of our result is that some pseudoAnosov 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,\omega )$
be a translation surface. Let us assume that the Veech group
$\text{SL}(X,\omega )$
contains two transverse parabolic elements. Then the trace field
$$\mathbb{Q}\left[\text{Trace}\left(A\right),A\in \text{SL}(X,\omega )\right]$$
is totally real.
When a pseudoAnosov diffeomorphism
$\phi $
acts linearly on a translation surface by the diagonal matrix
$D\phi =\left[\begin{array}{cc}\lambda & 0\\ 0& {\lambda}^{1}\end{array}\right]$
(with
$\lambda >1$
), its expansion factor is
$\lambda \left(\phi \right)=\lambda $
(and
$1/\lambda $
is the contraction factor).
From Theorem
1.1 , we draw the following results.
Theorem 1.2.
Let
$(X,\omega )$
be a translation surface endowed with a pseudoAnosov diffeomorphism
$\phi $
with expansion factor
$\lambda $
. Let us assume that the field
$\mathbb{Q}[\lambda +{\lambda}^{1}]$
is not totally real. Then
$\text{SL}(X,\omega )$
does not contain any parabolic element.
Arnoux and Yoccoz [ArYo] discovered a family
${\phi}_{n}$
,
$n\ge 3$
of pseudoAnosov diffeomorphisms with expansion factor
${\lambda}_{n}=\lambda \left({\phi}_{n}\right)$
the Pisot root of the irreducible polynomial
${X}^{n}{X}^{n1}\cdot \cdot \cdot X1$
.
The pseudoAnosov
${\phi}_{n}$
acts linearly on a genus
$n$
surface (the corresponding Abelian differential having two zeroes of order
$n1$
).
Corollary 1.3.
The Teichmüller disc stabilized by the Arnoux–Yoccoz pseudoAnosov
${\phi}_{n}$
,
$n\ge 3$
does not contain any parabolic direction. Therefore, for any genus
$g\ge 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 MaxPlanckInstitutefü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 (nonnull) one form
$\omega \in \Omega \left(X\right)$
; see [
MaTa]
for a general reference on translation surfaces and holomorphic one form.
We denote by
${X}^{\prime}$
the surface that arises from
$X$
by deleting the zeroes of the form
$\omega $
on
$X$
.
The translation structure defines on
${X}^{\prime}$
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 \text{SL}2(\mathbb{R})$
, we can postcompose the coordinate functions of the charts of
$(X,\omega )$
by
$A$
. One easily checks that this gives a new translation surface, denoted by
$A\cdot (X,\omega )$
.
We therefore get an
$\text{SL}2(\mathbb{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}^{\prime}$
of constant derivative. It is equivalent to say that
$f$
restricts to an isomorphism of
${X}^{\prime}$
which preserves the induced translation structure given by
$\omega $
. Usually, one denotes by
$\text{Aff}(X,\omega )$
the group of orientation preserving affine diffeomorphisms. The function which takes an affine diffeomorphism
$f$
to its derivative
$Df$
gives a homomorphism from
$\text{Aff}(X,\omega )$
into
$\text{SL}2(\mathbb{R})$
. The image of
$\text{Aff}(X,\omega )$
is the Veech group
$\text{SL}(X,\omega )$
of the surface
$(X,\omega )$
– 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
$\text{SL}(X,\omega )$
is the
$\text{SL}2(\mathbb{R})$
stabilizer of
$(X,\omega )$
. Thus, for any matrix
$A\in \text{SL}2(\mathbb{R})$
, the Veech group of
$(X,\omega )$
and
$A\cdot (X,\omega )=(Y,\alpha )$
are conjugate in
$\text{SL}2(\mathbb{R})$
:
$$\text{SL}(Y,\alpha )=A\cdot \text{SL}(X,\omega )\cdot {A}^{1}$$
There is a standard classification of the elements of
$\text{SL}2(\mathbb{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
$Df$
is elliptic; that is
$\left\text{trace}\right(Df\left)\right<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
$Df$
is parabolic; that is
$\left\text{trace}\right(Df\left)\right=2$
. This is equivalent to say that
$Df$
has a unique invariant direction.
A
cylinder on
$(X,\omega )$
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
$\mu =x/y$
. Veech [
Ve2]
proved the following:
Proposition (Veech).
If a translation surface
$(X,\omega )$
has a parabolic affine diffeomorphism
$f$
, then there is a decomposition of
$X$
into metric cylinders parallel to the fixed direction of
$Df$
. 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,\omega )$
has a decomposition into metric cylinders for the horizontal direction, with commensurable moduli, then the Veech group
$\text{SL}(X,\omega )$
contains
$$Df=\left(\begin{array}{cc}1& c\\ 0& 1\end{array}\right)$$
where
$c$
is the least common multiple of the moduli.
Hyperbolic elements.
A diffeomorphism
$f$
is pseudoAnosov if and only if the linear map
$Df$
is hyperbolic; that is
$\left\text{trace}\right(Df\left)\right>2$
. In this case,
$Df$
has two real eigenvalues
${\lambda}^{1}<1<\lambda $
. We recall that
$\lambda $
is the expansion factor of the pseudoAnosov 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
$\text{Id}$
as
$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
$\Gamma \subset \text{SL}2(\mathbb{R})$
is the subfield of
$\mathbb{R}$
generated by tr
$\left(A\right)$
,
$A\in \Gamma $
. One defines the trace field of a flat surface
$(X,\omega )$
to be the trace field of its Veech group
$\text{SL}(X,\omega )\subset \text{SL}2(\mathbb{R})$
.
Let
$(X,\omega )$
be a genus
$g$
translation surface. Then the following holds:
Theorem (Kenyon, Smillie).
The trace field of
$(X,\omega )$
has degree at most
$g$
over
$\mathbb{Q}$
.
Assume that the affine diffeomorphisms group of
$(X,\omega )$
contains a pseudoAnosov element
$f$
with expansion factor
$\lambda $
. Then the trace field of
$(X,\omega )$
is
$\mathbb{Q}[\lambda +{\lambda}^{1}]$
.
One defines the connection vectors to be the integrals of
$\omega $
along the saddle connections. Let us denote
$\Lambda =\Lambda \left(\omega \right)$
the subgroup of
${\mathbb{R}}^{2}$
generated by connection vectors
$$\Lambda ={\int}_{{H}_{1}(X,\mathbb{Z})}\omega $$
Let
${e}_{1},{e}_{2}\in \Lambda $
be nonparallel vectors in
${\mathbb{R}}^{2}$
. One defines the holonomy field
$k$
to be the smallest subfield of
$\mathbb{R}$
such that every element of
$\Lambda $
can be written
$a{e}_{1}+b{e}_{2}$
with
$a,b\in k$
.
Theorem (Kenyon, Smillie).
The trace field of
$(X,\omega )$
coincides with
$k$
. The space
$\Lambda \otimes \mathbb{Q}\subset \mathbb{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
$\S 9$
.
Let
$(Y,\alpha )$
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}=\left(\begin{array}{cc}1& c\\ 0& 1\end{array}\right)\text{and}{P}_{v}=\left(\begin{array}{cc}1& 0\\ d& 1\end{array}\right)$$
Without loss of the generality, we may assume that
$c$
and
$d$
are positive real numbers.
Claim 2.1.
Let
$t=cd>0$
; then the trace field of
$\text{SL}(Y,\alpha )$
is
$\mathbb{Q}\left[t\right]$
.

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
$\text{SL}(Y,\alpha )$
is
$\mathbb{Q}\left[t\right]$
. So the claim is proven. □
Let us denote by
${H}_{i}$
,
$1\le i\le r$
and
${V}_{j}$
,
$1\le j\le 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
$({\xi}_{j},{\eta}_{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
$({\xi}_{j}\times {y}_{i})$
in the intersection
${H}_{i}\cap {V}_{j}$
. All of these rectangles have width
${y}_{j}$
and heights
${\xi}_{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:
$\overrightarrow{x}=({x}_{1},...,{x}_{r})$
,
$\overrightarrow{y}=({y}_{1},...,{y}_{r})$
,
$\overrightarrow{\xi}=({\xi}_{1},...,{\xi}_{s})$
and
$\overrightarrow{\eta}=({\eta}_{1},...,{\eta}_{s})$
. Then one can summarize the above discussion by the matrix relations:
$$\begin{array}{c}\{\begin{array}{c}\overrightarrow{x}=E\overrightarrow{\xi}\\ \overrightarrow{\eta}{=}^{\text{t}}E\overrightarrow{y}\end{array}\end{array}$$ 
(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\le i\le r$
, and
${n}_{j}$
,
$1\le j\le s$
, such that
$$\begin{array}{c}\{\begin{array}{c}{m}_{i}{x}_{i}=c{y}_{i}\\ {n}_{j}{\eta}_{j}=d{\xi}_{j}\end{array}\end{array}$$ 
(2)

Let us denote by
${D}_{m}=\text{Diag}({m}_{1},...,{m}_{r})$
and
${D}_{n}=\text{Diag}({n}_{1},...,{n}_{s})$
the diagonal matrices. Then the above equation ( 2 ) becomes:
$$\begin{array}{c}\{\begin{array}{c}{D}_{m}\overrightarrow{x}=c\overrightarrow{y}\\ {D}_{n}\overrightarrow{\eta}=d\overrightarrow{\xi}\end{array}\end{array}$$ 
(3)

From equations ( 1 ) and ( 3 ) one gets the following new one:
$$\{\begin{array}{c}E{D}_{n}\overrightarrow{\eta}=d\overrightarrow{x}\\ {}^{t}E{D}_{m}\overrightarrow{x}=c\overrightarrow{\eta}\end{array}$$
and therefore we deduce:
$$\begin{array}{c}\{\begin{array}{c}E{{D}_{n}}^{t}E{D}_{m}\overrightarrow{x}=cd\overrightarrow{x}\\ {}^{t}E{D}_{m}E{D}_{n}\overrightarrow{\eta}=cd\overrightarrow{\eta}\end{array}\end{array}$$ 
(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=cd>0$
is the unique Perron–Frobenius eigenvalue. Thus, up to renormalization of the area of the surface, the coordinates of
$\overrightarrow{x}$
and
$\overrightarrow{\eta}$
belong to
$\mathbb{Q}\left[t\right]$
.
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
$\text{SL}(X,\omega )$
. Let us denote by
$H$
the derivative of the pseudoAnosov
$\phi $
. Then the conjugate
$H.P.{H}^{1}$
is another parabolic element in
$\text{SL}(X,\omega )$
. Let
$x\in \partial \mathbb{H}$
be the fixed point of
$P$
. Thus,
$H\left(x\right)$
is a fixed point of
$H.P.{H}^{1}$
. But by Remark 2.2 ,
$H\left(x\right)\ne x$
, then
$H.P.{H}^{1}\in \text{SL}(X,\omega )$
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,\omega )$
has two transverse parabolic elements.
By a standard argument, one can find a matrix
$A\in {\text{SL}}_{2}(\mathbb{R})$
which sends the two invariant directions of our parabolic elements into horizontal and vertical direction. The Veech group
$$\text{SL}(Y,\alpha )=A\cdot \text{SL}(X,\omega )\cdot {A}^{1}$$
possesses the same trace field as
$\text{SL}(X,\omega )$
.
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
$\text{SL}(Y,\alpha )$
is
$\mathbb{Q}\left[t\right]$
(see Claim 2.1 ). Now let us prove that
$\mathbb{Q}\left[t\right]$
is totally real.
Let
$\sigma $
be an embedding of
$\mathbb{Q}\left[t\right]$
into
$\mathbb{C}$
and
${t}^{\prime}=\sigma \left(t\right)\in \mathbb{C}$
be a conjugate of
$t$
. Applying
$\sigma $
to the first part of equation ( 4 ):
${F}_{n}{F}_{m}\overrightarrow{x}=t\overrightarrow{x}$
and recalling that
${F}_{n}{F}_{m}$
is an integer matrix, one gets
$$\begin{array}{c}{F}_{n}{F}_{m}\sigma \left(\overrightarrow{x}\right)={t}^{\prime}\sigma \left(\overrightarrow{x}\right)\end{array}$$ 
(5)

Now, let us denote by
${D}_{\sqrt{m}}=\text{Diag}(\sqrt{{m}_{1}},...,\sqrt{{m}_{r}})$
and
${D}_{\sqrt{n}}=\text{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}\left(E{D}_{\sqrt{n}}\right){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
$\sigma \left(\overrightarrow{x}\right)\ne \overrightarrow{0}$
imply that
${t}^{\prime}$
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}^{\prime}\in \mathbb{R}$
.
Finally the trace field
$\mathbb{Q}\left[t\right]$
of
$(Y,\alpha )$
, and that of
$(X,\omega )$
, is totally real. Theorem 1.1 is proved. □

Proof of Corollary 1.3 .
Let
$n\ge 3$
be any odd integer. We denote by
$({X}_{n},{\omega}_{n})$
a flat surface in the Teichmüller disc stabilized by the Arnoux–Yoccoz pseudoAnosov
${\phi}_{n}$
. The trace field of
$({X}_{n},{\omega}_{n})$
is
$\mathbb{Q}[{\lambda}_{n}+{\lambda}_{n}^{1}]$
.
We recall that
${\lambda}_{n}$
is a Pisot number (see [
ArYo]
). A direct calculation shows that the conjugates of
${\lambda}_{n}$
are not real if
$n$
is odd and that all the conjugates of
${\lambda}_{n}$
except one are not real if
$n$
is even.
The following lemma shows that
$\mathbb{Q}[{\lambda}_{n}+{\lambda}_{n}^{1}]$
is not totally real.
Lemma 3.1.
Let
$\beta $
be a Pisot number such that
$\mathbb{Q}\left[\beta \right]$
is not totally real then
$\mathbb{Q}[\beta +{\beta}^{1}]$
is not totally real.

Proof of Lemma 3.1 .
Let
$\delta $
be a conjugate of
$\beta $
which is not real. The complex number
$\sigma =\delta +{\delta}^{1}$
is a conjugate of
$\beta +{\beta}^{1}$
. It is enough to show that
$\sigma $
is not real to prove that
$\mathbb{Q}[\beta +{\beta}^{1}]$
is not totally real. Writing
$\delta =\rho {e}^{i\theta}$
(with
$sin\left(\theta \right)\ne 0$
), we have
$\Im m\left(\sigma \right)=(\rho {\rho}^{1})sin\left(\theta \right)$
. As
$\beta $
is a Pisot number,
$\rho =\left\delta \right<1$
. Therefore
$\delta $
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,\omega )$
be any genus
$g\ge 3$
translation surface whose Veech group only contains hyperbolic and elliptic elements. Any elliptic element in
$\text{SL}(X,\omega )$
is conjugate in
$\text{SL}2(\mathbb{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
$\text{SL}(X,\omega )$
is bounded by
$84(g1)$
, see say [FaKr]
$\S 5$
p.
$242$
.
Now we recall a Theorem of Purzitsky on Fuchsian groups (see [
Pu]
Theorem
$7$
p.
$241$
):
Theorem (Purzitsky).
Let
$\Gamma $
be a Fuchsian group. Then
$\Gamma $
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
$\Gamma $
is less than
$N$
.
Now Corollary 1.5 follows from Purzitsky's Theorem taking
$\Gamma =\text{SL}(X,\omega )$
. □
References

P. Arnoux, J.C. Yoccoz, Construction de difféomorphismes pseudoAnosov. (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, SpringerVerlag, New YorkBerlin, (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
$\mathcal{\mathscr{H}}\left(2\right)$
, 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 rationalangled triangles, Comment. Math. Helv. 75, (2000) 65–108.

C. Leininger, On groups generated by two positive multitwists: 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, NorthHolland, 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 Email address : hubert@iml.univmrs.fr Max Planck Institute Fur Mathematics, Vivatsgasse 7, D53111 Bonn, Germany Email address : lanneau@mpimbonn.mpg.de