A conic bundle description of Moishezon twistor spaces without effective divisors of degree one (Q1273139)

\textit{B. Kreußler} [J. Algebr. Geom. 6, No. 2, 379-390 (1997; Zbl 0880.32016)] constructed Moishezon twistor spaces over the connected sum \(n\mathbb C\mathbb P^2\) \((n \geq 4),\) which do not contain effective divisors of degree one, as deformations of the twistor spaces introduced by \textit{C. LeBrun} [J. Differ. Geom. 34, No. 1, 223-253 (1991; Zbl 0725.53067)]. The authors study their structure for \(n\geq 4\) by constructing a modification which is a conic bundle over \(\mathbb P^2.\) The following theorem is proved: Let \(Z\) be a twistor space over \(n\mathbb C\mathbb P^2.\) Assume \(h^0(K^{-\frac{1}{2}})\geq 2\) and the existence of an irreducible real rational curve \(C_0\in Z\) with \(C_0.K_Z > 0.\) Let \(\sigma: \widetilde Z \to Z\) be the blow-up at \(C_0\) (which turns out to be smooth rational). Then there exists a morphism \(\varphi: \widetilde Z \to \mathbb P(\mathcal O_{\mathbb P^2}\oplus\mathcal F_n)\) contracting only finitely many curves and being birational onto its image \(Z_0,\) which is a conic bundle over \(\mathbb P^2.\) \(\mathcal F^n\) is a vector bundle of rank two. In case \(n = 4\) an explicit description for \(Z_0\) by equations is found. These equations are used to produce explicitly a birational map from \(Z_0\) to \(\mathbb P^3.\)