Table of Contents
Fetching ...

Global Brill--Noether Theory over the Hurwitz Space

Eric Larson, Hannah Larson, Isabel Vogt

TL;DR

The paper develops a global Brill--Noether theory for curves with fixed gonality by degenerating to a chain of elliptic curves and proving a regeneration theorem that transports central-fiber combinatorics to the general fiber. It identifies $\vec{e}$-positive limit line bundles with fillings of a $k$-staircase diagram $\Gamma(\vec{e})$, linking components to reduced words in the affine symmetric group, and proves that $W^{\vec{e}}(C)$ has normal, Cohen--Macaulay, and irreducible structure when the expected dimension condition $\rho'=g-u(\vec{e})\ge 0$ holds. The authors establish connectedness for $g>u(\vec{e})$, prove Cohen--Macaulayness and reducedness of splitting loci, and obtain a regeneration-based dimension formula via a detailed analysis of limit linear series and their monodromy. As a corollary, they verify a conjecture of Eisenbud and Schreyer on versal deformation spaces, and illuminate the monodromy structure of the splitting loci through explicit two-point ramification analyses on open Hurwitz strata. Overall, the work provides a comprehensive, dimensionally sharp picture of Brill--Noether theory for curves of fixed gonality and connects geometric degeneration with affine Weyl combinatorics.

Abstract

Let $C$ be a curve of genus $g$. A fundamental problem in the theory of algebraic curves is to understand maps $C \to \mathbb{P}^r$ of specified degree $d$. When $C$ is general, the moduli space of such maps is well-understood by the main theorems of Brill--Noether theory. Despite much study over the past three decades, a similarly complete picture has proved elusive for curves of fixed gonality. Here we complete such a picture, by proving analogs of all of the main theorems of Brill--Noether theory in this setting. As a corollary, we prove a conjecture of Eisenbud and Schreyer regarding versal deformation spaces of vector bundles on $\mathbb{P}^1$.

Global Brill--Noether Theory over the Hurwitz Space

TL;DR

The paper develops a global Brill--Noether theory for curves with fixed gonality by degenerating to a chain of elliptic curves and proving a regeneration theorem that transports central-fiber combinatorics to the general fiber. It identifies -positive limit line bundles with fillings of a -staircase diagram , linking components to reduced words in the affine symmetric group, and proves that has normal, Cohen--Macaulay, and irreducible structure when the expected dimension condition holds. The authors establish connectedness for , prove Cohen--Macaulayness and reducedness of splitting loci, and obtain a regeneration-based dimension formula via a detailed analysis of limit linear series and their monodromy. As a corollary, they verify a conjecture of Eisenbud and Schreyer on versal deformation spaces, and illuminate the monodromy structure of the splitting loci through explicit two-point ramification analyses on open Hurwitz strata. Overall, the work provides a comprehensive, dimensionally sharp picture of Brill--Noether theory for curves of fixed gonality and connects geometric degeneration with affine Weyl combinatorics.

Abstract

Let be a curve of genus . A fundamental problem in the theory of algebraic curves is to understand maps of specified degree . When is general, the moduli space of such maps is well-understood by the main theorems of Brill--Noether theory. Despite much study over the past three decades, a similarly complete picture has proved elusive for curves of fixed gonality. Here we complete such a picture, by proving analogs of all of the main theorems of Brill--Noether theory in this setting. As a corollary, we prove a conjecture of Eisenbud and Schreyer regarding versal deformation spaces of vector bundles on .

Paper Structure

This paper contains 35 sections, 39 theorems, 175 equations.

Key Result

Theorem 1.2

Suppose that the characteristic of the ground field is zero, or greater than $k$. Let $f \colon C \to \mathbb{P}^1$ be a general degree $k$ cover of genus $g$, and let $\vec{e}$ be any splitting type. See Remark rem:char for more details on the characteristic assumptions.

Theorems & Definitions (98)

  • Theorem 1.2
  • Corollary 1.3
  • proof
  • Theorem 1.4
  • Remark 1: A note on our ground field
  • Remark 2: A note on Hurwitz spaces
  • Remark 3: A note on "general" degree $k$ covers
  • Example 3.1
  • Definition 3.2
  • Example 3.3
  • ...and 88 more