Kähler-Ricci soliton and \(H\)-functional (Q2520707): Difference between revisions

Consider a compact \(n\)-dimensional Fano manifold \((M, [\omega_o])\) and denote by \(G\) the maximal compact subgroup of \(\text{Aut}(M)\). Moreover, for each \(\xi \in\mathrm{Lie}(G)\) and \(\omega \in [\omega_o]\), let \(\theta_{\xi, \omega}\) be the unique corresponding Hamiltonian function (i.e., such that \(\imath_\xi\omega = d \theta_{\xi, \omega}\)) satisfying the normalising condition \(\int_N e^{\theta_{\xi, \omega} }\omega^n = (2 \pi)^n [c_1(M)]^n\). We recall that, for each \(\omega = \omega_o + \partial \bar \partial h \in [\omega_o]\), the real value \(N:= \max_{\xi \in \mathrm{Lie}(G)} \int_M e^h\theta_{\xi, \omega} \omega^n\) is non-negative and independent of \(\omega\). In this paper the author considers the class of cohomologous Kähler forms \(\omega = \omega_o + \partial \bar \partial h \in [\omega_o]\), with \(h\) constrained by the normalising condition \(\int_N e^h \omega^n = (2 \pi)^n [c_1(M)]^n\), and the functional \(H\) on such class, defined by \[ H(\omega) := \int_M h e^h \omega^n\;. \] He proves that the Kähler-Ricci flow can be considered as the reduced gradient flow of \(H\) and that \(H(\omega) \geq N\) for each \(\omega\), with the equality holding if and only if \(\omega\) is a Kähler-Ricci soliton. The proof of the second claim is modelled on Chen's proof of the existence of a natural lower bound for the Calabi energy. As a consequence, he also proves that if a Kähler-Ricci soliton exists, then it maximizes Perelman's \(\mu\)-functional.