Mixed quasi-étale surfaces, new surfaces of general type with p_g=0 and their fundamental group

DOI10.1007/S13348-013-0084-5MaRDI QIDQ379969zbMATH OpenOpenAlexFDO

Authors Davide Frapporti

Publication date 11 November 2013

Published in Collectanea Mathematica (Search for Journal in Brave)

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

zbMATH Keywords

finite group actionsurfaces of general type

Mathematics Subject Classification ID

Surfaces of general type (14J29) Computational aspects of algebraic surfaces (14Q10) Computational aspects in algebraic geometry (14Q99) Generators, relations, and presentations of groups (20F05) Fundamental groups and their automorphisms (group-theoretic aspects) (20F34) Variational aspects of group actions in infinite-dimensional spaces (58E40)

Abstract: We call a projective surface $X$ mixed quasi-'etale quotient if there exists a curve $C$ of genus $g(C)geq2$ and a finite group $G$ that acts on $CimesC$ exchanging the factors such that $X=(CimesC)/G$ and the map $CimesCightarrowX$ has finite branch locus. The minimal resolution of its singularities is called mixed quasi-'etale surface. We study the mixed quasi-'etale surfaces under the assumption that $(CimesC)/G^0$ has only nodes as singularities, where $G^{0}riangleleftG$ is the index two subgroup of the elements that do not exchange the factors. We classify the minimal regular surfaces with $p_g=0$ whose canonical model is a mixed quasi-'etale quotient as above. All these surfaces are of general type and as an important byproduct, we provide an example of a numerical Campedelli surface with topological fundamental group $$, and we realize 2 new topological types of surfaces of general type. Three of the families we construct are $$-homology projective planes.

Review text

In the paper under review the author classifies a particular class of minimal complex surfaces of general type with \(p_g=0\). To be more precise, the author works in the following setting. A projective complex surface \(X\) is called \textit{mixed quasi-étale quotient} if there exists a curve \(C\) of genus \(g(C) \geq 2\) and a finite group \(G\) that acts on the product \(C \times C\) exchanging the factors such that \(X \cong (C \times C)/G\) and the map \(C \times C \rightarrow X\) has finite brach locus. The minimal desingularization \(S\) of \(X\) is called a \textit{mixed quasi-étale surfaces}. These surfaces are a generalization of surfaces isogenous to a higher product of curves of mixed type introduced by \textit{F. Catanese} in [Am. J. Math. 122, No. 1, 1--44 (2000; Zbl 0983.14013)]. Indeed, surfaces isogenous to a product of mixed type are such that the map \(C \times C \rightarrow X\) is étale, hence \(X\) is non singular and minimal. Surfaces isogenous to a product of curves of mixed type with small invariants were studied by many authors [\textit{I. C. Bauer} et al., Pure Appl. Math. Q. 4, No. 2, 547--586 (2008; Zbl 1151.14027); \textit{G. Carnovale} and \textit{F. Polizzi}, Adv. Geom. 9, No. 2, 233--256 (2009; Zbl 1190.14036); \textit{M. Penegini}, Collect. Math. 62, No. 3, 239--274 (2011; Zbl 1228.14035)] On the contrary, the paper under review is one of the first ones on mixed quasi-étale surfaces. The author is able to classify mixed quasi-étale surfaces under the following two assumptions. The first one is \((C \times C)/G^0\) has only nodes as singularities, where \(G^0 < G\) is the index two normal subgroup of the elements that do not exchange the factors. The second one is that \(p_g(S)=0\), and so he concentrates on regular surfaces. As interesting byproduct the author provides an example of a numerical Campedelli surface with fundamental group \(\mathbb{Z}/4\mathbb{Z}\) and he realizes two new topological types of surfaces of general type.

Recommendations

• Mixed quasi-étale quotients with arbitrary singularities
• On quasi-étale quotients of a product of two curves
• Quotients of products of curves, new surfaces with \(p_{g} = 0\) and their fundamental groups
• On Surfaces of General Type withp_g = q = 1 Isogenous to a Product of Curves
• A complex surface of general type with \(p_{g}=0\), \(K^{2}=2\) and \(H_{1}=\mathbb{Z}/4\mathbb{Z}\)

Cites work

• Campedelli surfaces with fundamental group of order 8
• Complex surfaces of general type: Some recent progress
• Enriques surfaces and a construction of surfaces of general type with \(p_ g=0\)
• Fibred surfaces, varieties isogenous to a product and related moduli spaces
• scientific article; zbMATH DE number 3838373 (Why is no real title available?)
• scientific article; zbMATH DE number 3611466 (Why is no real title available?)
• scientific article; zbMATH DE number 2135186 (Why is no real title available?)
• scientific article; zbMATH DE number 3995869 (Why is no real title available?)
• scientific article; zbMATH DE number 3204290 (Why is no real title available?)
• scientific article; zbMATH DE number 3224578 (Why is no real title available?)
• scientific article; zbMATH DE number 3257133 (Why is no real title available?)
• Involutions on numerical Campedelli surfaces
• Involutions on surfaces with \(p _{g } = q = 0\) and \(K ^{2} = 3\)
• Numerical Campedelli surfaces with fundamental group of order 9
• Numerical Godeaux surfaces with an involution
• On Surfaces of General Type withp_g = q = 1 Isogenous to a Product of Curves
• Q.E.D. for algebraic varieties
• Quotients of products of curves, new surfaces with \(p_{g} = 0\) and their fundamental groups
• Standard isotrivial fibrations with \(p_g = q = 1\). II.
• Standard isotrivial fibrations with \(p_g=q=1\)
• Surfaces of general type with geometric genus zero: a survey
• The classification of isotrivially fibred surfaces with \(p_{g} = q = 2\)
• The classification of minimal product-quotient surfaces with \(p_{g}=0\).
• The classification of surfaces with p_g = q = 1 isogenous to a product of curves
• The classification of surfaces with p_g=q=0 isogenous to a product of curves
• The maximum number of singular points on rational homology projective planes
• The moduli space of Keum-Naie surfaces
• Toward a geometric construction of fake projective planes
• Über die Struktur der Funktionenkörper zu hyperabelschen Gruppen. I.

Cited in

(18)

• Minimal surfaces of general type with \(p_g = q = 0\) arising from Shimura surfaces
• Divisors on surfaces isogenous to a product of mixed type with p_g= 0
• Explicit coverings of families of elliptic surfaces by squares of curves
• Quotients of the square of a curve by a mixed action, further quotients and Albanese morphisms
• Gorenstein \(\mathbb{Q}\)-homology projective planes
• Product-quotient surfaces: new invariants and algorithms
• The classification of minimal product-quotient surfaces with \(p_{g}=0\).
• A complex surface of general type with \(p_{g}=0\), \(K^{2}=2\) and \(H_{1}=\mathbb{Z}/4\mathbb{Z}\)
• Mixed quasi-étale quotients with arbitrary singularities
• Series of p-groups with Beauville structure
• A simply connected numerical Campedelli surface with an involution
• On the canonical map of some surfaces isogenous to a product
• Quaternionic arithmetic lattices of rank 2 and a fake quadric in characteristic 2
• On the cohomology of surfaces with p_g = q = 2 and maximal Albanese dimension
• The fundamental group and torsion group of Beauville surfaces
• On quasi-étale quotients of a product of two curves
• On the topology of some quasi-projective surfaces
• Combinatorially minimal Mori dream surfaces of general type

This page was built for publication: Mixed quasi-étale surfaces, new surfaces of general type with \(p_g=0\) and their fundamental group

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