Pith. sign in

REVIEW 4 cited by

Enumerative invariants and wall-crossing formulae in abelian categories

Not yet reviewed by Pith; the record is open.

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 2111.04694 v1 pith:XH3LDG73 submitted 2021-11-08 math.AG

classification math.AG
keywords invariantsvirtmoduliclassesenumerativeobjectsvirtualabelian
verification ladder T0 review T1 audit T2 compute T3 formal

Signed reviews

No signed human review yet.

0 comments
abstract

Enumerative invariants in Algebraic Geometry 'count' $\tau$-(semi)stable objects $E$ with fixed topological invariants $[E]=a$ in some geometric problem, using a virtual class $[{\cal M}_a^{\rm ss}(\tau)]_{\rm virt}$ in homology, for the moduli spaces ${\cal M}_a^{\rm st}(\tau)\subseteq{\cal M}_a^{\rm ss}(\tau)$ of $\tau$-(semi)stable objects. We get numbers by taking integrals $\int_{[{\cal M}_a^{\rm ss}(\tau)]_{\rm virt}}\Upsilon$ for cohomology classes $\Upsilon$. Let $\cal A$ be a $\mathbb C$-linear abelian category in Algebraic Geometry. There are two moduli stacks of objects in $\cal A$: the usual moduli stack $\cal M$, and the 'projective linear' moduli stack $\cal M^{\rm pl}$. We give $H_*({\cal M})$ the structure of a vertex algebra, and $H_*({\cal M}^{\rm pl})$ a Lie algebra. Virtual classes $[{\cal M}_a^{\rm ss}(\tau)]_{\rm virt}$ lie in $H_*({\cal M}^{\rm pl})$. We develop a universal theory of enumerative invariants in such $\mathcal A$. Virtual classes $[{\cal M}_a^{\rm ss}(\tau)]_{\rm virt}$ are only defined when ${\cal M}_a^{\rm st}(\tau)={\cal M}_a^{\rm ss}(\tau)$. We define invariants $[{\cal M}_a^{\rm ss}(\tau)]_{\rm inv}$ in $H_*({\cal M}^{\rm pl})$ for all $a$, with $[{\cal M}_a^{\rm ss}(\tau)]_{\rm inv}=[{\cal M}_a^{\rm ss}(\tau)]_{\rm virt}$ when ${\cal M}_a^{\rm st}(\tau)={\cal M}_a^{\rm ss}(\tau)$. If $\tau,\tau'$ are stability conditions on $\cal A$, we prove a wall-crossing formula writing $[{\cal M}_a^{\rm ss}(\tau')]_{\rm inv}$ in terms of the $[{\cal M}_b^{\rm ss}(\tau)]_{\rm inv}$, using the Lie bracket on $H_*({\cal M}^{\rm pl})$. We apply our results for $\cal A$ the representations of a quiver or quiver with relations, or coh$(X)$ for $X$ a curve, surface or Fano 3-fold, or a category of 'pairs' in coh$(X)$ for $X$ a curve or surface. This proves conjectures in Gross-Joyce-Tanaka arXiv:2005.05637.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 4 Pith papers

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

  1. Virtual Jeffrey--Kirwan localisation

    math.AG 2026-07 accept novelty 7.0 of 10

    Virtual integrals over GIT quotients X//G equal Jeffrey–Kirwan residues of virtual integrals over T-fixed loci, for perfect obstruction theories and oriented (−2)-shifted symplectic structures, in cohomology and K-theory.

  2. Joyce's invariant and Virasoro Constraints for Quot schemes on curves

    math.AG 2026-08 conditional novelty 6.0 of 10

    The author introduces Joyce invariants for Quot schemes on curves, proves a wall-crossing formula and Virasoro constraints, and gives a recursive method to eliminate f-classes from virtual intersections.

  3. On the Feyzbakhsh-Thomas programme for Fano $3$-folds

    math.AG 2026-07 conditional novelty 6.0 of 10

    For Fano 3-folds with even canonical class and a generalized Bogomolov-Gieseker inequality, rank r Donaldson-Thomas invariants are universally determined by rank 0, pure dimension 2 invariants.

  4. Examples of descendent generating series for Pandharipande--Thomas stable pairs on smooth projective Fano threefolds via one-dimensional wall-crossing

    math.AG 2026-05 conditional novelty 5.0 of 10

    Explicit PT descendent large-n tails on P3, cubic threefolds and blow-ups are obtained by one-dimensional wall-crossing and agree with known formulas up to Laurent polynomials.

Pith tools