Characters of Automorphism Groups Associated with Kähler Classes and Functionals with Cocycle Conditions

Akito Futaki,Yasuhiro Nakagawa

DOI: https://doi.org/10.2996/kmj/1106157289

2001-01-01

Kodai Mathematical Journal

Abstract:Let M be a connected compact KaÈhler manifold. An obvious necessary condition for M to admit a KaÈhler-Einstein metric is that the ®rst Chern class c1…M† is either negative, zero or positive, where a real 2-dimensional de Rham cohomology class is said to be negative (resp. positive) if it is represented by a negative (resp. positive) de®nite …1; 1†-form. Conversely, if c1…M† is negative or zero then M admits a KaÈhler-Einstein metric by the solution to the Calabi conjectures (Aubin [1], Yau [21]). In the remaining case where c1…M† is positive, in which case M is often called a Fano manifold, there are further necessary conditions. First of all the Lie algebra h…M† of all holomorphic vector ®elds on a KaÈhler-Einstein Fano manifold M is reductive (Matsushima [14]). Secondly a Lie algebra character f : h…M† ! C introduced in [10] must vanish on a KaÈhler-Einstein Fano manifold. It was also proven by Bando-Mabuchi [5] that if M admits a KaÈhlerEinstein metric then certain functional, called K-energy, of M is bounded from below. This analytic necessary condition played a theoretically important role in the later studies. In fact Ding and Tian [9] extended the results of [10] and [5] to obtain a necessary condition applicable to manifolds which do not carry any non-zero holomorphic vector ®elds. Tian [20] further extended these ideas to de®ne certain notions of stability, called K-stability and CM-stability, and presented an example of a Fano manifold with no non-zero holomorphic vector ®elds and no KaÈhler-Einstein metrics. On the other hand there are known su1⁄2cient conditions for the existence of positive KaÈhler-Einstein metrics by Aubin [2], Ding [8], Siu [17], Tian [18] and Nadel [15]. Now one would hope to have a necessary and su1⁄2cient condition for the existence of positive KaÈhler-Einstein metrics. To state such a condition, Tian [20] introduced a notion of properness for the K-energy and a functional introduced by Ding [8]. Combining [20] and [4] one can show, at least when h…M† ˆ 0, that a Fano manifold admits a KaÈhler-Einstein metric if and only if