1: \begin{abstract}

2:   We prove that the moduli space of compact genus three Riemann surfaces contains

3:   only finitely many algebraically primitive \Teichmuller curves.

4:   For the stratum $\Omega\moduli[3](4)$, consisting of holomorphic one-forms with a single zero, our

5:   approach to finiteness uses the Harder-Narasimhan filtration of the Hodge bundle over a

6:   \Teichmuller curve to obtain new information on the locations of the zeros of eigenforms.  By

7:   passing to the boundary of moduli space, this gives explicit constraints on the cusps of

8:   \Teichmuller curves in terms of cross-ratios of six points on $\proj^1$.

9:   \par

10:   These constraints are akin to those that appear in Zilber and Pink's conjectures on unlikely

11:   intersections in diophantine geometry.  However, in our case one is lead naturally to the

12:   intersection of a surface with a family of codimension two algebraic subgroups of

13:   $\IG_m^n\times\IG_a^n$ (rather than the more standard $\IG_m^n$). The ambient algebraic group

14:   lies outside the scope of Zilber's Conjecture but we are nonetheless able to prove a sufficiently

15:   strong height bound.

16: 

17:   For the generic stratum $\Omega\moduli[3](1,1,1,1)$, we obtain global torsion order bounds through

18:   a computer search for subtori of a codimension-two subvariety of $\Gm^9$.  These

19:   torsion bounds together with new bounds for the moduli of horizontal cylinders in terms of torsion

20:   orders yields finiteness in this stratum.  The intermediate strata are handled with a mix of these

21:   techniques.

22: \end{abstract}

23: