A simply connected surface of general type with \(p_ g=0\) (Q2266045): Difference between revisions

The author constructs a minimal complex projective nonsingular algebraic surface S of general type with \(\pi_ 1(S)=\{1\},\) \(p_ g(S)=0,\) \(K^ 2_ S=1.\) This answers negatively the question on the rationality of surfaces with \(\pi_ 1(S)=\{1\},\) \(p_ S=0,\) \(K^ 2>0,\) arising from a conjecture of Severi. Moreover the above example fills a gap in the classification of surfaces with \(p_ g=0\), \(K^ 2=1\). Actually, for such surfaces, it has to be \(| Tors| \leq 5\) and surfaces with \(Tors={\mathbb{Z}}_ m,\) \(2\leq m\leq 5\) occur, while surfaces with \(Tors={\mathbb{Z}}_ 2\oplus {\mathbb{Z}}_ 2\) do not. The above surface is the first example with trivial Tors. To construct the surface let Y be a simply connected surface with \(\grave p_ g=4,\) \(K^ 2=10\) described by \textit{F. Catanese} [Invent. Math. 63, 433-465 (1981; Zbl 0472.14024)] (and previously considered by G. Van der Geer and D. Zagier) and \(D_{10}\) the dihedral group \(\{\alpha,\beta | \quad a^ 2=\beta^ 5=1,\quad \alpha \beta \alpha =\beta^ 4\}.\) The author observes that \(D_{10}\) acts on \(Y: \alpha\) has a finite fixed locus, while \(\beta\) acts freely on Y, so that the quotient \(X=Y/D_{10}\) has 4 nodes. The surface S is the resolution of X.