On coupled constant scalar curvature Kähler metrics (Q2216137): Difference between revisions

Let \((M,(L_i))\) be a polarized tuple, i.e., an \(n\)-dimensional Kähler manifold \(M\) with ample line bundles \(L_0,L_1,\cdots,L_m\), and \(L=\displaystyle \otimes_{i=0}^mL_i\). Consider the metrics \(\omega_i\in 2\pi c_1(L_i)\) for \(i=0,\cdots,m\) that satisfy \(\frac{\omega_0^n}{V_0} = \cdots = \frac{\omega_m^n}{V_m},\)\ \(S_{\omega_0} = \mathrm{tr}_{\omega_0}\omega + \hat S\), where \(S_{\omega_0}\) is the scalar curvature of \(\omega_0\), \(V_i = (2\pi L_i)^n/n!\), \(\omega = \omega_0+\omega_1+\cdots+\omega_m\) and \(\hat S\) is a computable constant, namely, \(\hat S = n\frac{(-K_M - L)\cdot L_0^{n-1}}{L_0^n}.\) In particular, if \(M\) is Fano and \(L = -K_M\), then \(\hat S = 0\), and it is easy to show that the above system reduces to the coupled Kähler Einstein system, viz., \(\mathrm{Ric}(\omega_0)=\mathrm{Ric}(\omega_1)=\ldots =\mathrm{Ric}(\omega_m) = \omega\). In analogy to the relationship between the Kähler-Einstein problem and the cscK problem, the authors refer to \((\omega_0,\omega_1,\cdots,\omega_m)\) as \textit{coupled cscK metrics}. The authors provide a moment map interpretation for the coupled Kähler-Einstein equations introduced in [\textit{J. Hultgren} and \textit{D. Witt Nyström}, Int. Math. Res. Not. 2019, No. 21, 6765--6796 (2019; Zbl 1429.32038)], and in the process introduce a more general system of equations, which they call coupled cscK equations. A differential-geometric formulation of the corresponding Futaki invariant is obtained and a notion of K-polystability is defined for this new system. Finally, the authors prove that if there is a solution to their equations, then small K-polystable perturbations of the underlying complex structure and polarizations also admit coupled cscK metrics.