Transmission permutations and Demazure products in Hurwitz--Brill--Noether theory
Pith reviewed 2026-05-13 16:42 UTC · model grok-4.3
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.
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
- 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
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.
Referee Report
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)
- [§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.
- [§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)
- [§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)).
- [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
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
-
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
-
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
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
axioms (1)
- standard math Demazure product is well-defined and associative on (affine) symmetric groups
invented entities (1)
-
transmission permutation
no independent evidence
Lean theorems connected to this paper
-
IndisputableMonolith/Foundation/RealityFromDistinction.leanreality_from_one_distinction unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
transmission permutation τ:Z→Z ... composed via the Demazure product ... reduced decompositions ... symmetric groups or affine symmetric groups
-
IndisputableMonolith/Cost/FunctionalEquation.leanwashburn_uniqueness_aczel unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
s_α⋆β(a,b)=min_ℓ {s_α(a,ℓ)+s_β(ℓ,b)} ... Bruhat order ... inv_k(α)
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
-
Brill-Noether theory for totally ramified covers of the projective line
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
-
[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
work page 2022
-
[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
work page 2022
-
[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
work page 2017
-
[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
work page 2023
-
[5]
M. Coppens and G. Martens, Linear series on a general k -gonal curve , Abh. Math. Sem. Univ. Hamburg 69 (1999), 347--371. 1722944
work page 1999
-
[6]
Marc Coppens and Gerriet Martens, On the varieties of special divisors, Indag. Math. (N.S.) 13 (2002), no. 1, 29--45. 2014973
work page 2002
-
[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
work page 2019
-
[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
work page 2021
-
[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
work page 2022
-
[10]
, Tropical methods in H urwitz- B rill- N oether theory , Adv. Math. 398 (2022), Paper No. 108199, 42. 4372667
work page 2022
-
[11]
David Eisenbud and Joe Harris, Limit linear series: basic theory, Invent. Math. 85 (1986), no. 2, 337--371. 846932
work page 1986
-
[12]
, Existence, decomposition, and limits of certain W eierstrass points , Invent. Math. 87 (1987), no. 3, 495--515. 874034
work page 1987
- [13]
-
[14]
William Fulton, Flags, S chubert polynomials, degeneracy loci, and determinantal formulas , Duke Math. J. 65 (1992), no. 3, 381--420. 1154177
work page 1992
-
[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
work page 1977
-
[16]
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
work page 2021
-
[17]
George Kempf, Schubert methods with an application to algebraic curves, Stichting Mathematisch Centrum, Zuivere Wiskunde, 1971
work page 1971
-
[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
work page 1972
-
[19]
, Another proof of the existence of special divisors, Acta Math. 132 (1974), 163--176. 357398
work page 1974
-
[20]
Nathan Kaplan and Lynnelle Ye, The proportion of W eierstrass semigroups , J. Algebra 373 (2013), 377--391. 2995032
work page 2013
-
[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
work page 2021
-
[22]
, Universal degeneracy classes for vector bundles on P ^1 bundles , Adv. Math. 380 (2021), Paper No. 107563, 20. 4200467
work page 2021
-
[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
work page 2025
-
[24]
Max Lieblich and Brian Osserman, Universal limit linear series and descent of moduli spaces, Manuscripta Math. 159 (2019), no. 1-2, 13--38. 3936132
work page 2019
-
[25]
thesis, Harvard University, 1998
Laila Main\`o, Moduli space of enriched stable curves, Ph.D. thesis, Harvard University, 1998
work page 1998
-
[26]
Nathan Pflueger, Brill- N oether varieties of k -gonal curves , Adv. Math. 312 (2017), 46--63. 3635805
work page 2017
-
[27]
, Special divisors on marked chains of cycles, J. Combin. Theory Ser. A 150 (2017), 182--207. 3645573
work page 2017
- [28]
- [29]
-
[30]
, Linear series with <0 via thrifty L ego building , J. Reine Angew. Math. 797 (2023), 193--228. 4565948
work page 2023
-
[31]
, Versality of B rill- N oether flags and degeneracy loci of twice-marked curves , Algebraic Geometry 12 (2025), no. 4, 497--518
work page 2025
-
[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
work page 2023
-
[33]
Montserrat Teixidor i Bigas, B rill-- N oether loci , Manuscripta Math. 176 (2025), no. 1, Paper No. 14, 17
work page 2025
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.