28 March 2005

2000 Mathematics Subject Classification. 30F30, 53C22.
<ph f="cmbx">Siegel–Veech constants in </ph> <math xmlns="http://www.w3.org/1998/Math/MathML"> <mo mathvariant="script">ℋ</mo> <mo>(</mo> <mn>2</mn> <mo>)</mo> </math>

Samuel Lelièvre

Contents

1 Introduction

1.1 Geodesics on the torus

On the standard torus T 2 = R 2 / Z 2   , the number N ( L )   of families of simple closed geodesics of length not exceeding L   is well-known to grow quadratically in L   , with N ( L ) ∼ 1 2 ζ ( 2 ) ⋅ π L 2   which is one half of the asymptotic for the number of primitive lattice points in a disc of radius L   . The factor one half comes from counting unoriented rather than oriented geodesics.
By convention, the corresponding Siegel–Veech constant is c = 1 2 ζ ( 2 )   (note that it is the coefficient of π L 2   and not of L 2   ).
Marking the origin of the torus (i.e. artificially considering it as a singularity or saddle), the number of geodesic segments joining the saddle to itself, of length at most L   , coincides with the number of families of simple closed geodesics.

1.2 Geodesics on translation surfaces

It is a standard fact that Abelian differentials on Riemann surfaces can be seen as translation surfaces.
On translation surfaces of genus ⩾ 2   , countings of closed or singular geodesics, similar to those we just described for the torus, can be made.
There, the countings of saddle connections and of families of simple closed geodesics do not coincide, but their growth rates remain quadratic.
Masur proved [Ma88, Ma90] that for every translation surface, there exist positive constants c   and C   such that the counting functions of saddle connections and of maximal cylinders of closed geodesics satisfy c ⋅ π L 2 ⩽ N c y l ( L ) ⩽ N s c ( L ) ⩽ C ⋅ π L 2   for large enough L   .
Veech [Ve] proved that on a square-tiled surface (and on any Veech surface) there are in fact exact quadratic asymptotics and Gutkin and Judge [GuJu] gave another proof of that. Another proof for the upper quadratic bounds for N c y l ( L )   and N s c ( L )   was given by Vorobets [Vo] .
Eskin and Masur [EM] gave yet another one, and proved that for each connected component of each stratum of each moduli space of normalised abelian (or quadratic) differentials, there are constants c s c   and c c y l   such that almost every surface in the component has N s c ( L ) ∼ c s c π L 2   and N c y l ( L ) ∼ c c y l π L 2   .
It is an interesting open problem whether all translation surfaces have quadratic growth rates for cylinders of closed geodesics.
The particular constants for many Veech surfaces have been computed explicitly by Veech [Ve] , Vorobets [Vo] , Gutkin–Judge [GuJu] , Schmoll [Schmo] , Eskin–Masur–Schmoll [EMS] . The generic constants for the connected components of the strata were computed by Eskin, Masur and Zorich in [EMZ] for the case of abelian differentials.
The particular constants for Veech surfaces usually do not coincide with the generic constants of the strata where they live.
There is also another subtle difference between Veech surfaces and generic surfaces. Define cylinders as regular if their boundary components both consist of a single saddle connection. In any connected component of stratum in genus ⩾ 2   , the counting functions of irregular cylinders are generically subquadratic (in fact a generic surface has no irregular cylinders), while on Veech surfaces they have quadratic asymptotics.
What we will prove however is that individual quadratic constants either for regular cylinders or for all cylinders on square-tiled surfaces of the stratum ℋ ( 2 )   (translation surfaces of genus 2   with one singularity) converge as the number of squares tends to infinity to the generic constants of ℋ ( 2 )   . See Theorem  1 in §  1.4 for a precise statement.

1.3 Ratner theory for moduli spaces of abelian differentials

