pith. sign in

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

Universal compactified Jacobians: cohomological invariance and boundary combinatorics

Rahul Pandharipande , Dan Petersen , Johannes Schmitt , Sofia Wood This is my paper

Pith reviewed 2026-05-10 03:32 UTC · model grok-4.3

classification 🧮 math.AG
keywords compactified Jacobiansmoduli of curvescohomologystability conditionsboundary stratacombinatorial arguments
0
0 comments X

The pith

The cohomology of smoothable fine compactified Jacobians is independent of degree and stability condition.

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

Pagani and Tommasi defined families of smoothable fine compactified Jacobians that sit over the moduli space of stable curves and change with the choice of degree d and stability condition σ. The paper reproves that the cohomology of these spaces stays the same no matter the values of d and σ. It does this by breaking the space into its boundary strata and adding their individual contributions with a direct combinatorial calculation. A sympathetic reader cares because the spaces look geometrically distinct for different choices yet share the same topological invariants. The argument focuses on the boundary structure rather than global geometric properties.

Core claim

The cohomology of the smoothable fine compactified Jacobian is independent of the degree d and the stability condition σ. This holds because the contributions from each stratum in the natural stratification can be summed combinatorially to yield the same total cohomology in every case.

What carries the argument

The stratification of the compactified Jacobian into boundary strata whose cohomology contributions add combinatorially without residual interactions.

If this is right

  • The cohomology remains the same for every choice of d and σ.
  • The boundary combinatorics alone determines the full cohomology.
  • The independence holds in the universal setting over the moduli space of stable curves.

Where Pith is reading between the lines

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

  • The combinatorial method may allow explicit computation of the actual cohomology ring in low genus cases.
  • Similar stratum-by-stratum arguments could apply to other families of moduli spaces that depend on stability parameters.
  • While cohomology matches, the appendix shows that isomorphism types and classes in the Grothendieck ring can still differ for distinct choices.

Load-bearing premise

The strata admit a combinatorial decomposition whose contributions to cohomology can be summed independently.

What would settle it

A direct calculation of the cohomology for two different pairs of d and σ in which the summed stratum contributions fail to match would show the independence does not hold.

read the original abstract

Pagani and Tommasi have introduced a class of smoothable fine compactified Jacobians $\overline{\mathcal{J}}_{g,n}^d(\sigma)\rightarrow \overline{\mathcal{M}}_{g,n}$ over the moduli space of stable curves, depending nontrivially on the degree $d$ and the choice of a stability condition $\sigma$. A theorem of Migliorini-Shende-Viviani implies that the cohomology of $\overline{\mathcal{J}}_{g,n}^d(\sigma)$ is independent of $d$ and $\sigma$, a statement which is quite unexpected from the point of view of the boundary geometry of these spaces. We reprove this independence statement using a direct combinatorial argument, summing up contributions of individual strata. The Appendix includes a result by J. Feusi characterizing when $\mathcal{J}_{g,n}^d$ and $\mathcal{J}_{g,n}^{d'}$ are $S_n$-equivariantly isomorphic over $\mathcal{M}_{g,n}$, and a result by Q. Yin showing that $[\mathcal{J}^d_g]$ and $[\mathcal{J}^{d'}_g]$ are not always equal in $K_0(\text{Var}_{\mathbb{C}})$.

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

Summary. The manuscript reproves the cohomological invariance of the smoothable fine compactified Jacobians over the moduli space of stable curves: the cohomology of the smoothable fine compactified Jacobian is independent of the degree d and the stability condition σ. The proof proceeds by a direct combinatorial summation of the contributions of the individual strata in the boundary stratification. The appendix contains a result of J. Feusi on S_n-equivariant isomorphisms between Jacobians of different degrees over the smooth moduli space and a result of Q. Yin showing that the classes of Jacobians of different degrees are not always equal in the Grothendieck ring of varieties.

Significance. If the combinatorial summation argument is complete, the paper supplies an explicit, direct proof of an a priori unexpected invariance result that was originally obtained by geometric methods. The approach highlights the role of boundary combinatorics and supplies concrete tools for computing the cohomology. The appendix results are useful additions for questions concerning equivariant geometry and motivic invariants of these spaces.

