Complex Hessian equations on some compact Kähler manifolds (Q5897166)

On a compact connected \(2m-\)dimensional Kähler manifold with Kähler form \(\omega\), given a volume form \(\Omega \in [\omega]^{m}\) and an integer \(1 < k < m\), the author solves uniquely in \([\omega]^{m}\) the equation \(\widetilde{\omega}^{k} \wedge \omega^{m-k} = \Omega,\) relying on the notion of \(k-\)positivity for \(\widetilde{\omega} \in [\omega]\) (the extreme cases are solved: \(k = m\) by Yau, \(k = 1\) trivially). He solved by the continuity method the corresponding complex elliptic \(k-\)th Hessian equation under the assumption that the holomorphic bisectional curvature of the manifold is non-negative, required here only to derive an a priori eigenvalues pinching. Theorem. Let \((M, J, g, \omega)\) be a compact connected Kähler manifold of complex dimension \(m > 4\) with non-negative holomorphic bisectional curvature, and let \(f : M \rightarrow {\mathbb R}\) be a function of class \(C^{\infty}\) satisfying \(\int_{M} e^{f} \omega^{m} = C^{m}_{k} \int_{M} \omega^{m}.\) There exists a unique function \(\varphi : M \rightarrow {\mathbb R}\) of class \(C^{\infty}\) such that: {\parindent7mm \begin{itemize}\item[(i)] \( \int_{M} \varphi \omega^{m} = 0;\) \item[(ii)] \(\widetilde{\omega}^{k} \wedge \omega^{m-k} = \frac{e^{f}}{C^{m}_{k}} \omega^{m}\). \end{itemize}}