Analogs of Ratner's theorems classifying invariant measures for the action of unipotent one-parameter groups on homogeneous spaces are expected to hold on strata of the moduli spaces of abelian differentials; the results we prove here could be deduced from such theorems; for the time being, they reinforce the expectation that they do hold.
Some Ratner-like theorems for moduli spaces of abelian differentials have recently been obtained, but do not allow to obtain Theorem  1 .
The works of Calta [Ca] and McMullen [Mc] provide a classification of invariant measures in ℋ ( 2 )   , albeit for the action of the whole SL ( 2 , R )   and not of unipotent one-parameter subgroups of SL ( 2 , R )   .
Eskin, Masur and Schmoll [EMS] have results for the action of unipotent groups on subspaces of ℋ ( 1 , 1 )   .
Eskin, Marklof and Morris [EMWM] have results for the action of unipotent groups on certain moduli spaces of abelian differentials in genus larger than 2   .

1.4 In the stratum ℋ ( 2 )  

In this paper, we are concerned with the stratum ℋ ( 2 )   consisting of abelian differentials in genus 2   with a double zero, or translation surfaces of genus 2   with one singularity (of angle 6 π   ). We prove:
Theorem 1. Consider a sequence S n   of area 1   surfaces in ℋ ( 2 )   such that each surface S n   is tiled by some prime number p n   of square tiles, with p n → ∞   . Then the Siegel–Veech constants for cylinders of closed geodesics on the surfaces S n   tend to 10 3 ⋅ 1 2 ζ ( 2 )   , the generic Siegel–Veech constant of ℋ ( 2 )   for cylinders of closed geodesics. Moreover, the Siegel–Veech constants for regular cylinders also tend to the generic constant, while the Siegel–Veech constants for irregular cylinders tend to 0   .
Remark. We believe that the assumption that the number of squares tiling the surfaces is prime is unnecessary, but we have not yet been able to adapt the calculations to show the convergence of Siegel–Veech constants in the case of nonprime numbers of tiles.
The proof of the theorem relies on fine estimates presented in §  3.1 .

1.5 Acknowledgements

The author wishes to thank Anton Zorich for guiding him into this problem, Pascal Hubert, Joël Rivat and Emmanuel Royer for useful conversations, and Cécile Dartyge and Gérald Tenenbaum who helped him with the estimates in §  3.1 .

2 Preliminaries

2.1 The stratum ℋ ( 2 )  

2.1.1 Orbits of square-tiled surfaces

By a theorem of McMullen [Mc2] , in ℋ ( 2 )   , for n > 3   , primitive n   -square-tiled surfaces form one orbit E n   if n   is even, and two orbits A n   and B n   if n   is odd (see [HL1] for the prime n   case). Slightly abusing notation, we use the same notation A n   , B n   , E n   for the discrete orbits and for the Teichmüller discs. A formula for the cardinality of E n   (even n   ) and for the sum of the cardinalities of A n   and B n   is given in [EMS] , which in particular results in the asymptotic 3 8 n 3 ∏ p | n ( 1 − 1 p 2 ) .   Formulas for the separate countings of A n   and B n   are conjectured in [HL1] , which would yield the asymptotics (proved there for prime n   ):
3 16 n 3 ∏ p | n ( 1 − 1 p 2 ) .   Some algebraic properties of the Veech groups are discussed in [HL2] .

2.1.2 Cusps

