pith. machine review for the scientific record. sign in

arxiv: 2603.05455 · v2 · submitted 2026-03-05 · 🧮 math.AG · math.CO

Recognition: 3 theorem links

· Lean Theorem

A complete classification of modular compactifications of the universal Jacobian

Marco Fava , Nicola Pagani , Filippo Viviani
Authors on Pith no claims yet

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

classification 🧮 math.AG math.CO
keywords modular compactificationsuniversal JacobianV-functionshalf-vine typesstability domainmoduli of curvesgood moduli spacesnumerical polarizations
0
0 comments X

The pith

All modular compactifications of the universal Jacobian over the moduli space of curves are parametrized by V-functions on a stability domain of half-vine types.

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

The paper classifies every modular compactification of the universal Jacobian stack over the Deligne-Mumford compactification of the moduli space of pointed curves, both as stacks and via their relative good moduli spaces. It establishes a bijection between these compactifications and V-functions defined on a combinatorial stability domain consisting of half-vine types, which are two-component topological types with one side distinguished. Fine compactifications correspond precisely to the general V-functions in this setup. The work recovers the classical constructions coming from numerical polarizations and shows that the associated good moduli spaces are locally projective over the base moduli space.

Core claim

The central claim is that modular compactifications of the universal Jacobian over the moduli space of curves are completely parametrized by V-functions on the stability domain of half-vine types, with the fine ones being exactly the general V-functions. The classical compactifications induced by numerical polarizations are included in this parametrization, their good moduli spaces are locally projective, and the poset of all such compactifications extends the poset of regions of the classical stability hyperplane arrangement. For the case of no marked points the list reduces exactly to the constructions of Caporaso, and submaximal elements in the poset are described explicitly for all n.

What carries the argument

V-functions on the stability domain of half-vine types, which assign values to two-component topological types with a chosen side and thereby determine the compactification.

If this is right

  • Classical compactifications induced by numerical polarizations are recovered as special cases of the V-function parametrization.
  • The good moduli spaces of these compactifications are locally projective over the moduli space of curves.
  • Isomorphisms between two compactified universal Jacobians over the base are determined by equality of the corresponding V-functions.
  • The universal family admits a resolution by a compactified Jacobian over the moduli space with one additional marked point.
  • The poset of all such compactifications extends the poset of regions of the classical stability hyperplane arrangement, with explicit submaximal elements for every n.

Where Pith is reading between the lines

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

  • The combinatorial setup may make it possible to construct new compactifications systematically by choosing non-general V-functions.
  • The explicit description of the poset could be used to study wall-crossing phenomena or to compare different compactifications via their degeneration behavior.
  • Similar V-function parametrizations might apply to compactifications of other universal objects, such as higher-rank bundles or Prym varieties.
  • For practical computations the classification reduces the problem of listing compactifications to enumerating V-functions on a finite set of half-vine types.

Load-bearing premise

Every modular compactification of the universal Jacobian arises from some V-function on the given stability domain of half-vine types.

What would settle it

The discovery of even one modular compactification of the universal Jacobian over the moduli space of curves that cannot be obtained from any V-function on the half-vine stability domain would show the classification is incomplete.

read the original abstract

