Related papers: Properness of log $F$-functionals

We develop a general approach to prove K-stability of Fano varieties. The new theory is used to (a) prove the existence of K\"ahler-Einstein metrics on all smooth Fano hypersurfaces of Fano index two, (b) to compute the stability thresholds…

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…

We study the problem of existence of K\"ahler--Einstein metrics on smooth Fano threefolds of Picard rank one and anticanonical degree $22$ that admit a faithful action of the multiplicative group $\mathbb{C}^\ast$. We prove that, except…

We develop a variational calculus for a certain free energy functional on the space of all probability measures on a Kahler manifold X. This functional can be seen as a generalization of Mabuchi's K-energy functional and its twisted…

We prove the existence of Kahler-Einstein metrics on Q-Gorenstein smoothable, K-polystable Q-Fano varieties, and we show how these metrics behave, in the Gromov-Hausdorff sense, under Q-Gorenstein smoothings.

We give a criterion for the coercivity of the Mabuchi functional for general K\"ahler classes on Fano manifolds in terms of Tian's alpha invariant. This generalises a result of Tian in the anti-canonical case implying the existence of a…

Consider a polarized complex manifold (X,L) and a ray of positive metrics on L defined by a positive metric on a test configuration for (X,L). For most of the common functionals in K\"ahler geometry, we prove that the slope at infinity…

We continue the investigation into the computational status of the existence of moduli of regularity (and their use for rates of convergence) in the sense of Kohlenbach, Lopez and Nicolae (2019), carried out w.r.t. classical reverse…

In this short note, we prove that on a compact K\"ahler variety $X$ with log terminal singularities and $c_1(X)=0$, any singular Ricci-flat K\"ahler metric has orbifold singularities in restriction to the orbifold locus of $X$.

In this short note, we consider a fiberation f: (X, Delta) to Y between two compact Kahler manifolds with generic fiber of f being a smooth log canonical pair with ample canonical divisor, we prove that the current induced by variation of…

Let $G$ be a complex, connect reductive Lie group which is the complexification of a compact Lie group $K$. Let $M$ be a $\mathbb Q$-Fano $G$-compactification. In this paper, we first prove the uniqueness of $K\times K$-invariant (singular)…

We establish the existence of a regular functional $M$-position, in the sense of Pisier, for geometric log-concave functions. This provides a functional analogue of Pisier's regular $M$-positions for convex bodies and yields uniform control…

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\"ahler cone of any compact K\"ahler manifold, thus establishing an algebro-geometric…

We prove a Tauberian theorem for the Laplace--Stieltjes transform and Karamata-type theorems in the framework of regularly log-periodic functions. As an application we determine the exact tail behavior of fixed points of certain type…

Well-known conjectures of Tian predict that existence of canonical Kahler metrics should be equivalent to various notions of properness of Mabuchi's K-energy functional. In some instances this has been verified, especially under restrictive…

We present the design, implementation, and foundation of a verifier for higher-order functional programs with generics and recursive data types. Our system supports proving safety and termination using preconditions, postconditions and…

In this paper, we prove the Skoda-Zeriahi type integrability theorem with respect to some measure with $L^1$-density. In addition, we introduce the log-log threshold in order to detect singularities of K\"{a}hler potentials. We prove the…

We prove an existence result for twisted K\"ahler-Einstein metrics, assuming an appropriate twisted K-stability condition. An improvement over earlier results is that certain non-negative twisting forms are allowed.

In this paper, exact rate of approximation of functions by linear means of Fourier series and Fourier integrals and corresponding $K$-functionals are expressed via special moduli of smoothness. . Introduction is given in $\S 1$. In $\S2$…

In this paper, we prove an existence result for K\"ahler-Einstein metrics on $\mathbb Q$-Fano compactifications of Lie groups. As an application, we classify $\mathbb Q$-Fano compactifications of $SO_4(\mathbb C)$ which admit a…