On extremal log Enriques surfaces. II (Q1281715): Difference between revisions

For part I of this paper see: \textit{K. Oguiso} and \textit{D.-Q. Zhang}, Am. J. Math. 118, No. 6, 1277-1297 (1996; Zbl 0889.14016). From the paper: Let \(Z\) be a normal projective surface defined over the complex number field \(\mathbb{C}\) and with at worst quotient singularities. \(Z\) is a log Enriques surface if, by definition, the irregularity \(\dim H^1(Z,{\mathcal O}_Z) =0\) and a positive multiple \(IK_Z\) of the canonical Weil divisor \(K_Z\) is linearly equivalent to zero [cf. \textit{D.-Q. Zhang}, J. Math. Kyoto Univ. 31, No. 2, 419-466 (1991; Zbl 0759.14029); definition 1.1]. The canonical cover of \(Z\) is defined as \(\pi:S_{\text{can}} :=\text{Spec}_{{\mathcal O}_Z} \Bigl( \bigoplus^{I-1}_{i=0} {\mathcal O}_Z(-iK_Z) \Bigr)\to Z\). A log Enriques surface \(Z\) is of type \(D_{18}\) (respectively of type \(A_{18})\) if, by definition, its canonical cover \(S_{\text{can}}\) has a singular point of Dynkin type \(D_{18}\) (respectively \(A_{18})\). In part I of this paper, we characterized the unique K3 surface of Picard number 20 and discriminant 3 or 4, and also showed that there is only one rational log Enriques surface of type \(D_{19}\) and one of type \(A_{19}\). In the present paper, we shall show that there is exactly one (respectively two) rational log Enriques surface of type \(D_{18}\) (respectively \(A_{18})\).