This is the third paper in a series, following [FPVa] and [FPVb]. We classify all modular compactifications of the universal Jacobian over $\overline{\mathcal{M}}_{g,n}$, both as stacks and as their relative good moduli spaces. Our main result gives a combinatorial parametrization of compactified universal Jacobian stacks by $V$-functions on a stability domain $\mathbb{D}_{g,n}$ of half-vine types (two-components topological types with a chosen side); under this correspondence, fine compactifications are exactly the general $V$-functions. We single out the classical compactified universal Jacobians, namely those induced by numerical polarizations (relative $\mathbb{R}$-line bundles on the universal curve $\overline{\mathcal{C}}_{g,n}/\overline{\mathcal{M}}_{g,n}$), recovering the constructions of Kass-Pagani and Melo in the fine case, and we prove that their good moduli spaces are locally projective over $\overline{\mathcal{M}}_{g,n}$. We determine when two compactified universal Jacobians are isomorphic over $\overline{\mathcal{M}}_{g,n}$ and describe a resolution of the universal family via a compactified Jacobian over $\overline{\mathcal{M}}_{g,n+1}$. Finally, we analyse the poset $\Sigma_{g,n}$ of compactified universal Jacobians, an extension of the poset of regions of the hyperplane arrangement of classical stability conditions $\mathcal{A}_{g,n}$ studied in Kass-Pagani. We prove that for $n=0$ all compactified universal Jacobians are those constructed by Caporaso. We then give an explicit description of the submaximal elements of $\Sigma_{g,n}$ for all $n$, generalizing the stability walls in the classical stability space $\mathcal{A}_{g,n}$ from Kass-Pagani's work.

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

3 major / 2 minor

Summary. The manuscript claims to classify all modular compactifications of the universal Jacobian over the Deligne-Mumford compactification of the moduli space of curves. It provides a combinatorial parametrization of these compactifications (both as stacks and their good moduli spaces) by V-functions defined on a stability domain of half-vine topological types. Fine compactifications correspond to general V-functions. The work recovers the constructions of Kass-Pagani, Melo, and Caporaso as special cases, proves local projectivity for the classical ones, determines isomorphisms between them, provides a resolution of the universal family over the moduli space with one extra marked point, and analyzes the poset structure of these compactifications, including the case of no marked points and a description of submaximal elements.

Significance. If the proofs establish the claimed bijection and exhaustiveness, this would be a substantial contribution to moduli theory by supplying a unified combinatorial framework for compactified Jacobians that encompasses prior constructions and equips them with a poset structure. The explicit parametrization, the local projectivity result for numerical polarizations, and the recovery of known cases as special instances of V-functions are notable strengths that could enable further geometric investigations.

major comments (3)
  1. [Main theorem / abstract claim] Main result on the parametrization (as stated in the abstract and introduction): the claim of a complete classification requires a rigorous proof that every modular compactification arises from some V-function on the half-vine stability domain D_{g,n}. The surjectivity direction is load-bearing; the restriction to two-component half-vine types must be shown to exhaust all possible stability conditions, and the text needs an explicit exhaustion argument or counterexample exclusion to confirm no modular compactifications lie outside this combinatorial setup.
  2. [Poset analysis] Section on the poset Sigma_{g,n}: the extension of the hyperplane arrangement poset A_{g,n} from Kass-Pagani is described via V-functions, but the construction of the partial order on general V-functions (beyond the classical numerical polarizations) requires a concrete verification that the order is well-defined and compatible with the stack isomorphisms; without this, the claimed generalization of stability walls may not hold for all n.
  3. [n=0 case] Recovery of Caporaso for n=0: the statement that all compactified universal Jacobians coincide with Caporaso's constructions when n=0 must include an explicit bijection between the V-functions on D_{g,0} and Caporaso's objects to rule out additional compactifications in this case.
minor comments (2)
  1. [Abstract and notation] Notation consistency: the stability domain is referred to as both D_{g,n} and mathbb{D}_{g,n}; uniform use of one symbol throughout would aid readability.
  2. [Abstract] The abstract introduces half-vine types as two-component topological types with a chosen side; a short self-contained definition or forward reference to the precise combinatorial definition in the series would assist readers.

Simulated Author's Rebuttal

3 responses · 0 unresolved

We thank the referee for the careful reading and insightful comments on our manuscript. We address each major comment point by point below, providing clarifications and strengthening the relevant arguments. Revisions have been made to incorporate explicit proofs and verifications as requested, improving the rigor of the classification and poset analysis.

