Contents
1 Introduction
1.1 Geodesics on the torus
1.2 Geodesics on translation surfaces
1.3 Ratner theory for moduli spaces of abelian differentials
1.4 In the stratum $\mathcal{\mathscr{H}}\left(2\right)$
1.5 Acknowledgements
2 Preliminaries
2.1 The stratum $\mathcal{\mathscr{H}}\left(2\right)$
2.1.1 Orbits of square-tiled surfaces
2.1.2 Cusps
2.2 Siegel–Veech constants of cusps
3 Asymptotics for a large prime number of squares
3.1 A simpler sum
$$\begin{array}{cccccccccccccc}F(x,k,q)& ={\sum}_{1\u2a7dmd\u2a7dxmd\equiv k\left[q\right]}d& & ={\sum}_{1\u2a7dm\u2a7dxm\wedge q=1}{\sum}_{1\u2a7dd\u2a7dx/md\equiv \overline{m}k\left[q\right]}d& & ={\sum}_{1\u2a7dm\u2a7dxm\wedge q=1}{\sum}_{1\u2a7dd\u2a7dx/md\equiv u\left[q\right]}d& & ={\sum}_{1\u2a7dm\u2a7dxm\wedge q=1}{\sum}_{1\u2a7du+\lambda q\u2a7dx/m}(u+\lambda q)& & ={\sum}_{1\u2a7dm\u2a7dxm\wedge q=1}\left(\left({\sum}_{1\u2a7d\lambda \u2a7d\frac{1}{q}(\frac{x}{m}-u)}\lambda q\right)+O\left(\frac{x}{m}\right)\right)& & ={\sum}_{1\u2a7dm\u2a7dxm\wedge q=1}\left(\frac{1}{2}q(\frac{x}{qm}{)}^{2}+O(\frac{x}{m})+O(1)\right)& & =\frac{{x}^{2}}{2q}{\sum}_{1\u2a7dm\u2a7dxm\wedge q=1}\frac{1}{{m}^{2}}+O(xlogx)\end{array}$$ |
$$\begin{array}{cccccc}F(x,k,q)& =\frac{{x}^{2}}{2q}{\sum}_{d|q}\left(\frac{\mu \left(d\right)}{{d}^{2}}{\sum}_{m\u2a7dx/d}\frac{1}{{m}^{2}}\right)+O(xlogx)& & =\frac{{x}^{2}}{2q}{\sum}_{d|q}\frac{\mu \left(d\right)}{{d}^{2}}(\frac{{\pi}^{2}}{6}+O(1/x\left)\right)+O(xlogx)& & =\frac{{x}^{2}}{q}\cdot \frac{{\pi}^{2}}{12}{\prod}_{p|q}(1-\frac{1}{{p}^{2}})+O(xlogx).\end{array}$$ |
$$\begin{array}{cccc}{\sum}_{a\u2a7e1}\frac{1}{{a}^{2}}{\prod}_{p|a}(1-\frac{1}{{p}^{2}})& ={\prod}_{p}(1+{\sum}_{\nu \u2a7e1}{p}^{-2\nu}(1-{p}^{-2\nu}\left)\right)={\prod}_{p}(1+{p}^{2})& & ={\prod}_{p}\frac{1-{p}^{-4}}{1-{p}^{-2}}=\frac{\zeta \left(2\right)}{\zeta \left(4\right)}=\frac{{\pi}^{2}/6}{{\pi}^{4}/90}=\frac{15}{{\pi}^{2}}\end{array}$$ |
3.2 Sums with specified parities
3.2.1 Odd widths
$$\begin{array}{cccccccc}{F}^{\text{ow}}(x,k,q)& ={\sum}_{t\u2a7e0}{\sum}_{1\u2a7dm\u2a7dx/{2}^{t}{2}^{t}m\equiv k\left[q\right]m\equiv 1\left[2\right]}{\sum}_{b|m}b& & ={\sum}_{t\u2a7e0}\left(\frac{(x/{2}^{t}{)}^{2}}{2q}\frac{{\pi}^{2}}{12}{\prod}_{p|2q}(1-\frac{1}{{p}^{2}})+O\left(\right(x/{2}^{t})log(x/{2}^{t}\left)\right)\right)& & =\frac{{x}^{2}}{q}\frac{1}{1-\frac{1}{4}}\frac{{\pi}^{2}}{24}(1-\frac{1}{{2}^{2}}){\prod}_{p|q}(1-\frac{1}{{p}^{2}})+O(xlogx)& & =\frac{{x}^{2}}{q}\frac{{\pi}^{2}}{24}{\prod}_{p|q}(1-\frac{1}{{p}^{2}})+O(xlogx)\end{array}$$ |
3.2.2 Odd heights
$$\begin{array}{cccccc}{F}^{\text{oh}}(x,k,q)& ={\sum}_{1\u2a7dm\u2a7dxm\equiv k+q\left[2q\right]}{\sum}_{b|m}b& & =\frac{{x}^{2}}{2q}\frac{{\pi}^{2}}{12}{\prod}_{p|2q}(1-\frac{1}{{p}^{2}})+O(xlogx)& & =\frac{{x}^{2}}{q}\frac{{\pi}^{2}}{24}{\prod}_{p|q}(1-\frac{1}{{p}^{2}})+O(xlogx).\end{array}$$ |
$$\begin{array}{cccccccccc}{F}^{\text{oh}}(x,k,q)& ={\sum}_{t\u2a7e1}{\sum}_{1\u2a7dm\u2a7dx/{2}^{t}{2}^{t}m\equiv k+q\left[2q\right]m\text{odd}}{\sum}_{b|m}{2}^{t}b& & ={\sum}_{t\u2a7e1}{2}^{t}{\sum}_{1\u2a7dm\u2a7dx/{2}^{t}{2}^{t-1}m\equiv \frac{k+q}{2}\left[q\right]m\text{odd}}{\sum}_{b|m}b& & ={\sum}_{t\u2a7e1}{2}^{t}\frac{(x/{2}^{t}{)}^{2}}{2q}\frac{{\pi}^{2}}{12}{\prod}_{p|2q}(1-\frac{1}{{p}^{2}})+O(xlogx)& & ={\sum}_{t\u2a7e1}\frac{1}{{2}^{t}}\frac{{x}^{2}}{q}\frac{{\pi}^{2}}{24}(1-\frac{1}{{2}^{2}}){\prod}_{p|q}(1-\frac{1}{{p}^{2}})+O(xlogx)& & =\frac{{x}^{2}}{q}\frac{{\pi}^{2}}{32}{\prod}_{p|q}(1-\frac{1}{{p}^{2}})+O(xlogx).\end{array}$$ |
3.2.3 Mixed parities
3.3 Asymptotics for orbits A and B
4 Concluding remarks