pith. sign in

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

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

Pith reviewed 2026-05-13 16:42 UTC · model grok-4.3

classification 🧮 math.AG
keywords transmission permutationDemazure productBrill-Noether theoryHurwitz-Brill-Noether theoryline bundlesmarked curvessymmetric groupsaffine symmetric groups
0
0 comments X

The pith

Transmission permutations of line bundles on twice-marked curves compose via the Demazure product when the curves are chained.

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

The paper defines a transmission permutation that records, for every twist of a line bundle by its two marked points, the exact increments in the number of global sections. It proves that this permutation composes under the Demazure product precisely when two such marked curves are glued end-to-end. The same rule runs in reverse: every reduced decomposition of a given permutation corresponds to a distinct bundle with that transmission data. The construction supplies a single combinatorial argument that recovers the classical Brill-Noether dimension bound and its Hurwitz analogue, the only change being the use of ordinary versus affine symmetric groups.

Core claim

When twice-marked curves are chained, the transmission permutations of their line bundles compose via the Demazure product. Conversely, the set of line bundles on a chain with a given transmission permutation is in bijection with the reduced decompositions of that permutation. This yields a uniform derivation of the Brill-Noether number as a bound on the dimension of the space of special line bundles, both in the classical setting using symmetric groups and in the Hurwitz setting using affine symmetric groups.

What carries the argument

The transmission permutation, which encodes the sequence of minimal twists by each marked point that increase the space of global sections by one at each step.

If this is right

  • The expected dimension of the Brill-Noether locus equals the length of the transmission permutation in the symmetric group.
  • The corresponding bound in the Hurwitz-Brill-Noether setting equals the affine length of the same permutation.
  • Bundles realizing a fixed transmission permutation on a chain are counted by the number of reduced words for that permutation.
  • Inductive dimension calculations become possible by building chains one component at a time.

Where Pith is reading between the lines

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

  • The same composition rule may apply to other nodal degenerations beyond simple chains.
  • An analogous permutation for higher-rank vector bundles could give combinatorial control over higher Brill-Noether loci.
  • The link to reduced decompositions suggests new generating functions for enumerative invariants in both theories.

Load-bearing premise

The transmission permutation completely determines the dimensions of sections of every twist of the bundle by the marked points, and gluing curves corresponds exactly to the algebraic Demazure product.

What would settle it

A pair of twice-marked curves and a line bundle on their chain whose section dimensions after all possible twists fail to equal those predicted by the Demazure product of the individual transmission permutations.

Figures

Figures reproduced from arXiv: 2604.03895 by Nathan Pflueger.

Figure 1
Figure 1. Figure 1: Two examples of transmission permutations, and what they say about h 0 and h 1 of twists L(ap − bq) of L. See Examples Theorem 1.3 and 1.4. Z, which we call the transmission permutation. Like the Weierstrass partition, this permutation is not a mere bookkeeping device: its combinatorics knows interesting geometric information. In place of the number (r + 1)(g − d + r) or the size of a (skew) tableau, the n… view at source ↗
Figure 2
Figure 2. Figure 2: A versal deformation of a chain, and the divisors Yi , Y ′ i . The assumption that π(Zi) is principal means that OX(Y ′ i ) ∼= OX(−Yi). 5.2. Relative transmission loci. This suggests that we ought to define a relative transmission locus for this family as follows. For an (ℓ − 1)-tuple ⃗n ∈ Z ℓ−1 , let Y(⃗n) = OX Pℓ−1 i=1 niYi  . Fix a permutation τ ∈ ASP and let d = χτ + g. Denote by Picd,p(π) → B the re… view at source ↗
read the original abstract

