pith. sign in

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

Segre invariants of principal bundles over a curve

George H. Hitching , Alfonso Zamora This is my paper

Pith reviewed 2026-05-08 10:20 UTC · model grok-4.3

classification 🧮 math.AG
keywords Segre invariantsprincipal G-bundlesmoduli spacesparabolic subgroupssemicontinuityreductive groupsalgebraic curvesHirschowitz bound
0
0 comments X

The pith

The generalized Segre numbers s_P for principal G-bundles over a curve are semicontinuous in families and therefore cut out stratifications on the moduli spaces.

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

Classical Segre invariants for vector bundles on a curve record the highest possible degree of a rank-n subbundle and induce stratifications on the moduli space. The paper associates an analogous number s_P to each parabolic subgroup P of a connected reductive group G acting on a principal bundle E. It establishes that s_P varies upper semicontinuously along flat families of such bundles, which immediately produces a stratification of the moduli space by the value of s_P. The construction is shown to be compatible with surjective homomorphisms of groups, allowing direct comparison of the resulting stratifications for G and its quotients. In the concrete case of the Borel subgroup of GL_3 the authors obtain a sharp Hirschowitz-type upper bound on s_B for bundles of fixed topological type.

Core claim

The Segre number s_P(E) attached to a parabolic P generalizes the maximal-degree subbundle invariant from vector bundles. These numbers are upper semicontinuous in flat families of principal G-bundles and therefore define stratifications on the moduli spaces. They behave functorially under group homomorphisms, and for the Borel subgroup of GL_3 they satisfy a sharp bound of Hirschowitz type on bundles of given topological type.

What carries the argument

The Segre number s_P(E), which records the maximal degree attained by the associated bundle corresponding to the parabolic subgroup P and thereby generalizes the classical s_n for vector bundles.

If this is right

  • Each moduli space of G-bundles carries a stratification indexed by the possible values of s_P for every parabolic P.
  • The Segre stratification for a quotient group H is the image of the stratification for G under the induced map on parabolics.
  • The stratification for the Borel in GL_3 is constrained by a sharp upper bound on s_B for each fixed topological type.

Where Pith is reading between the lines

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

  • The semicontinuity may interact with the Harder-Narasimhan filtration to give a finer decomposition of the moduli space.
  • The comparison under group homomorphisms suggests that the coarsest stratifications arise for the adjoint group.
  • The sharp bound in low rank may be used to compute the dimension of certain strata or to decide when they are nonempty.

Load-bearing premise

The base curve must be smooth and projective while the group G must be connected and reductive, so that the moduli spaces exist and the parabolic reduction theory used to define s_P applies.

What would settle it

A flat family of principal G-bundles over a curve in which the value of s_P jumps upward, or a GL_3-bundle of fixed topological type whose Borel Segre number exceeds the claimed Hirschowitz-type bound.

read the original abstract

For a vector bundle $V$ over a curve $X$, the Segre invariant $s_n (V)$ encodes the maximal degree attained by rank $n$ subbundles of $V$. The functions $s_n$ define stratifications on moduli of $V$ which are well studied. Let $G$ be a connected reductive algebraic group, and $E \to X$ a principal $G$-bundle. For each parabolic subgroup $P \subset G$ there is a Segre number $s_P (E)$, generalising $s_n (V)$. We show that $s_P$ is semicontinuous in families of $G$-bundles, and thus defines stratifications on moduli spaces of $G$-bundles over $X$. We study the invariance properties of $s_P$, relating the behaviour of $s_P$ and $s_{\phi(P)}$ for a surjective homomorphism $\phi \colon G \to H$ and allowing us to compare the Segre stratifications for $G$ and $H$. Finally, we analyse the stratification for the Borel subgroup $B$ of ${\rm GL}_3$, identifying patterns in the geometry and proving, in particular, a sharp Hirschowitz-type bound on $s_B (E)$ for certain topological types.

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 / 0 minor

Summary. The paper generalizes classical Segre invariants s_n(V) for vector bundles to Segre numbers s_P(E) associated to parabolic subgroups P of a connected reductive group G and principal G-bundles E over a smooth projective curve X. It proves that s_P is upper semicontinuous in flat families of such bundles, thereby defining stratifications on the moduli spaces of G-bundles. The work also establishes functoriality relating s_P(E) to s_φ(P)(φ_*(E)) under surjective homomorphisms φ: G → H, and carries out a detailed analysis of the stratification induced by the Borel subgroup B of GL_3, including a sharp Hirschowitz-type bound on s_B(E) for certain topological types.

