Universal Fine Compactified Jacobian

• Universal Fine Compactified Jacobian is a moduli compactification replacing degree d line bundles with rank‑1, torsion‑free sheaves subject to a stability condition over stable pointed curves.
• It employs combinatorial stability spaces and wall-crossing techniques to classify modular compactifications, highlighting differences between pointed and unpointed cases.
• The theory ensures common invariants like orbifold Euler characteristics while revealing nuanced differences in the cohomology rings under various stability conditions.

A universal fine compactified Jacobian is a modular compactification of the universal Jacobian over the moduli stack $\overline{\mathcal M}_{g,n}$ of stable $n$-pointed curves, obtained by replacing degree $d$ line bundles on smooth curves with rank-$1$, torsion-free, simple sheaves on stable curves and imposing a stability condition. In the pointed case, these compactifications form a large family of proper Deligne–Mumford stacks depending nontrivially on the degree and on the chosen stability data; in the unpointed case, by contrast, the fine theory is essentially rigid and recovers the classical Caporaso–Pandharipande–Simpson picture (Fava, 2024, Pagani et al., 2023).

1. Moduli-theoretic definition

Over $\mathcal M_{g,n}$, the universal Jacobian $\mathcal J^d_{g,n}$ parametrizes degree $d$ line bundles on pointed smooth curves, with fiber over a curve $C$ equal to the classical Jacobian $J^d(C)$. Extending this object over $\overline{\mathcal M}_{g,n}$ requires a proper replacement for the non-proper Jacobian of a singular curve. The standard replacement is the moduli of rank-$n$0, torsion-free, simple sheaves of degree $n$1; a fine compactified Jacobian is an open proper subspace cut out by a stability condition (Wood, 2024).

In the marked setting, one can construct modular compactifications by fixing a vector bundle $n$2 on the universal curve and requiring $n$3-semistability or quasistability. On the locus of stable marked curves, these compactifications are Deligne–Mumford irreducible smooth stacks endowed with projective moduli spaces, and they admit structural operations such as forgetful morphisms, clutching morphisms, and sections from the moduli stack of stable curves (Melo, 2015). The fine condition is the moduli-theoretic assertion that the compactification carries a universal sheaf, up to the usual twist by pullback from the base.

A parallel local theory exists for a single singular curve and its semiuniversal deformation. For a reduced curve $n$4 with a general polarization $n$5, the universal fine compactified Jacobian over the semiuniversal deformation space parametrizes families of $n$6-stable rank-$n$7, torsion-free sheaves fiberwise; for locally planar singularities this family is projective and flat, with regular irreducible total space and trivial relative dualizing sheaf (Melo et al., 2014). This deformation-theoretic model underlies many later universal constructions over $n$8.

2. Stability conditions and classification

The foundational combinatorial formalism is the Oda–Seshadri stability space $n$9, an affine space of stability parameters compatible with all dual graphs of stable pointed curves. It carries a decomposition into rational bounded convex stability polytopes, and each polytope determines a proper Deligne–Mumford stack $d$0 parametrizing $d$1-stable rank-$d$2, torsion-free sheaves of degree $d$3 (Kass et al., 2017). Crossing a wall changes the stable multidegrees and produces birational wall-crossing among compactified universal Jacobians.

This framework was generalized by the introduction of universal stability conditions. For fixed $d$4, there is a bijection between degree $d$5 fine compactified universal Jacobians of type $d$6 and degree $d$7 universal stability conditions of type $d$8. In this classification, the subclass induced by numerical polarizations is strict in general: for any $d$9, the inclusion of fine compactified universal Jacobians whose geometric fibers are classical into the class of all fine compactified universal Jacobians is strict in general (Fava, 2024).

A further refinement classifies all modular compactifications, fine or not, by $1$0-functions on a stability domain $1$1 of half-vine types. Under this correspondence, fine compactifications are exactly the general $1$2-functions, and classical compactified universal Jacobians are precisely those induced by numerical polarizations, namely relative $1$3-line bundles on the universal curve. The resulting poset $1$4 extends the hyperplane-arrangement picture of classical stability conditions, and for fixed $1$5 and characteristic there are only finitely many isomorphism classes modulo the natural group action (Fava et al., 5 Mar 2026).