A line bundle on a curve with two marked points can be special in many ways, as measured by the global sections of all of its twists by these points. All of this information is conveniently packaged into a permutation, which we call the transmission permutation. We prove that when twice-marked curves are chained together, these permutations are composed via the Demazure product; in reverse, bundles with given permutation can be enumerated via reduced decompositions of a permutation. This paper demonstrates the utility of transmission permutations by giving a short derivation of the basic dimension bounds of both classical Brill--Noether theory and Hurwitz--Brill--Noether theory in a unified framework. The difference between the two cases derives from taking permutations in either symmetric groups or affine symmetric groups.

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

2 major / 2 minor

Summary. The paper introduces the transmission permutation associated to a line bundle on a twice-marked curve, which encodes the dimensions of global sections of all twists by the two marked points. It proves that these permutations compose according to the Demazure product when twice-marked curves are chained, and conversely that bundles realizing a prescribed permutation are enumerated by reduced decompositions. The framework is then used to recover the classical Brill-Noether dimension bounds and the Hurwitz-Brill-Noether bounds in a single argument, the only distinction being the use of the symmetric group versus the affine symmetric group.

Significance. If the composition law holds, the manuscript supplies a clean combinatorial unification of two Brill-Noether theories via Demazure products and reduced words. The approach is self-contained, introduces no fitted parameters, and directly yields the expected dimension formulas, which is a genuine organizational advance.

major comments (2)
  1. [§3, Theorem 3.2] §3, Theorem 3.2 (composition law): the argument that geometric chaining of curves induces exactly the Demazure product on transmission permutations must verify that the identification holds for every twist by the marked points simultaneously, not merely for the generic twist; otherwise the enumeration claim in the reverse direction may overcount.
  2. [§4.1] §4.1, derivation of the Brill-Noether number: the passage from the length of a reduced word to the expected dimension subtracts the genus term correctly only if the transmission permutation is shown to be independent of the choice of chain decomposition; a short explicit check for a nodal chain of two elliptic curves would confirm this independence.
minor comments (2)
  1. [§2] The definition of the transmission permutation in §2 should include an explicit formula or diagram showing how the permutation entries are read off from the dimensions h^0(L(kp + mq)).
  2. [Introduction] Notation for the affine symmetric group is introduced only in §4; moving the comparison table between S_n and affine S_n to the introduction would improve readability.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the positive evaluation and the recommendation of minor revision. The comments identify useful points for clarification, which we address below and will incorporate into the revised manuscript.

read point-by-point responses
  1. Referee: [§3, Theorem 3.2] §3, Theorem 3.2 (composition law): the argument that geometric chaining of curves induces exactly the Demazure product on transmission permutations must verify that the identification holds for every twist by the marked points simultaneously, not merely for the generic twist; otherwise the enumeration claim in the reverse direction may overcount.

    Authors: The proof of Theorem 3.2 uses the exact sequences arising from gluing at the nodes, which apply uniformly to sections of all twists by the marked points. The transmission permutation is defined by the complete collection of these dimensions, so the Demazure product identification is canonical and holds simultaneously rather than only generically. We will add a short clarifying remark after the proof to make this uniformity explicit, confirming that the reverse enumeration by reduced decompositions incurs no overcount. revision: yes

  2. Referee: [§4.1] §4.1, derivation of the Brill-Noether number: the passage from the length of a reduced word to the expected dimension subtracts the genus term correctly only if the transmission permutation is shown to be independent of the choice of chain decomposition; a short explicit check for a nodal chain of two elliptic curves would confirm this independence.

    Authors: We agree that an explicit verification strengthens the argument. The transmission permutation is defined intrinsically from the dimensions of global sections of all twists, rendering it independent of any particular chain decomposition. To make this concrete, we will insert a brief computation in §4.1 for a nodal chain of two elliptic curves, showing that distinct decompositions produce the same permutation (and hence the same length), so that the genus subtraction yields the expected dimension. revision: yes

Circularity Check

0 steps flagged

No significant circularity; definitions and composition law are independent

full rationale

