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 study smoothing of pencils of curves on surfaces with normal crossings. As a consequence we show that the canonical divisor of $\overline{\mathcal{M}}_{g,n}$ is not pseudo-effective in some range, implying that $\overline{\mathcal{M}}_{12,6},\overline{\mathcal{M}}_{12,7},\overline{\mathcal{M}}_{13,4}$ and $\overline{\mathcal{M}}_{14,3}$ are uniruled. We provide upper bounds for the Kodaira dimension of $\overline{\mathcal{M}}_{12,8}$ and $\overline{\mathcal{M}}_{16}$. We also show that the moduli of $(4g+5)$-pointed hyperelliptic curves $\mathcal{H}_{g,4g+5}$ is uniruled. Together with a re…
We give restrictions on the existence of families of curves on smooth projective surfaces $S$ of nonnegative Kodaira dimension all having constant geometric genus $g \geq 2$ and hyperelliptic normalizations. In particular, we prove a Reider-like result whose proof is ``vector bundle-free'' and relies on deformation theory and bending-and-breaking of rational curves in $\Sym^2(S)$. We also give examples of families of such curves.
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$.
The locus of genus-two curves with n marked Weierstrass points has codimension n inside the moduli space of genus-two curves with n marked points, for n<=6. It is well known that the class of the closure of the divisor obtained for n=1 spans an extremal ray of the cone of effective divisor classes. We generalize this result for all n: we show that the class of the closure of the locus of genus-two curves with n marked Weierstrass points spans an extremal ray of the cone of effective classes of codimension n, for n<=6. A related construction produces extremal nef curve classes in moduli spaces …
In this paper, the Euler characteristic formula for projective logarithmic minimal degenerations of surfaces with Kodaira dimension zero over a 1-dimensional complex disk is proved under a reasonable assumption and as its application, the singularity of logarithmic minimal degenerations are determined in the abelian or hyperelliptic case. By globalizing this local analysis of singular fibres via generalized canonical bundle formulae due to Fujino-Mori, we bound the number of singular fibres of abelian fibred Calabi-Yau threefolds from above,which was previously done by Oguiso in the potentiall…
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$.
Let $K$ be the quotient field of a discrete valuation ring $R$ with residue characteristic $\not=2$, and let $C$ be a hyperelliptic curve over $K$. We assume that all geometric branch points of the double covering $C\twoheadrightarrow{\mathbb P}^1_K$ are rational and mark both $C$ and ${\mathbb P}^1_K$ with these branch points. After possibly replacing $R$ by a ramified extension of degree $2$, we give a direct construction for the stable model of $C$ as a marked curve over $R$. We deduce that the closed fiber of this stable model is determined completely by the closed fiber of the stable mode…
In this article we consider a certain distinguished set $U(Ω,m) \subseteq \{1,2,\ldots,2g+1,\infty\}$ that can be attached to a marked hyperelliptic curve of genus $g$ equipped with a small period matrix $Ω$ for its polarized Jacobian. We show that as $Ω$ and the marking $m$ vary, this set ranges over all possibilities prescribed by an argument of Poor.
In this paper we finish the topological classification of real algebraic surfaces of Kodaira dimension zero and we make a step towards the Enriques classification of real algebraic surfaces, by describing in detail the structure of the moduli space of real hyperelliptic surfaces. Moreover, we point out the relevance in real geometry of the notion of the orbifold fundamental group of a real variety, and we discuss related questions on real varieties $(X, σ)$ whose underlying complex manifold $X$ is a $K (π, 1)$. Our first result is that if $(S, σ)$ is a real hyperelliptic surface, then the diff…
In this paper, we are going to compute the average size of 2-Selmer groups of two families of hyperelliptic curves with marked points over function fields. The result will be obtained by a geometric method which could be considered as a generalization of the one that was used previously by Q.P. Ho, V.B. Le Hung, and B.C. Ngo to obtain the average size of 2-Selmer groups of elliptic curves.
In this paper, we will give an algebraic proof for determining the sections for the universal pointed hyperelliptic curves, when $g\geq 3$ and the image of the $\ell$-adic cyclotomic character $G_k\to \Z^\times$ is infinite. Furthermore, we will study the nonabelian phenomena associated to the universal hyperelliptic curves. For example, we will show that the section conjecture holds for the universal hyperelliptic curve without marked points and the unipotent analogue of the conjecture holds for the pointed case. This work is an extension of Hain's original work to the hyperelliptic case.
In [5], Manjul Bhargava and Benedict Gross considered the family of hyperelliptic curves over $\Q$ having a fixed genus and a marked rational Weierstrass point. They showed that the average size of the 2-Selmer group of the Jacobians of these curves, when ordered by height, is 3. In this paper, we consider the family of hyperelliptic curves over $\Q$ having a fixed genus and a marked rational non-Weierstrass point. We show that when these curves are ordered by height, the average size of the 2-Selmer group of their Jacobians is 6. This yields an upper bound of 5/2 on the average rank of the Mo…
Using Atiyah-Bott localization on the space of stable maps to the stack quotient $[\mathbb{P}^1/\mathbb{Z}_2]$, we find recursions that determine all Hodge integrals with descendent insertions at one marked point on the hyperelliptic locus $\overline{\mathcal{H}}_{g, 2g + 2} \subseteq \overline{\mathcal{M}}_{g, 2g + 2}$. The initial conditions required for our recursions are gravitational descendents at one marked point, which are known to be $\frac{1}{2}$. We discover a new structure concerning these intersection numbers: for a fixed monomial of $λ$-classes, the resulting family of hyperellip…
This is the authors doctoral thesis written at the Humboldt-University Berlin. It contains material from the three separate papers: "On the Kodaira dimension of the moduli space of nodal curves", "On quotients of $\overline{\mathcal{M}}_{g,n}$ by certain subgroups of $S_n$" and "The moduli space of hyperelliptic curves with marked points".
We show that certain geometrically defined higher codimension cycles are extremal in the effective cone of the moduli space $\overline{\mathcal M}_{g,n}$ of stable genus $g$ curves with $n$ ordered marked points. In particular, we prove that codimension two boundary strata are extremal and exhibit extremal boundary strata of higher codimension. We also show that the locus of hyperelliptic curves with a marked Weierstrass point in $\overline{\mathcal M}_{3,1}$ and the locus of hyperelliptic curves in $\overline{\mathcal M}_4$ are extremal cycles. In addition, we exhibit infinitely many extremal…
Inside the moduli space of curves of genus three with one marked point, we consider the locus of hyperelliptic curves with a marked Weierstrass point, and the locus of non-hyperelliptic curves with a marked hyperflex. These loci have codimension two. We compute the classes of their closures in the moduli space of stable curves of genus three with one marked point. Similarly, we compute the class of the closure of the locus of curves of genus four with an even theta characteristic vanishing with order three at a certain point. These loci naturally arise in the study of minimal strata of Abelian…
We show that the average size of the $2$-Selmer group of the family of Jacobians of non-hyperelliptic genus-$3$ curves with a marked rational hyperflex point, when ordered by a natural height, is bounded above by $3$. We achieve this by interpreting $2$-Selmer elements as integral orbits of a representation associated with a stable $\mathbb{Z}/2\mathbb{Z}$-grading on the Lie algebra of type $E_6$ and using Bhargava's orbit-counting techniques. We use this result to show that the marked point is the only rational point for a positive proportion of curves in this family. The main novelties are t…
Let $\mathbb{P}^1$ and $(X,q)$ denote, respectively, the projective line and a fixed elliptic curve marked at its origin, both defined over an algebraically closed field $\mathbb{K}$ of arbitrary characteristic $\emph{\textbf{p}} \neq2$. We will consider all finite separable marked morphisms $π:(Γ,p)\rightarrow (X,q)$, such that $Γ$ is a degree-$2$ cover of $ \mathbb{P}^1$, ramified at the smooth point $p \in Γ$. Canonically associated to $π$ there is the Abel (rational) embedding of $Γ$ into its \emph{generalized Jacobian}, $A_p: Γ\to Jac\,Γ$, and $\{0\} \subsetneq V^1_{Γ,p}...\subsetneq V ^g…
Let N be the moduli space of stable rank 2 quasiparabolic vector bundles of fixed degree on the projective line with 2g+1 marked points, where g>1, and stability is with respect to the weights {0,1/2} at each marked point. In this note we show that N is isomorphic to the variety of (g-2)-dimensional linear subspaces of P^{2g}, contained in the intersection of two quadrics. The proof relies on the work of Bhosle on the relation among quasiparabolic vector bundles on P^1 and invariant vector bundles on hyperelliptic curves, and the description by Bhosle and Ramanan of the moduli space of stable …
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 prove that the moduli space of polarized $K3$ surfaces of genus eleven with $n$ marked points is unirational when $n\leq 6$ and uniruled when $n\leq7$. As a consequence, we settle a long standing but not proved assertion about the unirationality of $\cal{M}_{11,n}$ for $n\leq6$. We also prove that the moduli space of polarized $K3$ surfaces of genus eleven with $9$ marked points has non-negative Kodaira dimension.
Here we investigate some birational properties of two collections of moduli spaces, namely moduli spaces of (pointed) stable curves and of (pointed) spin curves. In particular, we focus on vanishings of Hodge numbers of type (p,0) and on computations of the Kodaira dimension. Our methods are purely algebraic geometric and rely on an induction argument on the number of marked points and the genus of the curves (cf. mathAG/9803001).
The Ceresa cycle is an algebraic cycle attached to a smooth algebraic curve with a marked point, which is trivial when the curve is hyperelliptic with a marked Weierstrass point. The image of the Ceresa cycle under a certain cycle class map provides a class in étale cohomology called the Ceresa class. Describing the Ceresa class explicitly for non-hyperelliptic curves is in general not easy. We present a "combinatorialization" of this problem, explaining how to define a Ceresa class for a tropical algebraic curve, and also for a topological surface endowed with a multiset of commuting Dehn twi…
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…
The modular variety of non singular and complete hyperelliptic curves with level-two structure of genus 3 is a 5-dimensional quasi projective variety which admits several standard compactifications. The first one, X, comes from the realization of this variety as a sub-variety of the Siegel modular variety of level two and genus three .We will be to describe the equations of X in a suitable projective embedding and its Hilbert function. It will turn out that X is normal. A further model comes from geometric invariant theory using so-called semistable degenerated point configurations in (P^1)^8 …
We study the codimension n locus of curves of genus 2 with n distinct marked Weierstrass points inside the moduli space of genus 2, n-pointed curves, for n <= 6. We give a recursive description of the classes of the closure of these loci inside the moduli space of stable curves. For n<= 4, we express these classes using a generating function over stable graphs indexing the boundary strata of moduli spaces of pointed stable curves. Similarly, we express the closure of these classes inside the moduli space of curves of compact type for all n. This is a first step in the study of the structure of…
We prove uniruledness of some moduli spaces $\bar{M}_{g,n}$ of stable curves of genus $g$ with $n$ marked points using linear systems on nonsingular projective surfaces containing the general curve of genus $g$. Precisely we show that $\bar{M}_{g,n}$ is uniruled for $g=12$ and $n \leq 5$, $g=13$ and $n \leq 3$, $g=15$ and $n \leq 2$. We then prove that the pointed hyperelliptic locus $H_{g,n}$ is uniruled for $g \geq 2$ and $n \leq 4g+4$. In the last part we show that a nonsingular complete intersection surface does not carry a linear system containing the general curve of genus $g \geq 16$ an…
We give a canonical procedure associating to an algebraic number a first a hyperelliptic curve C_a, and then a triangle curve (D_a, G_a) obtained through the normal closure of an associated Belyi function. In this way we show that the absolute Galois group Gal(\bar{\Q} /\Q) acts faithfully on the set of isomorphism classes of marked triangle curves, and on the set of connected components of marked moduli spaces of surfaces isogenous to a higher product (these are the free quotients of a product C_1 x C_2 of curves of respective genera g_1, g_2 >= 2 by the action of a finite group G). We show t…
We prove that the Cox ring of $\bar{M}_{0,6}$, the moduli space of stable, rational curves with 6 marked points, is finitely generated by sections corresponding to the boundary divisors and divisors which are pull-backs of the hyperelliptic locus in $\bar{M}_3$, the moduli space of stable, genus 3 curves, via morphisms that send a 6-pointed rational curve to a curve with 3 nodes by identifying 3 pairs of points. In particular, this gives a self-contained proof of Hassett and Tschinkel's result about the effective cone of $\bar{M}_{0,6}$ being generated by the above mentioned divisors.
