pith. sign in

arxiv: 1906.10290 · v2 · pith:C7TUJRGPnew · submitted 2019-06-25 · 🧮 math.AG

Universal degeneracy classes for vector bundles on mathbb{P}¹ bundles

Hannah K. Larson This is my paper

Pith reviewed 2026-05-25 16:48 UTC · model grok-4.3

classification 🧮 math.AG
keywords vector bundlesdegeneracy lociP1 bundlessplitting typesChow ringcohomology classesuniversal formulas
0
0 comments X

The pith

Degeneracy loci of vector bundles on P1 bundles have classes given by universal formulas in terms of bundles on the base when they appear in expected codimension.

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

The paper examines vector bundles defined on the total space of a P1 bundle over a base variety. It partitions the base into loci according to the splitting type that the bundle acquires when restricted to each fiber. When these loci have the dimension predicted by a naive count, their classes in the Chow ring or cohomology ring are expressed by explicit formulas built from other vector bundles that arise naturally on the base. The formulas are stated to work over any field and in any characteristic. A reader would care because these classes serve as invariants that track how the bundle degenerates along the base.

Core claim

When the degeneracy loci occur in the expected codimension, their classes in the Chow ring or cohomology ring of the base are given by universal formulas in terms of naturally arising vector bundles on the base.

What carries the argument

Degeneracy loci that stratify the base by the splitting type of the bundle restricted to each P1 fiber.

If this is right

  • The classes serve as natural invariants that characterize degenerations of the vector bundle along the base.
  • The same formulas apply uniformly over arbitrary fields and in any characteristic.
  • The classes can be written directly in terms of vector bundles already present on the base without additional data.

Where Pith is reading between the lines

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

  • The formulas separate fiberwise splitting data from the geometry of the base, allowing direct substitution into intersection calculations on the base.
  • The same stratification technique could be applied to other fibrations where fiberwise splitting types are tracked.
  • The invariants might be used to distinguish components in moduli spaces of bundles with prescribed splitting behavior.

Load-bearing premise

The degeneracy loci occur in the expected codimension.

What would settle it

An explicit computation, in a concrete example with known splitting types, of the class of a degeneracy locus that has the expected codimension but fails to match the proposed formula.

read the original abstract

Given a vector bundle on a $\mathbb{P}^1$ bundle, the base is stratified by degeneracy loci measuring the spitting type of the vector bundle restricted to each fiber. The classes of these degeneracy loci in the Chow ring or cohomology ring of the base are natural invariants characterizing the degenerations of the vector bundle. When these degeneracy loci occur in the expected codimension, we find their classes. This yields universal formulas for degeneracy classes in terms of naturally arising vector bundles on the base. Our results hold over arbitrary fields of any characteristic.

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 manuscript computes the Chow (or cohomology) classes of degeneracy loci on the base of a P^1-bundle that stratify the base according to the splitting type of a given vector bundle restricted to the fibers. The formulas are stated to hold precisely when the loci have the expected codimension and are expressed universally in terms of Chern classes of vector bundles naturally associated to the input data on the base; the results are asserted to be valid over an arbitrary base field of any characteristic.

Significance. If the derivations are correct, the work supplies explicit, universal expressions for these degeneracy classes that do not depend on special choices of coordinates or base field. Such formulas are potentially useful for enumerative problems involving ruled varieties and for studying moduli spaces of vector bundles where splitting-type data appear.

minor comments (3)
  1. §2: the notation for the tautological bundles on the projectivized bundle and their pullbacks to the base is introduced without an explicit comparison to standard references (e.g., Fulton’s Intersection Theory, §3.3); a short sentence relating the two would improve readability.
  2. Theorem 1.1 (or the main statement in §4): the phrase “naturally arising vector bundles” is used repeatedly; a single sentence listing the precise bundles (e.g., the direct images or the relative tangent bundle) would make the universality claim easier to verify at a glance.
  3. The proof of the main formula appears to rely on a localization or Porteous-type argument; if the manuscript contains an explicit reference to the version of the Porteous formula employed, adding that citation in the introduction would help readers trace the derivation.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive assessment of our work and the recommendation for minor revision. No specific major comments were raised in the report.

