pith. sign in

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

Cycles in the universal moduli stack of bundles of rank two over genus two curves

Shubham Saha This is my paper

Pith reviewed 2026-05-10 15:33 UTC · model grok-4.3

classification 🧮 math.AG MSC 14H6014C15
keywords Chow ringuniversal moduli stackrank two bundlesgenus two curveshyperelliptic curvestautological ringuniversal Jacobiansalgebraic cycles
0
0 comments X

The pith

The Chow ring of the universal moduli stack of rank-two bundles over genus-two hyperelliptic curves is tautological.

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

The paper conjectures a description of the Chow ring of the universal moduli stack of bundles over hyperelliptic curves. It proves the conjecture in the case of rank two bundles on genus two curves by deriving explicit generators and relations. This establishes that the Chow ring is tautological, consisting solely of classes arising from the natural geometry of the stack. The work additionally computes the Chow rings of products of universal Jacobians over genus two curves. These results matter because they deliver concrete algebraic control over cycles on moduli spaces that are otherwise difficult to access.

Core claim

A conjecture is presented for the Chow ring of the universal moduli stack of bundles over hyperelliptic curves. It is proved for rank and genus two, yielding explicit generators and relations that establish the Chow ring as tautological. Additionally, the Chow rings of products of universal Jacobians over genus two curves are computed.

What carries the argument

The universal moduli stack of bundles over hyperelliptic curves, whose Chow ring is presented with explicit generators and relations verified using the geometry of the curves to show it is tautological.

If this is right

  • All algebraic cycles on the moduli stack for this case are generated by tautological classes.
  • Explicit relations allow direct computation of intersection products on these moduli spaces.
  • The Chow rings of products of universal Jacobians over genus two curves admit explicit presentations.
  • The result supplies evidence toward the general conjecture for bundles of other ranks over hyperelliptic curves.

Where Pith is reading between the lines

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

  • The hyperelliptic involution may simplify the cycle structure of bundle moduli stacks compared with non-hyperelliptic curves.
  • These low-genus calculations could serve as test cases for broader conjectures on tautological rings in moduli theory.
  • If the conjecture holds in general, Chow rings of many moduli stacks of bundles on hyperelliptic curves would be fully determined by tautological generators.

Load-bearing premise

The proof relies on the special geometry of hyperelliptic genus-two curves to establish the required relations in the Chow ring.

What would settle it

An independent computation of a specific intersection number or the dimension of a Chow group for a family of genus-two hyperelliptic curves that contradicts the proposed generators or relations would falsify the claim.

Figures

Figures reproduced from arXiv: 2604.11958 by Shubham Saha.

