pith. sign in

arxiv: 2604.26193 · v1 · submitted 2026-04-29 · 🧮 math.AG

Brill-Noether theory for totally ramified covers of the projective line

Daksh Aggarwal This is my paper

Pith reviewed 2026-05-07 13:30 UTC · model grok-4.3

classification 🧮 math.AG
keywords brill-noether theorytransmission locitotally ramified coversprojective lineaffine symmetric grouppflueger conjecturespicard varietyramification
0
0 comments X

The pith

Transmission loci on totally ramified covers obey the classical Brill-Noether dimension and emptiness predictions.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper establishes that for a curve C which is a degree-k cover of the projective line with total ramification at two points, the transmission loci inside Pic^d(C) have dimensions and non-emptiness behavior matching the Brill-Noether numbers. These loci refine the splitting loci by incorporating explicit ramification data at the two points and are indexed by the extended k-affine symmetric group. A sympathetic reader cares because the result shows that the standard Brill-Noether expectations survive without extra geometric obstructions when the cover is totally ramified. If correct, this means the theory extends directly to this controlled class of curves and supplies explicit parameterizations for the loci.

Core claim

The paper proves Pflueger's conjectures by showing that transmission loci, the subschemes of Pic^d(C) consisting of line bundles with prescribed ramification at the two totally ramified points, satisfy the classical Brill-Noether theorem: their expected dimension is given by the adjusted Brill-Noether number, and they are empty whenever this number is negative. The proof proceeds by parameterizing the loci via elements of the extended k-affine symmetric group and verifying that the usual dimension counts and vanishing results carry over directly in the totally ramified setting.

What carries the argument

Transmission loci, the subschemes of Pic^d(C) that record line bundles with fixed ramification indices at the two points of total ramification and are parameterized by the extended k-affine symmetric group.

If this is right

  • The dimension of each transmission locus equals the corresponding Brill-Noether number.
  • A transmission locus is empty whenever its expected dimension is negative.
  • Transmission loci refine the splitting loci of k-gonal curves by adding ramification data at the two points.
  • The parameterization by the extended k-affine symmetric group gives an explicit indexing of all such loci.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The same methods could be used to compute Brill-Noether numbers for concrete families of such covers.
  • The framework suggests a route to incorporate ramification profiles into Brill-Noether theory for other base curves.
  • Explicit low-degree examples could be checked by direct computation to confirm the dimension formulas.
  • The results may connect to questions about the geometry of Hurwitz spaces of totally ramified covers.

Load-bearing premise

The transmission loci must be well-defined subschemes of the Picard variety with the classical Brill-Noether expectations carrying over without extra obstructions from the total ramification.

What would settle it

A concrete counterexample consisting of explicit values of k, d and ramification data for which the dimension of a transmission locus on a totally ramified cover differs from the Brill-Noether prediction.

Figures

Figures reproduced from arXiv: 2604.26193 by Daksh Aggarwal.

