alphaFeedback

WorksMathematics

Pointed Hurwitz–Brill–Noether theory

AI contributions
  • ChatGPT
  • ChatGPT 5.6
  • 6
View details

Abstract

We study the geometry of Hurwitz–Brill–Noether spaces with vanishing conditions at a totally ramified point. Degeneration to a curve with an elliptic tail simplifies the combinatorics of Larson, Larson–Larson–Vogt, and Aggarwal, giving inductive proofs of Aggarwal's results in the one-point setting, and yields an efficient recursion for the algebraic Euler characteristics. Finally, when the expected dimension is negative, we give a numerical criterion ensuring the universal Hurwitz–Brill–Noether locus admits a component of expected relative dimension, generically finite over its image in the Hurwitz space, analogous to the existing results of Pflueger and Teixidor i Bigas for classical Brill–Noether loci.

Introduction

Brill–Noether theory studies the linear series on algebraic curves. For a general smooth curve CC of genus gg, the Brill–Noether–Petri theorem describes the geometry of the loci

Wdr(C)={L∈Pic⁡(C)∣h0(C,L)≥r+1}W^{r}_{d}(C)=\{L\in\operatorname{Pic}(C)\mid h^{0}(C,L)\ge r+1\}

in terms of the Brill–Noether number ρ(g,r,d)=g−(r+1)(g−d+r)\rho(g,r,d)=g-(r+1)(g-d+r). Namely, when ρ(g,r,d)<0\rho(g,r,d)<0, then Wdr(C)W^{r}_{d}(C) is empty, and when ρ(g,r,d)≥0\rho(g,r,d)\ge0, then Wdr(C)W^{r}_{d}(C) has the expected dimension ρ(g,r,d)\rho(g,r,d). Furthermore, when ρ(g,r,d)>0\rho(g,r,d)>0 the Brill–Noether locus Wdr(C)W^{r}_{d}(C) is irreducible and smooth away from Wdr+1(C)W^{r+1}_{d}(C), see [9, 10, 8]. A refined Brill–Noether theory seeks an analogous description for curves that are special in moduli, in particular for curves with unexpected maps to projective space, for example for curves with a low degree map to P1\mathbb{P}^{1}. For such curves with a degree kk map π:C→P1\pi:C\to\mathbb{P}^{1}, prescribing the splitting type of

π∗L=OP1(e⃗):=OP1(e0)⊕⋯⊕OP1(ek−1)\pi_{*}L=\mathcal{O}_{\mathbb{P}^{1}}(\vec{e}):=\mathcal{O}_{\mathbb{P}^{1}}(e_{0})\oplus\cdots\oplus\mathcal{O}_{\mathbb{P}^{1}}(e_{k-1})

gives the Hurwitz–Brill–Noether loci We⃗(C)W^{\vec{e}}(C), and has been useful in understanding the Brill–Noether theory of curves of a fixed gonality [14, 15, 4, 5]. When π:C→P1\pi:C\to\mathbb{P}^{1} is totally ramified at a single point pp, prescribing the vanishing of sections at pp gives a further refinement. More generally, in [19], Pflueger considered the refinement given by prescribing the order of vanishing at two points, p,q∈Cp,q\in C, developing the theory of transmission loci, where vanishing is prescribed by an element of the affine symmetric group, which is further developed in [2] where analogues of classical Brill–Noether results are proven for transmission loci. In this paper, we give an inductive treatment for the case of one point of ramification, giving new proofs of the results in [2] in the case of pointed Hurwitz–Brill–Noether loci We⃗(π,p)W^{\vec{e}}(\pi,p), which enables us to recursively compute the Euler characteristic of We⃗(π,p)W^{\vec{e}}(\pi,p) and find components of the expected codimension over the Hurwitz space.