major comments (1)
  1. [main combinatorial summation section] Main combinatorial argument (the section containing the summation of stratum contributions): the manuscript asserts that summing the cohomology of the individual strata yields the total cohomology of the compactified Jacobian and thereby establishes independence of d and σ. For a stratified space the cohomology of the union is controlled by the spectral sequence of the filtration by closed strata (or by the associated long exact sequences of pairs). The argument must therefore verify explicitly that the differentials and extension classes in this spectral sequence either vanish or are themselves independent of d and σ; a bare additive sum controls only the Euler characteristic, not the graded cohomology groups. This verification is load-bearing for the central claim.
minor comments (2)
  1. [Introduction] The introduction should include a brief reminder of the statement of the Migliorini-Shende-Viviani theorem being reproved, for the reader's convenience.
  2. [throughout] Notation for the stability condition σ and the fine compactified Jacobian should be made uniform between the main text and the appendix.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading and constructive comments on the manuscript. We address the major comment below and will revise the text to strengthen the argument.

read point-by-point responses

  1. Referee: [main combinatorial summation section] Main combinatorial argument (the section containing the summation of stratum contributions): the manuscript asserts that summing the cohomology of the individual strata yields the total cohomology of the compactified Jacobian and thereby establishes independence of d and σ. For a stratified space the cohomology of the union is controlled by the spectral sequence of the filtration by closed strata (or by the associated long exact sequences of pairs). The argument must therefore verify explicitly that the differentials and extension classes in this spectral sequence either vanish or are themselves independent of d and σ; a bare additive sum controls only the Euler characteristic, not the graded cohomology groups. This verification is load-bearing for the central claim.

    Authors: We agree that a bare summation of stratum cohomologies determines only the Euler characteristic and that the spectral sequence of the closed-stratum filtration must be analyzed to control the graded cohomology groups. In the revised version we will add an explicit paragraph in the main combinatorial section verifying that the differentials vanish and that any extension classes are independent of d and σ. The argument proceeds by observing that each stratum is a product of lower-genus compactified Jacobians (or affine bundles over them) whose own cohomology is already known to be independent of degree and stability by induction on genus; the attaching maps in the filtration are combinatorial and likewise independent of the parameters. This establishes degeneration of the spectral sequence at the E1 page with the desired independence. revision: yes

Circularity Check

0 steps flagged

Combinatorial summation of explicit stratum contributions yields d- and σ-independent cohomology without reducing to self-definition or fitted inputs

full rationale

The paper reproves the Migliorini-Shende-Viviani theorem by a direct combinatorial argument that sums the contributions of individual strata of the smoothable fine compactified Jacobian. This summation is performed on combinatorially described strata whose Euler characteristics or cohomology classes are computed independently of the global space; the total is then shown to be invariant. No equation defines the target cohomology in terms of itself, no parameter is fitted to a subset of the target data and then relabeled as a prediction, and no load-bearing step invokes a self-citation whose content is itself unverified or defined by the present work. The cited external theorem supplies the original statement; the new proof supplies an independent combinatorial verification. Potential non-additive terms in the stratification spectral sequence concern the completeness of the combinatorial model rather than any circular reduction of the claimed invariance to its own inputs.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The paper works inside the established framework of moduli of curves and compactified Jacobians; it introduces no new free parameters or invented entities and relies on standard axioms of algebraic geometry.

axioms (2)
  • domain assumption The moduli space of stable curves and its boundary stratification are well-defined and admit a combinatorial description.
    Invoked throughout the combinatorial summation argument.
  • domain assumption Cohomology of the strata can be computed or compared via their combinatorial types.
    Central to the direct summation method.

pith-pipeline@v0.9.0 · 5515 in / 1149 out tokens · 43664 ms · 2026-05-10T03:32:54.452367+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

