Complex structures on certain differentiable 4-manifolds (Q1312070)

The author proves that no complex surface of general type is diffeomorphic to \(S^ 2 \times S^ 2\) or \(\mathbb{P}^ 2 \# \mathbb{P}^ 2\). As a consequence he answers a question of Hirzebruch: the only complex structures on \(S^ 2 \times S^ 2\) are the Hirzebruch surfaces \(F_{2k}\) and the only complex structures on \(\mathbb{P}^ 2 \# \mathbb{P}^ 2\) are the \(F_{2k + 1}\). The proof uses recent results on moduli spaces of stable rank two vector bundles on algebraic surfaces and on \(\text{SO}(3)\)-invariants for 4-manifolds with \(b^ +_ 2 = 1\).