We study the moduli space ${V}_4\mathcal{M}_{g}$ of Klein four covers of genus $g$ curves and its natural compactification. This requires the construction of a related space which has a choice of basis for the Klein four group. This space has the interesting property that the two components intersect along a component of the boundary. Further, we carry out a detailed analysis of the boundary, determining components, degrees of the components over their images in $\overline{\mathcal{M}_g}$, and computing the canonical divisor of $\overline{{V}_4\mathcal{M}_{g}}$.
We give uniformizations of the Klein quartic curve and the Fermat septic curve as Shimura curves parametrizing Abelian $6$-folds with endomorphisms $\ZZ[\z_7]$.
We consider the extension of classical 2-dimensional topological quantum field theories to Klein topological quantum field theories which allow unorientable surfaces. We approach this using the theory of modular operads by introducing a new operad governing associative algebras with involution. This operad is Koszul and we identify the dual dg operad governing A-infinity algebras with involution in terms of Mobius graphs which are a generalisation of ribbon graphs. We then generalise open topological conformal field theories to open Klein topological conformal field theories and give a generat…
We study the connected components of the space of higher spin bundles on hyperbolic Klein surfaces. A Klein surface is a generalisation of a Riemann surface to the case of non-orientable surfaces or surfaces with boundary. The category of Klein surfaces is isomorphic to the category of real algebraic curves. An m-spin bundle on a Klein surface is a complex line bundle whose m-th tensor power is the cotangent bundle. The spaces of higher spin bundles on Klein surfaces are important because of their applications in singularity theory and real algebraic geometry, in particular for the study of re…
Determinantal formulae for Jacobian theta functions that go back to Klein are elaborated, via an idea due to Matone and Volpato. Also, the natural square roots of theta constants on the moduli space of curves whose existence was shown by Tsuyumine are proved to have a spinorial structure.
We study the geometry of some varieties of sums of powers related to the Klein quartic. This allows us to describe the birational geometry of certain moduli spaces of abelian surfaces. In particular we show that the moduli space $\mathcal{A}_2(1,7)^{-}_{sym}$ of $(1,7)$-polarized abelian surfaces with a symmetric theta structure and an odd theta characteristic is unirational by showing that it admits a dominant morphism from a unirational conic bundle.
We investigate the geometry of étale $4:1$ coverings of smooth complex genus 2 curves with the monodromy group isomorphic to the Klein four-group. There are two cases, isotropic and non-isotropic depending on the values of the Weil pairing restricted to the group defining the covering. We recall from our previous work \cite{bo} the results concerning the non-isotropic case and fully describe the isotropic case. We show that the necessary information to construct the Klein coverings is encoded in the 6 points on $\mathbb{P}^1$ defining the genus 2 curve. The main result of the paper is the fact…
We construct explicitly a finite cover of the moduli stack of compact Riemann surfaces with a given group of symmetries by a smooth quasi-projective variety.
A fine moduli space is constructed, for cyclic-by-$\mathsf{p}$ covers of an affine curve over an algebraically closed field $k$ of characteristic $\mathsf{p}>0$. An intersection of finitely many fine moduli spaces for cyclic-by-$\mathsf{p}$ covers of affine curves gives a moduli space for $\mathsf{p}'$-by-$\mathsf{p}$ covers of an affine curve. A local moduli space is also constructed, for cyclic-by-$\mathsf{p}$ covers of $Spec(k((x)))$, which is the same as the global moduli space for cyclic-by-$\mathsf{p}$ covers of $\mathbb{P}^1-\{0\}$ tamely ramified over $\infty$ with the same Galois grou…
Given a finite unbranched covering of a nonsingular projective scheme we analyse the morphism between moduli spaces of sheaves induced by pullback. We have a closer look at cyclic coverings and, in particular, at canonical coverings of surfaces. Our main application is the construction of Lagrangian subvarieties of certain irreducible holomorphically symplectic manifolds that arise from moduli spaces of sheaves on K3 or abelian surfaces.
We show that the coarse moduli space $\cR_5$ of étale double covers of curves of genus~5 over the complex numbers is unirational. We give two slightly different arguments, one purely geometric and the other more computational.
We consider the space $\mathcal R_{g,S_3}^{S_3}$ of curves with a connected $S_3$-cover, proving that for any odd genus $g\geq 13$ this moduli is of general type. Furthermore we develop a set of tools that are essential in approaching the case of $G$-covers for any finite group $G$.
We define a proper moduli stack for degree $p$ covers $f:Y \to \cX$ where $\cX$ is a twisted stable curve in the sense of [5] and [4], and $Y$ is a stable curve which via $f$ is a torsor over $\cX$ under a finite flat group scheme $\cG \to \cX$.
This thesis is concerned with the application of operadic methods, particularly modular operads, to questions arising in the study of moduli spaces of surfaces as well as applications to the study of homotopy algebras and new constructions of 'quantum invariants' of manifolds inspired by ideas originating from physics. We consider the extension of classical 2-dimensional topological quantum field theories to Klein topological quantum field theories which allow unorientable surfaces. We generalise open topological conformal field theories to open Klein topological conformal field theories and c…
In this paper we compute the multiple cover Gromov-Witten integrals (analog of the Aspinwall-Morrison formula) for the unramified compactification of the moduli space of stable maps to an embedded $\PO$ in a Calabi-Yau threefold $X$ with the normal bundle $\mathcal{O}_{\PO}(-1) \bigoplus \mathcal{O}_{\PO}(-1)$.
We show that the moduli spaces of non-triple cyclic coverings of genus 2 curves and that of even spin curves of genus 2 are birationally isomorphic via the Prym map. We describe the log canonical models of the moduli space of even spin curves of genus 2 and use this to extend the above birational map.
We prove that the moduli space A_{11}^{lev} of (1,11) polarized abelian surfaces with level structure of canonical type is birational to Klein's cubic hypersurface: a^2b+b^2c+c^2d+d^2e+e^2a=0 in P^4. Therefore, A_{11}^{lev} is unirational but not rational, and there are no Gamma_{11}-cusp forms of weight 3. The same methods also provide an easy proof of the rationality of A_{9}^{lev}.
We construct a two-level weighted TQFT whose structure coefficents are equivariant intersection numbers on moduli spaces of admissible covers. Such a structure is parallel (and strictly related) to the local Gromov-Witten theory of curves of Bryan-Pandharipande. We compute explicitly the theory using techniques of localization on moduli spaces of admissible covers of a parametrized projective line. The Frobenius Algebras we obtain are one parameter deformations of the class algebra of the symmetric group S_d. In certain special cases we are able to produce explicit closed formulas for such def…
We derive a formula for the virtual class of the moduli space of rubber maps to $[\mathbb{P}^1/G]$ pushed forward to the moduli space of stable maps to $BG$. As an application, we show that the Gromov-Witten theory of $[\mathbb{P}^1/G]$ relative to $0$ and $\infty$ are determined by known calculations.
We construct natural maps (the Klein and Wirtinger maps) from moduli spaces of vector bundles on an algebraic curve $X$ to affine spaces, as quotients of the nonabelian theta linear series. We prove a finiteness result for these maps over generalized Kummer varieties (moduli of torus bundles), leading us to conjecture that the maps are finite in general. The conjecture provides canonical explicit coordinates on the moduli space. The finiteness results give low--dimensional parametrizations of Jacobians (in $\Pp^{3g-3}$ for generic curves), described by $2Θ$ functions or second logarithmic deri…
Moduli spaces of semi-stable real and quaternionic vector bundles of a fixed topological type admit a presentation as Lagrangian quotients, and can be embedded into the symplectic quotient corresponding to the moduli variety of semi-stable holomorphic vector bundles of fixed rank and degree on a smooth complex projective curve. From the algebraic point of view, these Lagrangian quotients are connected sets of real points inside a complex moduli variety endowed with a real structure; when the rank and the degree are coprime, they are in fact the connected components of the fixed-point set of th…
This is a survey article written for the Jahresberichte der DMV. Tropical geometry can be viewed as an efficient combinatorial tool to study degenerations in algebraic geometry. Abstract tropical curves are essentially metric graphs, and covers of tropical curves maps between metric graphs satisfying certain conditions. In this short survey, we offer an introduction to the combinatorial theory of abstract tropical curves and covers of curves, and their moduli spaces, and we showcase three results demonstrating how this theory can be applied in algebraic geometry.
We study Hodge Integrals on Moduli Spaces of Admissible Covers. Motivation for this work comes from Bryan and Pandharipande's recent work on the local GW theory of curves, where analogouos intersection numbers, computed on Moduli Spaces of Relative Stable Maps, are the structure coefficients for a Topological Quantum Field Theory. Admissible Covers provide an alternative compactification of the Moduli Space of Maps, that is smooth and doesn't contain boundary components of excessive dimension. A parallel, yet different, TQFT, can then be constructed. In this paper we compute, using localizatio…
Given a degree one del Pezzo surface with canonical singularities, the linear series generated by twice the anti-canonical divisor exhibits the surface as the double cover of the quadric cone branched along a sextic curve. It is natural to ask if this description extends to the boundary of a compactification of the moduli space of degree one del Pezzo surfaces. The goal of this paper is to show that this is indeed the case. In particular, we give an explicit classification of the boundary of the moduli space of anti-canonically polarized broken del Pezzo surfaces of degree one as double covers…
In this paper we consider unramified coverings of the moduli space $\mathcal{M}_g$ of smooth projective complex curves of genus $g$. Under some hypothesis on the branch locus of the finite extended map to the Deligne-Mumford compactification, we prove the vanishing of the vector space of holomorphic 1-forms on the preimage of the smooth locus of $\mathcal{M}_g$. This applies to several moduli spaces, as the moduli space of curves with 2-level structures, of spin curves and of Prym curves. In particular, we obtain that there are no non-trivial holomorphic 1-forms on the smooth open set of the P…
We study branched covers of curves with specified ramification points, under a notion of equivalence derived from linear series. In characteristic 0, no non-constant families of covers with fixed ramification points exist. In positive characteristic we formulate a necessary and sufficient condition for the existence of such a family. We unconditionally prove one direction of this conjecture, and by studying infinitesimal deformations show the other direction in characteristic 2 and 3.
The cherry on top of this stacky paper is the following: for any g>1 we give a finite group G such that the moduli space of connected admissible G-covers of genus g is a smooth, fine moduli space, which is a Galois cover of the moduli space of stable curves. The proof relies on methods introduced by Looijenga and Pikaart-De Jong, and on the theory of twisted G-covers, a theory announced without proofs in math.AG/9811059, section 3, and developed in the first few sections of this paper. This includes a moduli description of the normalization of the Harris-Mumford space of admissible covers, and…
We continue the examination of the stable reduction and fields of moduli of G-Galois covers of the projective line over a complete discrete valuation field of mixed characteristic (0, p), where G has a cyclic p-Sylow subgroup P of order p^n. Suppose further that the normalizer of P acts on P via an involution. Under mild assumptions, if f: Y --> P^1 is a three-point G-Galois cover defined over C, then the nth higher ramification groups above p for the upper numbering of the (Galois closure of the) extension K/Q vanish, where K is the field of moduli of f.
In a recent paper Chiodo and Farkas described the singular locus and the locus of non-canonical singularities of the moduli space of level curves. In this work we generalize their results to the moduli space $\overline{\mathcal R}_{g,G}$ of curves with a $G$-cover for any finite group $G$. We show that non-canonical singularities are of two types: $T$-curves, that is singularities lifted from the moduli space $\overline{\mathcal M}_g$ of stable curves, and $J$-curves, that is new singularities entirely characterized by the dual graph of the cover. Finally, we prove that in the case $G=S_3$, th…
Klein foams are analogues of Riemann and Klein surfaces with one-dimensional singularities. We prove that the field of dianalytic functions on a Klein foam $Ω$ coincides with the field of dianalytic functions on a Klein surface $K_Ω$. We construct the moduli space of Klein foams and we prove that the set of classes of topologically equivalent Klein foams form an analytic space homeomorphic to $\mathbb{R}^{n}/\mathsf{Mod}$, where $\mathsf{Mod}$ is a discrete group.
In this paper we examine curves defined over a field of characteristic 2 which are $(\ZZ/2\ZZ)^2$-covers of the projective line. In particular, we prove which 2-ranks occur for such curves of a given genus and where possible we give explicit equations for such curves.
In this note we look at the moduli space $\cR_{3,2}$ of double covers of genus three curves, branched along 4 distinct points. This space was studied by Bardelli, Ciliberto and Verra. It admits a dominating morphism $\cR_{3,2} \to {\mathcal A}_4$ to Siegel space. We show that there is a birational model of $\cR_{3,2}$ as a group quotient of a product of two Grassmannian varieties. This gives a proof of the unirationality of $\cR_{3,2}$ and hence a new proof for the unirationality of ${\mathcal A}_4$.
We study the deformation of $G$-marked stable curves in the case where $G$ is a cyclic group, and construct a parameterizing space for $G$-marked stable curves of a given numerical type. This is then used in order to study the components of the locus of stable curves admitting the action of a cyclic group of non prime order $d$, extending work of F. Catanese in the case where $d$ is prime.
We prove that the moduli space of Calabi-Yau 3-folds coming from eight planes of $P^3$ in general positions is not modular. In fact we show the stronger statement that the Zariski closure of the monodromy group is actually the whole $Sp(20,R)$. We construct an interesting submoduli, which we call \emph{hyperelliptic locus}, over which the weight 3 $Q$-Hodge structure is the third wedge product of the weight 1 $Q$-Hodge structure on the corresponding hyperelliptic curve. The non-extendibility of the hyperelliptic locus inside the moduli space of a genuine Shimura subvariety is proved.
In a previous paper, the authors proved that the Prym variety of any non-cyclic etale triple cover of a smooth curve of genus 2 is a Jacobian variety of dimension 2. This gives a map from the moduli space of such covers to the moduli space of Jacobian varieties of dimension 2. We extend this map to a proper map of a certain moduli space of admissible $S_3$-covers of genus 7 to the moduli space of principally polarized abelian surfaces. The main result is that this map is finite surjective of degree 10.
We prove that the moduli spaces A_3(D) of polarized abelian threefolds with polarizations of types D=(1,1,2), (1,2,2), (1,1,3) or (1,3,3) are unirational. The result is based on the study of families of simple coverings of elliptic curves of degree 2 or 3 and on the study of the corresponding period mappings associated with holomorphic differentials with trace 0. In particular we prove the unirationality of the Hurwitz space H_{3,A}(Y) which parameterizes simply branched triple coverings of an elliptic curve Y with determinants of the Tschirnhausen modules isomorphic to A^{-1}.
We prove that the moduli space A_3(1,1,4) of polarized abelian threefolds with polarization of type (1,1,4) is unirational. By a result of Birkenhake and Lange this implies the unirationality of the isomorphic moduli space A_3(1,4,4). The result is based on the study the Hurwitz space H_{4,n}(Y) of quadruple coverings of an elliptic curve Y simply branched in n points. We prove the unirationality of its codimension one subvariety H^{0}_{4,A}(Y) which parametrizes quadruple coverings π:X --> Y with Tschirnhausen modules isomorphic to A^{-1}, where A\in Pic^{n/2}Y, and for which π^*:J(Y)--> J(X)…
We prove that the moduli space X(1,7) of (1,7)-polarized abelian surfaces with canonical level structure is birational to the Fano 3-fold V22 of polar hexagons of the Klein quartic X(7). In particular X(1,7) is rational and the birational map to P^3 is defined over Q. As a byproduct we obtain explicitely the equations of the (1,7)-very-ample polarized abelian surfaces in P^6.
We calculate the cycle class of the Hurwitz divisor $D_2$ on the moduli space of stable curves of genus $g=2k$ given by the degree $k+1$ covers of the projective line with simple ramification points, two of which lie in the same fibre. We also study some aspects of the geometry of the natural map of the Hurwitz space of admissible covers of degree $k+1$ and genus $2k$ to the moduli space of stable curves of genus $2k$.
We study an example of a Teichmueller curve in the moduli space of algebraic curves of genus 2 coming from an origami S. It is particular in that its points admit the Klein four group as a subgroup of the automorphism group. We give an explicit description of its points in terms of affine plane curves, we show that the Teichmueller curve is a nonsingular, affine curve of genus 0 and we determine the number of cusps in the boundary of the moduli space.
We apply tilting theory over preprojective algebras $Lambda$ to a study of moduli space of $Lambda$-modules. We define the categories of semistable modules and give an equivalence, so-called reflection functors, between them by using tilting modules over $Lambda$. Moreover we prove that the equivalence induces an isomorphism of algebraic varieties between moduli spaces. In particular, we study in the case when the moduli spaces related to the Kleinian singularity. We generalize a result of Crawley-Boevey which is known another proof of the McKay correspondence of Ito-Nakamura type.
In this article, we study the moduli of irregular surfaces of general type with at worst canonical singularities satisfying $K_X^2 = 4p_g(X)-8$, for any even integer $p_g\geq 4$. These surfaces also have unbounded irregularity $q$. We carry out our study by investigating the deformations of the canonical morphism $φ:X\to \mathbb{P}^N$, where $φ$ is Galois of degree 4. These canonical covers are classified in by the first two authors into four distinct families. We show that any deformation of $φ$ factors through a double cover of a ruled surface and, hence, is never birational. More interestin…
In this paper we investigate the cohomological obstruction for the field of moduli of a $G$-cover to be a field of definition, in the case of local fields and covers with tame admissible reduction. This applies in particular to $p$-adic fields where $p$ does not divide the order of the group $G$. We give examples of $G$-covers with field of moduli $\QQ_p$ that cannot be defined over $\QQ_p$, for all primes $p>5$.
In this paper, we treat moduli spaces of parabolic connections. We take étale coverings of the moduli spaces, and we construct a Hamiltonian structure of an algebraic vector field determined by the isomonodromic deformation for each étale morphism.
This paper proves a result on the existence of finite flat scheme covers of Deligne-Mumford stacks. This result is used to prove that a large class of smooth Deligne-Mumford stacks with affine moduli space are quotient stacks, and in the case of quasi-projective moduli space, to reduce the question to one concerning Brauer groups of schemes.
We compute the asymptotics of the number of connected branched coverings of a torus as their degree goes to infinity and the ramification type stays fixed. These numbers are equal to the volumes of the moduli spaces of pairs (curve, holomorphic differential) with fixed multiplicities of zeros of the differential and have several applications in ergodic theory.
Consider genus g curves that admit degree d covers to an elliptic curve simply branched at 2g-2 points. Vary a branch point and the locus of such covers forms a one-parameter family W. We investigate the geometry of W by using admissible covers to study its slope, genus and components. The results can also be applied to study slopes of effective divisors on the moduli space of genus g curves.
We study the Prym varieties arising from étale cyclic coverings of degree 7 over a curve of genus 2. These Prym varieties are products of Jacobians JY x JY of genus 3 curves Y with polarization type D=(1,1,1,1,1,7). We describe the fibers of the Prym map between the moduli space of such coverings and the moduli space of abelian sixfolds with polarization type D, admitting an automorphism of order 7.
EPW-sextics are special 4-dimensional sextic hypersurfaces (with 20 moduli) which come equipped with a double cover. We analyze the double cover of EPW-sextics parametrized by a certain prime divisor in the moduli space. We associate to the generic sextic parametrized by that divisor a K3 surface of genus 6 and we show that the double epw sextic is a contraction of the Hilbert square of the K3. This result has two consequences. First it gives a new proof of the following result of ours: smooth double EPW-sextics form a locally complete family of hyperkaehler projective deformations of the Hilb…
For any finite abelian group G, we study the moduli space of abelian $G$-covers of elliptic curves, in particular identifying the irreducible components of the moduli space. We prove that, in the totally ramified case, the moduli space has trivial rational Picard group, and it is birational to the moduli space M_{1,n}, where n is the number of branch points. In the particular case of moduli of bielliptic curves, we also prove that the boundary divisors are a basis of the rational Picard group of the admissible covers compactification of the moduli space. Our methods are entirely algebro-geomet…
