We consider a general curve of fixed gonality k and genus g. We propose an estimate for the dimension of the variety $W^r_d(C)$ of special linear series on C, by solving an analogous problem in tropical geometry. Using work of Coppens and Martens, we prove that this estimate is exactly correct if k is at least g/5 + 2, and is an upper bound in all other cases. We also completely characterize the cases in which $W^r_d(C)$ has the same dimension as for a general curve of genus g.
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.
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.
In this paper we study the Brill Noether locus of rank 2, (semi)stable vector bundles with at least two sections and of suitable degrees on a general $ν$-gonal curve. We classify its reduced components whose dimensions are at least the corresponding Brill-Noether number. We moreover describe the general member $\mathcal F$ of such components just in terms of extensions of line bundles with suitable {\em minimality properties}, providing information on the birational geometry of such components as well as on the very-ampleness of $\mathcal F$.
We study the existence of linear series on curves lying on an Enriques surface and general in their complete linear system. Using a method that works also below the Bogomolov-Reider range, we compute, in all cases, the gonality of such curves. We also give a new result about the positive cone of line bundles on an Enriques surface and we show how this relates to the gonality.
We use Young tableaux to compute the dimension of $V^r$, the Prym-Brill-Noether locus of a folded chain of loops of any gonality. This tropical result yields a new upper bound on the dimensions of algebraic Prym-Brill-Noether loci. Moreover, we prove that $V^r$ is pure-dimensional and connected in codimension $1$ when $\dim V^r \geq 1$. We then compute the first Betti number of this locus for even gonality when the dimension is exactly $1$, and compute the cardinality when the locus is finite and the edge lengths are generic.
It is well known since Noether that the gonality of a smooth plane curve of degree d>3 is d-1. Given a k-dimensional complex projective variety X, the most natural extension of gonality is probably the degree of irrationality, that is the minimum degree of a dominant rational map from X to $\mathbb{P}^k$. In this paper we are aimed at extending the assertion on plane curves to smooth hypersurfaces in $\mathbb{P}^n$ in terms of degree of irrationality. We prove that both surfaces in $\mathbb{P}^3$ and threefolds in $\mathbb{P}^4$ of sufficiently large degree d have degree of irrationality d-1, …
The interplay between algebro-geometric and combinatorial Brill-Noether theory is studied. The Brill-Noether variety of a graph shown to be non-empty if the Brill-Noether number is non-negative, as a consequence of the analogous fact for smooth projective curves. Similarly, the existence of a graph for which the Brill-Noether variety is empty implies the emptiness of the corresponding Brill-Noether variety for a general curve. The main tool is a refinement of Baker's Specialization Lemma.
We prove a generalization of the Brill-Noether theorem for the variety of special divisors $W^r_d(C)$ on a general curve $C$ of prescribed gonality. Our main theorem gives a closed formula for the dimension of $W^r_d(C)$. We build on previous work of Pflueger, who used an analysis of the tropical divisor theory of special chains of cycles to give upper bounds on the dimensions of Brill--Noether varieties on such curves. We prove his conjecture, that this upper bound is achieved for a general curve. Our methods introduce logarithmic stable maps as a systematic tool in Brill-Noether theory. A pr…
We produce open subsets of the moduli space of metric graphs without separating edges where the dimensions of Brill-Noether loci are larger than the corresponding Brill-Noether numbers. These graphs also have minimal rank determining sets that are larger than expected, giving couterexamples to a conjecture of Luo. Furthermore, limits of these graphs have Brill-Noether loci of the expected dimension, so dimensions of Brill-Noether loci of metric graphs do not vary upper semicontinuously in families. Motivated by these examples, we study a notion of rank for the Brill-Noether locus of a metric g…
We construct a space classifying divisor classes of a fixed degree on all tropical curves of a fixed combinatorial type and show that the function taking a divisor class to its rank is upper semicontinuous. We extend the definition of the Brill-Noether rank of a metric graph to tropical curves and use the upper semicontinuity of the rank function on divisors to show that the Brill-Noether rank varies upper semicontinuously in families of tropical curves. Furthermore, we present a specialization lemma relating the Brill-Noether rank of a tropical curve with the dimension of the Brill-Noether lo…
We produce Brill-Noether general graphs in every genus, confirming a conjecture of Baker and giving a new proof of the Brill-Noether Theorem, due to Griffiths and Harris, over any algebraically closed field.
Complete classification of irreducible components of the Brill-Noether locus of rank-$2$ vector bundles of degree $d$ and speciality $2$ on a general $ν$-gonal curve
Yeungnam University（岭南大学）；Universita’ degli Studi di Roma Tor Vergata（罗马托尔维加塔大学）
We analyze the Brill-Noether theory of trivalent graphs and multigraphs having largest possible automorphism group in a fixed genus. For trivalent multigraphs with loops of genus at least 3, we show that there exists a graph with maximal automorphism group which is Brill-Noether special. We prove similar results for multigraphs without loops of genus at least 6, as well as simple graphs of genus at least 7. This analysis yields counterexamples, in any sufficiently large genus, to a conjecture of Caporaso.
We show that the non-Archimedean skeleton of the Prym variety associated to an unramified double cover of an algebraic curve is naturally isomorphic (as a principally polarized tropical abelian variety) to the tropical Prym variety of the associated tropical double cover. This confirms a conjecture by Jensen and the first author. We prove a new upper bound on the dimension of the Prym-Brill-Noether locus for generic unramified double covers of curves with fixed even gonality on the base. Our methods also give a new proof of the classical Prym-Brill-Noether Theorem for generic unramified double…
The gonality sequence $(d_r)_{r\geq1}$ of a smooth algebraic curve comprises the minimal degrees $d_r$ of linear systems of rank $r$. We explain two approaches to compute the gonality sequence of smooth curves in $\mathbb{P}^1 \times \mathbb{P}^1$: a tropical and a classical approach. The tropical approach uses the recently developed Brill--Noether theory on tropical curves and Baker's specialization of linear systems from curves to metric graphs. The classical one extends the work of Hartshorne on plane curves to curves on $\mathbb{P}^1 \times \mathbb{P}^1$.
Motivic Chern and Hirzebruch classes are polynomials with K-theory and homology classes as coefficients, which specialize to Chern-Schwartz-MacPherson classes, K-theory classes, and Cappell-Shaneson L-classes. We provide formulas to compute the motivic Chern and Hirzebruch classes of Grassmannian and vexillary degeneracy loci. We apply our results to obtain the Hirzebruch $χ_y$-genus of classical and one-pointed Brill-Noether varieties, and therefore their topological Euler characteristic, holomorphic Euler characteristic, and signature.
In this paper, we compute the cohomology class of certain "special maximal-rank loci" originally defined by Aprodu and Farkas. By showing that such classes are nonzero, we are able to verify the non-emptiness portion of the Strong Maximal Rank Conjecture in a wide range of cases. As an application, we obtain new evidence for the existence portion of a well-known conjecture due to Bertram, Feinberg and independently Mukai in higher-rank Brill--Noether theory.
The aim of this paper is two--fold. We first strongly improve our previous main result Theorem 3.1 in Arxiv 1702.00918v3 12Feb2018 ("Brill-Noether loci of rank two vector bundles on a general $ν$-gonal curve"), concerning classification of irreducible components of the Brill--Noether locus parametrizing rank 2 semistable vector bundles of suitable degrees $d$, with at least $d-2g+4$ independent global sections, on a general $ν$--gonal curve $C$ of genus $g$. We then uses this classification to study several properties of the Hilbert scheme of suitable surface scrolls in projective space, which…
This paper gives a novel and compact proof that a metric graph consisting of a chain of loops of torsion order $0$ is Brill-Noether general (a theorem of Cools-Draisma-Payne-Robeva), and a finite or metric graph consisting of a chain of loops of torsion order $k$ is Hurwitz-Brill-Noether general in the sense of splitting loci (a theorem of Cook-Powell-Jensen). In fact, we prove a generalization to (metric) graphs with two marked points, that behaves well under vertex gluing. The key construction is a way to associate permutations to divisors on twice-marked graphs, simultaneously encoding the …
We compute the Euler characteristic of the structure sheaf of the Brill-Noether locus of linear series with special vanishing at up to two marked points. When the Brill-Noether number $ρ$ is zero, we recover the Castelnuovo formula for the number of special linear series on a general curve; when $ρ=1$, we recover the formulas of Eisenbud-Harris, Pirola, and Chan-Martín-Pflueger-Teixidor for the arithmetic genus of a Brill-Noether curve of special divisors. These computations are obtained as applications of a new determinantal formula for the K-theory class of certain degeneracy loci. Our degen…
Understanding when an abstract complex curve of given genus comes equipped with a map of fixed degree to a projective space of fixed dimension is a foundational question; and Brill--Noether theory addresses this question via linear series, which algebraically codify maps to projective targets. Classical Brill--Noether theory, which focuses on smooth curves, has been intensively explored; but much less is known for singular curves, particularly for those with non-nodal singularities. In a one-parameter family of smooth curves specializing to a singular curve $C_0$, one expects certain aspects o…
In an influential 2008 paper, Baker proposed a number of conjectures relating the divisor theory of algebraic curves with an analogous combinatorial theory on finite graphs. In this note, we examine Baker's Brill--Noether existence conjecture for special divisors. For $g\leq 5$ and $ρ(g,r,d)$ non-negative, every graph of genus $g$ is shown to admit a divisor of rank $r$ and degree at most $d$. Moreover, the conjecture is shown to hold in rank $1$ for a number of families of highly connected combinatorial types of graphs of arbitrarily high genus. In the relevant genera, our arguments give the …
We generalize, for integral curves, a celebrated result of Max Noether on global sections of the n-dualizing sheaf of a smooth nonhyperelliptic curve. This is our main result. We also obtain an embedding of a non-Gorenstein curve in a way that we can express the dimensions of the components of the ideal in terms of the main invariants of the curve. Afterwards we focus on gonality, Clifford index and Koszul cohomology of non-Gorenstein curves by allowing torsion free sheaves of rank 1 in their definitions. We find an upper bound for the gonality, which agrees with Brill-Noether's one for a rati…
We prove an enumerative formula for the algebraic Euler characteristic of Brill-Noether varieties, parametrizing degree d and rank r linear series on a general genus g curve, with ramification profiles specified at up to two general points. Up to sign, this Euler characteristic is the number of standard set-valued tableaux of a certain skew shape with g labels. We use a flat degeneration via the Eisenbud-Harris theory of limit linear series, relying on moduli-theoretic advances of Osserman and Murray-Osserman; the count of set-valued tableaux is an explicit enumeration of strata of this degene…
We study Brill-Noether existence on a finite graph using methods from polyhedral geometry and lattices. We start by formulating analogues of the Brill-Noether conjectures (both the existence and non-existence parts) for $\mathbb{R}$-divisors, i.e. divisors with real coefficients, on a graph. We then reformulate the Brill-Noether existence conjecture for $\mathbb{R}$-divisors on a graph in geometric terms, that we refer to as the covering radius conjecture and we show a weak version, in support of it. Using this, we show an approximate version of the Brill-Noether existence conjecture for divis…
In this paper we determine the number of general points through which a Brill--Noether curve of fixed degree and genus in any projective space can be passed.
A moduli space of sheaves satisfies weak Brill-Noether if the general sheaf in the moduli space has no cohomology. Goettsche and Hirschowitz prove that on the projective plane every moduli space of Gieseker semistable sheaves of rank at least two and Euler characteristic zero satisfies weak Brill-Noether. In this paper, we give sufficient conditions for weak Brill-Noether to hold on rational surfaces. We completely characterize Chern characters on Hirzebruch surfaces for which weak Brill-Noether holds. We also prove that on a del Pezzo surface of degree at least 4 weak Brill-Noether holds if t…
We provide an example of a trivalent, 3-connected graph G such that, for any choice of metric on G, the resulting metric graph is Brill-Noether special.
Trigonal curves provide an example of Brill-Noether special curves. Theorem 1.3 of [9] characterizes the Brill-Noether theory of general trigonal curves and the refined stratification by Brill-Noether splitting loci, which parametrize line bundles whose push forward to $\mathbb{P}^1$ has a specified splitting type. This note describes the refined stratification for all trigonal curves. Given the Maroni invariant of a trigonal curve, we determine the dimensions of all Brill-Noether splitting loci and describe their irreducible components. When the dimension is positive, these loci are connected…
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.
Given the Prym variety of an étale double cover one can define analogues of the classical Brill-Noether loci on Jacobians of curves. Recent work by Lahoz and Naranjo shows that the Brill-Noether locus $V^2$ completely determines the covering. In this paper we describe the singular locus and the irreducible components of $V^2$.
Noether's problem asks whether, for a given field K and finite group G, the fixed field L := K(x_h : h \in G)^G is a purely transcendental extension of K, where G acts on the x_h by gx_h = x_gh. The field L is naturally the function field of a quotient variety V := V (K,G). In analogy to the case of curves, we define the gonality of V to be the minimal degree of a dominant rational map from V to projective space, which, in a sense, measures the extent to which L may fail to be purely transcendental over K. When G is abelian, we give bounds for the gonality of V (K; G).
We extend a previous result of Feyzbakhsh concerning the injectivity of a map of moduli spaces and we use this result to construct curves whose Brill-Noether loci have unexpected dimension.
In this article we study Brill-Noether loci of moduli space of stable bundles over smooth surfaces. We define Petri map as an analogy with the case of curves. We show the non-emptiness of certain Brill-Noether loci over very general quintic hypersurface in $\mathbb{P}^3$, and use the Petri map to produce components of expected dimension.
Let (S,H) be a polarized K3 surface. We define Brill-Noether filtration on moduli spaces of vector bundles on S. Assume that (c_1(E),H) > 0 for a sheaf E in the moduli space. We give a formula for the expected dimension of the Brill-Noether subschemes. Following the classical theory for curves, we give a notion of Brill-Noether generic K3 surfaces. Studying correspondences between moduli spaces of sheaves of different ranks on S, we prove our main theorem: polarized K3 surface which is generic in sense of moduli is also generic in sense of Brill-Noether theory (here H is the positive generator…
This article classifies Knutsen K3 surfaces all of whose hyperplane sections are irreducible and reduced. As an application, this gives infinite families of K3 surfaces of Picard number two whose general hyperplane sections are Brill-Noether general curves.
For a projective nonsingular curve of genus $g$, the Brill-Noether locus $W^r_d(C)$ parametrizes line bundles of degree $d$ over $C$ with at least $r+1$ sections. When the curve is generic and the Brill-Noether number $ρ(g,r,d)$ equals $1$, one can then talk of the \emph{Brill-Noether curve}. In this paper, we explore the first two invariants of this curve, giving a new way of calculating the genus of this curve and computing its gonality when $C$ has genus 5.
A Laurent polynomial $f$ in two variables naturally describes a projective curve $C(f)$ on a toric surface. We show that if $C(f)$ is a smooth curve of genus at least 7, then $C(f)$ is not Brill-Noether general. To accomplish this, we classify all Newton polygons that admit such curves whose divisors all have nonnegative Brill-Noether number.
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.
In this paper we deal with Brill-Noether theory for higher-rank sheaves on a polarized nodal reducible curve $(C,\underline{w})$ following the ideas of [arXiv:alg-geom/9511003v1]. We study the Brill-Noether loci of $\underline{w}$-stable depth one sheaves on $C$ having rank $r$ on all irreducible components and having small slope. In analogy with what happens in the smooth case, we prove that these loci are closely related to BGN extensions. Moreover, we produce irreducible components of the expected dimension for these Brill-Noether loci.
In the 1990's, Bertram, Feinberg and Mukai examined Brill-Noether loci for vector bundles of rank 2 with fixed canonical determinant, noting that the dimension was always bigger in this case than the naive expectation. We generalize their results to treat a much broader range of fixed-determinant Brill-Noether loci. The main technique is a careful study of symplectic Grassmannians and related concepts.
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.
Let $V$ be a vector bundle over a smooth curve $C$. In this paper, we study twisted Brill--Noether loci parametrising stable bundles $E$ of rank $n$ and degree $e$ with the property that $h^0 (C, V \otimes E) \ge k$. We prove that, under conditions similar to those of Teixidor i Bigas and of Mercat, the Brill-Noether loci are nonempty, and in many cases have a component which is generically smooth and of the expected dimension. Along the way, we prove the irreducibility of certain components of both twisted and "nontwisted" Brill--Noether loci. We describe the tangent cones to the twisted Bril…
We prove that the bounded derived category of coherent sheaves of the Brill-Noether variety $G^{r}_{d}(C)$ that parametrizing linear series of degree $d$ and dimension $r$ on a general smooth projective curve $C$ is indecomposable when $d\leq g(C)-1$.
The aim of this note is to find upper bounds on the dimension of Brill-Noether locus' inside the moduli space of rank two vector bundles on a smooth algebraic curve. We deduce some consequences of these bounds.