The unpointed case $1$6 is exceptional. Every fine compactified universal Jacobian over $1$7 is isomorphic to one of the classical constructions of Caporaso, Pandharipande, and Simpson, and such a fine universal compactification exists if and only if

$1$8

Thus the unpointed universal theory has no non-classical fine examples (Pagani et al., 2023).

3. Boundary combinatorics, stratifications, and local models

Universal fine compactified Jacobians are controlled by the combinatorics of stable graphs. They admit a locally closed stratification indexed by dual graphs $1$9, refined by spanning trees and multidegrees, in a way compatible with the stratification of $\mathcal M_{g,n}$0. Fiberwise, the compactified Jacobian over a curve $\mathcal M_{g,n}$1 stratifies into pieces described by generalized Jacobians of partial normalizations of $\mathcal M_{g,n}$2. In a different but compatible description, each global stratum is roughly a torus bundle over a product of universal Jacobians of the components (Wood, 2024, Pandharipande et al., 20 Apr 2026).

For the special degrees $\mathcal M_{g,n}$3 and $\mathcal M_{g,n}$4, the boundary combinatorics can be expressed in graph-theoretic terms. In degree $\mathcal M_{g,n}$5, stable divisors are encoded by totally cyclic orientations on spanning subgraphs; in degree $\mathcal M_{g,n}$6, they are encoded by rooted $\mathcal M_{g,n}$7-orientations. The corresponding posets of orientation classes give graded stratifications of the compactified universal Jacobians compatible with the edge-contraction stratification of $\mathcal M_{g,n}$8 (Caporaso et al., 2018). This produces a precise combinatorial model for closures of strata and for degeneration along the boundary.

The completed local rings of universal compactified Jacobians are also explicit. If $\mathcal M_{g,n}$9 is a stable curve with no nontrivial automorphisms, $\mathcal J^d_{g,n}$0 is a polystable rank-$\mathcal J^d_{g,n}$1, torsion-free sheaf, $\mathcal J^d_{g,n}$2 is the dual graph associated to the non-locally-free nodes of $\mathcal J^d_{g,n}$3, and $\mathcal J^d_{g,n}$4, then

$\mathcal J^d_{g,n}$5

with

$\mathcal J^d_{g,n}$6

This identifies the local structure with an invariant subring of a power-series ring built directly from the graph $\mathcal J^d_{g,n}$7. For compactified Jacobians of nodal curves, the same formalism implies Gorenstein, semi log canonical, and seminormal singularities, and it characterizes the smooth locus by the condition that the sheaf fails to be locally free only at separating nodes (Casalaina-Martin et al., 2011).

4. Topology, Hodge theory, and cohomological invariance

A striking global invariant is the orbifold Euler characteristic. For any degree $\mathcal J^d_{g,n}$8 fine universal compactified Jacobian over $\mathcal J^d_{g,n}$9,

$d$0

where $d$1 is the set of stable graphs of genus $d$2 with $d$3 legs and all vertices of genus $d$4, and $d$5 is the number of spanning trees of $d$6. This sum reduces to

$d$7

In particular, the orbifold Euler characteristic is independent of the degree $d$8 and of the choice of fine universal compactified Jacobian (Wood, 2024).

The cohomology groups satisfy a parallel invariance statement. For any degrees $d$9 and any Pagani–Tommasi stability conditions $C$0, one has

$C$1

as $C$2-Hodge structures, hence the Hodge numbers are independent of $C$3 and $C$4. The proof can be organized by summing the contributions of individual boundary strata and using equivariant bijections of the relevant multidegree data (Pandharipande et al., 20 Apr 2026).

This invariance does not extend to the cohomology ring. For $C$5, there exist nondegenerate stability conditions $C$6 and degrees $C$7 such that

$C$8

as graded $C$9-algebras. However, the associated graded ring for the perverse filtration,

$J^d(C)$0