The paper defines the transmission permutation as a new packaging of section data for twice-marked curves. It then proves (rather than assumes) that geometric chaining of curves induces composition of these permutations via the Demazure product. Dimension bounds for both classical Brill-Noether and Hurwitz-Brill-Noether theories are formally derived from this composition law once it is established. No equation or step reduces a claimed result to a fitted parameter, a self-referential definition, or a load-bearing self-citation whose content is itself unverified. The distinction between ordinary and affine symmetric groups is an explicit modeling choice that separates the two theories without circularity. The derivation chain is therefore self-contained.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 1 invented entities

The central claims rest on the new definition of the transmission permutation and on standard facts about Demazure products in Coxeter groups; no free parameters or invented physical entities appear.

axioms (1)
  • standard math Demazure product is well-defined and associative on (affine) symmetric groups
    Standard background in Coxeter combinatorics invoked for the composition rule.
invented entities (1)
  • transmission permutation no independent evidence
    purpose: To encode the collection of section dimensions for all twists of a line bundle on a twice-marked curve
    Newly introduced combinatorial object whose properties are proved in the paper.

pith-pipeline@v0.9.0 · 5418 in / 1243 out tokens · 84158 ms · 2026-05-13T16:42:32.363092+00:00 · methodology

discussion (0)

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

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

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

    math.AG 2026-04 unverdicted novelty 6.0

    Proves Pflueger's conjectures on Brill-Noether analogues for transmission loci of line bundles with prescribed ramification on totally ramified covers of the projective line.

Reference graph

Works this paper leans on

