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: Reductivity of the automorphism group of K-polystable Fano varieties.
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
Award ID(s):
1945478
PAR ID:
10276279
Author(s) / Creator(s):
; ; ;
Date Published:
Journal Name:
Inventiones mathematicae
Volume:
222
Issue:
3
ISSN:
0020-9910
Page Range / eLocation ID:
995–1032
Format(s):
Medium: X
Sponsoring Org:
National Science Foundation
More Like this
  1. 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
  2. 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
  3. 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
  4. Abstract We show that the K-moduli spaces of log Fano pairs $$\left(\mathbb {P}^1\times \mathbb {P}^1, cC\right)$$ , where C is a $(4,4)$ curve and their wall crossings coincide with the VGIT quotients of $(2,4)$ , complete intersection curves in $$\mathbb {P}^3$$ . This, together with recent results by Laza and O’Grady, implies that these K-moduli spaces form a natural interpolation between the GIT moduli space of $(4,4)$ curves on $$\mathbb {P}^1\times \mathbb {P}^1$$ and the Baily–Borel compactification of moduli of quartic hyperelliptic K3 surfaces. 
    more » « less
  5. Abstract We prove an algebraic version of the Hamilton–Tian conjecture for all log Fano pairs. More precisely, we show that any log Fano pair admits a canonical two-step degeneration to a reduced uniformly Ding stable triple, which admits a Kähler–Ricci soliton when the ground field . 
    more » « less