No Arabic abstract
This paper is devoted to the classification of the infinite families of Teichmuller curves generated by Prym eigenforms of genus 3 having a single zero. These curves were discovered by McMullen. The main invariants of our classification is the discriminant D of the corresponding quadratic order, and the generators of this order. It turns out that for D sufficiently large, there are two Teichmueller curves when D=1 modulo 8, only one Teichmueller curve when D=0,4 modulo 8, and no Teichmueller curves when D=5 modulo 8. For small values of D, where this classification is not necessarily true, the number of Teichmueller curves can be determined directly. The ingredients of our proof are first, a description of these curves in terms of prototypes and models, and then a careful analysis of the combinatorial connectedness in the spirit of McMullen. As a consequence, we obtain a description of cusps of Teichmueller curves given by Prym eigenforms. We would like also to emphasis that even though we have the same statement compared to, when D=1 modulo 8, the reason for this disconnectedness is different. The classification of these Teichmueller curves plays a key role in our investigation of the dynamics of SL(2,R) on the intersection of the Prym eigenform locus with the stratum H(2,2), which is the object of a forthcoming paper.
The minimal stratum in Prym loci have been the first source of infinitely many primitive, but not algebraically primitive Teichmueller curves. We show that the stratum Prym(2,1,1) contains no such Teichmueller curve and the stratum Prym(2,2) at most 92 such Teichmueller curves. This complements the recent progress establishing general -- but non-effective -- methods to prove finiteness results for Teichmueller curves and serves as proof of concept how to use the torsion condition in the non-algebraically primitive case.
This paper is devoted to the classification of connected components of Prym eigenform loci in the strata H(2,2)^odd and H(1,1,2) in the Abelian differentials bundle in genus 3. These loci, discovered by McMullen are GL^+(2,R)-invariant submanifolds (of complex dimension 3) that project to the locus of Riemann surfaces whose Jacobian variety has a factor admitting real multiplication by some quadratic order Ord_D. It turns out that these subvarieties can be classified by the discriminant D of the corresponding quadratic orders. However there algebraic varieties are not necessarily irreducible. The main result we show is that for each discriminant D the corresponding locus has one component if D is congruent to 0 or 4 mod 8, two components if D is congruent to 1 mod 8, and is empty otherwise. Our result contrasts with the case of Prym eigenform loci in the strata H(1,1) (studied by McMullen) that is connected for every discriminant D.
This paper deals with Prym eigenforms which are introduced previously by McMullen. We prove several results on the directional flow on those surfaces, related to complete periodicity (introduced by Calta). More precisely we show that any homological direction is algebraically periodic, and any direction of a regular closed geodesic is a completely periodic direction. As a consequence we draw that the limit set of the Veech group of every Prym eigenform in some Prym loci of genus 3,4, and 5 is either empty, one point, or the full circle at infinity. We also construct new examples of translation surfaces satisfying the topological Veech dichotomy. As a corollary we obtain new translation surfaces whose Veech group is infinitely generated and of the first kind.
We prove that the moduli space of compact genus three Riemann surfaces contains only finitely many algebraically primitive Teichmueller curves. For the stratum consisting of holomorphic one-forms in genus three with a single zero, our approach to finiteness uses the Harder-Narasimhan filtration of the Hodge bundle over a Teichmueller curve to obtain new information on the locations of the zeros of eigenforms. By passing to the boundary of moduli space, this gives explicit constraints on the cusps of Teichmueller curves in terms of cross-ratios of six points on a projective line. These constraints are akin to those that appear in Zilber and Pinks conjectures on unlikely intersections in diophantine geometry. However, in our case one is lead naturally to the intersection of a surface with a family of codimension two algebraic subgroups of $G_m^n times G_a^n$ (rather than the more standard $G_m^n$). The ambient algebraic group lies outside the scope of Zilbers Conjecture but we are nonetheless able to prove a sufficiently strong height bound. For the generic stratum in genus three, we obtain global torsion order bounds through a computer search for subtori of a codimension-two subvariety of $G_m^9$. These torsion bounds together with new bounds for the moduli of horizontal cylinders in terms of torsion orders yields finiteness in this stratum. The intermediate strata are handled with a mix of these techniques.
Given a closed four-manifold $X$ with an indefinite intersection form, we consider smoothly embedded surfaces in $X setminus $int$(B^4)$, with boundary a knot $K subset S^3$. We give several methods to bound the genus of such surfaces in a fixed homology class. Our techniques include adjunction inequalities and the $10/8 + 4$ theorem. In particular, we present obstructions to a knot being H-slice (that is, bounding a null-homologous disk) in a four-manifold and show that the set of H-slice knots can detect exotic smooth structures on closed $4$-manifolds.