33 extracted references · 33 canonical work pages · cited by 1 Pith paper

  1. [1]

    Dave Anderson, Linda Chen, and Nicola Tarasca, K -classes of B rill- N oether loci and a determinantal formula , Int. Math. Res. Not. IMRN (2022), no. 16, 12653--12698. 4466009

  2. [2]

    , Motivic classes of degeneracy loci and pointed B rill- N oether varieties , J. Lond. Math. Soc. (2) 105 (2022), no. 3, 1787--1822. 4407110

  3. [3]

    Abreu and Marco Pacini, Enriched curves and their tropical counterpart, Ann

    Alex C. Abreu and Marco Pacini, Enriched curves and their tropical counterpart, Ann. Inst. Fourier 67 (2017), no. 2, 689--741

  4. [4]

    285, Memoirs of the American Mathematical Society, no

    Owen Biesel and David Holmes, Fine compactified moduli of enriched structures on stable curves, vol. 285, Memoirs of the American Mathematical Society, no. 1416, American Mathematical Society, 2023

  5. [5]

    Coppens and G

    M. Coppens and G. Martens, Linear series on a general k -gonal curve , Abh. Math. Sem. Univ. Hamburg 69 (1999), 347--371. 1722944

  6. [6]

    Marc Coppens and Gerriet Martens, On the varieties of special divisors, Indag. Math. (N.S.) 13 (2002), no. 1, 29--45. 2014973

  7. [7]

    Melody Chan, Brian Osserman, and Nathan Pflueger, The G ieseker-- P etri theorem and imposed ramification , Bull. Lond. Math. Soc. 51 (2019), no. 6, 945--960. 4041002

  8. [8]

    Melody Chan and Nathan Pflueger, Euler characteristics of B rill- N oether varieties , Trans. Amer. Math. Soc. 374 (2021), no. 3, 1513--1533. 4216716

  9. [9]

    Kaelin Cook-Powell and David Jensen, Components of B rill- N oether loci for curves with fixed gonality , Michigan Math. J. 71 (2022), no. 1, 19--45. 4389812

  10. [10]

    , Tropical methods in H urwitz- B rill- N oether theory , Adv. Math. 398 (2022), Paper No. 108199, 42. 4372667

  11. [11]

    David Eisenbud and Joe Harris, Limit linear series: basic theory, Invent. Math. 85 (1986), no. 2, 337--371. 846932

  12. [12]

    , Existence, decomposition, and limits of certain W eierstrass points , Invent. Math. 87 (1987), no. 3, 495--515. 874034

  13. [13]

    Gavril Farkas, Soheyla Feyzbakhsh, and Andr \'e s Rojas, H urwitz-- B rill-- N oether theory via K 3 surfaces and stability conditions , arXiv:2505.19890, 2025

  14. [14]

    William Fulton, Flags, S chubert polynomials, degeneracy loci, and determinantal formulas , Duke Math. J. 65 (1992), no. 3, 381--420. 1154177

  15. [15]

    52, Springer-Verlag, New York-Heidelberg, 1977

    Robin Hartshorne, Algebraic geometry, Graduate Texts in Mathematics, No. 52, Springer-Verlag, New York-Heidelberg, 1977. 0463157

  16. [16]

    Pi 9 (2021), Paper No

    David Jensen and Dhruv Ranganathan, Brill- N oether theory for curves of a fixed gonality , Forum Math. Pi 9 (2021), Paper No. e1, 33. 4199236

  17. [17]

    George Kempf, Schubert methods with an application to algebraic curves, Stichting Mathematisch Centrum, Zuivere Wiskunde, 1971

  18. [18]

    Kleiman and Dan Laksov, On the existence of special divisors, Amer

    Steven L. Kleiman and Dan Laksov, On the existence of special divisors, Amer. J. Math. 94 (1972), 431--436. 323792

  19. [19]

    132 (1974), 163--176

    , Another proof of the existence of special divisors, Acta Math. 132 (1974), 163--176. 357398

  20. [20]

    Algebra 373 (2013), 377--391

    Nathan Kaplan and Lynnelle Ye, The proportion of W eierstrass semigroups , J. Algebra 373 (2013), 377--391. 2995032

  21. [21]

    Larson, A refined B rill-- N oether theory over H urwitz spaces , Invent

    Hannah K. Larson, A refined B rill-- N oether theory over H urwitz spaces , Invent. Math. 224 (2021), no. 3, 767--790. 4258055

  22. [22]

    , Universal degeneracy classes for vector bundles on P ^1 bundles , Adv. Math. 380 (2021), Paper No. 107563, 20. 4200467

  23. [23]

    Eric Larson, Hannah Larson, and Isabel Vogt, Global B rill-- N oether theory over the H urwitz space , Geom. Topol. 29 (2025), no. 1, 193--257. 4846641

  24. [24]

    159 (2019), no

    Max Lieblich and Brian Osserman, Universal limit linear series and descent of moduli spaces, Manuscripta Math. 159 (2019), no. 1-2, 13--38. 3936132

  25. [25]

    thesis, Harvard University, 1998

    Laila Main\`o, Moduli space of enriched stable curves, Ph.D. thesis, Harvard University, 1998

  26. [26]

    Nathan Pflueger, Brill- N oether varieties of k -gonal curves , Adv. Math. 312 (2017), 46--63. 3635805

  27. [27]

    , Special divisors on marked chains of cycles, J. Combin. Theory Ser. A 150 (2017), 182--207. 3645573

  28. [28]

    , ( H urwitz--) B rill-- N oether general marked graphs via the D emazure product , arXiv:2201.12316, 2021

  29. [29]

    , An extended D emazure product on integer permutations via min-plus matrix multiplication , arXiv:2206.14227, 2022

  30. [30]

    Reine Angew

    , Linear series with <0 via thrifty L ego building , J. Reine Angew. Math. 797 (2023), 193--228. 4565948

  31. [31]

    4, 497--518

    , Versality of B rill- N oether flags and degeneracy loci of twice-marked curves , Algebraic Geometry 12 (2025), no. 4, 497--518

  32. [32]

    Montserrat Teixidor-i Bigas, Brill- N oether loci with ramification at two points , Ann. Mat. Pura Appl. (4) 202 (2023), no. 3, 1217--1232. 4576937

  33. [33]

    176 (2025), no

    Montserrat Teixidor i Bigas, B rill-- N oether loci , Manuscripta Math. 176 (2025), no. 1, Paper No. 14, 17