Let Hg,ktot\mathcal{H}^{\mathrm{tot}}_{g,k} denote the Hurwitz space parameterizing covers [π:C→P1,p][\pi:C\to\mathbb{P}^{1},p] of degree kk with CC smooth of genus gg and π\pi totally ramified at pp. For an ordered vector e⃗=(e0,…,ek−1)∈Z≥0k\vec{e}=(e_{0},\ldots,e_{k-1})\in\mathbb{Z}^{k}_{\ge0}, let a(e⃗)\mathbf{a}(\vec{e}) be the integer sequence {0,k,…,ke0,1+e1,…,1+ke1,…,(k−1)+(k−1)ek−1}\{0,k,\ldots,ke_{0},1+e_{1},\ldots,1+ke_{1},\ldots,(k-1)+(k-1)e_{k-1}\}, with elements in increasing order. The pointed Hurwitz–Brill–Noether locus We⃗(π,p)W^{\vec{e}}(\pi,p) parameterizes line bundles of degree d=g+∣e⃗∣+k−1d=g+|\vec{e}|+k-1 with r=∣e⃗∣+k−1r=|\vec{e}|+k-1 sections with vanishing sequence at pp given exactly by a(e⃗)\mathbf{a}(\vec{e}). Note that unlike for ordinary splitting loci, e⃗\vec{e} is an ordered vector, as prescribing a(e⃗)\mathbf{a}(\vec{e}) is equivalent to prescribing the splitting types of

π∗L, π∗L(−p), …, π∗L(−(k−1)p).\pi_{*}L,\ \pi_{*}L(-p),\ \ldots,\ \pi_{*}L(-(k-1)p).

Our first result recovers the one-point case of [2] showing that We⃗(π,p)W^{\vec{e}}(\pi,p) has the expected dimension.

Theorem 1 (Theorem 2.5). Let [π:C→P1,p][\pi:C\to\mathbb{P}^{1},p] be a general element of Hg,ktot\mathcal{H}^{\mathrm{tot}}_{g,k} and let e⃗∈Z≥0k\vec{e}\in\mathbb{Z}^{k}_{\geq0}. Then We⃗(π,p)W^{\vec{e}}(\pi,p) is nonempty if and only if

g−u(e⃗)−inv⁡(e⃗)≥0.g-u(\vec{e})-\operatorname{inv}(\vec{e})\geq0.

When nonempty, it has dimension g−u(e⃗)−inv⁡(e⃗)g-u(\vec{e})-\operatorname{inv}(\vec{e}). Where u(e⃗)=∑i≠jmax⁡{0,ei−ej−1}u(\vec{e})=\sum_{i\ne j}\max\{0,e_i-e_j-1\}, and inv⁡e⃗=#{(i,j)∣0≤i<j≤k−1,ei<ej}\operatorname{inv}\vec{e}=\#\{(i,j)\mid0\leq i<j\leq k-1,e_i<e_j\}.

We note that the assumption that the entries of e⃗\vec{e} are non-negative is simply a normalization, indeed, as π∗(OP1(1))=OC(kp)\pi^*(\mathcal{O}_{\mathbb{P}^{1}}(1))=\mathcal{O}_{C}(kp), twisting by sufficiently large multiple of kpkp will make all entries non-negative. When e⃗\vec{e} is weakly decreasing, we have inv⁡(e⃗)=0\operatorname{inv}(\vec{e})=0 and We⃗(π,p)W^{\vec{e}}(\pi,p) corresponds to the classical splitting locus We⃗(C)W^{\vec{e}}(C). Thus we also recover the dimension theorem of [15].

We provide two proofs of this result. For the first proof, we consider the locus of ord⁡(e⃗)\operatorname{ord}(\vec{e})-nested linear series, which has of dimension g−u(e⃗)g-u(\vec{e}), see [15]. Then we see that the additional inversions measure the extra codimension imposed by the marked point via flag degeneracy conditions. This proof has the advantage of being elegant, but relies on the newly introduced concept of nested linear series. The second proof relies on classical flag degeneracy arguments, and on restrictions to open subloci where the ramification orders are exactly as predicted. This proof has the disadvantage of being numerically less elegant, but the advantage of using nothing more than results from [6].

Inductive approach and Brill–Noether analogues

