The Yau-Tian-Donaldson conjecture for cohomogeneity one manifolds
Thibaut Delcroix
发表信息：
In: Cheltsov, I., Chen, X., Katzarkov, L., Park, J. (eds) Birational Geometry, Kähler-Einstein Metrics and Degenerations. Springer Proceedings in Mathematics and Statistics, vol 409. Springer, Cham. (2023)
We prove the Yau-Tian-Donaldson conjecture for cohomogeneity one manifolds, that is, for projective manifolds equipped with a holomorphic action of a compact Lie group with at least one real hypersurface orbit. Contrary to what seems to be a popular belief, such manifolds do not admit extremal Kähler metrics in all Kähler classes in general. More generally, we prove that for rank one polarized spherical varieties, G-uniform K-stability is equivalent to K-stability with respect to special G-equivariant test configurations. This is furthermore encoded by a single combinatorial condition, checkable in practice. We illustrate on examples and answer along the way a question of Kanemitsu.
The aim of this paper is to solve a uniform version of the Yau-Tian-Donaldson conjecture for polarized toric manifolds. Also, we show a combinatorial sufficient condition for uniform relative K-polystability.
Using quantization techniques, we show that the $δ$-invariant of Fujita-Odaka coincides with the optimal exponent in certain Moser-Trudinger type inequality. Consequently we obtain a uniform Yau-Tian-Donaldson theorem for the existence of twisted Kähler-Einstein metrics with arbitrary polarizations. Our approach mainly uses pluripotential theory, which does not involve Cheeger-Colding-Tian theory or the non-Archimedean language. A new computable criterion for the existence of constant scalar curvature Kähler metrics is also given.
We prove the Yau-Tian-Donaldson's conjecture for any $\mathbb{Q}$-Fano variety that has a log smooth resolution of singularities such that the discrepancies of all exceptional divisors are non-positive. In other words, if such a Fano variety is K-polystable, then it admits a Kähler-Einstein metric. This extends the previous result for smooth Fano varieties to this class of singular $\mathbb{Q}$-Fano varieties, which include those admitting crepant log resolutions.
We give a variational proof of a version of the Yau-Tian-Donaldson conjecture for twisted Kähler-Einstein currents, and use this to express the greatest (twisted) Ricci lower bound in terms of a purely algebro-geometric stability threshold. Our approach does not involve the continuity method or Cheeger-Colding-Tian theory, and uses instead pluripotential theory and valuations. Along the way, we study the relationship between geodesic rays and non-Archimedean metrics.
We prove the following result: if a $\mathbb{Q}$-Fano variety is uniformly K-stable, then it admits a Kähler-Einstein metric. We achieve this by modifying Berman-Boucksom-Jonsson's strategy with appropriate perturbative arguments and non-Archimedean estimates. The idea of using the perturbation is motivated by our previous paper.
We survey some recent developments in the direction of the Yau-Tian-Donaldson conjecture, which relates the existence of constant scalar curvature Kähler metrics to the algebro-geometric notion of K-stability. The emphasis is put on the use of pluripotential theory and the interpretation of K-stability in terms of non-Archimedean geometry.
Let $(X, D)$ be a log variety with an effective holomorphic torus action, and $Θ$ be a closed positive $(1,1)$-current. For any smooth positive function $g$ defined on the moment polytope of the torus action, we study the Monge-Ampère equations that correspond to generalized and twisted Kähler-Ricci $g$-solitons. We prove a version of Yau-Tian-Donaldson (YTD) conjecture for these general equations, showing that the existence of solutions is always equivalent to an equivariantly uniform $Θ$-twisted $g$-Ding-stability. When $Θ$ is a current associated to a torus invariant linear system, we furth…
Poisson K-stability and the semiclassical Yau--Tian--Donaldson correspondence
UQAM（魁北克大学蒙特利尔分校）；Institute of Mathematics and Informatics, Bulgarian Academy of Sciences（保加利亚科学院数学与信息学研究所）；McGill University（麦吉尔大学）；University of California, Irvine（加州大学尔湾分校）
G. Tian and S.K. Donaldson formulated a conjecture relating GIT stability of a polarized algebraic variety to the existence of a Kahler metric of constant scalar curvature. In [Don02] Donaldson partially confirmed it in the case of projective toric varieties. In this paper we extend Donaldson's results and computations to a new case, that of reductive varieties. The changes in the second version are cosmetic.
We formulate a notion of stability for maps between polarised varieties which generalises Kontsevich's definition when the domain is a curve and Tian-Donaldson's definition of K-stability when the target is a point. We give some examples, such as Kodaira embeddings and fibrations. We prove the existence of a projective moduli space of canonically polarised stable maps, generalising the Kontsevich-Alexeev moduli space of stable maps in dimensions one and two. We also state an analogue of the Yau-Tian-Donaldson conjecture in this setting, relating stability of maps to the existence of certain ca…
We derive a formula for non-Archimedean Monge-Ampère measures of big models. As applications, we derive a positive intersection formula for non-Archimedean Mabuchi functional, and further reduce the uniform Yau-Tian-Donaldson conjecture for polarized manifolds to a conjecture about the existence of approximate Zariski decompositions that satisfy some asymptotic vanishing condition.
We extend the framework of K-stability (Tian, Donaldson) to more general algebro-geometric setting, such as partial desingularisations of (fixed) singularities, (not necessarily flat) families over higher dimensional base and the classical birational geometry of surfaces. We also observe that "concavity" of the volume function implies decrease of the (generalised) Donaldson-Futaki invariants along the Minimal Model Program, in our generalised settings. Several related results on the connection with the MMP theory, some of which are new even in the original setting of families over curves, are …
In this paper we provide an explicit formula for the optimal lower bound of Donaldson's J-functional, in the sense of finding explicitly the optimal constant in the definition of coercivity, which always exists and takes negative values in general. This constant is positive precisely if the J-equation admits a solution, and the explicit formula has a number of applications. First, this leads to new existence criteria for constant scalar curvature Kähler (cscK) metrics in terms of Tian's alpha invariant. Moreover, we use the above formula to discuss Calabi dream manifolds and an analogous notio…
In this paper, we shall show that a polarized algebraic manifold is K-stable if the polarization class admits a Kaehler metric of constant scalar curvature. This generalizes the results of Chen-Tian, Donaldson and Stoppa. (Parts of the arguments are based on a forthcoming paper "A stronger concept of K-stability." )
The Hitchin-Kobayashi correspondence for vector bundles, established by Donaldson, Kobayashi, Luebke, Uhlenbeck and Yau, states that an indecomposable holomorphic vector bundle over a compact Kaehler manifold is stable in the sense of Takemoto-Mumford if and only if the vector bundle admits a Hermitian-Einstein metric. Its manifold analogue known as Yau's conjecture, which originated from Calabi's conjecture, asks whether ``stability'' and ``existence of extremal metrics'' for polarized manifolds are equivalent. In this note, the recent progress of this subject, by Donaldson, Tian and our grou…
We propose an algebraic geometric stability criterion for a polarised variety to admit an extremal Kaehler metric. This generalises conjectures by Yau, Tian and Donaldson which relate to the case of Kaehler-Einstein and constant scalar curvature metrics. We give a result in geometric invariant theory that motivates this conjecture, and an example computation that supports it.
We study the existence of extremal Kähler metrics on Kähler manifolds. After introducing a notion of relative K-stability for Kähler manifolds, we prove that Kähler manifolds admitting extremal Kähler metrics are relatively K-stable. Along the way, we prove a general $L^p$ lower bound on the Calabi functional involving test configurations and their associated numerical invariants, answering a question of Donaldson. When the Kähler manifold is projective, our definition of relative K-stability is stronger than the usual definition given by Székelyhidi. In particular our result strengthens the k…
We prove a criterion for K-stability of a $\mathbb{Q}$-Fano spherical variety with respect to equivariant special test configurations, in terms of its moment polytope and some combinatorial data associated to the open orbit. Combined with the equivariant version of the Yau-Tian-Donaldson conjecture for Fano manifolds proved by Datar and Székelyhidi, it yields a criterion for the existence of a Kähler-Einstein metric on a spherical Fano manifold. The results hold also for modified K-stability and existence of Kähler-Ricci solitons.
We formulate a notion of K-stability for Kähler manifolds, and prove one direction of the Yau-Tian-Donaldson conjecture in this setting. More precisely, we prove that the Mabuchi functional being bounded below (resp. coercive) implies K-semistability (resp. uniformly K-stable). In particular this shows that the existence of a constant scalar curvature Kähler metric implies K-semistability, and K-stability if one assumes the automorphism group is discrete. We also show how Stoppa's argument holds in the Kähler case, giving a simpler proof of this K-stability statement.
Let $X$ be any $\mathbb{Q}$-Fano variety and $\mathrm{Aut}(X)_0$ be the identity component of the automorphism group of $X$. Let $\mathbb{G}$ be a connected reductive subgroup of $\mathrm{Aut}(X)_0$ that contains a maximal torus of $\mathrm{Aut}(X)_0$. We prove that $X$ admits a Kähler-Einstein metric if and only if $X$ is $\mathbb{G}$-uniformly K-stable. This proves a version of Yau-Tian-Donaldson conjecture for arbitrary singular Fano varieties. A key new ingredient is a valuative criterion for $\mathbb{G}$-uniform K-stability.
We prove that any finite energy geodesic ray with a finite Mabuchi slope is maximal in the sense of Berman-Boucksom-Jonsson, and reduce the proof of the uniform Yau-Tian-Donaldson conjecture for constant scalar curvature Kähler metrics to Boucksom-Jonsson's regularization conjecture about the convergence of non-Archimedean entropy functional. As further applications, we show that a uniform K-stability condition for model filtrations and the $\mathcal{J}^{K_X}$-stability are both sufficient conditions for the existence of cscK metrics. The first condition is also conjectured to be necessary. Ou…
We prove continuity results for new stability thresholds related to uniform K-stability and deduce that uniform K-stability is an open condition in the Kähler cone of any compact Kähler manifold, thus establishing an algebro-geometric counterpart to a classical result of LeBrun-Simanca for constant scalar curvature (cscK) metrics. This settles a folklore conjecture in the field, and in particular implies openness of uniform K-stability for smooth polarized varieties. Moreover, it strengthens evidence supporting the uniform version of the Yau-Tian-Donaldson conjecture for arbitrary polarization…
