Abstract:In 1986, Green-Lazarsfeld raised the gonality conjecture asserting that the gonality $\operatorname{gon}(C)$ of a smooth projective curve $C$ of genus $g\geq 2$ can be read off from weight-one syzygies of a sufficiently positive line bundle $L$ on $C$, and also proposed possible least degree of such a line bundle. In 2015, Ein-Lazarsfeld proved the conjecture when $\operatorname{deg} L$ is sufficiently large, but the effective part of the conjecture remained widely open and was reformulated explicitly by Farkas-Kemeny. In this paper, we establish an effective vanishing theorem for weight-one syzygies, which implies that the gonality conjecture holds if $\operatorname{deg} L \geq 2g+\operatorname{gon}(C)$ or $\operatorname{deg} L = 2g+\operatorname{gon}(C)-1$ and $C$ is not a plane curve. As Castryck observed that the gonality conjecture may not hold for a plane curve when $\operatorname{deg} L = 2g+\operatorname{gon}(C)-1$, our theorem is the best possible and thus gives a complete answer to the gonality conjecture.

A note on an effective bound for the gonality conjecture

Effective gonality theorem on weight-one syzygies of algebraic curves

Syzygies of secant varieties of smooth projective curves and gonality sequences

A linear lower bound on the gonality of modular curves

On metric graphs with prescribed gonality

Maximal Brill--Noether loci via the gonality stratification

Bounds on the number of torsion points of given order on curves embedded in their jacobians

Covering gonality of symmetric products of curves and Cayley-Bacharach condition on Grassmannians

Degree zero Gromov--Witten invariants for smooth curves

Weak boundedness theorems for canonically fibered Gorenstein minimal threefolds

Syzygies of secant varieties of curves of genus 2

On a conjecture of Kazhdan and Polishchuk

A remark on the Brill–Noether theory of curves of fixed gonality

Bounds for syzygies of monomial curves

Gonality of curves whose normalizations are one or two copies of $\mathbb P^1$

On the Bloch-Kato conjecture for GSp(4)

Degree two Gopakumar-Vafa invariants of local curves

On Hyperelliptic Curves of Odd Degree and Genus g with Six Torsion Points of Order 2g + 1

A refined version of the geometrically m-step solvable Grothendieck conjecture for genus 0 curves over finitely generated fields

On the Gonality type invariants and the slope of a fibered $3$-fold