Asymptotics of polybalanced metrics under relative stability constraints (Q645102): Difference between revisions

Firstly, we explain briefly the notion of relative Chow stability introduced by the author in the context of projective manifolds with non trivial automorphisms group. Let us consider a polarized manifold \((M,L)\) and the vector space \(V_m=H^0(L^m)\). Let \(T\) be an algebraic torus in \(\mathrm{SL}(V_m)\) with Lie algebra \(\tau\subset Lie(K)\) contained in the Lie algebra of a maximal connected linear subgroup \(K\) of \(\mathrm{Aut}(M)\), the holomorphic automorphisms of \(M\). Consider now the decomposition of \[ V_m=\bigoplus_k V_k \] as \(\tau\)-eigenspaces using multiplicative characters in \(\Hom(T, \mathbb{C}^*)\) of the torus. Define now the following subgroup of \(\mathrm{SL}(V_m)\), \[ S_m=\prod_k \mathrm{SL}(V_k). \] Then, it is possible to define, using \(S_m\) and its centralizer \(H_m\) in \(\mathrm{SL}(V_m)\), an algebraic subgroup denoted \(G_m\) of the centralizer \(H_m\cdot S_m\) of the torus \(T\) in \(\mathrm{SL}(V_m)\). There is actually a natural metric on \(\mathrm{Lie}(H_m)\) and thus an orthogonal complement \(\tau^\perp\) of \(\tau\) in \(\mathrm{Lie}(H_m)\). Associated to \(\tau^\perp\), one has an algebraic torus in \(H_m\) denoted \(T^\perp\) and \(G_m\) is given by \[ G_m=T^\perp \cdot S_m. \] Then \((M,L)\) is said to be \(T\)-relative chow stable if the Chow point of \(M\) is G.I.T stable with respect to the action of \(G_m\). The main result of the paper is that the \(T\)-relative Chow stability is equivalent to the existence of polybalanced metrics. These metrics are defined as metrics such that a certain weighted sum \(\tilde{B}_m\) of Bergman functions associated to all the \(V_k\) is constant. Note that there is an asymptotics expansion (in powers of \(m\)) of \(\tilde{B}_m\) that involve Hamiltonian functions that produce holomorphic vector fields. The interest of the result is of course in view of a generalization of the theory of balanced metrics to the case of extremal Kähler metrics in an integral Kähler class.