An inequality for Betti numbers of hyper-Kähler manifolds of dimension 6 (Q296014)

This paper shows that if \(M\) is a compact irreducible hyper-Kähler manifold of complex dimension 6 then \[ 97 + \frac{37}{2}b_3 - \frac{19}{2}b_4 - \frac{1}{2}b_5 + \frac{23}{2}h^{2,2} \leq \frac{38b^2 - 1030b_2 + 7572}{b_2+1}. \] Note that the inequality does not involve the Betti numbers alone. Under this hypothesis on \(M\), the Hodge numbers \(h^{3,1}\) and \(h^{2,2}\) give independent contributions to \(b_4\), so there is no obvious way to improve this. In the proof, the author uses an inequality between certain Rozansky-Witten invariants that holds in all dimensions, namely \[ -b_{\Theta^k} \leq (b_2 + 2(k-1))b_{\Theta^{k-1}\Theta_2}, \] where \(k\) is half of the complex dimension, \(\Theta\) is the trivalent graph with two vertices, \(\Theta_2\) is a certain graph on four vertices, and disjoint union of graphs is indicated by multiplicative notation. The graph \(\Theta_2\) is not specified in the paper. The reviewer supposes that the notation follows \textit{J. Sawon}'s thesis [Rozansky-Witten Invariants of hyperkähler manifolds. Cambridge: Cambridge University (PhD Thesis) (1999)]. In complex dimension \(6\), results of Hitchin and Sawon imply that these Rozansky-Witten invariants can be expressed in terms of Hodge numbers, giving the result.