On a construction of the twistor spaces of Joyce metrics. II. (Q1046442)

Let us consider the twistor space \(Z\) of a compact Moishezon \(4\)-manifold \(M\). In that case, \(M\) is homeomorphic to \(n{\mathbb{CP}}^2\), the connected sum of complex projective planes. For arbitrary \(n\geq 4\), some examples of twistor spaces were constructed by C. LeBrun, H. Kurke, and D. Joyce, while for \(n<4\), works of various authors gave already a complete understanding of the geometry. In part I of this work [J. Algebr. Geom. 17, No. 4, 709--750 (2008; Zbl 1204.32010), part I of this paper], for \(n=4\), the author described a projective model of a certain twistor space, sheding new light on this topic. More precisely, for a Joyce metric on \(4{\mathbb{ CP}}^2\) and a certain torus action, the author gave an explicit description of a projective model and all the needed birational modifications needed to obtain the associated twistor space \(Z\). In the present paper, he completes this work by providing the description of the twistor spaces associated to Joyce's metrics for another particular type of torus action (type II, see [loc. cit.]), explaining all the modifications needed for the construction of the twistor space. As in Part I, the main tool is a clever analysis of the anticanonical system of such a twistor space, based on a previous paper by the author [J. Reine Angew. Math. 642, 197--235 (2010; Zbl 1213.32011)]. The main difficulty of the paper is to detail all the required blow-ups. Roughly speaking, the model is given as an intersection of 10 quadratic hypersurfaces in \(\mathbb{CP}^8\). It is shown that there exist a 3 manifold \(\hat{Z}\) and a morphism \(p:\hat{Z}\rightarrow \Lambda\) to a smooth rational curve \(\Lambda\). The fibres of \(p\), which are toric surfaces, are isomorphic to the fibres of the corresponding fibration of the twistor space over a Joyce metric. Then a result of A. Fujiki can be applied in that context and implies that the constructed 3-manifold is isomorphic to a twistor space. Eventually, this paper together with Part I and the work of C. LeBrun provide a complete picture all the twistor spaces of Joyce metrics on the connected sum of 4 complex projective planes.