Circularity Check

0 steps flagged

No significant circularity; standard intersection-theoretic computation

full rationale

The paper computes degeneracy locus classes conditionally on the loci having expected codimension, expressing the results as polynomials in Chern classes of naturally arising bundles on the base. This is a direct application of standard tools (e.g., Porteous-type formulas or Grothendieck-Riemann-Roch on the projective bundle) rather than any self-referential definition, fitted parameter renamed as prediction, or load-bearing self-citation. The abstract and claim make the codimension hypothesis explicit as a scope condition, not an unverified premise. No equations reduce to their own inputs by construction, and the formulas are universal over arbitrary fields without hidden ansatzes or renaming of known empirical patterns.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Only abstract available; ledger populated from stated hypotheses.

axioms (1)
  • domain assumption Degeneracy loci occur in the expected codimension
    Explicitly required for the formulas to hold (abstract).

pith-pipeline@v0.9.0 · 5604 in / 1013 out tokens · 24439 ms · 2026-05-25T16:48:29.960101+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

29 extracted references · 29 canonical work pages · 4 internal anchors

  1. [1]

    Alzati and R

    A. Alzati and R. Re, Irreducible components of Hilbert schemes of rational curv es with given normal bundle , Algebraic Geometry, Vol. 4, p. 79–103

    work page

  2. [2]

    Castravet, Rational families of vector bundles on curves , Int

    A.-M. Castravet, Rational families of vector bundles on curves , Int. J. of Math., Vol. 15, No. 1 (2004), 13–45

    work page 2004

  3. [3]

    Coskun, Gromov-Witten invariants of jumping curves , Trans

    I. Coskun, Gromov-Witten invariants of jumping curves , Trans. Amer. Math. Soc., 360 (2008), 989–1004

    work page 2008

  4. [4]

    Normal bundles of rational curves in projective space

    I. Coskun and E. Riedl, Normal bundles of rational curves in projective space , arXiv:1607.06149

    work page internal anchor Pith review Pith/arXiv arXiv

  5. [5]

    Normal bundles of rational curves on complete intersections

    I. Coskun and E. Riedl, Normal bundles of rational curves in complete intersection s, arXiv:1705.08441

    work page internal anchor Pith review Pith/arXiv arXiv

  6. [6]

    Debarre, Higher-dimensional algebraic geometry , Universitext, 2001

    O. Debarre, Higher-dimensional algebraic geometry , Universitext, 2001

    work page 2001

  7. [7]

    Eisenbud, Commutative Algebra with a View Toward Algebraic Geometry , Springer-Verlag, 1995

    D. Eisenbud, Commutative Algebra with a View Toward Algebraic Geometry , Springer-Verlag, 1995

    work page 1995

  8. [8]

    Eisenbud and J

    D. Eisenbud and J. Harris, 3264 & All That Intersection Theory , Cambridge University Press, 2016

    work page 2016

  9. [9]

    Eisenbud and F.-O

    D. Eisenbud and F.-O. Shreyer, Relative Beilinson monad and direct image for families of co herent sheaves, Trans. Amer. Math. Soc. 360:10 (2008), 5367–5396

    work page 2008

  10. [10]

    Eisenbud and A

    D. Eisenbud and A. Van de Ven, On the normal bundles of smooth rational space curves , Math. Ann., 256 (1981), 453–463

    work page 1981

  11. [11]

    Eisenbud and A

    D. Eisenbud and A. Van de Ven, On the variety of smooth rational space curves with given deg ree and normal bundle , Invent. Math., 67 (1982), 89–100

    work page 1982

  12. [12]

    Ellia, On jumping lines of vector bundles on Pk, Annali del Universita di Ferrara, Vol

    P. Ellia, On jumping lines of vector bundles on Pk, Annali del Universita di Ferrara, Vol. 63 (2017)

    work page 2017

  13. [13]

    Fulton, Flags, Schubert polynomials, degeneracy loci, and determi nantal formulas, Duke Math

    W. Fulton, Flags, Schubert polynomials, degeneracy loci, and determi nantal formulas, Duke Math. J. 65 (1992), 381–420

    work page 1992

  14. [14]

    Fulton, Universal Schubert polynomials , Duke Math

    W. Fulton, Universal Schubert polynomials , Duke Math. J. 96 (1999), 575–594

    work page 1999

  15. [15]

    Fulton and R

    W. Fulton and R. Lazarsfeld, On the connectedness of degeneracy loci and special divisor s, Acta Math. Vol. 146 (1981), 271–283

    work page 1981

  16. [16]

    Convex separably rationally connected complete intersections

    K. Furukawa, Convex separably rationally connected complete intersect ions, arXiv:1311.6181

    work page internal anchor Pith review Pith/arXiv arXiv

  17. [17]

    Harris, L

    J. Harris, L. Tu, Chern numbers of kernel and cokernel bundles , Invent. math. 75 (1984), 467–475

    work page 1984

  18. [18]

    Jensen, D Raganathan, Brill-Noether theory for curves of a fixed gonality , arXiv:1701.06579

    D. Jensen, D Raganathan, Brill-Noether theory for curves of a fixed gonality , arXiv:1701.06579

    work page arXiv

  19. [19]

    Koll´ ar,Rational curves on algebraic varieties , Springer, 1996

    J. Koll´ ar,Rational curves on algebraic varieties , Springer, 1996

    work page 1996

  20. [20]

    Normal bundles of lines on hypersurfaces

    H. Larson, Normal bundles on lines on hypersurfaces , (2017), arXiv:1705.01972

    work page internal anchor Pith review Pith/arXiv arXiv 2017

  21. [21]

    Larson, A refined Brill-Noether theory over Hurwitz spaces , (2019)

    H. Larson, A refined Brill-Noether theory over Hurwitz spaces , (2019). UNIVERSAL DEGENERACY CLASSES FOR VECTOR BUNDLES ON P1 BUNDLES 17

    work page 2019

  22. [22]

    Levcovitz, I

    D. Levcovitz, I. Vainsencher, and F. Xavier, Enumeration of cones over cubic scrolls , Israel J. Math., 161 (2007), 103–123

    work page 2007

  23. [23]

    Pflueger, Brill-Noether varieties of k-gonal curves , arXiv:1603.08856, (2016)

    N. Pflueger, Brill-Noether varieties of k-gonal curves , arXiv:1603.08856, (2016)

    work page arXiv 2016

  24. [24]

    Ran, Normal bundles of rational curves in projective spaces , Asian J

    Z. Ran, Normal bundles of rational curves in projective spaces , Asian J. Math. 11 (2007), no. 4, 567–608

    work page 2007

  25. [25]

    Sacchiero, Fibrati normali di curvi razionali dello spazio proiettivo , Ann

    G. Sacchiero, Fibrati normali di curvi razionali dello spazio proiettivo , Ann. Univ. Ferrara Sez. VII, 26 (1980), 33–40

    work page 1980

  26. [26]

    Sacchiero, On the varieties parameterizing rational space curves with fixed normal bundle , Manuscripta Math., 37 (1982), 2170–228

    G. Sacchiero, On the varieties parameterizing rational space curves with fixed normal bundle , Manuscripta Math., 37 (1982), 2170–228

    work page 1982

  27. [27]

    Smith, Vector bundles on trees of smooth rational curves (2019), preprint

    G. Smith, Vector bundles on trees of smooth rational curves (2019), preprint

    work page 2019

  28. [28]

    Strømme, On parameterized rational curves in Grassmann varieties , Space Curves, vol

    S. Strømme, On parameterized rational curves in Grassmann varieties , Space Curves, vol. 1266 of Lecture Notes in Mathematics, Springer-Verlag, (1987) 251–2 72

    work page 1987

  29. [29]

    Vainsencher and F

    I. Vainsencher and F. Xavier, A compactification of the space of twisted cubics , Math. Scand. 91 (2002), 221–243

    work page 2002