In this paper we introduce the interpolationdegeneration strategy to study KhlerEinstein metrics on a smooth Fano manifold with cone singularities along a smooth divisor that is proportional to the anti-canonical divisor. By interpolation we show the angles in (0, 2] that admit a conical KhlerEinstein metric form a connected interval, and by degeneration we determine the boundary of the interval in some important cases. As a first application, we show that there exists a KhlerEinstein metric on P 2 with cone singularity along a smooth conic (degree 2) curve if and only if the angle is in (/2, 2]. When the angle is 2/3 this proves the existence of a SasakiEinstein metric on the link of a three dimensional <i>A</i> ₂ singularity, and thus answers a question posed by GauntlettMartelliSparksYau. As a second application we prove a version of Donaldsons conjecture about conical Khler

No abstract uploaded!

We determine a global structure of the moduli space of self-dual metrics on 3CP2 satisfying the following three properties: (i) the scalar curvature is of positive type, (ii) they admit a non-trivial Killing field, (iii) they are not conformal to the LeBrun’s self- dual metrics based on the ‘hyperbolic ansatz’. We prove that the moduli space of these metrics is isomorphic to an orbifold R3/G, where G is an involution of R3 having two-dimensional fixed locus. In particular, the moduli space is non-empty and connected. We also remark that Joyce’s self-dual metrics with torus symmetry appear as a limit of our self-dual metrics. Our proof of the result is based on the twistor theory. We first determine a defining equation of a projective model of the twistor space of the metric, and then prove that the projective model is always birational to a twistor space, by determining the family of twistor lines. In determining them, a key role is played by a classical result in algebraic geometry that a smooth plane quartic always possesses twenty-eight bitangents.

No abstract uploaded!

The CD inequalities are introduced to imply the gradient estimate of Laplace operator on graphs. This article is based on the unbounded Laplacians, and finally concludes some equivalent properties of the CD(K,1) and CD(K,n).