Source author record

Gavril Farkas

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.AG math.AC math.CO math.GR

Catalog footprint

Research overview

34works

4topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2022arXiv

Linear series on general curves with prescribed incidence conditions

Using degeneration and Schubert calculus, we consider the problem of computing the number of linear series of given degree $d$ and dimension $r$ on a general curve of genus $g$ satisfying prescribed incidence conditions at $n$ points. We determine these numbers completely for linear series of arbitrary dimension when $d$ is sufficiently large, and for all $d$ when either $r=1$ or $n=r+2$ . Our formulas generalize and give new proofs of recent results of Tevelev and of Cela-Pandharipande-Schmitt.

preprint2022arXiv

Singularities of theta divisors and the geometry of A_5

We study the codimension two locus H in A_g consisting of principally polarized abelian varieties whose theta divisor has a singularity that is not an ordinary double point. We compute the class of H in A_g for every g. For g=4, this turns out to be the locus of Jacobians with a vanishing theta-null. For g=5, via the Prym map we show that H in A_5 has two components, both unirational, which we completely describe. This gives a geometric classification of 5-dimensional ppav whose theta-divisor has a quadratic singularity of non-maximal rank. We then determine the slope of the effective cone of A_5 and show that the component N_0' of the Andreotti-Mayer divisor has minimal slope 54/7. Furthermore, the Iitaka dimension of the linear system corresponding to N_0' is submaximal.

preprint2020arXiv

Alternating Catalan numbers and curves with triple ramification

It is known that the monodromy group of each cover of a general curve of genus g>3 equals either the symmetric or the alternating group. The classical Catalan numbers count the minimal degree covers (with symmetric monodromy) of a general curve of even genus. We solve the analogous problem for the alternating group and we determine the number of alternating covers of minimal degree 2g+1 of a general curve of genus g.

preprint2020arXiv

Effective divisors on Hurwitz spaces

We prove the effectiveness of the canonical bundle of several Hurwitz spaces of degree k covers of the projective line from curves of genus 13<g<20.

preprint2019arXiv

Koszul modules and Green's conjecture

We prove a strong vanishing result for finite length Koszul modules, and use it to derive Green's conjecture for every g-cuspidal rational curve over an algebraically closed field k with char(k) = 0 or char(k) >= (g+2)/2. As a consequence, we deduce that the general canonical curve of genus g satisfies Green's conjecture in this range. Our results are new in positive characteristic, whereas in characteristic zero they provide a different proof for theorems first obtained in two landmark papers by Voisin. Our strategy involves establishing two key results of independent interest: (1) we describe an explicit, characteristic-independent version of Hermite reciprocity for sl_2-representations; (2) we completely characterize, in arbitrary characteristics, the (non-)vanishing behavior of the syzygies of the tangential variety to a rational normal curve.

preprint2016arXiv

Explicit Brill-Noether-Petri general curves

Let $p_1,\dots, p_9$ be the points in $\mathbb A^2(\mathbb Q)\subset \mathbb P^2(\mathbb Q)$ with coordinates $(-2,3),(-1,-4),(2,5),(4,9),(52,375), (5234, 37866),(8, -23), (43, 282), \Bigl(\frac{1}{4}, -\frac{33}{8} \Bigr)$ respectively. We prove that, for any genus $g$ , a plane curve of degree $3g$ having a $g$ -tuple point at $p_1,\dots, p_8$ , and a $(g-1)$ -tuple point at $p_9$ , and no other singularities, exists and is a Brill-Noether general curve of genus $g$ , while a general curve in that $g$ -dimensional linear system is a Brill-Noether-Petri general curve of genus $g$ .

preprint2016arXiv

The Mercat Conjecture for stable rank 2 vector bundles on generic curves

It has been a long-standing problem to find an adequate definition of a Clifford index for higher rank vector bundles on curves, which should capture the complexity of the curve in its moduli space. An interesting proposal in rank 2 has been put forward by Mercat, who conjectured that the second Clifford index of a curve should be equal to its classical Clifford index, defined in terms of gonality. Using moduli of sheaves on generic K3 surfaces, we prove Mercat's conjecture for generic curves of every genus. Furthermore, for odd g we identify an effective divisor in the moduli space M_g along which the Mercat Conjecture fails and we compute its slope, which is shown to be equal to 6+12/(g+1).

