Existence and degeneration of Kähler-Einstein metrics on minimal algebraic varieties of general type
Existence and degeneration of Kähler-Einstein metrics on minimal algebraic varieties of general type
复制标题
DOI:
10.1007/bf01449219
复制
发表时间:
1988-03
影响因子:
1.4
通讯作者:
H. Tsuji
中科院分区:
文献类型:
--
作者:
H. Tsuji
In the theory of projective algebraic surfaces over 112, the existence of minimal models plays an essential role. In the higher dimensional case, there has been a conjecture that if a projective algebraic manifold over ti; is not uniruled, there exists a minimal algebraic variety birationally equivalent to it, where a minimal algebraic variety means a Q-factorial projective variety such that 1. It has at most terminal singularities. 2. Its canonical divisor is numerically effective. For the Minimal Model Conjecture, see [7]. On the other hand, in 1977, S.-T. Yau proved that a compact K/ihler manifold with the negative or zero first Chern class admits a K/ihler-Einstein metric [9, 10](Aubin contributed also to the result in the case of the negative first Chern class [1]). And there are many fruitful applications of this existence theorem. But unfortunately most of projective algebraic varieties over t12 do not have negative or zero first Chern classes. Hence it is desirable to generalize the existence of K/ihler-Einstein metrics to a broader class of projective algebraic varieties. In this case, we must consider singular Kfihler-Einstein metrics. The purpose of this paper is to prove the existence of a canonical Kfihler-Einstein metric on a minimal algebraic varieties of general type defined over II;. This metric must be singular if the canonical bundle of the variety is not ample. As a direct consequence of the concentration of the Kfihler-Einstein metrics, we can study the degeneration of K/ihler-Einstein metrics on a smooth family of smooth minimal algebraic varieties of general type. This is equivalent to study a family of K/ihler-Einstein metrics on the relative canonical model of the family. In the case of a deformation of smooth minimal algebraic surfaces of general type, our result implies that there exists a K/ihler-Einstein metrics on the family which is C~ outside the (-2)-rational curves on the fibres. In this paper all the algebraic varieties are assumed to be defined over II;. And a Kfihler metric on a singular variety are used in the following sense.