the motivation of this paper is the main theorem in
pointwise asymptotic formulas on flat surfaces " of a. eskin and h. masur @xcite .
they prove that on strata of quadratic differentials @xmath2 , parametrizing half translation surfaces , there exists almost everywhere a limit of the quadratic growth rate and it is constant ( with respect to a natural @xmath3 invariant liouville measure @xmath4 on @xmath2 see veech @xcite ) .
the following questions arise : + 1 .
does the quadratic growth rate associated to these constants majorize all other quadratic growth rates ? + 2 .
how can one compute the constants ?
are there ( sub ) spaces of quadratic differentials , where one can prove not only almost everywhere results but pointwise results ? + 3b . and
if one has pointwise results , on which sets do the constants take  different " values ? + our example the simplest one can find , but it has the advantage that one can compute things elementary .
the above stated questions could all be answered in a precise way .
+ the paper contains results about the growth rates of cylinders of periodic trajectories or saddle connections on the two dimensional torus @xmath5 , @xmath6 with @xmath0 marked points . if the number of cylinders of periodic orbits ( po ) or saddle connections ( sc ) of length less than @xmath7 on @xmath8}$ ] is denoted by @xmath9},t)$ ] then the existence of the limits @xmath10},t)}{t^2}\ ] ] for every constellation of marked points i.e. for all @xmath11\in { { \mathbb{t}}^{2n}}$ ] is proved . , because this differs from the general marking only by a translation .
all our counting results are invarinat under translations of the marking . ]
remark : in the mathematical sense this is not the true parameterspace , because we would like to have all marked points different , but since we make either pointwise statements with respect to one marking or only measure theoretic statements with respect to the lebesgue measure on this space the difference to a well choosen parameter space plays no role .
moreover all statements are true for any conformal class the tori might have .
the existence of the limits is established by counting lattice points of certain lattices in the universal cover @xmath12 of @xmath13 . as a biproduct of this method
we conclude that there is a subset @xmath14 ( which depends on what one counts : saddle connections or periodic families ) of measure one in the parameter space of all n markings ( contained in the set of all non rational n markings ) where the above limit takes a maximal value @xmath15 .
moreover it is easy to see that if one approaches a point of the set @xmath16 the asymptotic constants of the sequence converge to @xmath15 . in other words
the map @xmath17 \longmapsto \lim_{t\rightarrow \infty } \frac{n_{po / sc}({\mathbb{t}}^2_{[x_0, ... ,x_{n-1}]},t)}{t^2}\ ] ] is continous at the points of the set @xmath18 . in the case of two marked points and only in this case the set @xmath19 does not depend on what is counted ( po s or sc s ) . without restrictions
one can assume that the first marking is @xmath20 $ ] , then the set of points in general position consists exactly of all the non rational points @xmath21 .
in this case the quadratic growth rate function for saddle connections , assuming @xmath22 , is given by : @xmath23 & \longmapsto & \frac{6}{\pi}\left ( 1 + \prod_{p| n\ prime}\left(1-\frac{1}{p^2}\right)^{-1 } \sum_{\gcd(i , n)=1}\left(\frac{1}{i^2}-\frac{1}{n^2 } \right)\right ) \quad \mbox{on } { \mathbb{q}}^2 \nonumber\\   \left[x , y \right ] & \longmapsto & \frac{6}{\pi}+\pi \quad \mbox{for } ( x , y ) \notin { \mathbb{q}}^2\end{aligned}\ ] ] the continuity at non rational points implies that the above formula approaches @xmath24 as @xmath25 approximates a non rational number .
in contrast to the general for two marked points this continuity is calculated directly by an estimate .
furthermore for the two marked torus we write down the veech and affine groups for rational markings .
an argument shows that every veech surface coming from a rational marking is a @xmath1 deformation of one of the family @xmath26 } : \
n \in { \mathbb{n}}\}$ ] .
therefore all the veech groups of rationally marked tori are isomorphic to one of the veech groups @xmath27}$ ] associated to the family of surfaces @xmath28 .
finally the asymptotic formula of veech and the asymptotic counting of lattice points in the plane is used to compute the index @xmath29}]$ ] . with the help of the description of the veech groups for rational 2 markings
we rediscover the index of some classical congruence subgroups of @xmath1 .
it is now well known @xcite that one can also use ratners theorem to obtain pointwise results in modulispaces of torus coverings branched over n marked points .
of course from the point of pure existence of the growth rates this is more general and in fact covers the examples described in the paper . on the other hand
the results in this paper are explicit and the extremality , or more restrictive the maximality of the almost everywhere constants are proved for the above cases . in this direction one of the main objects of
the paper was to see if there is something in between purely rational markings and markings in general position which has not an extremal growth rate .
this question also could be answered with
yes " ( see theorem [ tlimes ] and the preparatory lemma [ schnigi ] ) . unfortunately our elementary methods can not directly taken over to prove something on families of branched coverings of tori , but nevertheless with the more sophisticated approach in @xcite one can compute all the siegel veech constants for two marked torus coverings which are not veech .
the results in @xcite show , that in this cases the siegel veech constants , as functions of the degree of the covering , behave monotonically , too . in the light of eskins and
this results it would be of interest to compute and prove related statements for marked veech surfaces and their branched coverings .
acknowledgements : + i have to thank for the hospitality of the cpt in marseille luminy in person of ricardo lima and his group during the jear 99 as well as alex eskin and pascal hubert for fruitful discussions .
i owe thanks to eugene gutkin for pointing out an unprecise statement to me and the referee for finding a mistake .
this paper is part of my thesis and i like to give many thanks to tyll krger and serge troubetzkoy for their continuous encouragement making this work possible .
for @xmath30, ... ,[x_n]\in { \mathbb{r}}^2/ { \mathbb{z}}^2 $ ] let @xmath31 ) } $ ] be the translation torus @xmath32 marked at the points @xmath30,[x_1], ... ,[x_{n-1}]\in { \mathbb{t}}^2 $ ] .
if we do not write down the zeroth entry @xmath30 $ ] in the index vector we assume @xmath30=0+{\mathbb{z}}^2 $ ] .
our calculations are restricted to the torus which is isometric to @xmath33 with the induced euclidean metric . with respect to this choice the periodic directions ( of the geodesic flow )
are exactly the ones with rational slope .
the results are not restricted to these special translation tori , they hold for all marked translation tori . in fact
all the arguments are invariant under @xmath3 deformations of the marked tori and any marked translation torus is an @xmath3 deformation of the studied ones .
the vector @xmath34 * associated * to a saddle connection @xmath35 ( or a prime periodic orbit ) is the unique vector @xmath34 in @xmath36 that maps isometrically to @xmath35 in @xmath37 under the natural projection map .
recall that in the case of a periodic orbit @xmath35 the associated vector @xmath34 characterizes a whole cylinder of closed geodesics .
a rational two vector like @xmath38 is always assumed to fulfill the condition @xmath39 .
@xmath40    * two points @xmath41,[y]\in { \mathbb{t}}^2 $ ] are said to be * relatively rational * , if @xmath42 .
* @xmath43 denotes the set of saddle connections between the points @xmath41\in{\mathbb{t}}^2 $ ] and @xmath44\in{\mathbb{t}}^2 $ ] .
* @xmath45 is the length of a @xmath46 and finally if @xmath47,[z]\in s \in sc_{(x , y)}$ ] let @xmath48 be the distance between @xmath47 $ ] and @xmath49 $ ] * measured along @xmath35 . *    relatively rational is obviously an equivalence relation .
every marking splits up in classes of relatively rational points .
each class defines a marking , eventually of lower order . by the results of veech @xcite or gutkin and judge @xcite @xmath8}$ ]
is a covering of the one marked torus @xmath50}$ ] if and only if all marked points @xmath51 are pairwise relatively rational .
thus @xmath8}$ ] is a veech surface if and only if for all markings are in one and the same marking class and from @xcite it follows : @xmath52}\right)\subset sl_2({\mathbb{q}})$ ] , where @xmath52}\right)$ ] denotes the veech group of @xmath8}$ ] .
any affine diffeomorphism @xmath53 of the unmarked torus @xmath54 is given by an element @xmath55)\in sl_2({\mathbb{z}})\oplus { \mathbb{t}}^2 $ ] : @xmath56)=[az+v]$ ] .
since every affine diffeomorphism of the marked torus defines one of the unmarked torus by forgetting marked points one obtains : @xmath57}\right)\subset sl_2({\mathbb{z}}).\ ] ]    a * lattice * @xmath58 is a subset of @xmath12 of the form @xmath59 a * point distribution * is a finite union of lattices .
the set of * visible points * @xmath60 of of a discrete subset @xmath61 consists of all points @xmath62 such there is no @xmath63 and a point @xmath64 with @xmath65 .    in other words : there is no other point of @xmath58 on the line between the origin and the points @xmath66 . for the correct counting of periodic orbits and saddle connections
we need further :    if a point distribution @xmath58 is contained in another point distribution @xmath67 , then the visible points @xmath68 of @xmath67 with respect to @xmath58 are those @xmath69 for which there is a @xmath70 such that @xmath71 .
@xmath72 is called @xmath73 * complete * if @xmath74 .
+ @xmath58 is called * closed * , if @xmath75 for any integer @xmath76 such that there exist two points @xmath77 with @xmath78 .
let @xmath41,[y]\in { \mathbb{t}}^2 $ ] , again we put @xmath79 .
then the set of saddle connections @xmath43 is described by the visible points of the lattice of associated vectors @xmath80 .
+ for a discrete subset @xmath61 ( in general point distributions ) we define for @xmath81 @xmath82 here @xmath83 is the ( closed ) disc of radius @xmath7 centered in the origin of @xmath12 . given a nonrational ( marked ) point @xmath44 $ ] on the marked torus @xmath84}^2 $ ] .
take a saddle connection @xmath85 from the origin to @xmath44 $ ] .
it might be represented in @xmath12 by @xmath86 with two fixed integers @xmath87 and an @xmath88 choosen from the set @xmath89 .
assume we take a second point @xmath41\in { \mathbb{t}}_{[0]}^2 $ ] @xmath90 , different from @xmath44 $ ] so , that there is a saddle connection @xmath91 , which fulfills an equation @xmath92 this means after mark the point @xmath41 $ ] the saddle connection @xmath93 destroys @xmath94 and generates two new saddle connections , @xmath93 and one in the set @xmath95 .
it is clear by equation ( [ relation ] ) , that if the factor @xmath96 is a rational number , say @xmath97 , all saddle connections represented by @xmath98 , @xmath99 are divided by the marking @xmath100 to give saddle connections in @xmath95 and @xmath101 .
now assume @xmath41 $ ] rationally divides two saddle connections from @xmath102 with the equations : @xmath103 with integers @xmath104 , @xmath105 and @xmath106 as above .
subtract the two equations to obtain : @xmath107 since @xmath88 is non rational @xmath108 . assuming this we have
: @xmath109 this equation has solutions if @xmath110 is ( componentwise ) divisible by @xmath111 .
thus the saddle connections in the set @xmath112 dividing the ones from @xmath113 rationally , all have a common stretch factor @xmath114 . hence ,
if there is more than one rationally dividing saddle connection , then they are all given by the ( lattice ) set of vectors @xmath115    if @xmath44 $ ] , @xmath116 are fixed the different sets of rationally dividing saddle connections for the stretch factor @xmath114 are parameterized by @xmath117 .
it is now clear that @xmath95 contains a lattice .
= 7truecm    to make shure there are not too much parallel saddle connections in @xmath101 and @xmath102 having non rational length ratio , consider the set @xmath118 of saddle connections that are represented by @xmath119 , where @xmath120 is non rational .    [ countnrat ] @xmath121 .
assume that the growth rate in question is of bigger than linear order , then there must be an integer @xmath122 where one can find two saddle connections @xmath123 represented by the points @xmath124 and @xmath125 , @xmath126 , @xmath127 ( we assume @xmath128 ) . if that would be not the case , for each @xmath122 there could be at most one saddle connection of the form @xmath129 in @xmath130 , therefore @xmath131 contradicting our assumption .
now by the strahlensatz of elementary geometry ( see figure 1 ) each intersection point of the saddle connections @xmath132 and @xmath133 as above , must divide the length in rational amounts contradicting the assumption .
let @xmath43 and @xmath134 be two sets of saddle connections on the marked tori @xmath135}$ ] , @xmath136}$ ] and suppose @xmath49 $ ] is rationally divided by @xmath44 $ ]
. then @xmath137 is the set of vectors associated to saddle connections @xmath95 on @xmath138}$ ] which are parallel to vectors associated to saddle connections in @xmath139 and shorter in length . +    to summarize :    [ schnigi ] let @xmath41,[y],[z]\in { \mathbb{t}}^2 $ ] be different points and @xmath140 .
if @xmath44\in s \in sc_{(x , z)}$ ] , then @xmath141 contains a lattice , if and only if there is a rational number @xmath142 such that @xmath143 , moreover the number @xmath144 is unique in the sense that this equation holds for any saddle connection represented by elements of @xmath141 .
these are just the statements above translated to the situaion @xmath41\neq [ 0]$ ] .
the lemma is viewed as the generalisation of the following observation on the torus @xmath145 ( with the origin as a marked point ) : a point @xmath146 is rational if and only if it is in the intersection of saddle connections .
if this is the case the saddle connections through @xmath146 give rise to a lattice ( by taking representatives in @xmath12 ) .
the moral of the lemma is : when counting saddle connections for general markings , all markings which are lying on some saddle connection and dividing the length of it rationally will cause a lattice of intersection points .
this is important as we will see later , this decreases the asymptotic constant of that marking . because of this observation we also have to take care about the definition of the set of markings in @xmath147 , where we assume the growth rates to be extremal .
thus for saddle connections we define the set of markings ` in general position ' ( shortly : ` gp ' ) in @xmath147 inductively : @xmath148\in { \mathbb{t}}^{4 } : \   x_1-x_0 \notin { \mathbb{q}}^2 \}\\ \mbox { } \\ { \mathbb{t}}^{2(n+1)}_{gp(sc)}=\left\ {   \begin{array}{l } [ x_0, ... ,x_n]\in { \mathbb{t}}^{2(n+1)}:[x_0, ... ,x_{n-1}]\in { \mathbb{t}}^{2n}_{gp(sc)},[x_n ] \in { \mathbb{t}}^2 \ \mbox{and }   \\ \forall \ i \in \ { 0, ... ,n \ } \   x_i \mbox { does not divide any saddle connection}\\   \mbox{defined by the marking } [ x_0, ... ,x_{i-1},x_{i+1}, ... ,x_{n } ] \mbox { rationally } \end{array }   \right\}. \end{array}\ ] ]    thus the set of non extremal n
markings is a set of full lebesque measure on @xmath147 ( see theorem [ tlimes ] ) . for periodic orbits the set of markings in general position
is defined in the following way : @xmath149:\   x_j - x_i \notin { \mathbb{q}}\   \forall \
i , j \in \{0,
... ,n\ } \mbox {   and } j \neq i \}.\ ] ] observe that for all @xmath150 @xmath151 .
the sets are equal in the cases @xmath152 ( trivial ) and @xmath153 , for more marked points the inclusion is strict .
it will turned out the markings in general position are exactely the sets of markings on which the growth rates are maximal .
note that in the case of two marked points the set of markings in general position is the same as the set of non rational markings , always assuming one of the markings to be @xmath154 $ ] .
it should be noted here , that the pure existence of the growth rate functions for any choice of marking could also be seen using the siegel veech formula together with ratners theorem for ergodic measures on homogeneous spaces ( see @xcite ) . the more elementary argumentation here and in the chapter on general markings shows , that even for complicated markings one has to count only simple lattice point distributions to obtain the quadratic growth constant .
to compute quadratic growth rates we recall some preparatory lemmas .
the first is quite well known and uses an argument going back to gauss .    [ gauss ]
. then @xmath156    to begin we treat the case @xmath157 .
by drawing horizontal and vertical lines through the lattice points , we got a decomposition of the plane in rectangles with sidelengthes @xmath158 .
every lattice point of @xmath58 can be viewed as the upper right vertice of one rectangle .
so the number of points of @xmath58 in the concentric circle @xmath83 of radius @xmath7 is determined by the number of rectangles in that circle up to a certain correction term coming from the fact that a rectangle might be only partly inside the ball .
but after increasing the radius of the ball by the length of the diagonal of the rectangles @xmath159 the estimate @xmath160 holds . and by decreasing the radius with the same amount we have : @xmath161 putting together these two estimates leds to : @xmath162 in the general case we have the estimate : @xmath163 the statement follows easily .    before stating the next proposition
let us make a general remark on our strategy of counting . if our interest is for example counting prime closed geodesics , we associate a certain point distribution in @xmath164 to all geodesics in question
. this point distribution @xmath58 does not reflect a priory the prime geodesics , but it will be choosen in a way that its quadratic asymptotics as in the last lemma can be calculated easily .
the points in @xmath58 which are associated to prime geodesics will be the visible points of @xmath58 with respect to @xmath165 .
the price we have to pay is that we can not relate the distribution of visible points and all points of ( the completed and closed ) @xmath58 just by the factor @xmath166 .
we have to choose our multiplicities with respect to @xmath58 :    [ vielf ] let @xmath167 be a @xmath165 complete and closed lattice .
let @xmath168 be the set of numbers @xmath169 such that @xmath170 .
then the relation @xmath171 holds between the numbers of points of @xmath58 and the number of visible points @xmath60 of @xmath58 . for the lattice @xmath172
this implies : @xmath173    first let us check that there is no @xmath174 that is not an integer multiple of some @xmath175 .
assume there is , then there exists a @xmath176 and a rational number @xmath177 with @xmath178 .
so @xmath179 divides @xmath180 , a contradiction to the @xmath165 completeness of @xmath58 .
since @xmath58 is closed and every element in @xmath58 is some @xmath181-multiple of an element in @xmath60 , thus : @xmath182 the lattice @xmath172 is obviously @xmath165 complete , closed and @xmath183 , thus @xmath184    counting only a certain percentage @xmath146 of the length of each line in a point distribution @xmath58 is equivalent to counting the length of vectors in the point distribution + @xmath185 .
thus there is a relation : @xmath186 remark : as is seen above the relating factor between cylinders of geodesics and prime geodesics will be @xmath187 instead of @xmath166 because we do nt distinguish between the two directions a prime geodesic might have . our decision to do that
is based on the point of view : count only ( the length of ) the geometric object .
define the set of lattices parametrized by @xmath188 , with @xmath189 as : @xmath190 further for @xmath150 and a divisor @xmath191 of @xmath0 define @xmath192 to be the set of numbers which are relatively prime to @xmath193 @xmath194 ( if @xmath195 we write shortly @xmath196 instead of @xmath192 ) and the point distributions @xmath197    with this conventions    [ pvert ] the point distributions @xmath198 are for all @xmath150 complete with respect to @xmath165 and closed .
we have : @xmath199.\ ] ] as a consequence , for all prime numbers @xmath146 @xmath200    first one has to find all integers which map @xmath198 under elementwise multiplication to @xmath198 itself . for @xmath201 and @xmath202
we have @xmath203 , if and only if @xmath204 therefore @xmath169 has to be in @xmath205 .
obviously the multiplication with a number from this set maps points of @xmath198 again to @xmath198 .
so if the point distributions are complete with respect to @xmath165 they are also closed . to see the last statement take @xmath206 and choose @xmath207 with @xmath208 .
this means @xmath209 with @xmath210 and @xmath211 .
the equation in the first coordinate says that @xmath169 and @xmath212 are relatively prime to @xmath0 and from this it follows that @xmath213 has to be a multiple of @xmath0 .
thus @xmath214 is already contained in @xmath198 and the completeness follows . using equation ( [ factor ] ) from proposition [ vielf ]
gives the first part of the lemma .
for the second part we simply observe that because @xmath146 is prime @xmath215 : @xmath216    remark : obviously the lattices @xmath217 are for @xmath218 never @xmath165 complete .
before we compute the relating factor of equation ( [ vf ] ) in general , an observation is helpful : let @xmath219 be the principal character modulo @xmath0 , that is @xmath220 if @xmath221 and is equal to @xmath222 if not , then obviously : @xmath223 where @xmath224 is the @xmath225 series with respect to @xmath226 evaluated at @xmath227 .
the following is well known ( see for example exercise ( 3.d ) page 166 in @xcite or serre @xcite )    [ sumform ] if @xmath35 is a complex number with real part bigger than @xmath228 then : @xmath229    the condition on the real part of @xmath35 guaranties absolute convergence of the series so that the following manipulations are justified .
we start with the right hand side : @xmath230 we have used the well known mbius @xmath4 function , the formula @xmath231 and summation over @xmath232 to reorder the sum in a useful way .    evaluating the above @xmath225 series for @xmath233 we find
@xmath234 the left hand side of this equation is easy to compute with the help of lemma [ gauss ] and the definition of @xmath198 @xmath235 use eulers @xmath236 function to identify @xmath237 for later use we show    [ completion ] + @xmath198 containes the @xmath165 completion of the lattice @xmath238@xmath239 .
it is enough to show that a multiple of each point @xmath240 is in @xmath241 .
that is we have to solve @xmath242 .
but this is always possible since @xmath96 and @xmath169 are relatively prime with respect to @xmath0 .
we now describe the affine group @xmath245 for a rational point @xmath246 .
[ afftor ] assume @xmath247 .
then @xmath248 if @xmath249 we have @xmath250    @xmath251 is a consequence of the discussion around equation ( [ sl2 ] ) in the preparation section . the only thing which is left to prove is the statement on the translation vector @xmath252 . it is defined only modulo @xmath165 ,
thus one can assume @xmath253 .
the subgroup @xmath254 of pure translations is trivial if @xmath255 : + assume the lattice @xmath256 generated is by use of @xmath252 translated to @xmath165 and by the same translation @xmath165 is moved to @xmath257 , then @xmath258 must hold .
thus either @xmath252 is trivial , or @xmath100 is one of the exceptions . in general
the same problem comes up if the map should interchange the lattices @xmath165 and @xmath257 . the only possibility is : @xmath259 has to map @xmath257 to @xmath260 and @xmath252 translates this into @xmath165 .
thus we obtain the conditions : @xmath261 for the three exceptions there is in fact only one condition , because in these cases @xmath262 , thus @xmath263 is automatically contained in these affine groups .
moreover the translation @xmath264 is contained in the groups .
[ kong]the veech group @xmath265 where @xmath266 $ ]    * for @xmath267 is @xmath268 * for @xmath269 ( or @xmath270 analogously ) is @xmath271 * for @xmath272 is @xmath273 in the case @xmath274 that is @xmath275 we have to add the rotation : @xmath276 * for @xmath277 ( or equivalently @xmath278 ) is @xmath279    by the last proposition we have to evaluate the condition @xmath280 on the coefficents @xmath281 . if for example @xmath282 then we have @xmath283 it follows directly that @xmath284 , @xmath285 and @xmath286 is arbitrary .
since the determinant of the matrix is always @xmath228 we have the condition @xmath287 .
therefore @xmath288 , if @xmath289 . the other three cases are equally simple , we omit them .
we prove now that all 2 marked tori are affine equivalent to one from a special family , if the marking is rational .
[ reduction ] if @xmath290 $ ] ( @xmath22 ) , @xmath291 is affine isomorphic to @xmath292}$ ] . more precisely
: there exists an affine diffeomorphism of @xmath13 represented by an element of @xmath1 which maps @xmath293 $ ] to @xmath294 $ ] ( and preserves @xmath20 $ ] ) .
the veech group @xmath295 of the one marked torus is represented by @xmath1 .
thus it is enough to show : given a point @xmath296\in{\mathbb{t}}^2 $ ] with @xmath39 , there is a linear map in @xmath1 that maps it to the point @xmath297\in{\mathbb{t}}^2 $ ] .
let @xmath298 then the equation @xmath299 holds .
we want the vector @xmath300 to become the second row of a matrix @xmath301 , thus the vector @xmath302 representing the first row has to fulfill @xmath303 .
this equation has solutions @xmath304 because @xmath305 and @xmath306 are relatively prime .
taking solutions @xmath307 defines an @xmath301 with @xmath308 with @xmath309 relatively prime to @xmath0 .
hence the congruence @xmath310 has a solution @xmath311 and one can use the linear dehn twists @xmath312 and @xmath313 to obtain the result up to a rotation of 90 degrees .
[ isom ] the veech groups @xmath314 for points @xmath315 $ ] with @xmath39 are all isomorphic .
the isomorphism is given by conjugation with an element of @xmath1 .
moreover the asymptiotic growth rates are the same , if the surfaces are affine isomorphic .
the first two statements follow from the above proposition .
veechs asymptotic formula depends only on the conjugacy class of the veech group in @xmath3 and on the areas of the cylinders of closed geodesics ( see for example vorobetz paper @xcite ) , which are invariant under affine isomorphisms . in other words
the asymptotic constants depend only on the @xmath3 orbit of the given veech surface in the moduli space .
but proposition ( [ reduction ] ) shows the marked surfaces in question are all on one @xmath3 orbit .
since every rational number @xmath100 has a unique representation as above , one can restrict the considerations to families of markings defined by @xmath316\quad    \mbox{or } \quad   x_{(n , n)}:=\left[\frac{1}{n},\frac{1}{n}\right]\quad \mbox{where } \
1\neq n \in { \mathbb{n}}\ ] ] and to the corresponding tori .
we choose the family @xmath317 .
to compute the index @xmath318})]$ ] , the first observation is that the only affine map @xmath319})$ ] ( @xmath39 ) which interchanges @xmath20 $ ] and @xmath320 $ ] is given by rotation of 180 degrees and a translation by the vector @xmath38 ( for @xmath321 ) . since @xmath53 maps @xmath320 $ ] to @xmath222 it is of no interest for the following discussion
up to the subgroup of generated by the idempotent element @xmath53 , @xmath322})$ ] can be viewed as the isotropy subgroup @xmath323}({\mathbb{t}}^2)\subset a\mathit{ff}({\mathbb{t}}^2 ) $ ] .
for a translation structure @xmath324 and @xmath325 one defines the isotropy group @xmath326 of @xmath100 and its associated veech group in the usual way : @xmath327 these are subgroups of @xmath328 , @xmath329 respectively . as a direct consequence from the definitions and elementary group theory one obtains :    [ shindex ] let @xmath330 be a translation structure and @xmath331 the structure @xmath330 where the point @xmath100 is marked
. then @xmath332= \operatorname{ord}(a\mathit{ff}(u)/ a\mathit{ff}_x(u))=    [ v(u):v_x(u)]=\operatorname{ord}(v(u)/v_x(u))\ ] ] where @xmath333 is the orbit of @xmath100 under @xmath328 and @xmath334 denotes the set of right cosets @xmath335 of the subgroup @xmath336 .    see for example chapter i  5 in s. langs book on algebra @xcite .
lemma [ reduction ] above implies together with proposition [ shindex ] for @xmath321 @xmath337 the last equation on the cardinality of the set of pairs @xmath302 is well known .
@xmath338 is normal in @xmath1 and therefore also in @xmath339})$ ] , thus @xmath340}({\mathbb{t}}^2)\cong v({\mathbb{t}}^2_{[\frac{p}{n},\frac{q}{n}]})/(-id).\ ] ] since @xmath263 generates a subgroup of order @xmath227 and the subgroup @xmath341 } ) \subset   a\mathit{ff}({\mathbb{t}}^2_{[\frac{p}{n},\frac{q}{n}]})$ ] of pure translations is trivial if @xmath342 we have @xmath343})]=\frac{n^2}{2}\prod_{p|n \
prime } \left(1-\frac{1}{p^2}\right)\ ] ] for @xmath153 the index is @xmath344 because @xmath263 is already an element in @xmath345}({\mathbb{t}}^2)$ ] .
in contrast to this calculation there is a second way to compute the index of the veech groups using the asymptotic formula of veech and the results from the last section .
to begin , the veech groups are presented as subgroups of @xmath1 , but since we do not want to count orbits in both directions we take the quotient modulo @xmath346 : @xmath347 . since both modulo @xmath263 equivalent elements are in @xmath348 we can do the same with the veech groups and loose no information when taking the preimage in @xmath3 .
thus , denote by @xmath349 the image of @xmath348 in @xmath350 .
the orbits @xmath351 ( @xmath352 is the number of different orbits ) of the vectors @xmath353 associated to a maximal cylinder @xmath354 of closed geodesics which fills the torus under @xmath355 give always the same asymptotic constant ( for the formula see proposition 6.3 in @xcite : @xmath356}{area({\mathcal{c}}_i ) } \ ] ] since each cylinder @xmath354 fills the torus we have @xmath357 and @xmath358=1 $ ] . here
@xmath359 is the group generated by linear dehn twists around @xmath354 .
thus we can write : @xmath360 \
vol\left({\mathbb{h}}/psl_2({\mathbb{z}})\right)= \nonumber \\
& = & \frac{\pi}{3}[sl_2({\mathbb{z}}):v({\mathbb{t}}^2_{x_{n}})].\end{aligned}\ ] ] the other side of veech s asymptotic formula is the quadratic growth rate of the lengths of the maximal cylinders that completely fill the torus .
their directions are exactly the directions of lines in @xmath12 which begin at the origin and cross some point of the lattice @xmath361 . to get a set of integer points which represent ( eventually multiples of the length of ) the closed cylinders in question we simply multiply with @xmath0 and get the lattice @xmath362 studied earlier .
since we are on the torus @xmath363 to count the length spectrum of the cylinders correctly one has to look for the visible points of the completion of @xmath364 with respect to @xmath165 .
this completion , by proposition [ completion ] , is the point distribution @xmath198 , thus finally : @xmath365^{-1}\ ] ] what is left to calculate is @xmath352 :    [ invariante ] @xmath366    observe that the ratio of the length of the two saddle connections connecting @xmath20 $ ] and @xmath367 $ ] and bounding the same cylinder of periodic orbits is an invariant under the operation of the veech group .
furthermore modulo @xmath368 we can represent every periodic orbit or saddle connection by a point in @xmath369 .
thus the directions with only one periodic family are represented by : @xmath370 the line from @xmath371 to @xmath372 intersects exactly one point of the set @xmath361 characterized by @xmath373 if @xmath374 runs through the numbers relatively prime to @xmath0 , then @xmath100 does this as well .
thus the above regarded length ratio is in any case one of the numbers @xmath375 we see , exactly two relatively prime numbers modulo @xmath0 , namely @xmath100 and @xmath376 having the same invariant .
if this invariant is complete , which will be shown in the next lemma , then the number of different one cylinder orbits under the operation of the veech group is given by @xmath377 the exceptional case @xmath153 is trivial , because there exists only one direction of one cylinder in @xmath378 .
let @xmath291 be a rational marked torus .
two directions @xmath379 with only one periodic cylinder are in the same orbit under the operation of the veech group , if they have the same ratio @xmath380 here @xmath381 are the two saddle connections which are on the boundary of the cylinder in direction @xmath382 .
obviously the condition is necessary .
all that is left is to show that it is sufficent .
that is we have to find an element of the veech group that is a map between the two directions with the same invariant .
forgetting for a moment the marked point @xmath100 we can map any periodic direction to any other by elements of @xmath1 .
especially the saddle connections in question are mapped on one another . because the invariant is the same for both possible orientations of the saddle connections and @xmath383 we have found a map , which also transports one marked point to the other .
now we can compute the index with the help of the counting formula again :    let @xmath384 $ ] , @xmath321 , @xmath385 then @xmath386=\frac{n^2}{2}\prod_{p|n \   prime}\left(1-\frac{1}{p^2}\right)\ ] ] holds . in the case @xmath153 the index is @xmath344 .    from equality ( [ kxn ] ) together with @xmath387 for @xmath321 it follows @xmath388=\frac{3}{2\pi } \varphi(n)\left[\lim_{t\rightarrow \infty } \frac{n(g^{v}_{i^n } , t)}{t^2 } \right]^{-1}.\ ] ] then put in the right hand side of equation ( [ vffinal ] ) to get the result . if @xmath153 then @xmath389 and we obtain @xmath344 .
the two ways of computing the index of the veech groups of two marked tori might be used to obtain the asymptotic formula ( [ vffinal ] ) , counting the lattice points , without using the second section .
one can take the first index computation and the veech formula together with the knowledge about the number of cusps @xmath390 ( see proposition [ invariante ] ) to compute @xmath391 backwards .
nevertheless the first given way to compute the index of the veech groups seems to be a simple method to calculate for the index of the well known groups ( for example compare s.lang @xcite @xmath392 in @xmath1 .
either the @xmath393 are subgroups of index two in @xmath348 if @xmath321 , or in the case @xmath153 @xmath394 and @xmath395 is isomorphic to @xmath396 .
thus : @xmath397= \left\ { \begin{array}{cl } n^2\prod_{p|n \   prime}\left(1-\frac{1}{p^2}\right ) & \textrm { if } \   n>2 \\ 3 & \textrm { if } \
n=2 \end{array } \right.\ ] ]
we begin with a general observation concerning the directions of periodic families on the torus .
these directions are exactly all the  rational " directions and this fact will not change how many points we will mark and wherever we will place them on the torus .
the only thing that might change is the number of periodic families in a given rational direction , but in this case they are all of equal length .
for the two marked torus @xmath291 there are always two families in any rational direction if @xmath100 is non rational .
there are saddle connections connecting @xmath20 $ ] und @xmath41 $ ] but which bound no periodic family because they are not in a rational direction .
for rational markings @xmath100 this can never happen .
collecting things for rational @xmath100 : either there is a rational direction with two periodic families and the bounding saddle connections connecting the same marked point , or there is only one family but then the two bounding saddle connections will connect the marked points @xmath20 $ ] and @xmath41 $ ] . therefore counting the length @xmath398 of cylinders of periodic trajectories for extremal markings @xmath100 on @xmath291
is easy : @xmath399 to treat the rational case we have to subtract the directions where only one family is from the doubled number of periodic orbits of the one marked torus . let us denote the number of single cylinders on @xmath291 with length smaller than @xmath7 by @xmath400}({\mathbb{t}}^2_x , t)$ ] .
thus we write : @xmath401}({\mathbb{t}}^2_x , t)+o(t^2)\ ] ] with the help of the discussion at the end of the last paragraph one computes for a rational point @xmath402 : @xmath403 to count saddle connections is less easy , but again using the last paragraph ( and the discussion before equation ( [ kxn ] ) we can write down the associated growth rates as follows : @xmath404 here ( [ vffinal ] ) and proposition [ invariante ] is used .
the last term needs some explanation .
we have seen that @xmath405 already counts the length of the simple periodic cylinders .
it counts as well the length of their boundaries that is the sum of the length of the two bounding saddle connections . by proposition [ invariante ]
there are @xmath406 different families of orbits of saddle connections labeled by their length ratios .
equation ( [ kxn ] ) shows that these orbits under the veech group all have the same growth rate , namely @xmath407 .
the relation of the length of a saddle connection bounding a family to the length of the family is more or less the invariant @xmath408 .
anyway it is one of the numbers @xmath409 or @xmath410 where @xmath411 . with the help of equation ( [ scaling ] ) one
finds the above expression . continuing the evaluation : @xmath412
the last equality follows with the help of equation ( [ in ] ) . for non rational markings
one obtains : @xmath413 summarizing :    the limits @xmath414 exist for all @xmath100 , moreover there are estimates @xmath415 and @xmath416 for @xmath88 non rational .
the inequalities are strict if @xmath100 is rational .
moreover for each sequence of rational points @xmath417 converging to a non rational point @xmath100 : @xmath418 this is the continuity of the quadratic constants at non rational points .
the existence of the limits is proved in the equations ( [ ponr ] ) , ( [ po ] ) , ( [ rat ] ) and ( [ snrat ] ) , even more the computations give explicitly the values of the limits . in the case of saddle connections
it is indeed not easy to see the continuity of the growth rate function from the expression ( [ rat ] ) directly ( in fact before the author found the esimate below he does not believe in the stated formula ) . by comparing equation ( [ snrat ] ) ( the limiting constant ) to the first line of ( [ rat ] ) one has to show : @xmath419 by using the equation ( [ sumform ] ) , which states @xmath420 and the estimates @xmath421 we have : @xmath422 clearly if @xmath423 the right and left hand side of the inequalities converge to @xmath424 .
the continuity in the case of periodic orbits follows immediately from equation ( [ po ] ) .
* let @xmath8}$ ] be a n marked translation torus .
then the limits @xmath425},t)}{t^2}\ ] ] exist . * the set @xmath16 has full lebesque measure on @xmath426 and the inequalities @xmath427},t)}{t^2 } \leq \lim_{t \rightarrow \infty}\frac{n_{sc}({\mathbb{t}}^2_{[y_0, ... ,y_{n-1}]},t)}{t^2}= \frac{n(n+1)}{2}\pi+\frac{3n}{\pi}\ ] ] and @xmath428},t)}{t^2 } \leq \lim_{t \rightarrow \infty}\frac{n_{po}({\mathbb{t}}^2_{[y_0, ... ,y_{n-1}]},t)}{t^2}=   \frac{3n}{\pi}\ ] ] hold for all @xmath429 . in both cases (
@xmath430 s and @xmath431 s ) the inequality is strict , if @xmath432 *   + if @xmath433 is a sequence with + @xmath434 @xmath435 then @xmath436},t)}{t^2}\right)=   \lim_{t \rightarrow
\infty}\frac{n_{sc / po}({\mathbb{t}}^2_{[y_0, ... ,y_{n}]},t)}{t^2}\ ] ]    we prove the statements by induction over the number @xmath0 of marked points .
the idea is to write down , modulo lower order terms , the numbers of saddle connections ( or po s ) for a given marking as sums over the numbers for an marking with one marked point less and the terms occuring when one marks the forgotten point .
the results from the first section will imply the statements .
to start for one point there is nothing to show , moreover we have already seen the proof for @xmath153 .
so we assume the statements are true for all n markings @xmath437 of the torus .
we add another marking @xmath438 .
if the resulting marking is in general position , @xmath439 ( for saddle connections ) we obtain for saddle connections @xmath440},t)=n_{sc}({\mathbb{t}}^2_{[x_0, ...
,x_{n-1}]},t)+ \sum^{n}_{i=0}n(sc_{(x_i , x_n)},t)\ ] ] furthermore by the definition of general position markings @xmath441 for all @xmath442 .
for the case @xmath443 : saddle connections starting and ending in @xmath438 are bounding cylinders of periodic trajectories .
we have to take care of multiplicities when counting these @xmath444 thus @xmath445},t)}{t^2}&= & \lim_{t \rightarrow \infty}\frac{n_{sc}({\mathbb{t}}^2_{[x_0, ... ,x_{n-1}]},t)}{t^2}+ n\pi+\frac{3}{\pi}=\nonumber \\ & = & \frac{n(n+1)}{2}\pi+\frac{3n}{\pi}. \nonumber\end{aligned}\ ] ] we assume now that the marking is in general position with respect to periodic orbits . since a saddle connection starting and ending in @xmath438 bounds a cylinder of periodic trajectories , one has to add in each rational direction a new periodic family . thus the periodic orbit growth rates for markings in general position are : @xmath446},t)}{t^2}= \lim_{t \rightarrow \infty}\frac{n_{po}({\mathbb{t}}^2_{[x_0, ... ,x_{n-1}]},t)}{t^2}+ \frac{3}{\pi}=\frac{3n}{\pi}.\ ] ] if the marking @xmath447 is not in general position , it could be divided in classes of relatively rational points ( this is of course meaningful in any case , po s or sc s ) .
the set of these classes is denoted by @xmath448}$ ] . for each class the veech theory holds ( see @xcite ) and guaranties that all the limits exist . for the inequalities between the limits
one observes : if the marked points are rational there exists always a direction in which there are strictely less than the maximal number of @xmath0 cylinders of closed trajectories .
the orbit of this direction under the operation of the veech group leads to a positive asymptotic growth constant ( proposition 6.1 in @xcite ) . but a lower ( than maximal possible ) number of closed cylinders in a given direction causes  multiplicities " ( on has to count only visible points ) .
hence the limit growth rates are in both cases ( po s and sc s ) smaller than the ones for markings in general position .
this shows : if ther is one class in @xmath448}$ ] containing more than one point , then the growth rates have to be smaller than for markings in general position . to compute the growth rates in the cases of periodic orbits
, we observe that each class @xmath449}$ ] defines a marked veech torus @xmath450 , by marking @xmath13 only with the points of that class .
thus : @xmath451},t))=\sum_{m \in \mathcal{r}_{[x_0, ... ,x_n ] } } n_{po}({\mathbb{t}}^2_{m},t ) + o(t^2).\ ] ] here is used that by definition between points of different classes there are never saddle connections with rational slope ( or equivalently : with bound a closed trajectory ) .
all remains is to count the saddle connections between points of different classes .
to do this let @xmath51 be a marked point not rationally equivalent to @xmath438 and @xmath452 the set of saddle connections connecting @xmath51 and @xmath453 on the n marked torus @xmath454}$ ] .
what we have to count are sets of saddle connections from a given set of saddle connections between two marked points ( for example the set @xmath452 ) which are parallel and shorter to another set of saddle connections ( for example @xmath455 ) .
however by lemma ( [ schnigi ] ) and proposition ( [ countnrat ] ) sets of this kind are always lattices modulo a mistake of order @xmath456 , which does not count in the quadratic limit .
+ there are two different cases : first , there is a nonempty subset in @xmath455 consisting of saddle connections parallel to saddle connections in the set @xmath452 and shorter in length .
the set of all indices @xmath457 of such @xmath453 are denoted with @xmath408 .
second , a nonempty subset @xmath455 is parallel to one from @xmath452 , but the first are longer . as above
denote the set of all indices of such @xmath453 with @xmath181 .
moreover the sets of saddle are ( modulo sets of lower order growth rates ) given by some lattices @xmath458 or @xmath459 respectively .
we can write : @xmath460 here
@xmath461 denotes the lattices of saddle connections between @xmath51 and @xmath438 on the two marked tori @xmath462}$ ] .
for all @xmath463 @xmath464 modulo terms of strictly lower order size the above expressions are all lattices , hence they have quadratic growth rate limits .
after these steps for all markings @xmath465 $ ] the induction is complete .
from the two equalities it follows immediately : + if intersections of the above kind have a nonzero quadratic growth rate ( so the marking is rational in the sense of our definition ) than the associated growth rates are smaller than for a non rational marking .
the continuity follows from the fact that by approximating a marking in general position all the denominators of all the length ratios are growing over all bounds .      because of the simplicity of our methods we are not able to conclude anything about ( families of ) branched coverings of tori , without using the existence of the growth rate limits by the method explained in @xcite . even the sets where the growth rate is the biggest
is not seen as just the preimage of the non rational markings on the torus .
for closed cylinders of geodesics at least it has to be contained in this set .
this is because the geometry and combinatorics of the covering might cause new sets where the growth rates are different .
geometrically the reason for this is that the length spectrum of the cylinders of periodic trajectories is connected in a way to the saddle connections bounding them , which depends on the covering and where the singular points are .
if one makes the simplifying assumption that all inverse images of the marked points are itself marked ( such coverings are called ` balanced coverings ' by some people ) , then from theorem [ tlimes ] one can conclude :    let @xmath466}$ ] a covering branched only over @xmath467 with the induced translation structure @xmath468 .
further denote by @xmath469 the translation structure where each inverse image of a marked point is itself marked .
then , after rescaling the volume of @xmath470 ( with respect to the induced flat metric ) to one : @xmath471},t)}{t^2}\ ] ] ( @xmath472 is the degree of @xmath473 ) . moreover ,
if some of the markings are artificial ( i.e. not singular points of the induced metric ) then the growth rates after  unmark " any subset of these points will be smaller than the above one .
thus @xmath474    remark : similarly one can write down the corresponding estimate for maximal periodic cylinders . + if one includes ratners theorem as done in @xcite then the @xmath475 in equation ( [ verh ] ) can be replaced by a limit . +    the statement is a direct consequence of the fact that each saddle connection on the torus has exactly @xmath472 preimages on @xmath476 and theorem [ tlimes ] .
the second part is clear , because by removing nonsingular markings , the directions in which there are saddle connections are not changed .
but in any such direction the number of saddle connections could decrease and their length increase .
remark : with the results of veech @xcite every translation surface can be approximated by torus coverings in spaces of abelian differentials @xmath477 .
moreover torus coverings are equally distributed with respect to the liouville measure @xmath4 mentioned in the introduction . since periodic cylinders and saddle connections are locally stable with respect to deformations in this spaces we have some sort of control on their numbers by the corollary .
but because of the increasing number of artifical markings while approximating a general translation surface or equivalently the increasing degree of the covering , the estimate above is to weak to predict for example quadratic bounds of the growth rates of po s or sc s in general .
on the other hand the equidistribution of torus coverings in @xmath477 is used to compute the @xmath4 volume of these spaces of abelian differentials see @xcite .
the knowledge of these volumes in turn is the main step to evaluate siegel veech formulas , compare @xcite .
eskin , alex , counting problems and semisimple groups , doc .
j. dmv , extra volume icm ii ( 1998 ) 539 - 552 .
eskin , alex ; masur , howard .
pointwise asymptotic formulas on flat surfaces , ergodic theory and dynamical systems ( 2001 ) 37 pages .
eskin , alex ; masur , howard ; schmoll , martin .
billiards with barriers , preprint ( 2001 ) 37 pages .
eskin , alex ; masur , howard ; zorich , anton .
the siegel veech constants , in preparation .
eskin , alex ; okounkov , andrei .
asymptotics of numbers of branched coverings of a torus and volumes of moduli spaces of holomorphic differentials .
preprint ( 2000 ) 42 pages . to appear in inventiones math . .
gutkin , e. ; judge , c. ; the geometry and arithmetic of translation surfaces with applications to polygonal billiards , math .
lett.3 ( 1996 ) , 391 - 403 .
gutkin , e. , judge , c. ; affine mappings of translation surfaces , geometry and arithmetic , duke journal ( 1999 ) .
lang , serge ; algebra .
second edition .
addison - wesley publishing co. , reading , mass . ,
xv+714 pp .
isbn : 0 - 201 - 05487 - 6 lang , serge ; introduction to modular forms , grundlehren der mathematischen wissenschaften 222 , springer verlag 1976 .
masur , h. ; closed trajectories for quadratic differentials with an application to billiards , duke math .
j. 53 ( 1986 ) 307 - 314 .
masur , h. ; lower bounds for the number of saddle connections and closed trajectories of a quadratic differential , in holomorphic functions and moduli 1 , 215 - 228 , msri publ .
10 , springer verlag 1988 .
masur , h. ; the growth rate of trajectories of a quadratic differential , ergodic theory and dynamical systems 10 ( 1990 ) , 151 - 176 .
serre , j.p . ; cours darithmtique , le mathmaticien , presses universitaires de france,(1970 ) .
tenenbaum , g. ; introduction  la thorie analytique et probabiliste des nombres , cours spcialiss , socit mathmatique de france,(1995 ) .
veech , w. ; the teichmller geodesic flow , annals of mathematics , 64 ( 1986),441 - 530 .
veech , w. ; teichmller curves in moduli space , eisenstein series , and an application to triangular billiards , invent .
97 ( 1989 ) , 553 - 583 .
veech , w. ; moduli spaces of quadratic differentials , journal danalyse mathmatique vol.55 ( 1990),341 - 379 .
veech , w. ; the billiard in the regular polygon , geom . and
funct . analysis 2 ( 1992),341 - 379 .
veech , w. ; siegel measures .
ann . of math .
( 2 ) 148 ( 1998 ) , no . 3 , 895 - 944 .
vorobets , y. ; planar structures and billiards in rational polygons , russ .
surveys 51 ( 1996 ) , 177 - 178 .
vorobets , y. ; planar structures and billiards in rational polygons : the veech alternative , russ .
surveys 51 ( 1996 ) , 779 - 817 .
zemlyakov , a.n . ,
katok , a.b . ; topological transitivity of billiards in polygons .
zametki 18(2)(1975 ) pp .
291 - 300 .
english translation in math . notes 18(2 ) ( 1976 ) pp 760 - 764 .