preprint2016arXiv

The moduli space of twisted canonical divisors

The moduli space of canonical divisors (with prescribed zeros and poles) on nonsingular curves is not compact since the curve may degenerate. We define a proper moduli space of twisted canonical divisors in the moduli space of Deligne-Mumford stable pointed curves which includes the space of canonical divisors as an open subset. The theory leads to geometric/combinatorial constraints on the closures of the moduli spaces of canonical divisors. In case the differentials have at least one pole (the strictly meromorphic case), the moduli spaces of twisted canonical divisors on genus g curves are of pure codimension g in the moduli spaces of stable pointed curves. In addition to the closure of the canonical divisors on nonsingular curves, the moduli spaces have virtual components. In the Appendix, a complete proposal relating the sum of the fundamental classes of all components (with intrinsic multiplicities) to a formula of Pixton is proposed. The result is a precise and explicit conjecture in the tautological ring for the weighted fundamental class of the moduli spaces of twisted canonical divisors. As a consequence of the conjecture, the classes of the closures of the moduli spaces of canonical divisors on nonsingular curves are determined (both in the holomorphic and meromorphic cases).

preprint2016arXiv

The universal theta divisor over the moduli space of curves

We carry out a complete birational classification of the universal theta divisor Th_g over the moduli space of curves of genus g, and show that Th_g enjoys good rationality properties for g<12, and is a variety of general type for g\geq 12. The key ingredient is an intersection-theoretic study of the universal antiramification locus of the Gauss map. We also present a complete classification of the universal symmetric product of degree g-2 over M_g.

preprint2015arXiv

Pointed Castelnuovo numbers

The classical Castelnuovo numbers count linear series of minimal degree and fixed dimension on a general curve, in the case when this number is finite. For pencils, that is, linear series of dimension one, the Castelnuovo numbers specialize to the better known Catalan numbers. Using the Fulton-Pragacz determinantal formula for flag bundles and combinatorial manipulations, we obtain a compact formula for the number of linear series on a general curve having prescribed ramification at an arbitrary point, in the case when the expected number of such linear series is finite. The formula is then used to solve some enumerative problems on moduli spaces of curves.

preprint2015arXiv

Prym varieties and moduli of polarized Nikulin surfaces

We present a structure theorem for the moduli space R_7 of Prym curves of genus 7 as a projective bundle over the moduli space of 7-nodal rational curves. The existence of this parametrization implies the unirationality of R_7 and that of the moduli space of Nikulin surfaces of genus 7, as well as the rationality of the moduli space of Nikulin surfaces of genus 7 with a distinguished line. Using the results in genus 7, we then establish that R_8 is uniruled.

preprint2015arXiv

Singularities of the moduli space of level curves

We describe the singular locus of the compactification of the moduli space $R_{g,l}$ of curves of genus $g$ paired with an $l$ -torsion point in their Jacobian. Generalising previous work for $l\le 2$ , we also describe the sublocus of noncanonical singularities for any positive integer $l$ . For $g\ge 4$ and $l=3,4, 6$ , this allows us to provide a lifting result on pluricanonical forms playing an essential role in the computation of the Kodaira dimension of $R_{g,l}$ : for those values of $l$ , every pluricanonical form on the smooth locus of the moduli space extends to a desingularisation of the compactified moduli space.

preprint2015arXiv

The generic Green-Lazarsfeld secant conjecture

Generalizing the well-known Green Conjecture on syzygies of canonical curves, Green and Lazarsfeld formulated in 1986 the Secant Conjecture predicting that a line bundle L of sufficiently high degree on a curve has a non-linear p-syzygy if and only if L fails to be (p+1)-very ample. Via lattice theory for special K3 surfaces, Voisin's solution of the classical Green Conjecture and calculations on moduli stacks of pointed curves, we prove: (1) The Green-Lazarsfeld Secant Conjecture in various degree of generality, including its strongest possible form in the divisorial case in the universal Jacobian. (2) The Prym-Green Conjecture on the naturality of the resolution of a general Prym-canonical curve of odd genus.

preprint2015arXiv

The Kodaira dimension of the moduli space of Prym varieties

