Components of Brill-Noether Loci for Curves with Fixed Gonality

David Jensen; Kaelin Cook-Powell

arxiv: 1907.08366 · v1 · pith:WGDC45UUnew · submitted 2019-07-19 · 🧮 math.AG

Components of Brill-Noether Loci for Curves with Fixed Gonality

Kaelin Cook-Powell , David Jensen This is my paper

Pith reviewed 2026-05-24 19:23 UTC · model grok-4.3

classification 🧮 math.AG

keywords Brill-Noether locigonalitytropical geometrychains of loopsirreducible componentsspecial divisorsmoduli of curves

0 comments

The pith

For general curves of fixed gonality, the Brill-Noether variety has at least as many irreducible components as a conjectural stratification predicts, with each of expected dimension.

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

The paper proposes a conjectural stratification of the Brill-Noether variety for curves of fixed genus and gonality. It supplies evidence by proving that the variety decomposes into at least the predicted number of irreducible components. Each such component attains the dimension the conjecture assigns. The argument proceeds by studying containment relations among strata in the tropical Brill-Noether loci that arise on chains of loops. A reader would care because the result constrains the geometry of spaces of special linear series once gonality is fixed.

Core claim

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.

What carries the argument

Containment relations among strata of tropical Brill-Noether loci on chains of loops, which supply lower bounds on the number and dimensions of algebraic irreducible components.

If this is right

The Brill-Noether variety decomposes into at least the number of components given by the conjectural stratification.
Every irreducible component of the variety has the dimension predicted by the stratification.
Tropical geometry on chains of loops determines the component structure of the algebraic Brill-Noether loci.
The conjectural stratification receives support from the matching of lower bounds on component count and dimension.

Where Pith is reading between the lines

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

The same tropical chains-of-loops technique could be used to study Brill-Noether loci under other numerical constraints besides gonality.
If the correspondence between tropical and algebraic strata is bijective, then the full stratification conjecture would follow from a dimension count alone.
One could test the result by enumerating components for the smallest values of genus and gonality where the conjecture makes a nontrivial prediction.

Load-bearing premise

That the containment relations and dimensions seen in the tropical Brill-Noether loci on chains of loops match the irreducible components and dimensions of the algebraic Brill-Noether variety for general curves of fixed gonality.

What would settle it

An explicit computation, for small genus and gonality, of the algebraic Brill-Noether variety that finds either fewer irreducible components than the tropical strata predict or a component whose dimension differs from the expected value.

read the original abstract

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.

Desk Editor's Note private letter to a colleague

The paper uses Pflueger's tropical strata on chains of loops to establish a lower bound on the number of irreducible components of the Brill-Noether variety for fixed-gonality curves, each of expected dimension.

read the letter

The core contribution is a combinatorial lower bound: by tracking containment relations among the tropical Brill-Noether strata that Pflueger classified on chains of loops, the authors conclude that the algebraic Brill-Noether variety for a general curve of fixed gonality has at least as many irreducible components as their conjectural stratification predicts, and that those components achieve the expected dimension. This is new; earlier work gave existence or dimension statements but did not produce this explicit component count from tropical data. The argument is cleanly combinatorial and stays within the tropical framework, which is a genuine step forward for the conjecture. The soft spot is the passage from tropical to algebraic. The claim requires that distinct tropical strata map to distinct algebraic components and that dimensions do not drop under specialization. Specialization can merge components, so the inequality direction is not automatic without an additional theorem controlling how the tropical picture lifts or specializes for general curves of the given gonality. The abstract does not indicate such a lifting result, so the evidence remains one-sided until that gap is closed. This paper is for specialists already working in Brill-Noether theory or tropical moduli of curves; a reader outside that circle will find the combinatorial setup hard to follow without background. It is worth sending to a serious referee because the combinatorial evidence is reproducible from Pflueger's classification and directly addresses an open stratification question, even if the algebraic translation needs verification.

Referee Report

1 major / 0 minor

Summary. The paper conjectures a stratification of the Brill-Noether variety for general curves of fixed genus and gonality. As evidence, it proves that this variety has at least as many irreducible components as predicted by the conjecture, each of expected dimension, via combinatorial and tropical techniques that analyze containment relations among the tropical Brill-Noether strata on chains of loops from Pflueger's classification.

Significance. If the tropical-algebraic correspondence is justified, the result supplies concrete combinatorial evidence for the conjectural structure of Brill-Noether loci under fixed gonality, extending prior tropical work in a useful way. The explicit reliance on Pflueger's classification to obtain both the component count and dimension bounds is a methodological strength.

major comments (1)

[The proof section analyzing the tropical containment relations and their algebraic implications (as described in the use] The lower bound on the number of algebraic irreducible components is obtained by transferring the number and containment relations of tropical strata on chains of loops. However, the argument that distinct tropical strata lift to distinct algebraic components (i.e., that tropicalization induces an injection on components and that dimensions are preserved) is not supported by an explicit specialization theorem or independent algebraic construction in the manuscript; specialization can merge components, so the inequality direction requires separate justification.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading and for highlighting this point about the tropical-algebraic correspondence. We respond to the major comment below.

read point-by-point responses

Referee: The lower bound on the number of algebraic irreducible components is obtained by transferring the number and containment relations of tropical strata on chains of loops. However, the argument that distinct tropical strata lift to distinct algebraic components (i.e., that tropicalization induces an injection on components and that dimensions are preserved) is not supported by an explicit specialization theorem or independent algebraic construction in the manuscript; specialization can merge components, so the inequality direction requires separate justification.

Authors: We agree that an explicit reference to a specialization result ensuring that distinct tropical irreducible components arise from distinct algebraic irreducible components (and that dimensions are preserved) would strengthen the manuscript. The current argument relies on the known tropicalization of the Brill-Noether locus coinciding with Pflueger's combinatorial description together with the general fact that tropicalization of an irreducible variety remains irreducible, but this is not stated with a specific citation. In the revision we will add a short paragraph citing the relevant results on preservation of irreducibility and dimension under tropicalization in this context, thereby justifying the lower bound. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation relies on external Pflueger classification

full rationale

The paper establishes its claim by analyzing containment relations and dimensions among tropical Brill-Noether strata on chains of loops, using Pflueger's independent prior classification of special divisors. This combinatorial evidence is then used to bound the number and dimensions of algebraic components. No step reduces by construction to the paper's own inputs, fitted quantities, self-citations, or ansatzes; the tropical-to-algebraic correspondence is invoked as an external mapping rather than a self-definitional equivalence. The derivation remains self-contained against the cited external benchmark.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The central claim rests on the domain assumption that tropical loci faithfully capture algebraic component structure; no free parameters or invented entities are introduced in the abstract.

axioms (1)

domain assumption Tropical Brill-Noether loci on chains of loops determine the irreducible components and dimensions of the algebraic Brill-Noether variety for general curves of fixed gonality.
This assumption bridges the combinatorial analysis to the algebraic statement.

pith-pipeline@v0.9.0 · 5602 in / 1033 out tokens · 21791 ms · 2026-05-24T19:23:36.066733+00:00 · methodology

Components of Brill-Noether Loci for Curves with Fixed Gonality

Core claim

What carries the argument

If this is right

Where Pith is reading between the lines

Load-bearing premise

What would settle it

discussion (0)