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   
                    
                            
                            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
- 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
- 
            
- 
            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
- 
            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
- 
            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
 An official website of the United States government
An official website of the United States government 
				
			 
					 
					
 
                                    