skip to main content
US FlagAn official website of the United States government
dot gov icon
Official websites use .gov
A .gov website belongs to an official government organization in the United States.
https lock icon
Secure .gov websites use HTTPS
A lock ( lock ) or https:// means you've safely connected to the .gov website. Share sensitive information only on official, secure websites.


Title: 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
Author(s) / Creator(s):
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
  1. 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
  2. We compute a complete set of isomorphism classes of cubic fourfolds over F 2 \mathbb {F}_2 . Using this, we are able to compile statistics about various invariants of cubic fourfolds, including their counts of points, lines, and planes; all zeta functions of the smooth cubic fourfolds over F 2 \mathbb {F}_2 ; and their Newton polygons. One particular outcome is the number of smooth cubic fourfolds over F 2 \mathbb {F}_2 , which we fit into the asymptotic framework of discriminant complements. Another motivation is the realization problem for zeta functions of K 3 K3 surfaces. We present a refinement to the standard method of orbit enumeration that leverages filtrations and gives a significant speedup. In the case of cubic fourfolds, the relevant filtration is determined by Waring representation and the method brings the problem into the computationally tractable range. 
    more » « less
  3. 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
  4. 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
  5. 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