Abstract We classify the symplectic automorphism groups for cubic fourfolds. The main inputs are the global Torelli theorem for cubic fourfolds and the classification of the fixed-point sublattices of the Leech lattice. Among the highlights of our results, we note that there are 34 possible groups of symplectic automorphisms, with 6 maximal cases. The six maximal cases correspond to 8 non-isomorphic, and isolated in moduli, cubic fourfolds; six of them previously identified by other authors. Finally, the Fermat cubic fourfold has the largest possible order (174, 960) for the automorphism group (non-necessarily symplectic) among all smooth cubic fourfolds.
more »
« less
K-stability of cubic fourfolds
Abstract We prove that the K-moduli space of cubic fourfolds is identical to their GIT moduli space.More precisely, the K-(semi/poly)stability of cubic fourfolds coincide to the corresponding GIT stabilities, which was studied in detail by Laza. In particular, this implies that all smooth cubic fourfolds admit Kähler–Einstein metrics. Key ingredients are local volume estimates in dimension three due to Liu and Xu, and Ambro–Kawamata’s non-vanishing theorem for Fano fourfolds.
more »
« less
- Award ID(s):
- 2148266
- PAR ID:
- 10439139
- Date Published:
- Journal Name:
- Journal für die reine und angewandte Mathematik (Crelles Journal)
- Volume:
- 2022
- Issue:
- 786
- ISSN:
- 0075-4102
- Page Range / eLocation ID:
- 55 to 77
- Format(s):
- Medium: X
- Sponsoring Org:
- National Science Foundation
More Like this
-
-
Abstract The well-studied moduli space of complex cubic surfaces has three different, but isomorphic, compact realizations: as a GIT quotient$${\mathcal {M}}^{\operatorname {GIT}}$$, as a Baily–Borel compactification of a ball quotient$${(\mathcal {B}_4/\Gamma )^*}$$, and as a compactifiedK-moduli space. From all three perspectives, there is a unique boundary point corresponding to non-stable surfaces. From the GIT point of view, to deal with this point, it is natural to consider the Kirwan blowup$${\mathcal {M}}^{\operatorname {K}}\rightarrow {\mathcal {M}}^{\operatorname {GIT}}$$, whereas from the ball quotient point of view, it is natural to consider the toroidal compactification$${\overline {\mathcal {B}_4/\Gamma }}\rightarrow {(\mathcal {B}_4/\Gamma )^*}$$. The spaces$${\mathcal {M}}^{\operatorname {K}}$$and$${\overline {\mathcal {B}_4/\Gamma }}$$have the same cohomology, and it is therefore natural to ask whether they are isomorphic. Here, we show that this is in factnotthe case. Indeed, we show the more refined statement that$${\mathcal {M}}^{\operatorname {K}}$$and$${\overline {\mathcal {B}_4/\Gamma }}$$are equivalent in the Grothendieck ring, but notK-equivalent. Along the way, we establish a number of results and techniques for dealing with singularities and canonical classes of Kirwan blowups and toroidal compactifications of ball quotients.more » « less
-
Abstract We construct proper good moduli spaces parametrizing K‐polystable ‐Gorenstein smoothable log Fano pairs , where is a Fano variety and is a rational multiple of the anticanonical divisor. We then establish a wall‐crossing framework of these K‐moduli spaces as varies. The main application in this paper is the case of plane curves of degree as boundary divisors of . In this case, we show that when the coefficient is small, the K‐moduli space of these pairs is isomorphic to the GIT moduli space. We then show that the first wall crossing of these K‐moduli spaces are weighted blow‐ups of Kirwan type. We also describe all wall crossings for degree 4,5,6 and relate the final K‐moduli spaces to Hacking's compactification and the moduli of K3 surfaces.more » « less
-
We compute and compare the (intersection) cohomology of various natural geometric compactifications of the moduli space of cubic threefolds: the GIT compactification and its Kirwan blowup, as well as the Baily–Borel and toroidal compactifications of the ball quotient model, due to Allcock–Carlson–Toledo. Our starting point is Kirwan’s method. We then follow by investigating the behavior of the cohomology under the birational maps relating the various models, using the decomposition theorem in different ways, and via a detailed study of the boundary of the ball quotient model. As an easy illustration of our methods, the simpler case of the moduli space of cubic surfaces is discussed in an appendix.more » « less
-
Abstract We develop a theory of Bridgeland stability conditions and moduli spaces of semistable objects for a family of varieties. Our approach is based on and generalizes previous work by Abramovich–Polishchuk, Kuznetsov, Lieblich, and Piyaratne–Toda. Our notion includes openness of stability, semistable reduction, a support property uniformly across the family, and boundedness of semistable objects. We show that such a structure exists whenever stability conditions are known to exist on the fibers. Our main application is the generalization of Mukai’s theory for moduli spaces of semistable sheaves on K3 surfaces to moduli spaces of Bridgeland semistable objects in the Kuznetsov component associated to a cubic fourfold. This leads to the extension of theorems by Addington–Thomas and Huybrechts on the derived category of special cubic fourfolds, to a new proof of the integral Hodge conjecture, and to the construction of an infinite series of unirational locally complete families of polarized hyperkähler manifolds of K3 type. Other applications include the deformation-invariance of Donaldson–Thomas invariants counting Bridgeland stable objects on Calabi–Yau threefolds, and a method for constructing stability conditions on threefolds via degeneration.more » « less
An official website of the United States government

