The classification of double planes of general type with K^2=8 and p_g=0.

DOI10.1016/S0021-8693(02)00539-2MaRDI QIDQ1867301zbMATH OpenFDO

Authors Rita Pardini

Publication date 2 April 2003

Published in Journal of Algebra (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/math/0107100

zbMATH Keywords

involutionminimal surface of general type

Mathematics Subject Classification ID

Families, moduli, classification: algebraic theory (14J10) Surfaces of general type (14J29)

Abstract: We study minimal {em double planes} of general type with $K^2=8$ and $p_g=0$, namely pairs $(S,sigma)$, where $S$ is a minimal complex algebraic surface of general type with $K^2=8$ and $p_g=0$ and $sigma$ is an automorphism of $S$ of order 2 such that the quotient $S/sigma$ is a rational surface. We prove that $S$ is a free quotient $(FimesC)/G$, where $C$ is a curve, $F$ is an hyperelliptic curve, $G$ is a finite group that acts faithfully on $F$ and $C$, and $sigma$ is induced by the automorphism $auimesId$ of $FimesC$, $au$ being the hyperelliptic involution of $F$. We describe all the $F$, $C$ and $G$ that occur: in this way we obtain 5 families of surfaces with $p_g=0$ and $K^2=8$, of which we believe only one was previously known. Using our classification we are able to give an alternative description of these surfaces as double covers of the plane, thus recovering a construction proposed by Du Val. In addition we study the geometry of the subset of the moduli space of surfaces of general type with $p_g=0$ and $K^2=8$ that admit a double plane structure.

Review text

A pair \((S,\sigma)\) where \(S\) is a minimal complex algebraic surface of general type and \(\sigma\) is an automorphism of \(S\) of order \(2\) such that the quotient \(S/\sigma\) is a rational surface is called minimal double plane of general type. In the paper under review the author classifies minimal double planes of general type with \(K^2=8\) and \(p_g=0\) [see also \textit{I. Dolgachev, M. Mendes Lopes} and \textit{R. Pardini}, Compos. Math. 132, 349--363 (2002; Zbl 1059.14050)]. It is shown that \(S\) is a free quotient \((F\times C)/G\), where \(C\) is a curve, \(F\) is an hyperelliptic curve, \(G\) is a finite group that acts faithfully on \(F\) and \(C\) and \(\sigma\) is induced by the automorphism \(\tau \times \text{Id}\) of \(F\times C\), with \(\tau\) the hyperelliptic involution of \(F\). The author describes all the \(F, C\) and \(G\) that occur and gets \(5\) families of surfaces with \(K^2=8\) and \(p_g=0\), of which only one of such families was previously known. The classification obtained is then used to get an alternative description of these surfaces as double covers of the plane and thus it is recovered a construction proposed by Du Val. The author studies also some properties of the subset of the moduli space of surfaces of general type with \(K^2=8\) and \(p_g=0\) consisting of the surfaces admitting a rational involution.

Recommendations

• Surfaces with \(p_{g } = q = 1, K^{2} = 8\) and nonbirational bicanonical map
• Numerical Burniat and irregular surfaces
• Some bidouble planes with \(p_{g} = q = 0\) and \(4 \leq k^{2} \leq 7\)
• On surfaces with p_g = 0 and K^2 = 5
• On moduli of regular surfaces with \(K^2=8\) and \(p_q=4\)
• Beauville surfaces without real structures
• Zero-cycles on Garbagnati surfaces
• Canonical surfaces of genus 4 and degrees 7 and 8
• AUTOMORPHISMS OF FIBER SURFACES OF GENUS 2, INDUCING THE IDENTITY IN COHOMOLOGY II
• New surfaces with \(K^2 = 7\) and \(p_g = q \leq 2\)

Cites work

• A connected component of the moduli space of surfaces with p_g=0.
• Abelian covers of algebraic varieties.
• Automorphisms and moduli spaces of varieties with ample canonical class via deformations of abelian covers
• Degree of the Bicanonical Map of a Surface of General Type
• scientific article; zbMATH DE number 3891516 (Why is no real title available?)
• scientific article; zbMATH DE number 1425320 (Why is no real title available?)
• scientific article; zbMATH DE number 4183584 (Why is no real title available?)
• Inégalités numériques pour les surfaces de type général. Appendice : «L'inégalité p_g \ge 2q-4 pour les surfaces de type général» par A. Beauville
• Isotrivial fibred surfaces
• On Surfaces Whose Canonical System is Hyperelliptic
• Rational Surfaces with Many Nodes
• THE BICANONICAL MAP OF SURFACES WITH $p_g = 0$ AND $K^2 \geqslant 7$, II
• THE BICANONICAL MAP OF SURFACES WITH p_g = 0 AND K² [ges ] 7
• The maximal number of quotient singularities on surfaces with given numerical invariants

Cited in

(17)

• The moduli space of even surfaces of general type with \({K^2=8}\), \({p_g=4}\) and \({q=0}\)
• Surfaces with \(p_g=q=1\), \(K^2=7\) and non-birational bicanonical maps
• On double planes with Kodaira dimension zero
• A characterization of Burniat surfaces with K^2=4 and of non nodal type
• Bicanonical map of surfaces with = 1 fibered by hyperelliptic curves of genus 3
• On Surfaces of General Type withp_g = q = 1 Isogenous to a Product of Curves
• On equations of double planes with \(p_g=q=1\)
• scientific article; zbMATH DE number 6974129 (Why is no real title available?)
• Exceptional collections on some fake quadrics
• A new family of surfaces with and
• Quasiphantom categories on a family of surfaces isogenous to a higher product
• Some bidouble planes with \(p_{g} = q = 0\) and \(4 \leq k^{2} \leq 7\)
• On quasi-étale quotients of a product of two curves
• The classification of surfaces of general type with nonbirational bicanonical map
• Characterization of a class of surfaces with \(p_{g} = 0\) and \(K^{2} = 5\) by their bicanonical maps
• Surfaces of general type with 𝑝_{𝑔}=𝑞=1,𝐾²=8 and bicanonical map of degree 2
• Smooth \(k\)-double covers of the plane of geometric genus 3

This page was built for publication: The classification of double planes of general type with \(K^{2}=8\) and \(p_{g}=0\).

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1867301)