No Arabic abstract
We prove that on any log Fano pair of dimension $n$ whose stability threshold is less than $frac{n+1}{n}$, any valuation computing the stability threshold has a finitely generated associated graded ring. Together with earlier works, this implies: (a) a log Fano pair is uniformly K-stable (resp. reduced uniformly K-stable) if and only if it is K-stable (resp. K-polystable); (b) the K-moduli spaces are proper and projective; and combining with the previously known equivalence between the existence of Kahler-Einstein metric and reduced uniform K-stability proved by the variational approach, (c) the Yau-Tian-Donaldson conjecture holds for general (possibly singular) log Fano pairs.
We show that for a K-unstable Fano variety, any divisorial valuation computing its stability threshold induces a non-trivial special test configuration preserving the stability threshold. When such a divisorial valuation exists, we show that the Fano variety degenerates to a uniquely determined twisted K-polystable Fano variety. We also show that the stability threshold can be approximated by divisorial valuations induced by special test configurations. As an application of the above results and the analytic work of Datar, Szekelyhidi, and Ross, we deduce that greatest Ricci lower bounds of Fano manifolds of fixed dimension form a finite set of rational numbers. As a key step in the proofs, we adapt the process of Li and Xu producing special test configurations to twisted K-stability in the sense of Dervan.
We prove a product formula for $delta$-invariant and as an application, we show that product of K-(semi, poly)stable Fano varieties is also K-(semi, poly)stable.
We prove some criteria for uniform K-stability of log Fano pairs. In particular, we show that uniform K-stability is equivalent to $beta$-invariant having a positive lower bound. Then we study the relation between optimal destabilization conjecture and the conjectural equivalence between uniform K-stability and K-stability in the twisted setting.
We give an algebraic proof of the equivalence of equivariant K-semistability (resp. equivariant K-polystability) with geometric K-semistability (resp. geometric K-polystability). Along the way we also prove the existence and uniqueness of minimal optimal destabilizing centers on K-unstable log Fano pairs.
Tians criterion for K-stability states that a Fano variety of dimension $n$ whose alpha invariant is greater than $frac{n}{n+1}$ is K-stable. We show that this criterion is sharp by constructing singular Fano varieties with alpha invariants $frac{n}{n+1}$ that are not K-polystable for sufficiently large $n$. We also construct K-unstable Fano varieties with alpha invariants $frac{n-1}{n}$.