On Enriques surfaces with four cusps (Q1664352): Difference between revisions

We say that an Enriques surface \(S\) \textit{contains four disjoints \(A_2\)-configurations} if it contains eight smooth rational curves \(F'_1,F''_1,\dots,F'_4,F''_4\) such that \[ F'_j.F''_j=1 \; \text{for}\; j=1,\dots,4, \] and all the other intersection numbers of the curves in question are zero. Such a configuration typically comes from resolving the singularities of an Enriques surfaces with four cusps. From now on, let \(S\) indicate an Enriques surface containing four disjoints \(A_2\)-configurations. Denote the set of the eight lines of the configurations by \(\mathcal{A}\). The \textit{open Enriques surface} \(S^\circ\) is defined to be the complement \(S\setminus \mathcal{A}\). In [J. Pure Appl. Algebra 170, No. 1, 67--91 (2002; Zbl 1060.14057)], \textit{J. Keum} and \textit{D. Q. Zhang}, in the frame of a larger work, state that the fundamental group \(\pi_1 (S^\circ)\) is either \(\mathbb{Z}/6\mathbb{Z}\) or \(S_3\times \mathbb{Z}/3\mathbb{Z}\). They provide an example of \(S\) realising the second case, leaving the realisation of the first one an open question. In the paper under review, using similar techniques, the authors correct and complete the result of Keum and Zhang [loc. cit.], providing an example of \(S\) realising \(\pi_1 (S^\circ)=\mathbb{Z}/6\mathbb{Z}\) and an \(S\) with fundamental group \((\mathbb{Z}/3\mathbb{Z})^{\oplus 2}\times \mathbb{Z}/2\mathbb{Z}\), case originally excluded in [loc. cit.]. Further, the authors study the moduli space of Enriques surfaces containing four disjoint \(A_2\)-configurations, showing that they come into two irreducible two-dimensional families, denoted by \(\mathcal{F}_{3,3,3,3}\) and \(\mathcal{F}_{4,3,1}\). The intersection of the two families has dimension one, and consists of infinitely many subfamilies, i.e., it has infinitely many connected components. Both families are constructed via logarithmic transformations of extremal rational elliptic surfaces. An algebro-geometric description of \(\mathcal{F}_{4,3,1}\) is also given, together with the explicit construction of an irreducible component of the intersection \(\mathcal{F}_{3,3,3,3}\cap \mathcal{F}_{4,3,1}\).