Significance. If the stated theorems hold, the semicontinuity result provides a natural extension of well-studied stratifications from vector-bundle moduli to the setting of principal bundles for reductive groups, which is useful for questions of stability and geometry in these moduli spaces. The functoriality allows direct comparison of stratifications across groups, while the explicit sharp bound in the GL_3 Borel case supplies concrete, falsifiable geometric information. The arguments rest on standard properness properties of relative moduli spaces of parabolic reductions, which strengthens the plausibility of the claims.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their positive and accurate summary of our manuscript on Segre invariants for principal G-bundles, as well as for the favorable assessment of its significance. The recommendation of minor revision is noted. Since the report lists no specific major comments, we address the overall evaluation below and confirm our willingness to incorporate any minor clarifications in a revised version.

read point-by-point responses

  1. Referee: The referee summary accurately describes the generalization of Segre invariants, semicontinuity in families, functoriality under surjective homomorphisms, and the detailed analysis for the Borel subgroup of GL_3, including the Hirschowitz-type bound.

    Authors: We are pleased that the referee finds the main results and their potential utility for moduli spaces of G-bundles to be clearly presented. The arguments indeed rely on properness of relative moduli spaces of parabolic reductions, as noted. No changes are required on this point. revision: no

Circularity Check

0 steps flagged

No significant circularity; derivation self-contained

full rationale

The paper defines s_P(E) independently via maximal-degree parabolic reductions of the principal G-bundle E (standard construction using the associated flag bundle and degree of line bundles). Semicontinuity in flat families follows from the upper semicontinuity of maximal degree on the proper relative moduli space of parabolic reductions over the smooth projective curve X, a standard fact in algebraic geometry with no dependence on the target stratification or bounds. Invariance under surjective homomorphisms φ: G → H is shown by direct comparison of reductions, and the GL_3 Borel bound is obtained by explicit enumeration of topological types and comparison with known Hirschowitz bounds. No equation, definition, or theorem reduces to a fitted parameter, self-referential construction, or load-bearing self-citation; all steps rest on external foundations (parabolic reduction theory, properness of moduli spaces) that are independent of the paper's claims.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The paper rests on the standard framework of algebraic geometry over an algebraically closed field and the theory of reductive groups and their parabolic subgroups; no free parameters or new postulated entities are introduced.

axioms (2)
  • domain assumption X is a smooth projective curve over an algebraically closed field.
    Required for the existence of moduli spaces of bundles and for the degree function used in the definition of s_P.
  • domain assumption G is a connected reductive algebraic group.
    Stated in the abstract; needed for the existence of parabolic subgroups and the associated flag varieties.

pith-pipeline@v0.9.0 · 5522 in / 1493 out tokens · 24656 ms · 2026-05-08T10:20:32.213130+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

