Twistor spaces with a pencil of fundamental divisors (Q1288053)

In this article a twistor space \(Z\) is understood as a twistor space of a differentiable four-dimensional manifold \(M\), i.e. \(Z\) is a three-dimensional compact complex manifold with a differentiable submersion \(\pi\) onto \(M\), where the \(\pi\)-fibers are holomorphic curves in \(Z\) isomorphic to \(\mathbb{P}^1 (\mathbb{C})\) with normal bundle isomorphic to \({\mathcal O}(1) \oplus {\mathcal O}(1)\). Moreover there is a fixed point free antiholomorphic involution \(\sigma\) of \(Z\) with \(\pi\sigma =\pi\). The anticanonical line bundle \(K^{-1}\) of a twistor space \(Z\) has a distinguished square root \(K^{-1/2}\), the so-called fundamental line bundle of \(Z\). The elements of its linear system are called fundamental divisors. The study of these divisors gives an insight into the bimeromorphic structure of \(Z\), and in special situations it allows to calculate the algebraic dimension of \(Z\). The author studies simply connected twistor spaces \(Z\) which contain an irreducible fundamental divisor and satisfy the inequality \(h^0 (K^{-1/2}) \geq 2\). The author shows that \(a(Z)=1 +\kappa^{-1}(S)\) for any generic element in \(S\in |- {1\over 2} K|\), where \(\kappa^{-1} (S)\) denotes the anti Kodaira dimension of \(S\). Under the additional assumption \(c_1^3 (Z)<0\) the base \(M\) of \(Z\) is diffeomorphic to the connected sum \(n \mathbb{P}^2 (\mathbb{C})\) with \(n\geq 5\), and a main theorem of the paper says that dim \(|- {1\over 2} K|\leq 3\) and that \(\dim |-{1 \over 2} K|=2\) iff there is a (unique) smooth irreducible \(\sigma\)-invariant rational curve in \(Z\) which has negative intersection with \(K^{-1/2}\). The equality dim \(|-{1\over 2}K|=3\) implies that \(Z\) is Moishezon and is fulfilled if and only if there are exactly two irreducible (smooth rational) curves having negative intersection with \(K^{-1/2}\). These results are generalizations of results of \textit{H. Kurke} [Math. N. 158, 67-85 (1992; Zbl 0820.53052)] and \textit{Y. S. Poon} [J. Differ. Geom. 36, No. 2, 451-491 (1992; Zbl 0742.53024)]. A main part of the paper is devoted to the so-called blow-up graphs and leads to a characterization of Moishezon twistor spaces by the structure of the corresponding blow-up graphs. The analysis of the behaviour of the blow-up graphs under small deformations finally yields the theorem that every blow-up graph belongs to a fundamental divisor of a twistor space.