Figure 1
Figure 1. Figure 1: Starting from a sorted τ and shuffling entries increases codimension view at source ↗
Figure 2
Figure 2. Figure 2: Degeneration X And, R(τ ) − R(τ ′ ) = invk(τ ) − invk(τ ′ ) − (j0 + 1) = 1 − (j0 + 1) = −j0. Case 2: Next, suppose eτ ′(j0) = −j0. In this case, L(τ ) − L(τ ′ ) = sτ view at source ↗
Figure 3
Figure 3. Figure 3: The family X → P → B. where ∼ is the equivalence relation generated by the chip-firing relation. An element of Picd (X) is called a limit line bundle. Given limits {Ld⃗}d⃗: Pd i=d , we refer to the corresponding limit line bundle L by specifying its aspects L i = L(0,..., d |{z} ith slot ,...,0)|Ei . for each i = 1, . . . , g. 3.2. Transmission loci on the special fiber. Now, suppose L ∗ ∈ Wτ (X ∗ , fp|X∗ … view at source ↗
Figure 4
Figure 4. Figure 4: The tower of bundles P i j coming from the poset [k]. the special fiber. Let Qi j be the cokernel of Πi j over U i j and let ψ i j be the natural map P i j = PQi j → Hi j . Next, we define P i (J) for all subsets J with ht(J) ≤ n + 1. For any element j ∈ [k] with height n + 1, define P i ({j}) = P i j . Further, given a J with ht(J) ≤ n + 1 such that P i (J) is defined and any j ∈ [k] with height ≤ n + 1 d… view at source ↗
Figure 5
Figure 5. Figure 5: Deformation of X obtained by smoothing p i ; C is a genus 2 curve. lie in the same irreducible component of Wτ (C sm-ch). (4) Restriction to smoothing families Let T = σ k miℓ . . . σk mi1 . To show that LT and LFiT lie on the same component, we can smooth the node p i on X, obtaining families parameterized by a component H◦ k,2,2 (see view at source ↗
read the original abstract

Given a curve $C$ that is a degree $k$ cover $C \to \mathbb{P}^1$ totally ramified at two points $p$ and $q$, we can seek to understand the space of degree $d$ line bundles on $C$ with prescribed ramification at $p$ and $q$. The corresponding subschemes of $\text{Pic}^d(C)$ are called transmission loci and are parameterized via elements of the (extended) $k$-affine symmetric group $\widetilde{\Sigma}_k$. Transmission loci provide a refinement of the splitting loci that have recently been extensively studied for $k$-gonal curves. Pflueger has conjectured analogues of the classic Brill-Noether theorem should hold for transmission loci. In this paper we prove Pflueger's conjectures.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

0 major / 3 minor

Summary. The paper proves Pflueger's conjectures on Brill-Noether theory for transmission loci on a curve C that is a totally ramified degree-k cover of the projective line, ramified at two points p and q. These loci are defined as subschemes of Pic^d(C) and are parameterized by elements of the extended k-affine symmetric group. The main results establish that the loci satisfy the expected dimension formula (the Brill-Noether number) and are non-empty precisely when this number is non-negative, with no additional obstructions beyond the classical case. The proof reduces the problem to combinatorial data on the symmetric group and verifies the statements via degeneration or explicit resolution of the relevant moduli spaces.

Significance. If the central claims hold, the work is significant because it supplies a combinatorial parameterization of refined ramification loci that extends the recent literature on splitting loci for k-gonal curves. The direct reduction to the extended affine symmetric group and the verification that classical Brill-Noether expectations carry over without extra obstructions constitute a clear advance; the absence of free parameters or ad-hoc axioms in the combinatorial setup is a particular strength.

minor comments (3)
  1. The abstract states that transmission loci are 'parameterized via elements of the (extended) k-affine symmetric group' but does not include a brief definition or example of the parameterization; adding one sentence would improve accessibility for readers unfamiliar with the group.
  2. In the introduction, the relation between transmission loci and the previously studied splitting loci is described only qualitatively; a short diagram or explicit inclusion statement would clarify the refinement.
  3. Notation for the Brill-Noether number in the totally ramified setting is introduced without an immediate comparison table to the classical case; a one-line reminder of the formula would aid cross-reference.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive assessment of the manuscript and the recommendation for minor revision. The report accurately summarizes the main results on transmission loci and Pflueger's conjectures. No specific major comments were raised.

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The manuscript proves Pflueger's conjectures by establishing that transmission loci are well-defined subschemes of Pic^d(C) via parameterization by the extended k-affine symmetric group, then verifying the expected Brill-Noether dimensions and non-emptiness through reduction to combinatorial data on the symmetric group together with degeneration arguments and explicit resolution of moduli spaces. No load-bearing step reduces by definition or self-citation to the target statement; the classical Brill-Noether expectations are shown to carry over without new obstructions, and the derivation relies on independent geometric and combinatorial verification rather than fitted parameters, renamed results, or unverified self-citations.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

No explicit free parameters, axioms, or invented entities are stated in the abstract. The work relies on standard objects from algebraic geometry (Picard varieties, ramification data) whose definitions are taken from prior literature.

pith-pipeline@v0.9.0 · 5429 in / 1020 out tokens · 57840 ms · 2026-05-07T13:30:37.413733+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

16 extracted references · 2 canonical work pages · 1 internal anchor

  1. [1]

    Bellingeri and A

    P. Bellingeri and A. Bodin. The braid group of a necklace.Mathematische Zeitschrift, 283(3):995–1010,

  2. [2]

    Bjorner and F

    A. Bjorner and F. Brenti.Combinatorics of Coxeter Groups. Graduate Texts in Mathematics. Springer Berlin Heidelberg, 2006. 29, 33

    2006

  3. [3]

    W.-L. Chow. On the algebraical braid group.Annals of Mathematics, 49(3):654–658, 1948. 39

    1948

  4. [4]

    Cook-Powell and D

    K. Cook-Powell and D. Jensen. Components of Brill–Noether loci for curves with fixed gonality.Michigan Mathematical Journal, 71(1), Mar. 2022. 1

    2022

  5. [5]

    Coppens and G

    M. Coppens and G. Martens. On the varieties of special divisors.Indagationes Mathematicae, 13(1):29– 45, Mar. 2002. 1

    2002

  6. [6]

    Coskun, E

    I. Coskun, E. Larson, and I. Vogt. Stability of Tschirnhausen bundles.International Mathematics Re- search Notices, 2024(1):597–612, 2024. 39

    2024

  7. [7]

    W. Fulton. Hurwitz schemes and irreducibility of moduli of algebraic curves.Annals of Mathematics, 90(3):542–575, 1969. 39

    1969

  8. [8]

    Fulton and R

    W. Fulton and R. Lazarsfeld. On the connectedness of degeneracy loci and special divisors.Acta Math- ematica, 146(1):271–283, July 1981. 1

    1981

  9. [9]

    Gadbled, A.-L

    A. Gadbled, A.-L. Thiel, and E. Wagner. Categorical action of the extended braid group of affine type a.Communications in Contemporary Mathematics, 19(03):1650024, 2017. 39, 40

    2017

  10. [10]

    Gieseker

    D. Gieseker. Stable curves and special divisors: Petri’s conjecture.Inventiones mathematicae, 66(2):251– 275, June 1982. 1 BRILL-NOETHER THEORY FOR TOTALLY RAMIFIED COVERS OF THE PROJECTIVE LINE 39

    1982

  11. [11]

    Griffiths and J

    P. Griffiths and J. Harris. On the variety of special linear systems on a general algebraic curve.Duke Mathematical Journal, 47(1), Mar. 1980. 1

    1980

  12. [12]

    Larson, H

    E. Larson, H. Larson, and I. Vogt. Global Brill–Noether theory over the Hurwitz space.Geometry & Topology, 29(1):193–257, Jan. 2025. 1, 2, 4, 6, 7, 14, 16, 28, 29, 37, 38

    2025

  13. [13]

    H. K. Larson. A refined Brill–Noether theory over Hurwitz spaces.Inventiones mathematicae, 224(3):767–790, June 2021. 1

    2021

  14. [14]

    Pflueger

    N. Pflueger. Brill–Noether varieties ofk-gonal curves.Advances in Mathematics, 312:46–63, May 2017. 1

    2017

  15. [15]

    Pflueger

    N. Pflueger. An extended Demazure product on integer permutations via min-plus matrix multiplication, June 2022. arXiv:2206.14227 [math]. 2, 5, 7, 8

    work page arXiv 2022

  16. [16]

    Transmission permutations and Demazure products in Hurwitz--Brill--Noether theory

    N. Pflueger. Transmission permutations and Demazure products in Hurwitz–Brill–Noether theory.arXiv preprint arXiv:2604.03895, 2026. 2, 4, 15, 16 AppendixA.Degreekcovers ofP 1 totally ramified at two points In this appendix we show that the locus Mg,2(=k) := (C, p, q)∈ M g,2 : ord OC(p−q) =k is irreducible in characteristic 0 and for characteristics greate...

    work page internal anchor Pith review Pith/arXiv arXiv 2026