25 extracted references · 25 canonical work pages

  1. [1]

    In L.\ Brambila-Paz (ed.) et al., ``Moduli spaces and vector bundles

    V.\ Balaji: Lectures on principal bundles . In L.\ Brambila-Paz (ed.) et al., ``Moduli spaces and vector bundles. A tribute to Peter Newstead'', London Mathematical Society Lecture Note Series 359, 2--28. Cambridge: Cambridge University Press, 2009

    work page 2009

  2. [2]

    L.\ Brambila-Paz and H.\ Lange: A stratification of the moduli space of vector bundles on curves , J.\ Reine Angew.\ Math.\ 494 (1998), 173--187

    work page 1998

  3. [3]

    I.\ Choe and G.\ H.\ Hitching: Secant varieties and Hirschowitz bound on vector bundles over a curve , Manuscripta Math.\ 133, no.\ 3-4 (2010), 465--477

    work page 2010

  4. [4]

    I.\ Choe and G.\ H.\ Hitching: Lagrangian subbundles of symplectic vector bundles over a curve , Math.\ Proc.\ Camb.\ Phil.\ Soc.\ \ 153 (2012), 193--214

    work page 2012

  5. [5]

    I.\ Choe and G.\ H.\ Hitching: A stratification on the moduli space of symplectic and orthogonal bundles over a curve , Internat. \ J. \ Math. \ 25, no. 5 (2014), 1450047, 27 pp

    work page 2014

  6. [6]

    I.\ Choe and G.\ H.\ Hitching: Lagrangian subbundles of orthogonal bundles of odd rank over a curve , Internat.\ J.\ Math.\ 26, no.\ 13 (2015), 23 pp

    work page 2015

  7. [7]

    Univ.\ of Kansas, 1958, https://webusers.imj-prg.fr/\ leila.schneps/grothendieckcircle/Kansasnotes.pdf

    A.\ Grothendieck: A General Theory of Fibre Spaces With Structure Sheaf , NSF Research Project ``Geometry of Function Space'', Report no.\ 4, 2nd.\ ed. Univ.\ of Kansas, 1958, https://webusers.imj-prg.fr/\ leila.schneps/grothendieckcircle/Kansasnotes.pdf

    work page 1958

  8. [8]

    Haboush, A short proof of the Kempf vanishing theorem , Invent.\ Math

    W.J. Haboush, A short proof of the Kempf vanishing theorem , Invent.\ Math. 56 (2) (1980), 109--112

    work page 1980

  9. [9]

    G.\ Harder and M.\ S.\ Narasimhan: On the cohomology groups of moduli spaces of vector bundles on curves , Math.\ Ann.\ 212 (1974/75), 215--248

    work page 1974

  10. [10]

    New York--Heidelberg--Berlin: Springer-Verlag, 1977

    R.\ Hartshorne: Algebraic geometry , Graduate Texts in Mathematics 52. New York--Heidelberg--Berlin: Springer-Verlag, 1977

    work page 1977

  11. [11]

    Hirschowitz, Probl\`emes de Brill–Noether en rang superieur , Pr\`epublications Math\'ematiques, No

    A. Hirschowitz, Probl\`emes de Brill–Noether en rang superieur , Pr\`epublications Math\'ematiques, No. 91, Nice (1986)

    work page 1986

  12. [12]

    Y.\ I.\ Holla: Parabolic reductions of principal bundles , arXiv:math/0204219 (2002)

    work page arXiv 2002

  13. [13]

    Y.\ I.\ Holla: Counting maximal subbundles via Gromov-Witten invariants , Math.\ Ann.\ 328, no.\ 1--2 (2004), 121--133

    work page 2004

  14. [14]

    Y.\ I.\ Holla and M.\ S.\ Narasimhan: A generalisation of Nagata's theorem on ruled surfaces , Compos.\ Math.\ 127, no.\ 3 (2001), 321--332

    work page 2001

  15. [15]

    H.\ Lange and M.\ S.\ Narasimhan: Maximal subbundles of rank two vector bundles on curves , Math.\ Ann.\ 266 (1983), 55--72

    work page 1983

  16. [16]

    H.\ Lange and P.\ E.\ Newstead: Maximal subbundles and Gromov--Witten invariants , ``A tribute to C. S. Seshadri. A collection of articles on geometry and representation theory'' (ed.\ V.\ Lakshmibai et al), Trends in Mathematics, 310--322. Basel: Birkh\"auser, 2003

    work page 2003

  17. [17]

    M.\ S.\ Narasimhan and S.\ Ramanan: Moduli of vector bundles on a compact Riemann surface , Ann.\ Math.\ (2) 89 (1969), 14--51

    work page 1969

  18. [18]

    : Schematic Harder-Narasimhan stratification , Internat.\ J.\ Math.\ 22, no.\ 10 (2011), 1365--1373

    Nitsure, N. : Schematic Harder-Narasimhan stratification , Internat.\ J.\ Math.\ 22, no.\ 10 (2011), 1365--1373

    work page 2011

  19. [19]

    A.\ Ramanathan: Stable principal bundles on a compact Riemann surface , Math.\ Ann.\ 213 (1975), 129--152

    work page 1975

  20. [20]

    4, 421--449

    A.\ Ramanathan: Moduli for principal bundles over algebraic curves I & II , Proc.\ Indian Acad.\ Sci., Math.\ Sci.\ 106, no.\ 3 (1996), 301--328 and no. 4, 421--449

    work page 1996

  21. [21]

    B.\ Russo and M.\ Teixidor i Bigas: On a conjecture of Lange , J.\ Algebr.\ Geom.\ 8, no.\ 3 (1999), 483--496

    work page 1999

  22. [22]

    Selected papers based on the presentations at the summer school, Grenoble, France, June 16--July 4, 2008

    O.\ Serman: Orthogonal and symplectic bundles on curves and quiver representations , in M.\ Brion (ed.), ``Geometric methods in representation theory II''. Selected papers based on the presentations at the summer school, Grenoble, France, June 16--July 4, 2008. Paris: Soci\'et\'e Math\'ematique de France, S\'eminaires et Congr\`es 24, pt.\ 2 (2012), 393--418

    work page 2008

  23. [23]

    S.\ S.\ Shatz: The decomposition and specialization of algebraic families of vector bundles , Compositio Math.\ 35 (1977), no.\ 2, 163--187

    work page 1977

  24. [24]

    S.\ Schieder: The Harder--Narasimhan stratification of the moduli stack of G -bundles via Drinfeld's compactifications , Sel.\ Math., New Ser.\ 21, no.\ 3 (2015), 763--831

    work page 2015

  25. [25]

    auser Classics. Basel: Birkh\

    T.\ A.\ Springer: Linear algebraic groups , reprint of the 1998 2nd ed.\ Modern Birkh\"auser Classics. Basel: Birkh\"auser, 2009

    work page 1998