-
Intrinsic Donaldson-Thomas theory. II. Stability measures and invariants
Authors:
Chenjing Bu,
Andrés Ibáñez Núñez,
Tasuki Kinjo
Abstract:
This is the second paper in a series on intrinsic Donaldson-Thomas theory, a framework for studying the enumerative geometry of general algebraic stacks.
In this paper, we present the construction of Donaldson-Thomas invariants for general $(-1)$-shifted symplectic derived Artin stacks, generalizing the constructions of Joyce-Song and Kontsevich-Soibelman for moduli stacks of objects in $3$-Cala…
▽ More
This is the second paper in a series on intrinsic Donaldson-Thomas theory, a framework for studying the enumerative geometry of general algebraic stacks.
In this paper, we present the construction of Donaldson-Thomas invariants for general $(-1)$-shifted symplectic derived Artin stacks, generalizing the constructions of Joyce-Song and Kontsevich-Soibelman for moduli stacks of objects in $3$-Calabi-Yau abelian categories. Our invariants are defined using rings of motives, and depend intrinsically on the stack, together with a set of combinatorial data similar to a stability condition, called a stability measure on the component lattice of the stack. For our invariants to be well-defined, we prove a generalization of Joyce's no-pole theorem to general stacks, using a simpler and more conceptual argument than the original proof in the abelian category case.
Further properties and applications of these invariants, such as wall-crossing formulae, will be discussed in a forthcoming paper.
△ Less
Submitted 27 February, 2025;
originally announced February 2025.
-
Intrinsic Donaldson-Thomas theory. I. Component lattices of stacks
Authors:
Chenjing Bu,
Daniel Halpern-Leistner,
Andrés Ibáñez Núñez,
Tasuki Kinjo
Abstract:
This is the first paper in a series on intrinsic Donaldson-Thomas theory, a generalization of Donaldson-Thomas theory from the linear case, or the case of moduli stacks of objects in $3$-Calabi-Yau abelian categories, to the non-linear case of general $(-1)$-shifted symplectic stacks. This is done by developing a new framework for studying the enumerative geometry of general algebraic stacks, and…
▽ More
This is the first paper in a series on intrinsic Donaldson-Thomas theory, a generalization of Donaldson-Thomas theory from the linear case, or the case of moduli stacks of objects in $3$-Calabi-Yau abelian categories, to the non-linear case of general $(-1)$-shifted symplectic stacks. This is done by developing a new framework for studying the enumerative geometry of general algebraic stacks, and we expect that this framework can also be applied to extending other types of enumerative theories for linear stacks to the non-linear case.
In this paper, we establish the foundations of our framework. We introduce the component lattice of an algebraic stack, which is the key combinatorial object in our theory. It generalizes and globalizes the cocharacter lattice and the Weyl group of an algebraic group, and is defined as the set of connected components of the stack of graded points of the original stack.
We prove several results on the structure of graded and filtered points of a stack using the component lattice. The first is the constancy theorem, which states that there is a wall-and-chamber structure on the component lattice, such that the isomorphism types of connected components of the stacks of graded and filtered points stay constant within each chamber. The second is the finiteness theorem, providing a criterion for the finiteness of the number of possible isomorphism types of these components. The third is the associativity theorem, generalizing the structure of Hall algebras from linear stacks to general stacks, involving a notion of Hall categories.
Finally, we discuss some applications of these results outside Donaldson-Thomas theory, including a construction of stacks of real-weighted filtrations, and a generalization of the semistable reduction theorem to real-weighted filtrations.
△ Less
Submitted 19 February, 2025;
originally announced February 2025.
-
Cohomology of symmetric stacks
Authors:
Chenjing Bu,
Ben Davison,
Andrés Ibáñez Núñez,
Tasuki Kinjo,
Tudor Pădurariu
Abstract:
We construct decompositions of:
(1) the cohomology of smooth stacks,
(2) the Borel--Moore homology of $0$-shifted symplectic stacks, and
(3) the vanishing cycle cohomology of $(-1)$-shifted symplectic stacks,
assuming a good moduli space exists and the tangent space has a pointwise orthogonal structure. These conditions are satisfied by many stacks of interest, including moduli stacks of s…
▽ More
We construct decompositions of:
(1) the cohomology of smooth stacks,
(2) the Borel--Moore homology of $0$-shifted symplectic stacks, and
(3) the vanishing cycle cohomology of $(-1)$-shifted symplectic stacks,
assuming a good moduli space exists and the tangent space has a pointwise orthogonal structure. These conditions are satisfied by many stacks of interest, including moduli stacks of semistable $G$-bundles and (twisted) $G$-Higgs bundles on curves, $G$-character stacks of oriented closed 2-manifolds and various 3-manifolds, and moduli stacks of semistable coherent sheaves on Calabi--Yau threefolds and K3 surfaces with generic polarization. As a special case, we prove a PBW-type theorem for cohomological Hall algebras of $3$-Calabi--Yau categories with commutative orientation data, a strong form of the cohomological integrality conjecture for such categories. We define the BPS cohomology as the primary summand of the decomposition. When the stack is smooth, the BPS cohomology coincides with the intersection cohomology of the good moduli space, generalizing a theorem of Meinhardt--Reineke. Using the BPS cohomology for singular spaces, we propose a formulation of the topological mirror symmetry conjecture for the stack of $G$-Higgs bundles generalizing the work of Hausel and Thaddeus for type A groups, and a version of Langlands duality for character stacks of compact oriented 3-manifolds, following Ben-Zvi--Gunningham--Jordan--Safronov.
△ Less
Submitted 31 May, 2025; v1 submitted 6 February, 2025;
originally announced February 2025.
-
Refined Harder-Narasimhan filtrations in moduli theory
Authors:
Andrés Ibáñez Núñez
Abstract:
We define canonical refinements of Harder-Narasimhan filtrations and stratifications in moduli theory, generalising and relating work of Haiden-Katzarkov-Kontsevich-Pandit and Kirwan. More precisely, we define a canonical stratification on any noetherian algebraic stack $\mathcal X$ with affine diagonal that admits a good moduli space and is endowed with a norm on graded points. The strata live in…
▽ More
We define canonical refinements of Harder-Narasimhan filtrations and stratifications in moduli theory, generalising and relating work of Haiden-Katzarkov-Kontsevich-Pandit and Kirwan. More precisely, we define a canonical stratification on any noetherian algebraic stack $\mathcal X$ with affine diagonal that admits a good moduli space and is endowed with a norm on graded points. The strata live in a newly defined stack of sequential filtrations of $\mathcal X$. Therefore the stratification gives a canonical sequential filtration, the iterated balanced filtration, for each point of $\mathcal X$. Examples of applicability include moduli of principal bundles on a curve, moduli of objects at the heart of a Bridgeland stability condition and moduli of K-semistable Fano varieties. We conjecture that the iterated balanced filtration describes the asymptotics of the Kempf-Ness flow in Geometric Invariant Theory, as part of a larger project aiming to describe the asymptotics of natural flows in moduli theory. In the case of quotient stacks by diagonalisable algebraic groups, we give an explicit description of the iterated balanced filtration in terms of convex geometry.
△ Less
Submitted 29 November, 2023;
originally announced November 2023.
-
Relative étale slices and cohomology of moduli spaces
Authors:
Mark Andrea de Cataldo,
Andres Fernandez Herrero,
Andrés Ibáñez Núñez
Abstract:
We use techniques of Alper-Hall-Rydh to prove a local structure theorem for smooth morphisms between smooth stacks around points with linearly reductive stabilizers. This implies that the good moduli space of a smooth stack over a base has equisingular fibers. As an application, we show that any two fibers have isomorphic $\ell$-adic cohomology rings and intersection cohomology groups. If we work…
▽ More
We use techniques of Alper-Hall-Rydh to prove a local structure theorem for smooth morphisms between smooth stacks around points with linearly reductive stabilizers. This implies that the good moduli space of a smooth stack over a base has equisingular fibers. As an application, we show that any two fibers have isomorphic $\ell$-adic cohomology rings and intersection cohomology groups. If we work over the complex numbers, we show that the family is topologically locally trivial on the base, and that the intersection cohomology groups of the fibers fit into a polarizable variation of pure Hodge structures. We apply these results to derive some consequences for the moduli spaces of $G$-bundles on smooth projective curves, and for certain moduli spaces of sheaves on del Pezzo surfaces.
△ Less
Submitted 17 December, 2024; v1 submitted 1 July, 2023;
originally announced July 2023.
