Fully non-linear elliptic equations on compact manifolds with a flat hyperkähler metric (Q2154912)

The authors study a class of fully non-linear elliptic equations on certain compact hyperhermitian manifolds. By adapting the approach of Székelyhidi to the hypercomplex setting, they prove some a priori estimates for solutions to such equations under the assumption of existence of \(C\)-subsolutions. The main result of the paper is as follows. Let \((M, I, J, \mathrm{Keg})\) be a compact flat hyperkahler manifold, a \(q\)-real \((2,0)\)-form, and \(\underline{\varphi}\) a \(C\)-subsolution of \[ F(A) = h, \] Where \(h\in C^{\infty}(M, \mathbb{R})\) is given and \(F(A)=f(\lambda(A))\) is a smooth symmetric operator of the eigenvalues of \(A.\) Then there exist \(\alpha in (0,1)\) and a constant \(C>0,\) depending only on \((M, I, J, K, g), \Omega, h\) and \(\underline{\varphi},\) such that any \(\Gamma\)-admissible solution \(\varphi\) with \(\sup_M\varphi = 0\) satisfies the estimate \[ || \varphi ||_{C^{2,\alpha}} \leq C. \] The desired bound is obtained in two ways, by using an analogue of Evans-Krylov theory as developed in Tosatti-Wang-Weinkove-Yang and by adapting the argument of Błocki similarly to what was done by Alesker for the treatment of the quaternionic Monge-Ampère equation.