Soliton-type metrics and Kähler-Ricci flow on symplectic quotients (Q2634636): Difference between revisions

Let \(M\) be a compact Kähler manifold which admits a Hamiltonian \(S^1\)-action by holomorphic automorphisms and let \(V\) be the vector field generating such an action. Then there is a moment map \(\mu:M\to \sqrt{-1}\mathbb R\) for this action. Assume that \([0,\overline{\tau}]\subset\mathbb R\) consists of regular values of \(-\sqrt{-1}\mu\) and for \(\tau\in[0,\overline{\tau}]\), let \(X_\tau=\mu^{-1}(\sqrt{-1}\tau)/S^1\) be the symplectic quotient of \(M\) by this action. Consider Kähler a metric \(g\) which is invariant under the \(S^1\)-action, and denote by \(\omega_g\) its Kähler form and \(\mathrm{Ric}(g)\) its Ricci curvature form. Loosely speaking, the first result of this paper states that the normalized Kähler-Ricci flow \(\partial_t\omega_g=-\mathrm{Ric}+\lambda\omega_g\) on \(X_\tau\), where \(\lambda\) is a constant and \(\tau\in \mathbb R\) is equivalent to the system of equations \[ \begin{aligned} &\mathrm{Ric}(g)+\frac{\sqrt{-1}}{2}\partial\overline{\partial}(\log(| V|^2_g)+f)=\lambda\omega_g,\\ &\frac{d\tau}{d t}=-\frac{H(\tau)}{4| V|_g}+\frac{| V|^2_g}{4}\frac{\partial f}{\partial\tau} \end{aligned} \] for some function \(f\) on \(M\) such that \(f=f\cdot(-\sqrt{-1}\mu)\), that is, \(f\) depends only on \(\tau\), satisfying \[ -R(h)+n\lambda-\frac{\partial f}{\partial\tau}<0. \] If \(g\) is Kähler and satisfies the first equation of the former system, then \(g\) is called a \(V\)-soliton. If \(M\) is compact, then the above \(V\)-soliton equation is equivalent to the following scalar \(V\)-soliton equation on \(u\) \[ \left(\omega_0+\frac{\sqrt{-1}}{2}\partial\overline{\partial}u\right)^n=| V|_g^2e^{F+f-\lambda u}\omega _0^n, \] where \(F\) is determined by \(\mathrm{Ric}(g)-\lambda g=\frac 12d(JdF)\). In the second part of this paper, the authors prove some preliminary results towards establishing the existence of a solution for the scalar \(V\)-soliton equation on a compact Kähler manifold \(M\). An existence theorem will be established in a forthcoming paper of authors.