We study the enumerative geometry of the moduli space R_g of Prym varieties of dimension g-1 (also known as the space of admissible double covers). Our main result is that the compactification of R_g is of general type as soon as g>13. We achieve this by computing the class of two types of cycles on R_g: one defined in terms of Koszul cohomology of Prym curves, the other defined in terms of Raynaud theta divisors associated to certain vector bundles on curves. We formulate a Prym-Green conjecture on syzygies of Prym-canonical curves. In the appendix we show that even though R_g has non-canonical singularities, pluricanonical forms on R_g extend to any desingularization.

preprint2015arXiv

The universal abelian variety over A_5

We establish a structure result for the universal abelian variety over the moduli space A_5, in terms of discriminant curves of conic bundles over a del Pezzo surface. In particular, this gives a very simple unirational parametrization of the boundary divisor of the moduli space A_6 of principally polarized abelian varieties of dimension 6. Using this we derive a lower bound on the slope of all effective divisors on A_6.

preprint2014arXiv

Higher ramification and varieties of secant divisors on the generic curve

For a smooth projective curve, the cycles of e-secant k-planes are among the most studied objects in classical enumerative geometry and there are well-known formulas due to Castelnuovo, Cayley and MacDonald concerning them. Despite various attempts, surprisingly little is known about the enumerative validity of such formulas. The aim of this paper is to completely clarify this problem in the case of the generic curve C of given genus. Using degeneration techniques and a few facts about the birational geometry of moduli spaces of stable pointed curves we determine precisely under which conditions the cycle of e-secant k-planes in non-empty and we compute its dimension. We also precisely determine the dimension of the variety of linear series on C carrying e-secant k-planes. In a different direction, in the last part of the paper we study the distribution of ramification points of the powers of a line bundle on C having prescribed ramification at a given point.

preprint2014arXiv

Restricted Lazarsfeld-Mukai bundles and canonical curves

We prove two results. First, we establish that the normal bundle of any smooth curve of genus 7 having maximal Clifford index is stable. Note that 7 is the smallest genus for which such a result could possibly hold. We then show that rank four Lazarsfeld-Mukai vector bundles on a curve that lies on a general K3 surface are stable. Both results have consequences for Mercat's conjecture on higher rank vector bundles on generic curves.

preprint2014arXiv

Syzygies of torsion bundles and the geometry of the level l modular variety over M_g

We formulate, and in some cases prove, three statements concerning the purity or, more generally the naturality of the resolution of various rings one can attach to a generic curve of genus g and a torsion point of order l in its Jacobian. These statements can be viewed an analogues of Green's Conjecture and we verify them computationally for bounded genus. We then compute the cohomology class of the corresponding non-vanishing locus in the moduli space R_{g,l} of twisted level l curves of genus g and use this to derive results about the birational geometry of R_{g, l}. For instance, we prove that R_{g,3} is a variety of general type when g>11 and the Kodaira dimension of R_{11,3} is greater than or equal to 19. In the last section we explain probabilistically the unexpected failure of the Prym-Green conjecture in genus 8 and level 2.

preprint2014arXiv

The geometry of the moduli space of odd spin curves

We describe the birational geometry of the moduli space S_g^{-} of odd spin curves (theta-characteristics) for all genera g. The odd spin moduli space is a uniruled variety for g<12, and of general type for g at least 12. Furthermore, for g<9 we use the existence of Mukai models of the moduli space of curves, to prove that S_g^{-} is unirational. Our results show that in genus 8, the odd spin moduli space in unirational, whereas its even counterpart is of Calabi-Yau type.

preprint2013arXiv

Brill-Noether with ramification at unassigned points

We discuss in this short note how basic facts about divisors on moduli spaces of pointed curves give a solution to the Brill-Noether problem of nonexistence of linear series with prescribed ramification at unassigned points.

preprint2012arXiv

Effective divisors on moduli spaces of curves and abelian varieties

This paper is an expository survey of results about the effective divisors on moduli spaces, with a focus on what is known about the effective cones of moduli spaces of stable curves and of principally polarized abelian varieties. This version incorporates clarifications and suggestions of Ana-Maria Castravet and the referee, both of whom we thank. To appear in the proceedings of the conference, "Joe at 60:A Celebration of Algebraic Geometry" edited by Brendan Hassett, James McKernan, Jason Starr and Ravi Vakil.

preprint2012arXiv

Higher rank Brill-Noether theory on sections of K3 surfaces