60 extracted references · 60 canonical work pages · 1 internal anchor

  1. [1]

    D. Arinkin. Autoduality of compactified Jacobians for curves with plane singularities. J. Algebraic Geom. 22.2 (2013), pp. 363–388

    work page 2013

  2. [2]

    M. F. Atiyah and R. Bott. The Yang-Mills equations over Riemann surfaces. Philos. Trans. Roy. Soc. London Ser. A 308.1505 (1983), pp. 523–615

    work page 1983

  3. [3]

    Y. Bae, D. Holmes, R. Pandharipande, J. Schmitt, and R. Schwarz. Pixton’s formula and Abel–Jacobi theory on the Picard stack. Acta Mathematica 230.2 (2023), pp. 205–319

    work page 2023

  4. [4]

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

    work page arXiv 2025

  5. [5]

    Y. Bae, S. Molcho, and A. Pixton. Fourier transforms and Abel–Jacobi theory (2025). Preprint available at arXiv:2506.06116

    work page arXiv 2025

  6. [6]

    Bae and A

    Y. Bae and A. Pixton. Cycles on universal Jacobians. In preparation

    work page

  7. [7]

    Baker and S

    M. Baker and S. Norine. Riemann-Roch and Abel-Jacobi theory on a finite graph. Adv. Math. 215.2 (2007), pp. 766–788

    work page 2007

  8. [8]

    A. A. Be˘ ılinson, J. Bernstein, and P. Deligne. Faisceaux pervers.Analysis and topology on singular spaces, I (Luminy, 1981) . Vol. 100. Ast´ erisque. Soc. Math. France, Paris, 1982, pp. 5–171

    work page 1981

  9. [9]

    Bergstr¨ om

    J. Bergstr¨ om. Cohomology of moduli spaces of curves of genus three via point counts. J. Reine Angew. Math. 622 (2008), pp. 155–187

    work page 2008

  10. [10]

    Bergstr¨ om and C

    J. Bergstr¨ om and C. Faber. Cohomology of moduli spaces via a result of Chenevier and Lannes. ´Epijournal G´ eom. Alg´ ebrique7 (2023), Art. 20, 14

    work page 2023

  11. [11]

    Bergstr¨ om, C

    J. Bergstr¨ om, C. Faber, and G. van der Geer. Siegel modular forms of degree three and the cohomology of local systems. Selecta Math. (N.S.) 20.1 (2014), pp. 83–124

    work page 2014

  12. [12]

    Bergstr¨ om, C

    J. Bergstr¨ om, C. Faber, and S. Payne. Polynomial point counts and odd cohomology vanishing on moduli spaces of stable curves. Ann. of Math. (2) 199.3 (2024), pp. 1323–1365

    work page 2024

  13. [13]

    G. Bini, C. Fontanari, and F. Viviani. On the Birational Geometry of the Universal Picard Variety. International Mathematics Research Notices 2012.4 (Mar. 2012), pp. 740–780. 19

    work page 2012

  14. [14]

    Caporaso

    L. Caporaso. A compactification of the universal Picard variety over the moduli space of stable curves. J. Amer. Math. Soc. 7.3 (1994), pp. 589–660

    work page 1994

  15. [15]

    Caporaso

    L. Caporaso. Compactified Jacobians of nodal curves. Notes for a minicourse given at the Istituto Superiore Tecnico of Lisbon (2010). Available at http://www.mat.uniroma3.it/ users/caporaso/cjac.pdf

    work page 2010

  16. [16]

    M. A. A. de Cataldo and L. Migliorini. The decomposition theorem, perverse sheaves and the topology of algebraic maps. Bull. Amer. Math. Soc. (N.S.) 46.4 (2009), pp. 535–633

    work page 2009

  17. [17]

    P. Deligne. Th´ eor` eme de Lefschetz et crit` eres de d´ eg´ en´ erescence de suites spectrales.Inst. Hautes ´Etudes Sci. Publ. Math. 35 (1968), pp. 259–278

    work page 1968

  18. [18]

    Deninger and J

    C. Deninger and J. Murre. Motivic decomposition of abelian schemes and the Fourier transform. J. Reine Angew. Math. 422 (1991), pp. 201–219

    work page 1991

  19. [19]

    U. V. Desale and S. Ramanan. Poincar´ e polynomials of the variety of stable bundles.Math. Ann. 216.3 (1975), pp. 233–244

    work page 1975

  20. [20]

    Earl and F

    R. Earl and F. Kirwan. The Hodge numbers of the moduli spaces of vector bundles over a Riemann surface. Q. J. Math. 51.4 (2000), pp. 465–483

    work page 2000

  21. [21]

    E. Esteves. Compactifying the relative Jacobian over families of reduced curves. Transac- tions of the American Mathematical Society 353.8 (2001), pp. 3045–3095

    work page 2001

  22. [22]

    Esteves and M

    E. Esteves and M. Pacini. Semistable modifications of families of curves and compactified Jacobians. Arkiv f¨ or Matematik54.1 (2016), pp. 55–83

    work page 2016

  23. [23]

    Faber and G

    C. Faber and G. van der Geer. Sur la cohomologie des syst` emes locaux sur les espaces de modules des courbes de genre 2 et des surfaces ab´ eliennes. I.C. R. Math. Acad. Sci. Paris 338.5 (2004), pp. 381–384

    work page 2004

  24. [24]

    M. Fava, N. Pagani, and F. Viviani. A complete classification of modular compactifications of the universal Jacobian (2026). Preprint available at arXiv:2603.05455

    work page internal anchor Pith review Pith/arXiv arXiv 2026

  25. [25]

    M. Fava, N. Pagani, and F. Viviani. A new class of compactified Jacobians for families of reduced curves (2025). Preprint available at arXiv:2505.08609

    work page arXiv 2025

  26. [26]

    Fringuelli

    R. Fringuelli. The Picard group of the universal moduli space of vector bundles on stable curves. Adv. Math. 336 (2018), pp. 477–557

    work page 2018

  27. [27]

    E. Getzler. Operads and moduli spaces of genus 0 Riemann surfaces. The moduli space of curves (Texel Island, 1994) . Vol. 129. Progr. Math. Birkh¨ auser Boston, Boston, MA, 1995, pp. 199–230

    work page 1994

  28. [28]

    Getzler and M

    E. Getzler and M. M. Kapranov. Modular operads. Compositio Math. 110.1 (1998), pp. 65– 126

    work page 1998

  29. [29]

    E. Getzler. Mixed Hodge structures of configuration spaces. Preprint 96-61, Max-Planck- Institut f¨ ur Mathematik, Bonn. arXiv:alg-geom/9510018. 1995

    work page arXiv 1995

  30. [30]

    E. Getzler. Resolving mixed Hodge modules on configuration spaces. Duke Math. J. 96.1 (1999), pp. 175–203

    work page 1999

  31. [31]

    Holmes, S

    D. Holmes, S. Molcho, R. Pandharipande, A. Pixton, and J. Schmitt. Logarithmic double ramification cycles. Invent. Math. 240.1 (2025), pp. 35–121

    work page 2025

  32. [32]

    Huybrechts

    D. Huybrechts. Fourier-Mukai transforms in algebraic geometry . Oxford Mathematical Monographs. The Clarendon Press, Oxford University Press, Oxford, 2006, pp. viii+307

    work page 2006

  33. [33]

    Janda, R

    F. Janda, R. Pandharipande, A. Pixton, and D. Zvonkine. Double ramification cycles on the moduli spaces of curves. Publications math´ ematiques de l’IH´ES 125.1 (2017), pp. 221–266

    work page 2017

  34. [34]

    S. Kannan. Euler characteristics of the universal Picard stack. Preprint available at arXiv:2602.09117. 2026. 20

    work page arXiv 2026

  35. [35]

    Kannan and T

    S. Kannan and T. D. Song. Virtual Hodge numbers of Mg,n(Pr, d): stability and calcula- tions. Preprint available at arXiv:2601.07981. 2026

    work page arXiv 2026

  36. [36]

    J. L. Kass and N. Pagani. The stability space of compactified universal Jacobians. Trans- actions of the American Mathematical Society 372.7 (June 2019), pp. 4851–4887

    work page 2019

  37. [37]

    Larsen and V

    M. Larsen and V. A. Lunts. Motivic measures and stable birational geometry. Moscow Mathematical Journal 3.1 (2003), pp. 85–95

    work page 2003

  38. [38]

    Liu and J

    Q. Liu and J. Sebag. The Grothendieck ring of varieties and piecewise isomorphisms. Mathematische Zeitschrift 265.2 (2010), pp. 321–342

    work page 2010

  39. [39]

    J. Lurie. Higher Algebra, https://www.math.ias.edu/ ∼lurie/papers/HA.pdf. 2017

    work page 2017

  40. [40]

    M. Melo. Compactifications of the universal Jacobian over curves with marked points. arXiv:1509.06177 (2015)

    work page arXiv 2015

  41. [41]

    M. Melo. Compactified Picard stacks over the moduli stack of stable curves with marked points. Adv. Math. 226.1 (2011), pp. 727–763

    work page 2011

  42. [42]

    M. Melo. Universal compactified Jacobians. Port. Math. 76.2 (2019), pp. 101–122

    work page 2019

  43. [43]

    M. Melo, A. Rapagnetta, and F. Viviani. Fourier-Mukai and autoduality for compactified Jacobians, II. Geom. Topol. 23.5 (2019), pp. 2335–2395

    work page 2019

  44. [44]

    Migliorini, V

    L. Migliorini, V. Shende, and F. Viviani. A support theorem for Hilbert schemes of planar curves, II. Compos. Math. 157.4 (2021), pp. 835–882

    work page 2021

  45. [45]

    S. Mukai. Duality between D(X) and D( ˆX) with its application to Picard sheaves. Nagoya Math. J. 81 (1981), pp. 153–175

    work page 1981

  46. [46]

    B. C. Ngˆ o. Le lemme fondamental pour les alg` ebres de Lie.Publ. Math. Inst. Hautes ´Etudes Sci. 111 (2010), pp. 1–169

    work page 2010

  47. [47]

    Pagani and O

    N. Pagani and O. Tommasi. Stability conditions for line bundles on nodal curves. Forum Math. Sigma 12 (2024), Paper No. e87, 31

    work page 2024

  48. [48]

    Pandharipande

    R. Pandharipande. A compactification over M g of the universal moduli space of slope- semistable vector bundles. J. Amer. Math. Soc. 9.2 (1996), pp. 425–471

    work page 1996

  49. [49]

    Pandharipande

    R. Pandharipande. Geometry of the Universal Jacobian. Seminar notes. Algebraic Geometry Seminar, Humboldt-Universit¨ at zu Berlin (HU Berlin). Feb. 2025

    work page 2025

  50. [50]

    Petersen

    D. Petersen. Cohomology of local systems on loci of d-elliptic abelian surfaces. Michigan Math. J. 62.4 (2013), pp. 705–720

    work page 2013

  51. [51]

    Petersen

    D. Petersen. Cohomology of local systems on the moduli of principally polarized abelian surfaces. Pacific J. Math. 275.1 (2015), pp. 39–61

    work page 2015

  52. [52]

    M. Saito. Mixed Hodge modules. Publ. Res. Inst. Math. Sci. 26.2 (1990), pp. 221–333

    work page 1990

  53. [53]

    W. Schmid. Variation of Hodge structure: the singularities of the period mapping. Invent. Math. 22 (1973), pp. 211–319

    work page 1973

  54. [54]

    Schr¨ oer

    S. Schr¨ oer. The strong Franchetta conjecture in arbitrary characteristics. Internat. J. Math. 14.4 (2003), pp. 371–396

    work page 2003

  55. [55]

    C. T. Simpson. Moduli of representations of the fundamental group of a smooth projective variety. Publications math´ ematiques de l’I.H.´E.S. 79 (1994), pp. 47–129

    work page 1994

  56. [56]

    O. Ta¨ ıbi. The Euler characteristic ofℓ-adic local systems on An. Preprint available at arXiv:2510.00656. 2025

    work page arXiv 2025

  57. [57]

    S. Tubach. On the Nori and Hodge realisations of Voevodsky motives. Compos. Math. 161.9 (2025), pp. 2155–2201

    work page 2025

  58. [58]

    F. Viviani. On the classification of fine compactified Jacobians of nodal curves (2023). Preprint available at arXiv:2310.20317. 21

    work page arXiv 2023

  59. [59]

    S. Wood. Orbifold Euler characteristics for compactified universal Jacobians over Mg,n. Math. Proc. Cambridge Philos. Soc. 179.1 (2025), pp. 1–16

    work page 2025

  60. [60]

    S. Zucker. Hodge theory with degenerating coefficients. L2 cohomology in the Poincar´ e metric. Ann. of Math. (2) 109.3 (1979), pp. 415–476. 22

    work page 1979