# Why Yau's theorem implies the existence of hyperkähler metric on complex symplectic manifolds?

Every expository article on hyperkähler manifolds that I have read states without detailed proof the following fact:

It follows from Yau's theorem (i.e. a compact Kähler manifold $M$ with $c_1(M)=0$ admits a Ricci-flat Kähler metric) that if a compact Kähler manifold $M$ has a complex symplectic form $\omega_\mathbb{C}$ then there exists a Kähler form $\omega$ on $M$ such that $\omega$ and $\omega_\mathbb{C}$ constitute a hyperkähler structrue.

I have trouble trying to see this. Indeed, for the metric to be hyperkähler we require the holonomy group to be in $Sp(n)$ (where $\mathrm{dim}_\mathbb{R}M=4n$), so at least the holonomy should be in $Sp(2n,\mathbb{C})$, which means that the Levi-Civita covariant derivative of $\omega_\mathbb{C}$ is $0$. This is a condition stronger than Ricci-flatness at first glance and I can't see how to realize this only knowing the existence of Ricci-flat metric.

The point is that a Bochner formula shows that, if the Kähler metric is Ricci-flat and the manifold is compact, then every global holomorphic $p$-form must be parallel.
In particular, if you have a complex, compact symplectic manifold that is Kähler, then you have a nonvanishing holomorphic volume form (the top power of the holomorphic symplectic $2$-form). You can then use Yau's theorem to find a Kähler metric whose volume form is a constant multiple of this holomorphic volume form wedged with its conjugate and this metric will have vanishing Ricci curvature. Then, by the Bochner formula, the symplectic form has to be parallel with respect to the Levi-Civita connection of the Kähler metric. In particular, this implies that the holonomy preserves this form and hence is a subgroup of $\mathrm{Sp}(n,\mathbb{C})\cap\mathrm{U}(2n)=\mathrm{Sp}(n)$. If you know, for some reason, that the manifold is simply-connected and not a product, then deRham's Theorem shows that the holonomy must act irreducibly. Berger's classification of the possible irreducibly acting holonomy groups then implies that the metric must have restricted holonomy equal to $\mathrm{Sp}(n)$, since no proper subgroup of this group can act irreducibly and be the holonomy.