Square-tiled surfaces in the stratum ℋ ( 2 )   decompose into either one or two horizontal cylinders, and can be given as coordinates the heights, widths and twist parameters of these cylinders, see [HL1] . Here we are interested in regular cylinders of closed geodesics, which exist only in two-cylinder decompositions (in one-cylinder decompositions, the unique cylinder has three saddle connections on each boundary component).
The decompositions into cylinders provide a way to parametrise square-tiled surfaces (by the heights, widths and twist parameters of their cylinders). These parameters are very convenient to describe the action of U = { ( 1 n 0 1 ) : n ∈ Z }   ; it only changes the twist parameters.
The cusps of an SL ( 2 , R )   -orbit of square-tiled surfaces, can be identified with the U   -orbits of square-tiled surfaces in it, and each cusp has a standard representative (see [HL1,Lemma 3.1] ).
In particular, two-cylinder cusps are parametrised by the heights h i   , the widths w i   , and twists parameters t i   of their cylinders ( i ∈ { 1 , 2 }   ).
A two-cylinder cusp has cusp width cw ( C ) = w 1 h 1 ∧ w 1 ∨ w 2 h 2 ∧ w 2   , where h ∧ w   denotes the greatest common divisor of h   and w   , and a ∨ b   denotes the least common multiple of a   and b   .
Remark. When the number of tiles is prime, this simplifies to cw ( C ) = w 1 w 2   .

2.2 Siegel–Veech constants of cusps

In the case of the torus, counting families of simple closed geodesics amounts to counting primitive points of Z 2   . In this sense, when counting simple closed geodesics of a square-tiled surface of higher genus, we are counting certain multiples of those of the torus.
On a square-tiled surface, as on the torus, the directions which define a decomposition in cylinders of closed geodesics correspond to primitive integer vectors. Better than that, given a primitive square-tiled surface S   , each primitive integer vector ( a , b ) ∈ Z 2   corresponds to a cusp of the SL ( 2 , R )   -orbit of S   . Recall that these cusps correspond to U   -orbits of square-tiled surfaces in the SL ( 2 , R )   -orbit of S   .
Here is how to recover the cusp from the primitive integer vector.
Since a   and b   are coprime, by Bezout's theorem, there exist integers c   and d   such that a d − b c = 1   . Geometrically, this means ( a , b )   and ( c , d )   form an oriented basis of the lattice Z 2   . The surface S   is tiled by the unit area parallelograms defined by ( a , b )   and ( c , d )   . Transforming these parallelograms into squares gives a new square-tiled surface. This is done by a linear transformation sending ( a , b )   to ( 1 , 0 )   and ( c , d )   to ( 0 , 1 )   , in other words by applying the matrix ( a c b d ) − 1 ∈ SL ( 2 , Z )   .
Of course c   and d   are not unique, but the various choices of ( c , d )   give square-tiled surfaces ( a c b d ) − 1 ⋅ S   which belong to the same cusp.
Quick check: different choices of ( c , d )   differ by integer multiples of ( a , b )   ; accordingly ( a c b d ) − 1 = ( d − c − b a )   and ( 1 k 0 1 ) ( d − c − b a ) = ( d − k b − c + k a − b a )   .
If we count the primitive integer vectors in a ball of radius L   which correspond to directions in which S   decomposes in cylinders of closed geodesics, we get the same counting function as for the torus.
One thing we could do is to count the primitive integer vectors in a ball of radius L   corresponding to a given cusp. The proportion of directions going to different cusp is proportional to their width; see [EMZ,§§3.3–3.4and§7] . Thus, the asymptotics for each cusp is given by:
width of the cusp sum of the cusp widths of the orbit × 1 ζ ( 2 ) ⋅ π L 2 .   This is not exactly what we want to count, since we do not want to count the primitive vectors a multiple of which is the holonomy of a cylinder of closed geodesics, but the multiples themselves.
If the corresponding cusp is two-cylinder, with widths w 1   , w 2   , we want to count the direction not when ∥ ( a , b ) ∥ < L   but when w 1 ⋅ ∥ ( a , b ) ∥ < L   .
So the counting for this cusp will have asymptotics width of the cusp sum of the cusp widths of the orbit ⋅ 1 w 1 2 × 1 ζ ( 2 ) ⋅ π L 2 .   As a consequence, denoting by D   the SL ( 2 , Z )   -orbit of S   , the counting function for regular cylinders of simple closed geodesics on S   has the same asymptotics as ∑ 2-cyl cusps C cw ( C ) # D 1 w 1 2 1 2 ζ ( 2 ) π L 2 .   If S   is a primitive n   -square-tiled surface, when we normalise S   to area 1   , we introduce a factor n   in the above asymptotics.
So the asymptotics for the counting function of regular cylinders of simple closed geodesics on a unit area primitive square-tiled surface in an SL ( 2 , Z )   -orbit D   is given by c ( D ) π L 2   and we can write c ( D ) = c ~ ( D ) ⋅ 1 2 ζ ( 2 )   with c ~ ( D ) = n # D ∑ 2-cyl cusps C of D 1 w 1 2 cw ( C ) .  