read point-by-point responses

  1. Referee: Main result on the parametrization (as stated in the abstract and introduction): the claim of a complete classification requires a rigorous proof that every modular compactification arises from some V-function on the half-vine stability domain D_{g,n}. The surjectivity direction is load-bearing; the restriction to two-component half-vine types must be shown to exhaust all possible stability conditions, and the text needs an explicit exhaustion argument or counterexample exclusion to confirm no modular compactifications lie outside this combinatorial setup.

    Authors: We thank the referee for highlighting the need for greater explicitness in the surjectivity argument. In the revised manuscript, Section 3 has been expanded with a complete proof that any modular compactification of the universal Jacobian is determined by its restriction to two-component curves. We show that stability conditions on higher-component degenerations are uniquely determined by the two-component (half-vine) cases via the modular property and the universal curve. An explicit exhaustion argument is now included: we enumerate all possible stability parameters on half-vine types in D_{g,n} and demonstrate that they are in bijection with V-functions, with no room for additional compactifications outside this combinatorial class. This confirms the claimed parametrization is exhaustive. revision: yes

  2. Referee: Section on the poset Sigma_{g,n}: the extension of the hyperplane arrangement poset A_{g,n} from Kass-Pagani is described via V-functions, but the construction of the partial order on general V-functions (beyond the classical numerical polarizations) requires a concrete verification that the order is well-defined and compatible with the stack isomorphisms; without this, the claimed generalization of stability walls may not hold for all n.

    Authors: We agree that a concrete verification strengthens the poset construction. In the revised Section 5, we have added an explicit definition of the partial order on general V-functions via the dominance relation on their values at half-vine types. We verify well-definedness by checking reflexivity, antisymmetry, and transitivity directly from the V-function axioms. Compatibility with stack isomorphisms is shown by proving that any isomorphism over Mbar_{g,n} preserves the stability conditions on the universal curve, hence preserves the order. This holds uniformly for all n and generalizes the hyperplane arrangement poset A_{g,n} as claimed. revision: yes

  3. Referee: Recovery of Caporaso for n=0: the statement that all compactified universal Jacobians coincide with Caporaso's constructions when n=0 must include an explicit bijection between the V-functions on D_{g,0} and Caporaso's objects to rule out additional compactifications in this case.

    Authors: We have strengthened the n=0 case in the revised Section 6 by including a fully explicit bijection. Each V-function on D_{g,0} is mapped to a Caporaso stability condition by extracting the numerical polarization data from its values on half-vine types; the inverse map reconstructs the V-function from Caporaso's combinatorial data. We prove that this is bijective and that every Caporaso compactification arises this way, ruling out any additional ones. This confirms the recovery statement with full rigor. revision: yes

Circularity Check

0 steps flagged

No significant circularity; combinatorial classification is self-contained

full rationale

The paper establishes a bijection between modular compactifications of the universal Jacobian and V-functions on the stability domain D_{g,n} of half-vine types via combinatorial arguments. It recovers known constructions (Kass-Pagani, Melo, Caporaso) as special cases and builds on the prior papers [FPVa] and [FPVb] for setup, but the central parametrization does not reduce any claim to a fitted parameter, self-defined quantity, or load-bearing self-citation chain. The derivation remains independent of its own outputs, with no step where a prediction or uniqueness result collapses to an input by construction.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 1 invented entities

The classification rests on the existence of a stability domain D_{g,n} of half-vine types and on the definition of V-functions; these appear to be introduced or refined in the series rather than pulled from unrelated literature.

axioms (1)
  • domain assumption Modular compactifications correspond to certain stability conditions on the universal curve that admit good moduli spaces.
    Invoked when stating that the parametrization covers all modular compactifications.
invented entities (1)
  • V-function on half-vine types no independent evidence
    purpose: To parametrize all modular compactifications combinatorially.
    New combinatorial object introduced to label the compactifications; no independent evidence outside the paper is mentioned.

pith-pipeline@v0.9.0 · 5640 in / 1371 out tokens · 32689 ms · 2026-05-15T15:10:55.598697+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

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

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Universal compactified Jacobians: cohomological invariance and boundary combinatorics

    math.AG 2026-04 unverdicted novelty 5.0

    Cohomology of compactified Jacobians is independent of degree and stability condition, shown by direct summation over strata.