We prove results about the intersection of the p-rank strata and the boundary of the moduli space of hyperelliptic curves in characteristic p > 2. Using this, we prove that the Z/\ell-monodromy of every irreducible component of the stratum H_g^f of hyperelliptic curves of genus g and p-rank f is the symplectic group Sp_{2g}(Z/\ell) if g > 2, f > 0 and \ell is an odd prime distinct from p. These results yield applications about the generic behavior of hyperelliptic curves of given genus and p-rank. The first application is that a generic hyperelliptic curve of genus g > 2 and p-rank 0 is not supersingular. Other applications are about absolutely simple Jacobians and the generic behavior of class groups and zeta functions of hyperelliptic curves of given genus and $p$-rank over finite fields.
Suppose $X$ is a hyperelliptic curve of genus $g$ defined over an algebraically closed field $k$ of characteristic $p=2$. We prove that the de Rham cohomology of $X$ decomposes into pieces indexed by the branch points of the hyperelliptic cover. This allows us to compute the isomorphism class of the $2$-torsion group scheme $J_X[2]$ of the Jacobian of $X$ in terms of the Ekedahl-Oort type. The interesting feature is that $J_X[2]$ depends only on some discrete invariants of $X$, namely, on the ramification invariants associated with the branch points. We give a complete classification of the gr…
Let k=F_q be a finite field of even characteristic. We obtain in this paper a complete classification, up to k-isomorphism, of non singular quartic plane curves defined over k. We find explicit rational normal models and we give closed formulas for the total number of k-isomorphism classes. We deduce from these computations the number of k-rational points of the different strata by the Newton polygon of the non hyperelliptic locus M_3^{nh} of the moduli space M_3 of curves of genus 3. By adding to these computations the knowed results on the hyperelliptic locus we obtain a complete picture of …
Let F be an algebraically closed field with char(F) not equal to 2, let F/K be a Galois extension, and let X be a hyperelliptic curve defined over F. Let ιbe the hyperelliptic involution of X. We show that X can be defined over its field of moduli relative to the extension F/K if Aut(X)/<ι> is not cyclic. We construct explicit examples of hyperelliptic curves not definable over their field of moduli when Aut(X)/<ι> is cyclic.
Using stable log maps, we introduce log twisted differentials extending the notion of abelian differentials to the Deligne-Mumford boundary of stable curves. The moduli stack of log twisted differentials provides a compactification of the strata of abelian differentials. The open strata can have up to three connected components, due to spin and hyperelliptic structures. We prove that the spin parity can be distinguished on the boundary of the log compactification. Moreover, combining the techniques of log geometry and admissible covers, we introduce log twisted hyperelliptic differentials, and…
We describe the invariants of plane quartic curves -- nonhyperelliptic genus 3 curves in their canonical model -- as determined by Dixmier and Ohno, with application to the classification of curves with given structure. In particular, we determine modular equations for the strata in the moduli space $\Me_3$ of plane quartics which have at least seven hyperflexes, and obtain an computational characterization of curves in these strata.
We compute the $\integ/\ell$ and $\integ_\ell$ monodromy of every irreducible component of the moduli spaces of hyperelliptic and trielliptic curves. In particular, we provide a proof that the $\integ/\ell$ monodromy of the moduli space of hyperelliptic curves of genus $g$ is the symplectic group $\sp_{2g}(\integ/\ell)$. We prove that the $\integ/\ell$ monodromy of the moduli space of trielliptic curves with signature $(r,s)$ is the special unitary group $\su_{(r,s)}(\integ/\ell\tensor\integ[ζ_3])$.
We compute the Z/\ell and \ell-adic monodromy of every irreducible component of the moduli space M_g^f of curves of genus and and p-rank f. In particular, we prove that the Z/\ell-monodromy of every component of M_g^f is the symplectic group Sp_{2g}(Z/\ell) if g>=3 and \ell is a prime distinct from p. We give applications to the generic behavior of automorphism groups, Jacobians, class groups, and zeta functions of curves of given genus and p-rank.
We construct a new compactification of the moduli space H_g of smooth hyperelliptic curves of genus g. We compare our compactification with other well-known remarkable compactifications of H_g .
This is the part II of the series under the same title. In part I, using the approach developed by Catanese--Pignatelli arXiv:math/0503294, we gave a structure theorem for hyperelliptic genus 3 fibrations all of whose fibers are 2-connected (arXiv:1209.6278 [math.AG]). In this part II, we shall give a structure theorem for smooth deformation families of these to non-hyperelliptic genus 3 fibrations. As an application, we shall give a set of sufficient conditions for our genus 3 hyperelliptic fibration above to allow deformation to non-hyperelliptic fibrations, and use this to study certain min…
We study the Brill-Noether stratification of the coarse moduli space of locally free stable and flat sheaves of a compact Kahler manifold, proving that these strata have quadratic algebraic singularities.
In this paper we provide an explicit construction of a $distinctive$ multiple Dirichlet series associated to products of quadratic Dirichlet L-series, which we believe should be tightly connected to a generalized metaplectic Whittaker function on the double cover of a Kac-Moody group. To do so, we first impose a set of axioms, independent of any group of functional equations, which the aforementioned object should satisfy. As a consequence, we deduce that the coefficients of the $p$-parts of the multiple Dirichlet series satisfy certain recurrence relations. These relations lead to a family of…
By the geometry of the 3-fold quadric we show that the coarse moduli space of genus g ineffective spin hyperelliptic curves with two marked points is a rational variety for every $g \geq 2$.
Using the geometry of an almost del Pezzo threefold, we show that the moduli space of genus $g$ one-pointed ineffective spin hyperelliptic curves is rational for every $g\geq 2$.
We compute the Picard group of the moduli stack of stable hyperelliptic curves of any genus, exhibiting explicit and geometrically meaningful generators and relations.
There is a canonical isomorphism between the coarse moduli spaces of somooth hyperelliptic curves of genus g and binary forms of degree 2g+2 with nonzero discriminant. In this paper, we study the extension of this isomorphism to the compactification of these moduli spaces. The main result is that the canonical isomorphism above extends to a holomorphic map f_g from the compactication of the moduli space of hyperelliptic curves of genus g to the compactification of the moduli space of binary forms of degree 2g+2. Moreover, we work out how the boundary components are contracted by the map f_g.
The generating function for $S_n$-equivariant Euler characteristics of moduli spaces of pointed hyperelliptic curves for any genus g>1 is calculated. This answer generalizes the known ones for genera 2 and 3 and answers obtained by J. Bergstrom for any genus and n<8 points.
In this paper we investigate two stratifications of the moduli space of elliptically fibred K3 surfaces. The first comes from Shimada's classification of connected components of elliptically fibred K3 surfaces and is closely related to the root lattice of the fibration. The second is the monodromy stratification defined by Bogomolov, Petrov and Tschinkel. The main result of the paper is a classification of all positive-dimensional ambi-typical strata, that is strata which are both Shimada root strata and monodromy strata. We further discuss the connection with moduli spaces of lattice-polarise…
We determine the rational divisor class group of the moduli spaces of smooth pointed hyperelliptic curves and of their Deligne-Mumford compactification, over the field of complex numbers.
The Desale-Ramanan Theorem is an isomorphism between the moduli space of rank two vector bundles over complex hyperelliptic curve and the variety of linear subspaces in an intersection of two quadrics. We prove a real version of this theorem for the moduli space of real vector bundles over a real hyperelliptic curve. We then apply this result to study the topology of the moduli space, proving that it is relatively spin and identifying the diffeomorphism type for genus two curves. Our results lay the groundwork for future study of the quantum homology of these moduli spaces.
The main subject of this work is the difference between the coarse moduli space and the stack of hyperelliptic curves. We compute their Picard groups, giving explicit description of the generators. We get an application to the (non-)existence of a tautological family over the coarse moduli space.
We introduce moduli spaces of quasi-admissible hyperelliptic covers with at worst A and D singularities. The stability conditions for these moduli spaces depend on two parameters describing allowable singularities. By varying these parameters, we interpolate between the stacks of stable limits of A and D singularities and the quotients of the versal deformation spaces of A and D singularities by a natural $\mathbb{G}_m$ action.
This paper is the second in a series of four papers aiming to describe the (almost integral) Chow ring of $\Mbar_3$, the moduli stack of stable curves of genus $3$. In this paper, we introduce the moduli stack $\Htilde_g^r$ of hyperelliptic $A_r$-stable curves and generalize the theory of hyperelliptic stable curves to hyperelliptic $A_r$-stable curves. In particular, we prove that $\Htilde_g^r$ is a smooth algebraic stacks which can be described using cyclic covers of twisted curves of genus $0$ and it embeds in $\Mtilde_g^r$ (the moduli stack of $A_r$-stable curves) as the closure of the mod…
Let $C$ be a hyperelliptic curve embedded in its Jacobian $J$ via an Abel-Jacobi map. We compute the scheme structure of the Hilbert scheme component of $\textrm{Hilb}_J$ containing the Abel-Jacobi curve as a point. We relate the result to the ramification (and to the fibres) of the Torelli morphism $\mathcal M_g\rightarrow \mathcal A_g$ along the hyperelliptic locus. As an application, we determine the scheme structure of the moduli space of Picard sheaves (introduced by Mukai) on a hyperelliptic Jacobian.
For a partition $lambda=\{lambda_1 \geq λ_2 \geq λ_3 \}$ of non-negative integers, we calculate the Euler characteristic of the local system $V_λ$ on the moduli space of genus 3 hyperelliptic curves using a suitable stratification. For some $λ$ of low degree, we make a guess for the motivic Euler characteristic of $V_λ$ using counting of curves over finite fields.
We determine the rational Chow ring of the moduli space $\mathcal{H}_{g,n}$ of $n$-pointed smooth hyperelliptic curves of genus $g$ when $n \leq 2g+6$. We also show that the Chow ring of the partial compactification $\mathcal{I}_{g,n}$, parametrizing $n$-pointed irreducible nodal hyperelliptic curves, is generated by tautological divisors. Along the way, we improve Casnati's result that $\mathcal{H}_{g,n}$ is rational for $n \leq 2g+8$ to show $\mathcal{H}_{g,n}$ is rational for $n \leq 3g+5$.
We compute the Brauer group of the moduli stack of hyperelliptic curves $\mathcal{H}_g$ over any field of characteristic zero. In positive characteristic, we compute the part of the Brauer group whose order is prime to the characteristic of the base field.
We study the moduli space of genus 3 hyperelliptic curves via the weighted projective space of binary octavics. This enables us to create a database of all genus 3 hyperelliptic curves defined over $\mathbb Q$, of weighted moduli height $\mathcal h =1$.
We compute the dimension of the image of the forgetful map from $Z$ to the moduli space of curves, where $Z$ is a connected component of the stratum of $k$-differentials with an assigned partition $μ$, for the cases when $k=1$ with meromorphic partition and $k=2$ when the quadratic differentials have at worst simple poles.
In 1967, Shioda \cite{Shi1} determined the ring of invariants of binary octavics and their syzygies using the symbolic method. We discover that the syzygies determined in \cite{Shi1} are incorrect. In this paper, we compute the correct equations among the invariants of the binary octavics and give necessary and sufficient conditions for two genus 3 hyperelliptic curves to be isomorphic over an algebraically closed field $k$, $\ch k \neq 2, 3, 5, 7$. For the first time, an explicit equation of the hyperelliptic moduli for genus 3 is computed in terms of absolute invariants.
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.
In this paper we consider the following problem: For a given natural number $d$ and a prime $p$ determine all Newton polygons of polarized K3 surfaces of degree 2d over fields of characteristic $p$. This is an analogue of the Manin problem for Newton polygons of abelian varieties. This question is equivalent to determining the non-empty height strata of the moduli stack $\M_{2d}\otimes \F_p$ of K3 surfaces with a polarization of degree 2d over $\F_p$. We prove here that if $d$ is large enough and prime to $p$, then the height strata of $\M_{2d}\otimes \F_p$ are non-empty.
Let $\mathcal H_g$ be the moduli space of genus $g$ hyperelliptic curves. In this note, we study the locus $\mathcal L$ in $\mathcal H_g$ of curves admitting a $G$-action of given ramification type $σ$ and inclusions between such loci. For each genus we determine the list of all possible groups, the inclusions among the loci, and the corresponding equations of the generic curve in $\mathcal L$. The proof of the results is based solely on representations of finite subgroups of $PGL_2 (\mathbb C)$ and the Riemann-Hurwitz formula.
In this paper we study bielliptic curves of genus 3 defined over an algebraically closed field $k$ and the intersection of the moduli space $\M_3^b$ of such curves with the hyperelliptic moduli $\H_3$. Such intersection $§$ is an irreducible, 3-dimensional, rational algebraic variety. We determine the equation of this space in terms of the $Gl(2, k)$-invariants of binary octavics as defined in \cite{hyp_mod_3} and find a birational parametrization of $§$. We also compute all possible subloci of curves for all possible automorphism group $G$. Moreover, for every rational moduli point $\p \in §$…
We study genus 3 hyperelliptic curves which have an extra involution. The locus $Ł_3$ of these curves is a 3-dimensional subvariety in the genus 3 hyperelliptic moduli $\H_3$. We find a birational parametrization of this locus by affine 3-space. For every moduli point $\p \in \H_3$ such that $|\Aut (\p)|>2$, the field of moduli is a field of definition. We provide a rational model of the curve over its field of moduli for all moduli points $\p \in \H_3$ such that $|\Aut(\p)|>4$. This is the first time that such a rational model of these curves appears in the literature.
The main subject is the difference between the coarse moduli space and the stack of hyperelliptic curves. In particular, we compute their Picard groups, giving explicit description of the generators. We also study how many families of hyperelliptic curves may have the same modular map as well as the existence of the tautological family over the coarse moduli space of hyperelliptic curves.
We study tautological classes on the moduli space of stable $n$-pointed hyperelliptic curves of genus $g$ with rational tails. Our result gives a complete description of tautological relations. The method is based on the approach of Yin in comparing tautological classes on the moduli of curves and the universal Jacobian. It is proven that all relations come from the Jacobian side. The intersection pairings are shown to be perfect in all degrees. We show that the tautological algebra coincides with its image in cohomology via the cycle class map. The latter is identified with monodromy invarian…
It is known that the moduli space $\overline{\mathcal{H}}_{g,n}$ of genus $g$ stable hyperelliptic curves with $n$ marked points is uniruled for $n \leq 4g+5$. In this paper we consider the complementary case. We calculate the canonical divisor of $\overline{\mathcal{H}}_{g,n}$ and show that it is effective for $n=4g+6$ and big for $n\leq 4g+7$. This leads us to conjecture that $\overline{\mathcal{H}}_{g,n}$ has non-negative Kodaira dimension for $n = 4g+6$ and is of general type for $n \geq 4g+7$.
We show how to speed up the computation of isomorphisms of hyperelliptic curves by using covariants. We also obtain new theoretical and practical results concerning models of these curves over their field of moduli.
We introduce a new approach of computing the automorphism group and the field of moduli of points $\p=[C]$ in the moduli space of hyperelliptic curves $\H_g$. Further, we show that for every moduli point $\p \in \H_g(L)$ such that the reduced automorphism group of $\p$ has at least two involutions, there exists a representative $C$ of the isomorphism class $\p$ which is defined over $L$.
We compute the intersection Betti numbers of the GIT model of the moduli space of Brill-Noether-Petri general curves of genus 4. This space was shown to be the final non-trivial log canonical model for the moduli space of stable genus four curves, under the Hassett-Keel program. The strategy of the cohomological computation relies on a general method developed by Kirwan to calculate the cohomology of GIT quotients of projective varieties, based on the equivariantly perfect stratification of the unstable points studied by Hesselink and others and a partial resolution of singularities.
We study the inertia stack of [M_{0,n}/S_n], the quotient stack of the moduli space of smooth genus 0 curves with n marked points via the action of the symmetric group S_n. Then we see how from this analysis we can obtain a description of the inertia stack of H_g, the moduli stack of hyperelliptic curves of genus g. From this, we can compute additively the Chen-Ruan (or orbifold) cohomology of H_g.
We consider the moduli space $\Hh_{g,n}$ of $n$-pointed smooth hyperelliptic curves of genus $g$. In order to get cohomological information we wish to make $\s_n$-equivariant counts of the numbers of points defined over finite fields of this moduli space. We find recurrence relations in the genus that these numbers fulfill. Thus, if we can make $\s_n$-equivariant counts of $\Hh_{g,n}$ for low genus, then we can do this for every genus. Information about curves of genus 0 and 1 is then found to be sufficient to compute the answers for $\Hh_{g,n}$ for all $g$ and for $n \leq 7$. These results ar…
This paper lays the foundation for determining the Kodaira dimension of the projectivized strata of Abelian differentials with prescribed zero and pole orders in large genus. We work with the moduli space of multi-scale differentials constructed in [BCGGM2] which provides an orbifold compactification of these strata. We establish the projectivity of the moduli space of multi-scale differentials, describe the locus of canonical singularities, and compute a series of effective divisor classes. Moreover, we exhibit a perturbation of the canonical class which allows the corresponding pluri-canonic…
We construct an infinite number of Shimura curves contained in the locus of hyperelliptic Jacobians of genus 3. In the opposite direction, we show that in genus 3 the only possible non-complete (in the moduli space of abelian threefolds) Kuga curves contained in the hyperelliptic locus have the same degeneration data as that of the examples we construct. The locus of genus 3 hyperelliptic Jacobians is a divisor within the moduli space of principally polarized abelian threefolds, and our result demonstrates the techniques we develop more generally for dealing with Shimura curves contained withi…
In this work we study the Humbert-Edge's curves of type 5, defined as a complete intersection of four diagonal quadrics in $\mathbb{P}^5$. We characterize them using Kummer surfaces and using the geometry of these surfaces we construct some vanishing thetanulls on such curves. In addition, we describe an argument to give an isomorphism between the moduli space of Humbert-Edge's curves of type 5 and the moduli space of hyperelliptic curves of genus 2, and we let see how this argument can be generalized to state an isomorphism between the moduli space of hyperelliptic curves of genus $g=\frac{n-…
The purpose of this paper is to study hyperelliptic curves with extra involutions. The locus $Ł_g$ of such genus $g$ hyperelliptic curves is a $g$-dimensional subvariety of the moduli space of hyperelliptic curves $\H_g$. We discover a birational parametrization of $Ł_g$ via dihedral invariants and show how these invariants can be used to determine the field of moduli of points $\p \in Ł_g$. We conjecture that for $\p\in \H_g$ with $|\Aut(\p)| > 2$ the field of moduli is a field of definition and prove this conjecture for any point $\p\in Ł_g$ such that the Klein 4-group is embedded in the red…
We study the moduli space $\mathcal{AS}_{g}$ of Artin-Schreier curves of genus $g$ over an algebraically closed field $k$ of positive characteristic $p$. The moduli space is partitioned by irreducible strata, where each stratum parameterizes Artin-Schreier curves whose ramification divisors have the same coefficients. We construct deformations of these curves to study the relations between those strata. As an application, when $p=3$, we prove that $\mathcal{AS}_{g}$ is connected for all possible $g$. When $p>3$, it turns out that $\mathcal{AS}_{g}$ is connected for sufficiently large value of …
The main goal of this work is to construct and study a reasonable compactification of the strata of the moduli space of Abelian differentials. This allows us to compute the Kodaira dimension of some strata of the moduli space of Abelian differentials. The main ingredients to study the compactifications of the strata are a version of the plumbing cylinder construction for differential forms and an extension of the parity of the connected components of the strata to the differentials on curves of compact type. We study in detail the compactifications of the hyperelliptic minimal strata and of th…
We study the induced Ekedahl-Oort stratification on the moduli space $\mathcal{M}_4$ of curves of genus $4$ in characteristic $3$. By constructing families of curves with given Ekedahl-Oort type and by computing the dimension of the intersection of the induced Ekedahl-Oort strata and the boundary divisor classes, we show that for certain induced Ekedahl-Oort strata in $\mathcal{M}_4$, they have the same codimension in $\mathcal{M}_4$ as the corresponding Ekedahl-Oort strata in moduli space $\mathcal{A}_4$ of principally polarized abelian varieties of dimension $4$.
