Using the algebraic criterion proved by Bandiera, Manetti and Meazzini, we show the formality conjecture for universally gluable objects with linearly reductive automorphism groups in the bounded derived category of a K3 surface. As an application, we prove the formality conjecture for polystable objects in the Kuznetsov components of Gushel–Mukai threefolds and quartic double solids.
- NSF-PAR ID:
- 10328825
- Date Published:
- Journal Name:
- Publications mathématiques de l'IHÉS
- Volume:
- 133
- Issue:
- 1
- ISSN:
- 0073-8301
- Page Range / eLocation ID:
- 157 to 325
- Format(s):
- Medium: X
- Sponsoring Org:
- National Science Foundation
More Like this
-
Abstract -
Abstract We apply the machinery of Bridgeland stability conditions on derived categories of coherent sheaves to describe the geometry of classical moduli spaces associated with canonical genus 4 space curves via an effective control over its wall‐crossing. This article provides the first description of a moduli space of Pandharipande–Thomas stable pairs that is used as an intermediate step toward the description of the associated Hilbert scheme, which in turn is the first example where the components of a classical moduli space were completely determined via wall‐crossing. We give a full list of irreducible components of the space of stable pairs, along with a birational description of each component, and a partial list for the Hilbert scheme. There are several long standing open problems regarding classical sheaf theoretic moduli spaces, and the present work will shed light on further studies of such moduli spaces such as Hilbert schemes of curves and moduli of stable pairs that are very hard to tackle without the wall‐crossing techniques.
-
We formulate a version of the integral Hodge conjecture for categories, prove the conjecture for two-dimensional Calabi–Yau categories which are suitably deformation equivalent to the derived category of a K3 or abelian surface, and use this to deduce cases of the usual integral Hodge conjecture for varieties. Along the way, we prove a version of the variational integral Hodge conjecture for families of two-dimensional Calabi–Yau categories, as well as a general smoothness result for relative moduli spaces of objects in such families. Our machinery also has applications to the structure of intermediate Jacobians, such as a criterion in terms of derived categories for when they split as a sum of Jacobians of curves.more » « less
-
Abstract We show that the K-moduli spaces of log Fano pairs $$({\mathbb {P}}^3, cS)$$ ( P 3 , c S ) where S is a quartic surface interpolate between the GIT moduli space of quartic surfaces and the Baily–Borel compactification of moduli of quartic K3 surfaces as c varies in the interval (0, 1). We completely describe the wall crossings of these K-moduli spaces. As the main application, we verify Laza–O’Grady’s prediction on the Hassett–Keel–Looijenga program for quartic K3 surfaces. We also obtain the K-moduli compactification of quartic double solids, and classify all Gorenstein canonical Fano degenerations of $${\mathbb {P}}^3$$ P 3 .more » « less
-
We study the moduli stack of degree 0 0 semistable G G -bundles on an irreducible curve E E of arithmetic genus 1 1 , where G G is a connected reductive group in arbitrary characteristic. Our main result describes a partition of this stack indexed by a certain family of connected reductive subgroups H H of G G (the E E -pseudo-Levi subgroups), where each stratum is computed in terms of H H -bundles together with the action of the relative Weyl group. We show that this result is equivalent to a Jordan–Chevalley theorem for such bundles equipped with a framing at a fixed basepoint. In the case where E E has a single cusp (respectively, node), this gives a new proof of the Jordan–Chevalley theorem for the Lie algebra g \mathfrak {g} (respectively, algebraic group G G ). We also provide a Tannakian description of these moduli stacks and use it to show that if E E is not a supersingular elliptic curve, the moduli of framed unipotent bundles on E E are equivariantly isomorphic to the unipotent cone in G G . Finally, we classify the E E -pseudo-Levi subgroups using the Borel–de Siebenthal algorithm, and compute some explicit examples.more » « less