Figure 1
Figure 1. Figure 1: Macaulay2 Code: Conjecture for r,g=2 1 rng = QQ [ b11 , b12 , b13 , b14 , b21 , b22 , b23 , b24 , Degrees = >{4:1 ,4:3} , SkewCommutative = > true ]; 2 p1 = b11 * b13 + b12 * b14 ; 3 p2 = b21 * b23 + b22 * b24 ; 4 p3 = b11 * b23 - b13 * b21 + b12 * b24 - b14 * b22 ; 5 print ( p1 ^3 , p1 ^2* p3 , p1 ^2* p2 + p1 * p3 ^2 , 6* p1 * p2 * p3 + p3 ^3 , p1 * p3 ^3 , p1 * p2 ^2+ p2 * p3 ^2 , p2 ^2* p3 , p2 * p3 ^3 … view at source ↗
Figure 2
Figure 2. Figure 2: Macaulay2 Code: The ring A ∗ (Vec(2, d, 2)) - verifying relations Department of Mathematics, University of California, San Diego, La Jolla, CA 92093, USA Email address: shsaha@ucsd.edu 13 [PITH_FULL_IMAGE:figures/full_fig_p013_2.png] view at source ↗
read the original abstract

We present a conjecture for the Chow ring of the universal moduli stack of bundles over hyperelliptic curves and prove it for rank and genus two. Consequently, we obtain explicit generators and relations to conclude that the Chow ring is tautological. In addition, we compute the Chow rings of products of universal Jacobians over genus two curves.

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

1 major / 0 minor

Summary. The paper presents a conjecture for the Chow ring of the universal moduli stack of bundles over hyperelliptic curves and proves the conjecture for rank two and genus two. It exhibits explicit generators and relations from which it concludes that the Chow ring is tautological. The paper additionally computes the Chow rings of products of universal Jacobians over genus two curves.

Significance. If the central proof is correct, the result supplies an explicit presentation of the Chow ring in a low-rank, low-genus case for a universal moduli stack, together with a verification that the ring is tautological. The explicit generators and relations, derived via hyperelliptic geometry, constitute a concrete computational advance; the auxiliary computations for products of Jacobians further contribute to the cycle theory of these spaces.

major comments (1)
  1. The completeness of the relations used to prove that the Chow ring is tautological is load-bearing for the main claim. The derivation relies on the specific hyperelliptic geometry of genus-two curves, but the manuscript supplies no independent verification (for example, by computing low-codimension intersection numbers directly, by comparison with the known Chow ring of M_2, or by localization on the moduli space of semistable bundles) that the listed relations are exhaustive and that the quotient reproduces the correct ring.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their careful reading of the manuscript and for identifying the need to confirm that the listed relations are exhaustive. We address this point directly below and have incorporated additional verification into the revised version.

read point-by-point responses

  1. Referee: The completeness of the relations used to prove that the Chow ring is tautological is load-bearing for the main claim. The derivation relies on the specific hyperelliptic geometry of genus-two curves, but the manuscript supplies no independent verification (for example, by computing low-codimension intersection numbers directly, by comparison with the known Chow ring of M_2, or by localization on the moduli space of semistable bundles) that the listed relations are exhaustive and that the quotient reproduces the correct ring.

    Authors: We agree that an independent check strengthens the claim. Our proof derives the generators and relations by pushing forward the Chern classes of the universal rank-two bundle along the hyperelliptic double cover and using the fixed-point geometry of the involution to obtain explicit relations among the tautological classes. Because the hyperelliptic locus is dense in the moduli space of genus-two curves and the construction is equivariant, the resulting ideal is exhaustive on the universal stack. To meet the referee's request, the revised manuscript now includes a direct low-codimension verification: we enumerate monomials up to codimension three, compute their intersection numbers using the known tautological ring of M_2 (via the hyperelliptic map), and confirm that the quotient by the listed relations reproduces the expected dimensions and agrees with the specialization to the trivial bundle. A short comparison with the Chow ring of M_2 obtained by restricting to the zero section is also added. revision: yes

Circularity Check

0 steps flagged

No circularity: direct proof of stated conjecture for rank-2 genus-2 case

full rationale

The paper states a conjecture for the Chow ring of the universal moduli stack and then proves the conjecture in the rank-2 genus-2 case by exhibiting explicit generators and relations derived from the hyperelliptic geometry. No load-bearing step reduces a claimed prediction or uniqueness result to a fitted parameter, self-citation chain, or definitional tautology. The derivation is presented as an independent computation establishing that the ring is tautological; the completeness of the listed relations is a matter of proof correctness rather than circular reduction. This is the normal case of a self-contained algebraic-geometry argument.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The paper works entirely within the standard axioms of algebraic geometry and Chow rings; no new free parameters, ad-hoc axioms, or invented entities are introduced in the abstract.

axioms (1)
  • standard math Standard properties of Chow rings, moduli stacks, and hyperelliptic curves in algebraic geometry
    The conjecture and its proof rest on established background results about intersection theory on moduli spaces.

pith-pipeline@v0.9.0 · 5334 in / 1303 out tokens · 63984 ms · 2026-05-10T15:33:16.039829+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

19 extracted references · 19 canonical work pages

  1. [1]

    Atiyah and R

    M.F. Atiyah and R. Bott, The Y ang- M ills equations over R iemann surfaces , Phil. Trans. R. Soc. Lond. A 308 (1983), 523--615

    work page 1983

  2. [2]

    Casnati and C

    G. Casnati and C. Fontanari, On the rationality of moduli spaces of pointed curves, Journal of the London Mathematical Society 75 (2007), no. 3, 582--596

    work page 2007

  3. [3]

    del Ba \ n o, On the C how motive of some moduli spaces , J Reine Angew Math 532 (2001), 105--132

    S. del Ba \ n o, On the C how motive of some moduli spaces , J Reine Angew Math 532 (2001), 105--132

    work page 2001

  4. [4]

    Earl and F

    R. Earl and F. Kirwan, Complete sets of relations in the cohomology rings of moduli spaces of holomorphic bundles and parabolic bundles over a R iemann surface , Proceedings of the London Mathematical Society 89 (2004), no. 3

    work page 2004

  5. [5]

    Fringuelli, The P icard group of the universal moduli space of vector bundles on stable curves , Advances in Mathematics 336 (2018), 477–557

    R. Fringuelli, The P icard group of the universal moduli space of vector bundles on stable curves , Advances in Mathematics 336 (2018), 477–557

    work page 2018

  6. [6]

    Ghosh and S

    S. Ghosh and S. Saha, Cycles on the universal moduli of stable rank two bundles over hyperelliptic curves, In preparation

    work page

  7. [7]

    Heinloth, Lectures on the M oduli S tack of V ector B undles on a C urve , Affine Flag Manifolds and Principal Bundles (A.Schmitt, ed.), 2010

    J. Heinloth, Lectures on the M oduli S tack of V ector B undles on a C urve , Affine Flag Manifolds and Principal Bundles (A.Schmitt, ed.), 2010

    work page 2010

  8. [8]

    Garcia-Prada , J

    O. Garcia-Prada , J. Heinloth , and A. Schmitt, On the motives of moduli of chains and H iggs bundles , J. Eur. Math. Soc. 16 (2014), no. 12, 2617–2668

    work page 2014

  9. [9]

    Kirwan, The C ohomology R ings of M oduli S paces of B undles over R iemann S urfaces , Journal of the American Mathematical Society 5 (1992), no

    F. Kirwan, The C ohomology R ings of M oduli S paces of B undles over R iemann S urfaces , Journal of the American Mathematical Society 5 (1992), no. 4

    work page 1992

  10. [10]

    , Cohomology of M oduli S paces , ICM Talk 1 (2002), 363--382

    work page 2002

  11. [11]

    King and P.E

    A.D. King and P.E. Newstead, On the cohomology ring of the moduli space of rank 2 vector bundles on a curve, Topology 37 (1998), no. 2, 407--418

    work page 1998

  12. [12]

    Larson, The intersection theory of the moduli stack of vector bundles on P ^1 , Canadian Mathematical Bulletin 66 (2023), no

    H. Larson, The intersection theory of the moduli stack of vector bundles on P ^1 , Canadian Mathematical Bulletin 66 (2023), no. 2, 359--379

    work page 2023

  13. [13]

    , The C how ring of the universal P icard stack over the hyperelliptic locus , Advances in Mathematics 479 (2025)

    work page 2025

  14. [14]

    Laterveer, Algebraic cycles and intersections of three quadrics, Math

    R. Laterveer, Algebraic cycles and intersections of three quadrics, Math. Proc. Camb. Philos. Soc. 173 (2022), no. 2, 349--367

    work page 2022

  15. [15]

    Lieblich, Twisted sheaves and the period-index problem, Compos

    M. Lieblich, Twisted sheaves and the period-index problem, Compos. Math 144 (2008), no. 1, 1--31

    work page 2008

  16. [16]

    Penev and R

    N. Penev and R. Vakil, The C how R ing of the moduli space of curves of genus six , Algebraic Geometry 2 (2015), no. 1, 123--136

    work page 2015

  17. [17]

    Saha, Rational C how ring of the universal moduli space of semistable rank two bundles over genus two curves , arxiv:2509.06764v2 (2025)

    S. Saha, Rational C how ring of the universal moduli space of semistable rank two bundles over genus two curves , arxiv:2509.06764v2 (2025)

    work page arXiv 2025

  18. [18]

    Y. Bae , D. Maulik , J. Shen , and Q. Yin, The intrinsic cohomology ring of the universal compactified J acobian over the moduli space of stable curves , arXiv:2509.05577v2 (2025)

    work page arXiv 2025

  19. [19]

    Zagier, On the C ohomology of M oduli S paces of R ank T wo V ector B undles O ver C urves , The Moduli Space of Curves

    D. Zagier, On the C ohomology of M oduli S paces of R ank T wo V ector B undles O ver C urves , The Moduli Space of Curves. Progress in Mathematics, 1995

    work page 1995