Already due to [2], there is a pointed Hurwitz–Brill–Noether refinement of the results in [15]. For a general element [π:C→P1,p][\pi:C\to\mathbb{P}^{1},p] of Hg,ktot\mathcal{H}^{\mathrm{tot}}_{g,k}, we show that the locus We⃗(π,p)W^{\vec{e}}(\pi,p) is

References

  1. [1][ACV03] D. Abramovich, A. Corti, and A. Vistoli. Twisted bundles and admissible covers. Comm. Algebra, 31(8):3547–3618, 2003.
  2. [2][Agg26] D. Aggarwal. Brill-Noether theory for totally ramified covers of the projective line. Preprint, arXiv:2604.26193, 2026.arxiv.org/abs/2604.26193
  3. [3][Bul13] E. M. Bullock. Subcanonical points on algebraic curves. Trans. Amer. Math. Soc., 365(1):99–122, 2013.arxiv.org/abs/1002.2984
  4. [4][CPJ22a] K. Cook-Powell and D. Jensen. Components of Brill–Noether loci for curves with fixed gonality. Michigan Math. J., 71(1):19–45, 2022.
  5. [5][CPJ22b] K. Cook-Powell and D. Jensen. Tropical methods in Hurwitz–Brill–Noether theory. Adv. Math., 398:Paper No. 108199, 42 pp., 2022.
  6. [6][EH86] D. Eisenbud and J. Harris. Limit linear series: Basic theory. Invent. Math., 85(2):337–371, 1986.DOI
  7. [7][ES08] D. Eisenbud and F.-O. Schreyer. Relative Beilinson monad and direct image for families of coherent sheaves. Trans. Amer. Math. Soc., 360(10):5367–5396, 2008.DOI
  8. [8][FL81] W. Fulton and R. Lazarsfeld. On the connectedness of degeneracy loci and special divisors. Acta Math., 146:271–283, 1981.DOI
  9. [9][GH80] P. A. Griffiths and J. Harris. On the variety of special linear systems on a general algebraic curve. Duke Math. J., 47(1):233–272, 1980.DOI
  10. [10]D. Gieseker. Stable curves and special divisors: Petri’s conjecture. Invent. Math., 66(2):251–275, 1982.DOI
  11. [11]J. Harris and D. Mumford. On the Kodaira dimension of the moduli space of curves. Invent. Math., 67(1):23–86, 1982.
  12. [12]M. Hochster. Cohen–Macaulay varieties, geometric complexes, and combinatorics. In The mathematical legacy of Richard P. Stanley, pages 219–229. Amer. Math. Soc., Providence, RI, 2016.DOI
  13. [13]M. Kontsevich and A. Zorich. Connected components of the moduli spaces of Abelian differentials with prescribed singularities. Invent. Math., 153(3):631–678, 2003.
  14. [14]H. K. Larson. A refined Brill–Noether theory over Hurwitz spaces. Invent. Math., 224(3):767–790, 2021.arxiv.org/abs/1907.08597
  15. [15]E. Larson, H. Larson, and I. Vogt. Global Brill–Noether theory over the Hurwitz space. Geom. Topol., 29(1):193–257, 2025.DOI
  16. [16]B. Osserman. Dimension counts for limit linear series on curves not of compact type. Math. Z., 284(1–2):69–93, 2016.arxiv.org/abs/1410.5450
  17. [17]B. Osserman. Limit linear series for curves not of compact type. J. Reine Angew. Math., 753:57–88, 2019.
  18. [18]N. Pflueger. Linear series with ρ < 0 via thrifty Lego building. J. Reine Angew. Math., 797:193–228, 2023.arxiv.org/abs/2201.08869
  19. [19]N. Pflueger. Transmission permutations and Demazure products in Hurwitz–Brill–Noether theory. Preprint, arXiv:2604.03895, 2026.arxiv.org/abs/2604.03895

Paper details

vlnc:W_99pedpkd
v1 · latestHistory (1)

published · Fresh — added to the Hub within the last 30 days

added ·

Usage

views · 0

downloads · 0

A view counts once per browser per day, a download each time the PDF is requested.

CC BY 4.0

Original source

  • Mathematics

ChatGPT, ChatGPT 5.6, 6 · View statement →

Looking for related papers…
Contents