We discuss the role of K3 surfaces in the context of Mercat's conjecture in higher rank Brill-Noether theory. Using liftings of Koszul classes, we show that Mercat's conjecture in rank 2 fails for any number of sections and for any gonality stratum along a Noether-Lefschetz divisor inside the locus of curves lying on K3 surfaces. Then we show that Mercat's conjecture in rank 3 fails even for curves lying on K3 surfaces with Picard number 1. Finally, we provide a detailed proof of Mercat's conjecture in rank 2 for general curves of genus 11, and describe explicitly the action of the Fourier-Mukai involution on the moduli space M_{11}.

preprint2012arXiv

Theta characteristics and their moduli

We discuss various aspects of the geometry of theta characteristics including the birational geometry of the spin moduli space of curves, parametrization of moduli via special K3 surfaces, as well as the relation with classical theta function theory and string theory in the form of the superstring measure. A historical view of the development of the subject is also presented.

preprint2011arXiv

Moduli of theta-characteristics via Nikulin surfaces

We study moduli spaces of K3 surfaces endowed with a Nikulin involution and their image in the moduli space R_g of Prym curves of genus g. We observe a striking analogy with Mukai's well-known work on ordinary K3 surfaces. Many of Mukai's results have a very precise Prym-Nikulin analogue, for instance: (1) A general Prym curve from R_g is a section of a Nikulin surface if and only if g\leq 7, g\neq 6. (2) R_7 has the structure of a Mori fibre space over the corresponding moduli space of polarized Nikulin surfaces. (3) In the case of genus next to maximal (g=6), the Prym-Nikulin locus in R_6 is an extremal divisor; the corresponding space of Nikulin surfaces has a Grassmannian GIT model. (4) The Prym-Nikulin locus in R_g can be characterized by extra syzygies of Prym-canonical curves. We then use these results to study the geometry of the moduli space S_g of even spin curves, with special emphasis on the transition case of S_8 which is a 21-dimensional Calabi-Yau variety.

preprint2011arXiv

Prym varieties and their moduli

We discuss the geometry of the moduli space of Prym varieties. The article is based on series of lectures given in Bedlewo and Luminy. The first section of the paper contains a detailed historical account of the lives of Friedrich Prym and Friedrich Schottky.

preprint2011arXiv

The classification of universal Jacobians over the moduli space of curves

We carry out a complete birational classification of the degree g universal Jacobian P_g over the moduli space of curves, highlighting the transition cases g=10, 11. The universal Jacobian is unirational when g<10, has Kodaira dimension zero for g=10 and Kodaira dimension 19 for g=11. For g>11, the variety P_g has Kodaira dimension 3g-3, that is, the maximum allowed by Iitaka's easy addition formula for fibre spaces. In particular, we disprove the expectation that P_g and M_g have the same Kodaira dimension for all genera.

preprint2010arXiv

Brill-Noether geometry on moduli spaces of spin curves

We develop a theory of Brill-Noether divisors on the moduli space of stable spin curves of genus g, and compute the classes of these loci. A spin Brill-Noether cycle is defined in terms of the relative position of the spin structure with respect to certain Raynaud theta-divisors in the Jacobian of the curve.

preprint2010arXiv

Green's Conjecture for curves on arbitrary K3 surfaces

Green's Conjecture predicts than one can read off special linear series on an algebraic curve, by looking at the syzygies of its canonical embedding. We extend Voisin's results on syzygies of K3 sections, to the case of K3 surfaces with arbitrary Picard lattice. This, coupled with results of Voisin and Hirschowitz-Ramanan, provides a complete solution to Green's Conjecture for smooth curves on arbitrary K3 surfaces.

preprint2010arXiv

The maximal rank conjecture and rank two Brill-Noether theory

We describe applications of Koszul cohomology to the Brill-Noether theory of rank 2 vector bundles. Among other things, we show that in every genus g>10, there exist curves invalidating Mercat's Conjecture for rank 2 bundles. On the other hand, we prove that Mercat's Conjecture holds for general curves of bounded genus, and its failure locus is a Koszul divisor in the moduli space of curves. We also formulate a conjecture concerning the minimality of Betti diagrams of suitably general curves, and point out its consequences to rank 2 Brill-Noether theory.

preprint2009arXiv

Birational aspects of the geometry of M_g