is independent of degree and nondegenerate stability condition; this is the intrinsic cohomology ring of the universal compactified Jacobian (Bae et al., 6 Sep 2025). A common misconception is therefore excluded: invariance of Hodge structures or Euler characteristics does not imply invariance of multiplicative structure.

In genus $J^d(C)$1, the rigidity of additive invariants is particularly transparent. All genus-$J^d(C)$2 fine compactified universal Jacobians have the same Betti and Hodge numbers for fixed $J^d(C)$3, and their even cohomology is algebraic (Pagani et al., 2020).

5. Tropical, non-Archimedean, and Abel–Jacobi perspectives

The universal tropical Jacobian provides a tropical model for the pointed universal theory. For a universal genus-$J^d(C)$4 polarization $J^d(C)$5 of degree $J^d(C)$6, the space $J^d(C)$7 is a generalized cone complex over the moduli space of stable pointed tropical curves; its points parametrize isomorphism classes of triples $J^d(C)$8, where $J^d(C)$9 is a $\overline{\mathcal M}_{g,n}$0-quasistable divisor of degree $\overline{\mathcal M}_{g,n}$1. Its natural compactification $\overline{\mathcal M}_{g,n}$2 is canonically identified with the Berkovich skeleton of Esteves’ universal compactified Jacobian over $\overline{\mathcal M}_{g,n}$3, compatibly with the forgetful maps to tropical and algebraic moduli of curves (Abreu et al., 2018).

For one-parameter smoothings, compactified Jacobians admit a non-Archimedean interpretation as Mumford models of the generic Jacobian. The relevant admissible polytopal decomposition of the tropical Jacobian is determined explicitly by the chosen stability data. In degree $\overline{\mathcal M}_{g,n}$4, there is a unique compactified Jacobian encoding slope stability, and it is induced by the tropical break divisor decomposition; wall-crossing corresponds to refinements of the decomposition and gives toroidal morphisms between compactified Jacobians (Christ et al., 2019).

The Abel–Jacobi viewpoint leads to smooth birational models adapted to universal compactified Jacobians. For a small generic universal stability condition $\overline{\mathcal M}_{g,n}$5, the spaces $\overline{\mathcal M}_{g,n}$6 resolve the Abel–Jacobi section to the compactified Jacobian $\overline{\mathcal M}_{g,n}$7, lie inside the stack $\overline{\mathcal M}_{g,n}$8, and yield smooth modular blowups $\overline{\mathcal M}_{g,n}$9 of $n$00. The universal line bundle

$n$01

is universally $n$02-stable and defines a global Abel–Jacobi section

$n$03

which is used to study the logarithmic double ramification cycle (Molcho, 2022).

6. Distinguished regimes and structural contrasts

The geometry of universal fine compactified Jacobians is governed by a sharp dichotomy between the unpointed and pointed theories. For $n$04, all compactified universal Jacobians are those constructed by Caporaso, and the fine locus exists only under the coprimality condition $n$05 (Fava et al., 5 Mar 2026, Pagani et al., 2023). For $n$06, the moduli problem is substantially richer: different stability conditions can produce non-isomorphic stacks, and the boundary geometry varies in ways not detected by cohomology groups or by the orbifold Euler characteristic (Pandharipande et al., 20 Apr 2026).

Genus $n$07 already exhibits this pointed flexibility. Degree $n$08 fine compactified universal Jacobians over $n$09 are classified by pairs $n$10, where $n$11 is a mildly superadditive integer-valued function and $n$12 is an integer-valued function on subsets of the marking set. For $n$13, there are exotic examples that do not arise from any universal polarization (Pagani et al., 2020). More generally, for $n$14, the class of all fine compactified universal Jacobians is strictly larger than the class induced by numerical polarizations (Fava, 2024).

The modern classification theory therefore separates several notions that were historically conflated: classical versus non-classical stability, fine versus non-fine modular compactification, additive invariance versus ring-theoretic sensitivity, and algebraic versus tropical or non-Archimedean realizations. The universal fine compactified Jacobian is not a single moduli space but a stability-dependent family of moduli spaces whose common features are best understood through graph combinatorics, deformation theory, and the geometry of $n$15.