Relative stability and extremal metrics (Q2248630)

Let \((M, L)\) be a polarized algebraic manifold, i.e., \(M\) is a connected \(\mathbb{C}\)-algebraic projective manifold and \(L\) a very ample line bundle over \(M\). Let \(\Aut(M)\) be the group of all holomorphic automorphisms of \(M\), let \(K\) be a maximal compact connected subgroup of \(\Aut(M)\) and consider the extremal Kähler vector field \({\mathcal V}\in\text{Lie\,}K\) for the class \(c_1(L)_R\). Let \(T\) be an algebraic torus in \(\Aut(M)\) such that the maximal compact subgroup of \(T\) sits in \(K\) and that \(T\) contains the one-dimensional algebraic torus generated by \({\mathcal V}\). Then for such \(T\), the author considers the following extremal Kähler version of the Donaldson-Tian-Yau conjecture. Conjecture: A polarized algebraic manifold \((M, L)\) admits an extremal Kähler metric in \(c_1(L)_R\) iff \((M, L)\) is \(K\)-stable relative to such a \(T\). In Section 6 of this paper, the author provides a detailed proof for the ``only if'' part of the above conjecture. The techniques given here are refinements of previous unpublished results by him; this in turn provides an answer to the stability part of the original Donaldson-Tian-Yau conjecture. Then in Section 7, the author sketches a program for a proof of the ``if'' part of the above conjecture, i.e., the existence of such a metric, by building again on results from his previous preprints. Also, in 3 appendices, some clarifications and explanations of unpublished results of the author are carried out.