K-stability of cubic fourfolds

From MaRDI portal
Publication:2673071



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"ahler-Einstein metrics. Key ingredients are local volume estimates in dimension three due to Liu-Xu, and Ambro-Kawamata's non-vanishing theorem for Fano fourfolds.


This paper studies the K-stability of cubic \(4\)-folds. K-stability is an algebraic stability condition which is used to construct moduli spaces of Fano varieties, which is known as the K-moduli theory. It is expected that smooth Fano hypersurfaces are K-stable and admits Kähler-Einstein metrics. The main result of this paper shows that if \(X\) is a cubic hypersurface in \(\mathbb{P}^5\) (i.e. a cubic \(4\)-fold), then \(X\) is K-(semi/poly)stable iff \(X\) is GIT (semi/poly)stable. In particular, the K-moduli space parametrizing K-polystable \(\mathbb{Q}\)-Fano varieties admitting \(\mathbb{Q}\)-Gorenstein smoothings to smooth cubic \(4\)-fold is isomorphic to the GIT moduli space of cubic fourfolds. As corollaries, any smooth cubic \(4\)-fold is K-stable. In fact, \textit{Y. Liu} and \textit{C. Xu} established a framework in [Duke Math. J. 168, No. 11, 2029--2073 (2019; Zbl 1436.14085)] which reduces the K-stability problem of cubic hypersurface to the ODP Gap conjecture of local volumes, namely, if \((x\in X)\) is a non-smooth klt singularity of dimension \(n\), then \(\widehat{\text{vol}}(x, X)\leq 2(n-1)^n\), and the equality holds iff \(x\) is an ordinary double point. In [loc. cit.], it was shown that the ODP Gap conjecture holds in dimension \(3\). Such conjecture is used to show that the K-semistable limits of cubic hypersurfaces are still hypersurfaces. In this paper, instead of showing the ODP Gap conjecture in the full generality, the author shows the ODP Gap conjecture holds for local complete intersections (in arbitrary dimension), which turns out to be sufficient for the K-stability problem of cubic \(4\)-folds.



Cites work









This page was built for publication: K-stability of cubic fourfolds

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2673071)