We discuss topics on the geometry of the moduli space of curves. We present a short proof of the Harris-Mumford theorem on the Kodaira dimension of the moduli space which replaces the computations on the stack of admissible covers by a simple study of tautological Koszul bundles on M_g. We also present a streamlined self-contained account of Verra's recent work on the unirationality of M_g. Finally, we discuss a proof that the moduli space of curves of genus 22 is of general type. Written for Surveys in Differential Geometry.

preprint2009arXiv

Rational maps between moduli spaces of curves and Gieseker-Petri divisors

We perform an intersection theoretic study of the rational map between two different moduli spaces of stable curves which associates to a curve its corresponding Brill-Noether locus (in the case this locus has virtual dimension 1). We then use these results to describe the cone of moving divisors on M_g. Several other applications to moduli spaces of Prym varieties are presented. In a different direction, we prove that the locus in M_g of curves failing to satisfy the Gieseker-Petri theorem is supported in codimension 1 for every possible type of linear series.

preprint2008arXiv

Koszul cohomology and applications to moduli

We discuss recent progress on syzygies of curves, including proofs of Green's and Gonality Conjectures as well as applications of Koszul cycles to the study of the birational geometry of various moduli spaces of curves. We prove a number of new results, including a complete solution to Green's Conjecture for arbitrary hexagonal curves. Finally, we propose several new conjectures on syzygies, including a Prym-Green conjecture for l-roots of trivial bundles as well as a strong Maximal Rank Conjecture for generic curves. To appear in the Proceedings of Clay Mathematical Institute.

preprint2008arXiv

The Fermat cubic and special Hurwitz loci in M_g

We compute the class of the locus in M_g of curves having a pencil with two unspecified triple ramification points. This is the first example of a geometric divisor on M_g which is not the pull-back of a divisor on the moduli space of pseudo-stable curves. This space, in which elliptic tails are replaced by cusps, appears as a result of the first divisorial contraction in the minimal model program for M_g. In particular, we show that our divisor picks-up the locus of Fermat cubic tails when restricted to the boundary divisor of elliptic tails. We also give various enumerative applications concerning coverings of the generic curve having special ramification behaviour.

preprint2008arXiv

The global geometry of the moduli space of curves

This is a survey written for the Proceedings of the AMS Summer Institute in Algebraic Geometry held in Seattle in 2005. Topics discussed in the survey include the ample and the effective cone of the moduli space of curves, Kodaira dimension, Slope Conjecture, log canonical models etc.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Gavril Farkas

Research overview

Is this your work?

34 publications

Linear series on general curves with prescribed incidence conditions

Singularities of theta divisors and the geometry of A_5

Alternating Catalan numbers and curves with triple ramification

Effective divisors on Hurwitz spaces

Koszul modules and Green's conjecture

Explicit Brill-Noether-Petri general curves

The Mercat Conjecture for stable rank 2 vector bundles on generic curves

The moduli space of twisted canonical divisors

The universal theta divisor over the moduli space of curves

Pointed Castelnuovo numbers

Prym varieties and moduli of polarized Nikulin surfaces

Singularities of the moduli space of level curves

The generic Green-Lazarsfeld secant conjecture

The Kodaira dimension of the moduli space of Prym varieties

The universal abelian variety over A_5

Higher ramification and varieties of secant divisors on the generic curve

Restricted Lazarsfeld-Mukai bundles and canonical curves

Syzygies of torsion bundles and the geometry of the level l modular variety over M_g

The geometry of the moduli space of odd spin curves

Brill-Noether with ramification at unassigned points

Effective divisors on moduli spaces of curves and abelian varieties

Higher rank Brill-Noether theory on sections of K3 surfaces

Theta characteristics and their moduli

Moduli of theta-characteristics via Nikulin surfaces

Prym varieties and their moduli

The classification of universal Jacobians over the moduli space of curves

Brill-Noether geometry on moduli spaces of spin curves

Green's Conjecture for curves on arbitrary K3 surfaces

The maximal rank conjecture and rank two Brill-Noether theory

Birational aspects of the geometry of M_g

Rational maps between moduli spaces of curves and Gieseker-Petri divisors

Koszul cohomology and applications to moduli

The Fermat cubic and special Hurwitz loci in M_g

The global geometry of the moduli space of curves

See the researcher in context

Building this map preview