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
K-stability of Fano varieties via admissible flags
Abstract We develop a general approach to prove K-stability of Fano varieties. The new theory is used to (a) prove the existence of Kähler-Einstein metrics on all smooth Fano hypersurfaces of Fano index two, (b) compute the stability thresholds for hypersurfaces at generalised Eckardt points and for cubic surfaces at all points, and (c) provide a new algebraic proof of Tian’s criterion for K-stability, amongst other applications.
more »
« less
- Award ID(s):
- 2055531
- PAR ID:
- 10403248
- Date Published:
- Journal Name:
- Forum of Mathematics, Pi
- Volume:
- 10
- ISSN:
- 2050-5086
- Format(s):
- Medium: X
- Sponsoring Org:
- National Science Foundation
More Like this
-
-
We prove two new results on the K K -polystability of Q \mathbb {Q} -Fano varieties based on purely algebro-geometric arguments. The first one says that any K K -semistable log Fano cone has a special degeneration to a uniquely determined K K -polystable log Fano cone. As a corollary, we combine it with the differential-geometric results to complete the proof of Donaldson-Sun’s conjecture which says that the metric tangent cone of any point appearing on a Gromov-Hausdorff limit of Kähler-Einstein Fano manifolds depends only on the algebraic structure of the singularity. The second result says that for any log Fano variety with the torus action, K K -polystability is equivalent to equivariant K K -polystability, that is, to check K K -polystability, it is sufficient to check special test configurations which are equivariant under the torus action.more » « less
-
null (Ed.)We prove that K-polystable log Fano pairs have reductive automorphism groups. In fact, we deduce this statement by establishing more general results concerning the S-completeness and Θ-reductivity of the moduli of K-semistable log Fano pairs. Assuming the conjecture that K-semistability is an open condition, we prove that the Artin stack parametrizing K-semistable Fano varieties admits a separated good moduli space.more » « less
-
Abstract Let f : ℙ 1 → ℙ 1 {f:\mathbb{P}^{1}\to\mathbb{P}^{1}} be a map of degree > 1 {>1} defined over a function field k = K ( X ) {k=K(X)} , where K is a number field and X is a projective curve over K . For each point a ∈ ℙ 1 ( k ) {a\in\mathbb{P}^{1}(k)} satisfying a dynamical stability condition, we prove that the Call–Silverman canonical height for specialization f t {f_{t}} at point a t {a_{t}} , for t ∈ X ( ℚ ¯ ) {t\in X(\overline{\mathbb{Q}})} outside a finite set, induces a Weil height on the curve X ; i.e., we prove the existence of a ℚ {\mathbb{Q}} -divisor D = D f , a {D=D_{f,a}} on X so that the function t ↦ h ^ f t ( a t ) - h D ( t ) {t\mapsto\hat{h}_{f_{t}}(a_{t})-h_{D}(t)} is bounded on X ( ℚ ¯ ) {X(\overline{\mathbb{Q}})} for any choice of Weil height associated to D . We also prove a local version, that the local canonical heights t ↦ λ ^ f t , v ( a t ) {t\mapsto\hat{\lambda}_{f_{t},v}(a_{t})} differ from a Weil function for D by a continuous function on X ( ℂ v ) {X(\mathbb{C}_{v})} , at each place v of the number field K . These results were known for polynomial maps f and all points a ∈ ℙ 1 ( k ) {a\in\mathbb{P}^{1}(k)} without the stability hypothesis,[21, 14],and for maps f that are quotients of endomorphisms of elliptic curves E over k and all points a ∈ ℙ 1 ( k ) {a\in\mathbb{P}^{1}(k)} . [32, 29].Finally, we characterize our stability condition in terms of the geometry of the induced map f ~ : X × ℙ 1 ⇢ X × ℙ 1 {\tilde{f}:X\times\mathbb{P}^{1}\dashrightarrow X\times\mathbb{P}^{1}} over K ; and we prove the existence of relative Néron models for the pair ( f , a ) {(f,a)} , when a is a Fatou point at a place γ of k , where the local canonical height λ ^ f , γ ( a ) {\hat{\lambda}_{f,\gamma}(a)} can be computed as an intersection number.more » « less
-
To any projective pair (X,B) equipped with an ample Q-line bundle L (or even any ample numerical class), we attach a new invariant $$\beta(\mu)$$, defined on convex combinations $$\mu$$ of divisorial valuations on X , viewed as point masses on the Berkovich analytification of X . The construction is based on non-Archimedean pluripotential theory, and extends the Dervan–Legendre invariant for a single valuation – itself specializing to Li and Fujita’s valuative invariant in the Fano case, which detects K-stability. Using our $$\beta$$-invariant, we define divisorial (semi)stability, and show that divisorial semistability implies (X,B) is sublc (i.e. its log discrepancy function is non-negative), and that divisorial stability is an open condition with respect to the polarization L. We also show that divisorial stability implies uniform K-stability in the usual sense of (ample) test configurations, and that it is equivalent to uniform K-stability with respect to all norms/filtrations on the section ring of (X,L), as considered by Chi Li.more » « less
An official website of the United States government

