A surface of general type with \(p_ g= q=0\), \(K^ 2=1\) (Q1340660)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | A surface of general type with \(p_ g= q=0\), \(K^ 2=1\) |
scientific article |
Statements
A surface of general type with \(p_ g= q=0\), \(K^ 2=1\) (English)
0 references
30 January 1996
0 references
So called Godeaux surfaces (surfaces of general type with \(p_g = 0\), \(K^2 = 1)\) were studied rather intensively some fifteen years ago. It was proved that their torsions in \(H_1\) could be any cyclic group of order at most five (corresponding to Godeaux's classical construction of the 30's) and that no other groups could occur. Miles Reid classified surfaces with torsion group of order at least three and showed that the only non-cyclic group (of order at most five) could not occur. Barlow gave examples of simply connected, and Oort and Peters managed to construct, using a double cover along a reducible curve of degree ten, with the appropriate essential singularities (the Campedelli approach) a Godeaux surface whose torsion was computed to be of order two. In the paper under review the authors show that this calculation was wrong, it missed a base-point of \(3K\) in the application of a result by Miyaoka; and also that a subsequent independent calculation by Dolgachev contained a mistake. In fact the author proves that the torsion group is indeed of order four (and hence subsumed in Reids general construction, and thus pointing to a direct connection). Furthermore the author gives an alternative Champedelli construction using a branch curve consisting of an irreducible octic and a conic yielding the desired torsion. To do so, she is forced to use computer support (Maple and Macaulay) to exhibit the octic (which takes a page to write out with its typically fifteen digit coefficients) and to check that it does exhibit exactly what it is supposed to do (thus no excessive singularities). Although the theory was available fifteen years ago, the ``Sitzfleisch'' to perform the necessary calculations was not, and this paper clearly exhibits an electronic application to geometry.
0 references
Maple
0 references
Godeaux surfaces
0 references
Champedelli construction
0 references
Macaulay
0 references