3 Asymptotics for a large prime number of squares

Consider some prime n   , and an orbit D n = A n or B n   . Each cusp is parametrised by some parameters w 1   , w 2   , h 1   , h 2   , and twist parameters.
By the remark at the end of §  2.1.2 , the cusp width is just w 1 w 2   .
Renaming w 1   , w 2   , h 1   , h 2   as a   , b   , h   , y   respectively, the sum over the cusps becomes: c ~ ( D n ) = n # D n ∑ a , b , h , y a b a 2   where the sum is over positive integers a   , b   , h   , y   satisfying: a < b   , a h + b y = n   , parity conditions for D n   .

3.1 A simpler sum

Since # D n   is, for prime n   , asymptotically 3 16 n 3   , we first replace n # D n   by 1 n 2   .
Second, we momentarily drop the parity conditions; we will reintroduce them in the following subsections.
Last, we drop the condition a < b   ; we will explain later why this does not change the asymptotic.
So we first consider the following simplified sum:
S ( n ) = ∑ a ⩾ 1 1 a 2 ∑ b ⩾ 1 ∑ h ⩾ 1 , y ⩾ 1 a h + b y = n a b n 2 .   Denote the sum over b   by S ( n , a )   . Introducing the variable m = b y   , S ( n , a ) = ∑ 1 ⩽ m ⩽ n − a m ≡ n [ a ] ∑ b | m a b n 2 = a n 2 ⋅ F ( n − a , n , a )   where F ( x , k , q ) = ∑ 1 ⩽ m ⩽ x m ≡ k [ q ] ∑ b | m b .   The following asymptotics hold for F ( x , k , q )   , S ( n , a )   and S ( n )   .
Lemma 1. For k ∧ q = 1   , and x → ∞   , F ( x , k , q ) = x 2 q ⋅ π 2 12 ∏ p | q ( 1 − 1 p 2 ) + O q ( x log x ) .  
Lemma 2. S ( n , a ) − − − − − → n → ∞ n prime π 2 12 ∏ p | a ( 1 − 1 p 2 ) .  
Lemma 3. S ( n ) − − − − − → n → ∞ n prime 5 4   .
  • Proof of Lemma  1 . If m   is prime to k   , denote by m ¯   the integer in { 0 , … , q − 1 }   such that m ¯ m ≡ 1 [ q ]   , and by u = u ( m , k , q )   the integer in { 0 , … , q − 1 }   such that u ≡ m ¯ k [ q ]   ; error terms depend on q   .
    F ( x , k , q ) = ∑ 1 ⩽ m d ⩽ x m d ≡ k [ q ] d = ∑ 1 ⩽ m ⩽ x m ∧ q = 1 ∑ 1 ⩽ d ⩽ x / m d ≡ m ¯ k [ q ] d = ∑ 1 ⩽ m ⩽ x m ∧ q = 1 ∑ 1 ⩽ d ⩽ x / m d ≡ u [ q ] d = ∑ 1 ⩽ m ⩽ x m ∧ q = 1 ∑ 1 ⩽ u + λ q ⩽ x / m ( u + λ q ) = ∑ 1 ⩽ m ⩽ x m ∧ q = 1 ( ( ∑ 1 ⩽ λ ⩽ 1 q ( x m − u ) λ q ) + O ( x m ) ) = ∑ 1 ⩽ m ⩽ x m ∧ q = 1 ( 1 2 q ( x q m ) 2 + O ( x m ) + O ( 1 ) ) = x 2 2 q ∑ 1 ⩽ m ⩽ x m ∧ q = 1 1 m 2 + O ( x log x )
    To sum only over the integers m   with m ∧ q = 1   , we can sum over all m   with a factor μ ( m ∧ q )   , so that all terms cancel out except the ones we want.
    F ( x , k , q ) = x 2 2 q ∑ d | q ( μ ( d ) d 2 ∑ m ⩽ x / d 1 m 2 ) + O ( x log x ) = x 2 2 q ∑ d | q μ ( d ) d 2 ( π 2 6 + O ( 1 / x ) ) + O ( x log x ) = x 2 q ⋅ π 2 12 ∏ p | q ( 1 − 1 p 2 ) + O ( x log x ) .
    □
  • Proof of Lemma  2 . Lemma  2 follows immediately from Lemma  1 by a dominated convergence argument (similar arguments were used in [HL1,§7] . □
  • Proof of Lemma  3 . Lemma  3 is a consequence of Lemma  2 by the following observation.
    ∑ a ⩾ 1 1 a 2 ∏ p | a ( 1 − 1 p 2 ) = ∏ p ( 1 + ∑ ν ⩾ 1 p − 2 ν ( 1 − p − 2 ν ) ) = ∏ p ( 1 + p 2 ) = ∏ p 1 − p − 4 1 − p − 2 = ζ ( 2 ) ζ ( 4 ) = π 2 / 6 π 4 / 90 = 15 π 2
    □

3.2 Sums with specified parities

We introduce sub-sums of S ( n )   for specified parities of the parameters.
The observation we just made will need to be completed by the following one. ∑ a ⩾ 1 a even 1 a 2 ∏ p | a ( 1 − 1 p 2 ) = ∑ a ⩾ 1 a odd 1 4 a 2 3 4 ∏ p | a ( 1 − 1 p 2 ) + ∑ a ⩾ 1 a even 1 4 a 2 ∏ p | a ( 1 − 1 p 2 )   so that ∑ a ⩾ 1 a odd 1 a 2 ∏ p | a ( 1 − 1 p 2 ) = 12 π 2   and ∑ a ⩾ 1 a even 1 a 2 ∏ p | a ( 1 − 1 p 2 ) = 3 π 2   .

3.2.1 Odd widths

We now consider the sum over odd a   and b   :
S ow ( n ) = ∑ a ⩾ 1 a odd 1 a 2 ∑ b ⩾ 1 b odd ∑ h ⩾ 1 , y ⩾ 1 a h + b y = n a b n 2 .   We proceed as for the sum S ( n )   : putting F ow ( x , k , q ) = ∑ 1 ⩽ m ⩽ x m ≡ k [ q ] ∑ b | m b odd b and S ow ( n , a ) = a n 2 ⋅ F ow ( n − a , n , a ) ,   S ow ( n ) = ∑ a ⩾ 1 a odd 1 a 2 S ow ( n , a ) .   The following asymptotics hold for F ow ( x , k , q )   , S ow ( n , a )   and S ow ( n )   .
Lemma 4. For odd q   , odd k   , and x → ∞   , F ow ( x , k , q ) = x 2 q π 2 24 ∏ p | q ( 1 − 1 p 2 ) + O ( x log x ) .   For odd a   , S ow ( n , a ) − − − − − → n → ∞ n prime π 2 24 ∏ p | a ( 1 − 1 p 2 ) .   Finally, S ow ( n ) − − − − − → n → ∞ n prime 1 2 .  
  • Proof.
    F ow ( x , k , q ) = ∑ t ⩾ 0 ∑ 1 ⩽ m ⩽ x / 2 t 2 t m ≡ k [ q ] m ≡ 1 [ 2 ] ∑ b | m b = ∑ t ⩾ 0 ( ( x / 2 t ) 2 2 q π 2 12 ∏ p | 2 q ( 1 − 1 p 2 ) + O ( ( x / 2 t ) log ( x / 2 t ) ) ) = x 2 q 1 1 − 1 4 π 2 24 ( 1 − 1 2 2 ) ∏ p | q ( 1 − 1 p 2 ) + O ( x log x ) = x 2 q π 2 24 ∏ p | q ( 1 − 1 p 2 ) + O ( x log x )
    □

3.2.2 Odd heights

We now consider the sum over odd h   and y   :
S oh ( n ) = ∑ a ⩾ 1 1 a 2 ∑ b ⩾ 1 ∑ h ⩾ 1 , y ⩾ 1 h , y odd a h + b y = n a b n 2 .   Proceeding as previously, we are led to introduce F oh ( x , k , q ) = ∑ 1 ⩽ m ⩽ x m ≡ k + q [ 2 q ] ∑ b | m m / b odd b and S oh ( n , a ) = a n 2 ⋅ F oh ( n − a , n , a ) ,   and to write S oh ( n ) = ∑ a ⩾ 1 1 a 2 S oh ( n , a ) .   The following asymptotics hold for F oh ( x , k , q )   , S oh ( n , a )   and S oh ( n )   .
Lemma 5. For even q   , odd k   , and x → ∞   , F oh ( x , k , q ) = x 2 q π 2 24 ∏ p | q ( 1 − 1 p 2 ) + O ( x log x ) .   For odd q   , odd k   , and x → ∞   , F oh ( x , k , q ) = x 2 q π 2 32 ∏ p | q ( 1 − 1 p 2 ) + O ( x log x ) .   For even a   , S oh ( n , a ) − − − − − → n → ∞ n prime π 2 24 ∏ p | a ( 1 − 1 p 2 ) .   For odd a   , S oh ( n , a ) − − − − − → n → ∞ n prime π 2 32 ∏ p | a ( 1 − 1 p 2 ) .   Finally, S oh ( n ) − − − − − → n → ∞ n prime 1 2 .  
  • Proof. For even q   and odd k   :
    F oh ( x , k , q ) = ∑ 1 ⩽ m ⩽ x m ≡ k + q [ 2 q ] ∑ b | m b = x 2 2 q π 2 12 ∏ p | 2 q ( 1 − 1 p 2 ) + O ( x log x ) = x 2 q π 2 24 ∏ p | q ( 1 − 1 p 2 ) + O ( x log x ) .
    For odd q   and odd k   :
    F oh ( x , k , q ) = ∑ t ⩾ 1 ∑ 1 ⩽ m ⩽ x / 2 t 2 t m ≡ k + q [ 2 q ] m odd ∑ b | m 2 t b = ∑ t ⩾ 1 2 t ∑ 1 ⩽ m ⩽ x / 2 t 2 t − 1 m ≡ k + q 2 [ q ] m odd ∑ b | m b = ∑ t ⩾ 1 2 t ( x / 2 t ) 2 2 q π 2 12 ∏ p | 2 q ( 1 − 1 p 2 ) + O ( x log x ) = ∑ t ⩾ 1 1 2 t x 2 q π 2 24 ( 1 − 1 2 2 ) ∏ p | q ( 1 − 1 p 2 ) + O ( x log x ) = x 2 q π 2 32 ∏ p | q ( 1 − 1 p 2 ) + O ( x log x ) .
    □

3.2.3 Mixed parities

Dealing with the even-odd sums as above would be most cumbersome; this is fortunately not necessary. Indeed, since S ( n ) = S ow ( n ) + S oh ( n ) + S eo ( n )   , and we know the limits of S ( n )   , S ow ( n )   and S oh ( n )   when n   tends to infinity staying prime, we have: S eo ( n ) − − − − → n → ∞ n prime 1 4 .  

3.3 Asymptotics for orbits A and B

We end by showing that the limit we obtained is unchanged by adding a condition a < b   .
Indeed, since # { ( h , y ) : h ⩾ 1 , y ⩾ 1 , a h + b y = n } ⩽ n   , the sum ∑ b = 1 a ∑ h ⩾ 1 , y ⩾ 1 a h + b y = n a b n 2   is O ( 1 / n )   , where the constant of the O   depends on a   .
This also shows that the constants for irregular cylinders tend to 0   .
Putting things together, c ~ ( A n )   and c ~ ( B n )   have the same asymptotics as S A ( n ) = 16 3 ( S oh ( n ) + 1 2 S eo ( n ) )   and S B ( n ) = 16 3 ( S ow ( n ) + 1 2 S eo ( n ) )   , so they both tend to 10 3   .

4 Concluding remarks

Numerical evidence suggests that the convergence to the generic constants of the stratum occurs not only for prime n   but for general n   ; however a proof, relying on the validity of the conjecture on separate countings by orbits in the case of odd numbers of squares, would involve some complications in the calculations which would make the exposition tedious.
A similar study for the quadratic constants that appear in the counting of saddle connections could also be made. There one has to take into consideration both one-cylinder and two-cylinder cusps, and some interesting phenomena can be observed: numerical calculations suggest that the sum of the contributions of one-cylinder and two-cylinder cusps has a limit, but separate countings for one-cylinder cusps do not have a limit for general n   ; their asymptotics have fluctuations involving the prime factors of n   .
References

  1. K. Calta. Veech surfaces and complete periodicity in genus two. J. Amer. Math. Soc. 17 (2004), 871-908.
  2. A. Eskin, J. Marlkof, D. Witte Morris. Unipotent flows on the space of branched covers of Veech surfaces. Preprint (2004).
  3. A. Eskin, H. Masur. Asymptotic formulas on flat surfaces. Ergodic Theory Dynam. Systems 21:2 (2001), 443–478.
  4. A. Eskin, H. Masur, M. Schmoll. Billiards in rectangles with barriers. Duke Math. J. 118:3 (2003), 427–463.
  5. A. Eskin, H. Masur, A. Zorich. Moduli spaces of abelian differentials: the principal boundary, counting problems, and the Siegel–Veech constants. Publ. IHES 97:1 (2003), 61–179.
  6. E. Gutkin, C. Judge. Affine mappings of translation surfaces: geometry and arithmetic. Duke Math. J. 103:2 (2000), 191–213.
  7. P. Hubert, S. Lelièvre. Prime arithmetic Teichmüller discs in ℋ ( 2 )   . To appear in Isr. J. Math.
  8. P. Hubert, S. Lelièvre. Noncongruence subgroups in ℋ ( 2 )   . Internat. Math. Res. Notices 2005:1 (2005), 47–64.
  9. H. Masur. Lower bounds for the number of saddle connections and closed trajectories of a quadratic differential. Holomorphic functions and moduli, vol. 1, D. Drasin, ed., Springer-Verlag, Berlin (1988), 215–228.
  10. H. Masur. The growth rate of trajectories of a quadratic differential. Ergodic Theory Dynam. Systems 10 (1990), 151–176.
  11. C. T. McMullen. Dynamics of SL 2 R   over moduli space in genus two. Preprint (2003).
  12. C. T. McMullen. Teichmüller curves in genus two: discriminant and spin. Preprint (2004).
  13. M. Schmoll. On the asymptotic quadratic growth rate of saddle connections and periodic orbits on marked flat tori. Geom. Funct. Anal. 12:3 (2002), 622–649.
  14. W. A. Veech. Teichmüller curves in moduli space, Eisenstein series and an application to triangular billiards. Invent. Math. 97:3 (1989), 553-583.
  15. Ya. B. Vorobets. Ergodicity of billiards in polygons. Mat. Sb. 188:3 (1997), 65–112.