We consider the loci of curves of genus 2 and 3 admitting a $d$-to-1 map to a genus 1 curve. After compactifying these loci via admissible covers, we obtain formulas for their Chow classes, recovering results of Faber-Pagani and van Zelm when $d=2$. The answers exhibit quasimodularity properties similar to those in the Gromov-Witten theory of a fixed genus 1 curve; we conjecture that the quasimodularity persists in higher genus, and indicate a number of possible variants.
In the Hurwitz space of rational functions on CP^1 with poles of given orders, we study the loci of multisingularities, that is, the loci of functions with a given ramification profile over 0. We prove a recursion relation on the Poincare dual cohomology classes of these loci and deduce a differential equation on Hurwitz numbers.
We show that for any numerical semigroup H of genus g at most 6, the locus of Weierstrass points on curves of genus g with Weierstrass semigroup H is irreducible and that for all but possibly two semigroups it is stably rational.
In this article we apply the classical method of focal loci of families to give a lower bound for the genus of curves lying on general surfaces. First we translate and reprove Xu's result that any curve C on a general surface in P^3 of degree d>4 has geometric genus g > 1 + deg(C)(d - 5)/2. Then we prove a similar lower bound for the curves lying on a general surface in a given component of the Noether-Lefschetz locus in P^3 and on a general projectively Cohen-Macaulay surface in P^4.
In this paper, we construct some examples of rank-2 Brill-Noether loci with "unexpected" properties on general curves. The key example is in genus 6, but we also have interesting examples in rank 5 and in higher genus. We relate some of our results to the recent proof of Mercat's conjecture in rank 2 by Bakker and Farkas.
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…
Using the techniques of Bayer--Macrì, we determine the walls in the movable cone of the Mukai system of rank two for a general K3 surface $S$ of genus two. We study the (essentially unique) birational map to $S^{[5]}$ and decompose it into a sequence of flops. We give an interpretation of the exceptional loci in terms of Brill--Noether loci.
We prove a lower bound for the codimension of the Andreotti-Mayer locus N_{g,1} and show that the lower bound is reached only for the hyperelliptic locus in genus 4 and the Jacobian locus in genus 5. In relation with the boundary of the Andreotti-Mayer loci we study subvarieties of principally polarized abelian varieties (B,Theta) parametrizing points b such that Theta and the translate Theta_b are tangentially degenerate along a variety of a given dimension.
A Brill-Noether locus is a subvariety of M_g consisting of curves having certain linear series g^r_d. We study the relative position of Brill-Noether loci with respect to the gonality stratification of M_g. We construct smooth curves in P^r of given degree and genus and having the `expected' gonality. As an application we give a new proof of our result about the Kodaira dimension of the moduli space of curves of genus 23.
Inside the moduli space of curves of genus 2 with 2 marked points we consider the loci of curves admitting a map to P^1 of degree d totally ramified over the two marked points, for d>= 2. Such loci have codimension two. We compute the class of their compactifications in the moduli space of stable curves. Several results will be deduced from this computation.
Given a smooth prime Fano threefold $X$ of genus 7 we consider its homologically projectively dual curve $Γ$ and the natural integral functor $Φ^{!}:D^b(X) \to D^b(Γ)$. We prove that, for $d\geq 6$, $Φ^{!}$ gives a birational map from a component of the moduli scheme $M_X(2,1,d)$ of rank 2 stable sheaves on $X$ with $c_1=1$, $c_2=d$ to a generically smooth $2d-9$-dimensional component of the Brill-Noether variety $W^{2d-11}_{d-5,5d-24}$ of stable vector bundles on $Γ$ of rank $d-5$ and degree $5d-24$ with at least $2d-10$ sections. This map turns out to be an isomorphism for $d=6$, and the mod…
We study wall-crossing for the Beauville-Mukai system of rank three on a general genus two K3 surface. We show that such a system is related to the Hilbert scheme of ten points on the surface by a sequence of flops, whose exceptional loci can be described as Brill-Noether loci. We also obtain Brill-Noether type results for sheaves in the Beauville-Mukai system.
We prove that the moduli space of tetragonal curves of genus g>6 is rational when g is congruent to 1, 2, 5, 6, 9, 10 modulo 12 and not equal to 9, 45.
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 …
We determine non hyper elliptic curves of genus $g(C)\geq 9$, such that for some very ample line bundle on them and for some integers d and r with some prescribed assumptions, the dimension of secant loci, attains one less than its maximum value. Then we proceed to generalize and extend a problem of M. Coppens to Secant Loci.
Higher rank Brill-Noether theory for genus 6 is especially interesting as, even in the general case, some unexpected phenomena arise which are absent in lower genus. Moreover, it is the first case for which there exist curves of Clifford dimension greater than 1 (smooth plane quintics). In all cases, we obtain new upper bounds for non-emptiness of Brill-Noether loci and construct many examples which approach these upper bounds more closely than those that are well known. Some of our examples of non-empty Brill-Noether loci have negative Brill-Noether numbers.
For every fixed genus $g\geq 1$, we consider all quadruples $Q=(w_0,w_1,w_2,d)\in\mathbb{Z}^4_{>0}$ with the property that any smooth degree-$d$ curve embedded in the weighted projective plane $\mathbb{P}^2(w_0,w_1,w_2)$ has genus $g$. We show there are infinitely many quadruples $Q$ satisfying this condition. For every such $Q$, we consider $Z_Q\subseteq M_g$ the locus in the moduli space of all smooth degree-$d$ curves embedded in $\mathbb{P}^2(w_0,w_1,w_2)$. We show that, as $Q$ varies over all these quadruples, there are only finitely many different loci $Z_Q\subseteq M_g$.
In this paper we study the gonality of the normalizations of curves in the linear system $|H|$ of a general primitively polarized complex $K3$ surface $(S,H)$ of genus $p$. We prove two main results. First we give a necessary condition on $p, g, r, d$ for the existence of a curve in $ |H|$ with geometric genus $g$ whose normalization has a $g^ r_d$. Secondly we prove that for all numerical cases compatible with the above necessary condition, there is a family of \emph{nodal} curves in $|H|$ of genus $g$ carrying a $g^1_k$ and of dimension equal to the \emph{expected dimension} $\min\{2(k-1),g\…
Let $X$ be a non-singular algebraic curve of genus $g$. We prove that the Brill-Noether locus $\bns $ is non-empty if $d= nd' +d'' $ with $0< d'' <2n$, $1\le s\le g$, $d'\geq (s-1)(s+g)/s $, $n\leq d''+(n-k)g$, $(d'',k)\ne(n,n)$. These results hold for an arbitrary curve of genus $\ge 2$, and allow us to construct a region in the associated ``Brill-Noether $\pa$-map'' of points for which the Brill-Noether loci are non-empty. Even for the generic case, the region so constructed extends beyond that defined by the so-called ``Teixidor parallelograms.'' For hyperelliptic curves, the same methods g…
We analyze the stratification of the moduli space S_g of spin curves of genus g given by the dimension of the theta-characteristic. Using the relation between gaussian maps and the strata S_g^r, we construct "regular" components of S_g^r having expected codimension r(r+1)/2 inside S_g. We also relate moduli spaces of pointed curves with a moving spin structure to the classical Gieseker-Petri loci in M_g. We show that the locus of curves for which the Gieseker-Petri theorem fails for a pencil is always a divisor on M_g. Finally, we give a sufficient criterion for the injectivity of Gaussian map…
In this paper we study the topology of the stack $\mathcal{T}_g$ of smooth trigonal curves of genus g, over the complex field. We make use of a construction by the first named author and Vistoli, that describes $\mathcal{T}_g$ as a quotient stack of the complement of the discriminant. This allows us to use techniques developed by the second named author to give presentations of the orbifold fundamental group of $\mathcal{T}_g$, of its substrata with prescribed Maroni invariant and describe their relation with the mapping class group $\mathcal{M}ap_g$ of Riemann surfaces of genus g.
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. …
We consider the loci of d-elliptic curves in $M_2$, and corresponding loci of d-elliptic surfaces in $A_2$. We show how a description of these loci as quotients of a product of modular curves can be used to calculate cohomology of natural local systems on them, both as mixed Hodge structures and $\ell$-adic Galois representations. We study in particular the case d=2, and compute the Euler characteristic of the moduli space of n-pointed bi-elliptic genus 2 curves in the Grothendieck group of Hodge structures.
In this paper, we consider higher rank Brill-Noether theory for smooth curves of genus 5, obtaining new upper bounds for non-emptiness of Brill-Noether loci and many new examples.
In this paper, we describe the osculating cone to Brill-Noether loci $W^{0}_{d}(C)$ at smooth isolated points of $W^{1}_{d}(C)$ for a smooth canonically embedded curve $C$ of even genus $g=2(d-1)$. In particular, we show that the canonical curve $C$ is a component of the osculating cone. The proof is based on techniques introduced by George Kempf in 1986.
Let $\M_g$ be the course moduli space of complex projective nonsingular curves of genus $g$. We prove that when the Brill-Noether number $ρ(g,r,n)$ is non-negative every component of the Petri locus $P^r_{g,n}\subset \M_g$ whose general member is a curve $C$ such that $W^{r+1}_n(C) = \emptyset$, has codimension one in $\M_g$.
We describe a conjectural stratification of the Brill-Noether variety for general curves of fixed genus and gonality. As evidence for this conjecture, we show that this Brill-Noether variety has at least as many irreducible components as predicted by the conjecture, and that each of these components has the expected dimension. Our proof uses combinatorial and tropical techniques. Specifically, we analyze containment relations between the various strata of tropical Brill-Noether loci identified by Pflueger in his classification of special divisors on chains of loops.
Let us consider the locus in the moduli space of curves of genus 2k defined by curves with a pencil of degree k. Since the Brill-Noether number is equal to -2, such a locus has codimension two. Using the method of test surfaces, we compute the class of its closure in the moduli space of stable curves.
In this paper we consider the singularities of the varieties parameterizing stable vector bundles of fixed rank and degree with sections on a smooth curve of genus at least two. In particular, we extend results of Y. Laszlo, and of the second author, regarding the singularities of generalized theta divisors.
We define the singular elliptic genus for arbitrary normal surfaces, prove that it is a birational invariant, and show that it generalizes the singular elliptic genus of Borisov and Libgober and the stringy $χ_y$ genus of Batyrev and Veys.
S. Kondō used periods of $K3$ surfaces to prove that the moduli space of genus three curves is birational to an arithmetic quotient of a complex 6-ball. In this paper we study Heegner divisors in the ball quotient, given by arithmetically defined hyperplane sections of the ball. We show that the corresponding loci of genus three curves are given by: hyperelliptic curves, singular plane quartics and plane quartics admitting certain rational "splitting curves".
We discuss the basic properties of various versions of two variable elliptic genus with special attention to the equivariant elliptic genus. The main applications are to the elliptic genera attached to non-compact GITs, including the elliptic genera of Witten's phases on $N=2$ theories.
We prove the injectivity of the Petri map for linear series on a general curve with given ramification at two generic points. We also describe the components of such a set of linear series on a chain of elliptic curves.
This paper surveys the authors recent work on two variable elliptic genus of singular varieties. The last section calculates a generating function for the elliptic genera of symmetric products. This generalizes the classical results of Macdonald and Zagier.
Let C be a general connected, smooth, projective curve of positive genus g. For each nonnegative integer i we give formulas for the number of pairs (P,Q) em C x C off the diagonal such that (g+i-1)Q-(i+1)P is linearly equivalent to an effective divisor, and the number of pairs (P,Q) em C x C off the diagonal such that (g+i+1)Q-(i+1)P is linearly equivalent to a moving effective divisor.
We discuss an algebro-geometric description of Witten's phases of N=2 theories and propose a definition of their elliptic genus provided some conditions on singularities of the phases are met. For Landau-Ginzburg phase one recovers elliptic genus of LG models proposed in physics literature in early 90s. For certain transitions between phases we derive invariance of elliptic genus from an equivariant form of McKay correspondence for elliptic genus. As special cases one obtains Landau-Giznburg/Calabi-Yau correspondence for elliptic genus of weighted homogeneous potentials as well as certain hybr…
Given two vector bundles E and F on a variety X and a morphism from Sym^2(E) to F, we compute the cohomology class of the locus in X where the kernel of this morphism contains a quadric of prescribed rank. Our formulas have many applications to moduli theory: (i) we find a simple proof of Borcherds' result that the Hodge class on the moduli space of polarized K3 surfaces of fixed genus is of Noether-Lefschetz type, (ii) we construct an explicit canonical divisor on the Hurwitz space parametrizing degree k covers of the projective line from curves of genus 2k-1, (iii) we provide a closed formul…
Let C be a smooth projective complex curve of genus $g\geq2$. We investigate the Brill-Noether locus consisting of stable bundles of rank 2 and canonical determinant having at least $k$ independent sections. Using the Hecke correpondence we construct a fundamental class, which determines the non-emptiness of this locus at least when $C$ is a Petri curve. We prove that in many expected cases the Brill-Noether locus is non-empty. For some values of $k$ the result is best possible.
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 the present paper we investigate conditions for the non-existence of a limit linear series on a curve of compact type such that two smooth curves are bridged by a chain of two elliptic curves. Combining this work with results on the existence of a smoothable limit linear series on such a curve, we show relations among Brill-Noether loci of codimension at most two in the moduli space of complex curves. Specifically, Brill-Noether loci of codimension two have mutually distinct supports.
We study stable curves of arithmetic genus 2 which admit two morphisms of finite degree $p$, resp. $d$, onto smooth elliptic curves, with particular attention to the case $p$ prime.
Borisov and Libgober recently proved a conjecture of Dijkgraaf, Moore, Verlinde, and Verlinde on the elliptic genus of a Hilbert scheme of points on a surface. We show how their result can be used together with our work on complex genera of generalised Kummer varieties to deduce a formula for the elliptic genus of a generalised Kummer variety.
We determine all genus 2 curves, defined over $\mathbb C$, which have simultaneously degree 2 and 3 elliptic subcovers. The locus of such curves has three irreducible 1-dimensional genus zero components in $\mathcal M_2$. For each component we find a rational parametrization and construct the equation of the corresponding genus 2 curve and its elliptic subcovers in terms of the parameterization. Such families of genus 2 curves are determined for the first time. Furthermore, we prove that there are only finitely many genus 2 curves (up to $\mathbb C$-isomorphism) defined over $\mathbb Q$, which…
The classification of projective elliptic line scrolls with the description of their singular loci is given. In particular we recover Atiyah Theorem by using classical methods.
Consider the moduli space $M_C(r; K_C)$ of stable rank r vector bundles on a curve $C$ with canonical determinant, and let $h$ be the maximum number of linearly independent global sections of these bundles. If $C$ embeds in a K3 surface $X$ as a generator of $Pic(X)$ and the genus $g$ of $C$ is sufficiently high, we show the Brill-Noether locus $BN_C \subset M_C(r; K_C)$ of bundles with $h$ global sections is a smooth projective Hyperkähler manifold of dimension $2g -2r \lfloor \frac{g}{r}\rfloor$, isomorphic to a moduli space of stable vector bundles on $X$.
E. Kani has shown that the Hurwitz functor, which parametrizes the (normalized) genus 2 covers of degree 3 of an elliptic curve, is representable. In this paper the corresponding moduli scheme and the universal family are explicitly calculated and described by short equations.
We study genus 2 covers of relative elliptic curves over an arbitrary base in which 2 is invertible. Particular emphasis lies on the case that the covering degree is 2. We show that the data in the "basic construction" of genus 2 covers of relative elliptic curves determine the cover in a unique way (up to isomorphism). A classical theorem says that a genus 2 cover of an elliptic curve of degree 2 over a field of characteristic different from 2 is birational to a product of two elliptic curves over the projective line. We formulate and prove a generalization of this theorem for the relative si…
We provide a bound on the $Θ$-regularity of an arbitrary reduced and irreducible curve embedded in a polarized abelian variety in terms of its degree and codimension. This is an "abelian" version of Gruson-Lazarsfeld-Peskine's bound on the Castelnuovo--Mumford regularity of a non-degenerate curve embedded in a projective space. As an application, we provide a Castelnuovo type bound for the genus of a curve in a (non necessarily principally) polarized abelian variety. Finally, we bound the $Θ$-regularity of a class of higher dimensional subvarieties in Jacobian varieties, i.e. the Brill-Noether…
