Showing 1–32 of 32 results for author: Pignatelli, R

Smooth k-double covers of the plane of geometric genus 3

Authors: Federico Fallucca, Roberto Pignatelli

Abstract: In this work we classify all smooth surfaces with geometric genus equal to three and an action of a group G isomorphic to (Z/2)^k such that the quotient is a plane. We find 11 families. We compute the canonical map of all of them, finding in particular a family of surfaces with canonical map of degree 16 that we could not find in the literature. We discuss the quotients by all subgroups of G findi… ▽ More In this work we classify all smooth surfaces with geometric genus equal to three and an action of a group G isomorphic to (Z/2)^k such that the quotient is a plane. We find 11 families. We compute the canonical map of all of them, finding in particular a family of surfaces with canonical map of degree 16 that we could not find in the literature. We discuss the quotients by all subgroups of G finding several K3 surfaces with symplectic involutions. In particular we show that six families are families of triple K3 burgers in the sense of Laterveer. △ Less

Submitted 31 July, 2023; v1 submitted 8 May, 2023; originally announced May 2023.

Comments: 30 pages. v2: added a comment on the dependence of the three involutions that determine the structure of triple K3 burgers. Final version to appear on Rend. Mat. Appl. (7)

MSC Class: 14J29

Fano's Last Fano

Authors: Marco Andreatta, Roberto Pignatelli

Abstract: In 1949 Fano published his last paper on $3$-folds with canonical sectional curves. There he constructed and described a $3$-fold of the type $X^{22}_3$ in ${\mathbb P}^{13}$ with canonical curve section, which we like to call Fano's last Fano. We report on Fano's construction, providing various (in our opinion missing) proofs, in modern language and trying to use results and techniques available… ▽ More In 1949 Fano published his last paper on $3$-folds with canonical sectional curves. There he constructed and described a $3$-fold of the type $X^{22}_3$ in ${\mathbb P}^{13}$ with canonical curve section, which we like to call Fano's last Fano. We report on Fano's construction, providing various (in our opinion missing) proofs, in modern language and trying to use results and techniques available at that time. Then we construct Fano's with modern tools, in particular via the Hilbert scheme of zero cycles on a rational surface; as a consequence we easily point out the corresponding example in the Mori-Mukai classification. △ Less

Submitted 19 December, 2022; v1 submitted 15 September, 2022; originally announced September 2022.

Comments: v1: 18 pages; v2: 22 pages, final version to appear on Atti Accad. Naz. Lincei Cl. Sci. Fis. Mat. Natur. Rend. Lincei (9) Mat. Appl

MSC Class: 14J45 (Primary) 14M15; 14C05 (Secondary)

Simple fibrations in (1,2)-surfaces

Authors: Stephen Coughlan, Roberto Pignatelli

Abstract: We introduce the notion of a simple fibration in $(1,2)$-surfaces. That is, a hypersurface inside a certain weighted projective space bundle over a curve such that the general fibre is a minimal surface of general type with $p_g=2$ and $K^2=1$. We prove that almost all Gorenstein simple fibrations over the projective line with at worst canonical singularities are canonical threefolds "on the Noeth… ▽ More We introduce the notion of a simple fibration in $(1,2)$-surfaces. That is, a hypersurface inside a certain weighted projective space bundle over a curve such that the general fibre is a minimal surface of general type with $p_g=2$ and $K^2=1$. We prove that almost all Gorenstein simple fibrations over the projective line with at worst canonical singularities are canonical threefolds "on the Noether line" with $K^3=\frac43 p_g-\frac{10}3$, and we classify them. Among them, we find all the canonical threefolds on the Noether line that have previously appeared in the literature. The Gorenstein simple fibrations over $\mathbb{P}^1$ are Cartier divisors in a toric $4$-fold. This allows to us to show among other things, that the previously known canonical threefolds on the Noether line form an open subset of the moduli space of canonical threefolds, that the general element of this component is a Mori Dream Space, and that there is a second component when the geometric genus is congruent to $6$ modulo $8$; the threefolds in this component are new. △ Less

Submitted 4 May, 2023; v1 submitted 14 July, 2022; originally announced July 2022.

Comments: 38 pages. Minor changes, to appear in Forum of Mathematics, Sigma

MSC Class: 14J30; 14J29; 14J15; 14E30

Topological types of actions on curves

Authors: Diego Conti, Alessandro Ghigi, Roberto Pignatelli

Abstract: We describe an algorithm that constructs a list of all topological types of holomorphic actions of a finite group on a compact Riemann surface $C$ of genus at least $g \geq 2$ with $C/G \cong \mathbb{P}^1$. We describe an algorithm that constructs a list of all topological types of holomorphic actions of a finite group on a compact Riemann surface $C$ of genus at least $g \geq 2$ with $C/G \cong \mathbb{P}^1$. △ Less

Submitted 12 May, 2023; v1 submitted 3 July, 2022; originally announced July 2022.

Comments: v2: corrected definition of Hurwitz equivalence using the braid group

MSC Class: 14H37 (Primary) 14Q05; 57M60; 14H15; 14J10 (Secondary)

Journal ref: J. Symbolic Comput. 118 (2023), pp. 17-31

Some surfaces with canonical map of degree 4

Authors: Federico Fallucca, Roberto Pignatelli

Abstract: In this short note we construct unbounded families of minimal surfaces of general type with canonical map of degree 4 such that the limits of the slopes assume countably many different values among 6+2/3 and 8. In this short note we construct unbounded families of minimal surfaces of general type with canonical map of degree 4 such that the limits of the slopes assume countably many different values among 6+2/3 and 8. △ Less

Submitted 19 May, 2023; v1 submitted 16 July, 2021; originally announced July 2021.

Comments: 8 pages,v2: added a reference, v3: minor changes, final version to appear on Port. Math

MSC Class: 14J29

Some evidence for the Coleman-Oort conjecture

Authors: Diego Conti, Alessandro Ghigi, Roberto Pignatelli

Abstract: The Coleman-Oort conjecture says that for large $g$ there are no positive-dimensional Shimura subvarieties of $\mathsf{A}_g$ generically contained in the Jacobian locus. Counterexamples are known for $g\leq 7$. They can all be constructed using families of Galois coverings of curves satisfying a numerical condition. These families are already classified in cases where: a) the Galois group is cycli… ▽ More The Coleman-Oort conjecture says that for large $g$ there are no positive-dimensional Shimura subvarieties of $\mathsf{A}_g$ generically contained in the Jacobian locus. Counterexamples are known for $g\leq 7$. They can all be constructed using families of Galois coverings of curves satisfying a numerical condition. These families are already classified in cases where: a) the Galois group is cyclic, b) it is abelian and the family is 1-dimensional, and c) $g\leq 9$. By means of carefully designed computations and theoretical arguments excluding a large number of cases we are able to prove that for $g\leq 100$ there are no other families than those already known. △ Less

Submitted 21 November, 2021; v1 submitted 24 February, 2021; originally announced February 2021.

Comments: Accepted for publication on Revista de la Real Academia de Ciencias Exactas, Físicas y Naturales. Serie A. Matemáticas

Journal ref: Rev. R. Acad. Cienc. Exactas Fís. Nat. Ser. A Mat. RACSAM 116 (2022), no. 1, Paper No. 50

Note on a family of surfaces with $p_g=q=2$ and $K^2=7$

Authors: Matteo Penegini, Roberto Pignatelli

Abstract: We study a family of surfaces of general type with $p_g=q=2$ and $K^2=7$, originally constructed by C. Rito. We provide an alternative construction of these surfaces, that allows us to describe their Albanese map and the corresponding locus $\mathcal{M}$ in the moduli space of the surfaces of general type. In particular we prove that $\mathcal{M}$ is an open subset, and it has three connected comp… ▽ More We study a family of surfaces of general type with $p_g=q=2$ and $K^2=7$, originally constructed by C. Rito. We provide an alternative construction of these surfaces, that allows us to describe their Albanese map and the corresponding locus $\mathcal{M}$ in the moduli space of the surfaces of general type. In particular we prove that $\mathcal{M}$ is an open subset, and it has three connected components, two dimensional, irreducible and generically smooth. △ Less

Submitted 30 June, 2021; v1 submitted 10 December, 2020; originally announced December 2020.

Comments: 26 pages, 7 figures. In this version we have corrected a miscalculation of the previous version regarding the number of components

MSC Class: 14J29 (Primary) 14J10; 14B12 (Secondary)

A rigid, not infinitesimally rigid surface with K ample

Authors: Christian Böhning, Hans-Christian Graf von Bothmer, Roberto Pignatelli

Abstract: We produce an example of a rigid, but not infinitesimally rigid smooth compact complex surface with ample canonical bundle using results about arrangements of lines inspired by work of Hirzebruch, Kapovich and Millson, Manetti and Vakil. We produce an example of a rigid, but not infinitesimally rigid smooth compact complex surface with ample canonical bundle using results about arrangements of lines inspired by work of Hirzebruch, Kapovich and Millson, Manetti and Vakil. △ Less

Submitted 1 June, 2021; v1 submitted 27 October, 2020; originally announced October 2020.

Comments: 28 pages, 1 figure. For associated M2 files visit https://www.math.uni-hamburg.de/home/bothmer/M2/rigidNotInf/ To be published in the special issue of Bollettino dell'Unione Matematica Italiana dedicated to Fabrizio Catanese

MSC Class: 14B12; 14L30; 14J10; 14J29; 14E20; 32G05

The pluricanonical systems of a product-quotient variety

Authors: Filippo F. Favale, Christian Gleissner, Roberto Pignatelli

Abstract: We give a method for the computation of the plurigenera of a product-quotient manifold. We give two different types of applications to it: to the construction of Calabi-Yau threefolds and to the determination of the minimal model of a product-quotient surface of general type. We give a method for the computation of the plurigenera of a product-quotient manifold. We give two different types of applications to it: to the construction of Calabi-Yau threefolds and to the determination of the minimal model of a product-quotient surface of general type. △ Less

Submitted 3 October, 2019; v1 submitted 2 October, 2018; originally announced October 2018.

Comments: 30 pages. To appear on ''Galois Covers, Grothendieck-Teichmüller Theory and Dessins d'Enfants - Interactions between Geometry, Topology, Number Theory and Algebra''. Frank Neumann, Sibylle Schroll (ed.) Series: Springer Proceedings in Mathematics & Statistics

MSC Class: Primary: 14L30; Secodary: 14J50; 14J29; 14J32

New surfaces with canonical map of high degree

Authors: Christian Gleissner, Roberto Pignatelli, Carlos Rito

Abstract: We give an algorithm that, for a given value of the geometric genus $p_g,$ computes all regular product-quotient surfaces with abelian group that have at most canonical singularities and have canonical system with at most isolated base points. We use it to show that there are exactly two families of such surfaces with canonical map of degree $32$. We also construct a surface with $q=1$ and canonic… ▽ More We give an algorithm that, for a given value of the geometric genus $p_g,$ computes all regular product-quotient surfaces with abelian group that have at most canonical singularities and have canonical system with at most isolated base points. We use it to show that there are exactly two families of such surfaces with canonical map of degree $32$. We also construct a surface with $q=1$ and canonical map of degree $24$. These are regular surfaces with $p_g=3$ and base point free canonical system. We discuss the case of regular surfaces with $p_g=4$ and base point free canonical system. △ Less

Submitted 25 March, 2020; v1 submitted 31 July, 2018; originally announced July 2018.

Comments: Ancillary file with Magma code included. Final version, to appear in Commun. Anal. Geom

MSC Class: 14J29; 14J10

Rigid but not infinitesimally rigid compact complex manifolds

Authors: Ingrid Bauer, Roberto Pignatelli

Abstract: In this paper the authors give an infinite series of rigid compact complex manifolds for each dimension $d \geq 2$ which are not infinitesimally rigid, hence giving a complete answer to a problem of Morrow and Kodaira stated in the famous book "Complex manifolds". In this paper the authors give an infinite series of rigid compact complex manifolds for each dimension $d \geq 2$ which are not infinitesimally rigid, hence giving a complete answer to a problem of Morrow and Kodaira stated in the famous book "Complex manifolds". △ Less

Submitted 3 September, 2020; v1 submitted 7 May, 2018; originally announced May 2018.

Comments: 21 pages, 2 figures. v2: exposition improved, some results in Section 2 proved in higher generality, proof of Lemma 5.2 simplified. Final version, to be published on Duke Math. J

MSC Class: 14B12; 14L30; 14J10; 14J29; 14E20; 32G05

Quotients of the square of a curve by a mixed action, further quotients and Albanese morphisms

Authors: Roberto Pignatelli

Abstract: We study mixed surfaces, the minimal resolution S of the singularities of a quotient (C x C)/G of the "square" of a curve by a finite group G of automorphisms that contains elements not preserving the factors. We study them through the "further quotients" by (C x C)/G' where G' contains G. As a first application we prove that if the irregularity is at least 3, then S is also minimal. The result… ▽ More We study mixed surfaces, the minimal resolution S of the singularities of a quotient (C x C)/G of the "square" of a curve by a finite group G of automorphisms that contains elements not preserving the factors. We study them through the "further quotients" by (C x C)/G' where G' contains G. As a first application we prove that if the irregularity is at least 3, then S is also minimal. The result is sharp. The main result is a complete description of the Albanese morphism of S through a determined further quotient (C x C)/G' that is an étale cover of the symmetric square of a curve. In particular, if the irregularity of S is at least 2, then S has maximal Albanese dimension. We apply our result to all the "semi-isogenous" mixed surfaces of maximal Albanese dimension constructed by Cancian and Frapporti, relating them with the other constructions appearing in the literature of surfaces of general type having the same invariants. △ Less

Submitted 27 November, 2019; v1 submitted 5 August, 2017; originally announced August 2017.

Comments: 18 pages, final version to appear on Rev. Mat. Complut

A family of surfaces with $p_g=q=2, \, K^2=7$ and Albanese map of degree $3$

Authors: Roberto Pignatelli, Francesco Polizzi

Abstract: We study a family of surfaces of general type with $p_g=q=2$ and $K^2=7$, originally constructed by Cancian and Frapporti by using the Computer Algebra System MAGMA. We provide an alternative, computer-free construction of these surfaces, that allows us to describe their Albanese map and their moduli space. We study a family of surfaces of general type with $p_g=q=2$ and $K^2=7$, originally constructed by Cancian and Frapporti by using the Computer Algebra System MAGMA. We provide an alternative, computer-free construction of these surfaces, that allows us to describe their Albanese map and their moduli space. △ Less

Submitted 11 October, 2016; v1 submitted 26 April, 2016; originally announced April 2016.

Comments: 15 pages, 1 figure. Final version, to appear in Mathematische Nachrichten

MSC Class: 14J29; 14J10

Journal ref: Mathematische Nachrichten 290, Issue 16 (2017), 2684-2695

A twisted bicanonical system with base points

Authors: Filippo F. Favale, Roberto Pignatelli

Abstract: By a theorem of Reider, a twisted bicanonical system, that means a linear system of divisors numerically equivalent to a bicanonical divisor, on a minimal surface of general type, is base point free if $K^2_S \geq 5$. Twisted bicanonical systems with base points are known in literature only for $K^2=1,2$. We prove in this paper that all surfaces in a family of surfaces with $K^2=3$ constructed in… ▽ More By a theorem of Reider, a twisted bicanonical system, that means a linear system of divisors numerically equivalent to a bicanonical divisor, on a minimal surface of general type, is base point free if $K^2_S \geq 5$. Twisted bicanonical systems with base points are known in literature only for $K^2=1,2$. We prove in this paper that all surfaces in a family of surfaces with $K^2=3$ constructed in a previous paper with G. Bini and J. Neves have a twisted bicanonical system (different from the bicanonical system) with two base points. We show that the map induced by the above twisted bicanonical system is birational, and describe in detail the closure of its image and its singular locus. Inspired by this description, we reduced the problem of constructing a minimal surface of general type with $K^2=3$ whose bicanonical system has base points, under some reasonable assumptions, to the problem of constructing a curve in $\mathbb{P}^3$ with certain properties. △ Less

Submitted 3 February, 2017; v1 submitted 22 October, 2015; originally announced October 2015.

Comments: 20 pages. Corrected an error in Theorem 3. Some arguments have been simplified. To appear on Annali dell'Università di Ferrara, in a special volume dedicated to the memory of Alexandru Lascu

MSC Class: 14J29

Product-Quotient Surfaces: new invariants and algorithms

Authors: Ingrid Bauer, Roberto Pignatelli

Abstract: In this article we suggest a new approach to the systematic, computer-aided construction and to the classification of product-quotient surfaces, introducing a new invariant, the integer gamma, which depends only on the singularities of the quotient model X=(C_1 x C_2)/G. It turns out that gamma is related to the codimension of the subspace of H^{1,1} generated by algebraic curves coming from the c… ▽ More In this article we suggest a new approach to the systematic, computer-aided construction and to the classification of product-quotient surfaces, introducing a new invariant, the integer gamma, which depends only on the singularities of the quotient model X=(C_1 x C_2)/G. It turns out that gamma is related to the codimension of the subspace of H^{1,1} generated by algebraic curves coming from the construction (i.e., the classes of the two fibers and the Hirzebruch-Jung strings arising from the minimal resolution of singularities of X). Profiting from this new insight we developped and implemented an algorithm which constructs all regular product-quotient surfaces with given values of gamma and geometric genus in the computer algebra program MAGMA. Being far better than the previous algorithms, we are able to construct a substantial number of new regular product-quotient surfaces of geometric genus zero. We prove that only two of these are of general type, raising the number of known families of product-quotient surfaces of general type with genus zero to 75. This gives evidence to the conjecture that there is an effective bound of the form gamma < Gamma(p_g,q). △ Less

Submitted 26 August, 2013; originally announced August 2013.

Comments: 33 pages, 3 figures

MSC Class: 14C30; 14J10; 14J29; 14Q10 (Primary) 14J25; 20F99 (Secondary)

Mixed quasi-étale quotients with arbitrary singularities

Authors: Davide Frapporti, Roberto Pignatelli

Abstract: A mixed quasi-étale quotient is the quotient of the product of a curve of genus at least 2 with itself by the action of a group which exchanges the two factors and acts freely out of a finite subset. A mixed quasi-étale surface is the minimal resolution of its singularities. We produce an algorithm computing all mixed quasi-étale surfaces with given geometric genus, irregularity, and self-inters… ▽ More A mixed quasi-étale quotient is the quotient of the product of a curve of genus at least 2 with itself by the action of a group which exchanges the two factors and acts freely out of a finite subset. A mixed quasi-étale surface is the minimal resolution of its singularities. We produce an algorithm computing all mixed quasi-étale surfaces with given geometric genus, irregularity, and self-intersection of the canonical class. We prove that all irregular mixed quasi-étale surfaces of general type are minimal. As application, we classify all irregular mixed quasi étale surfaces of general type with genus equal to the irregularity, and all the regular ones with K^2>0, thus constructing new examples of surfaces of general type with χ=1. We mention the first example of a minimal surface of general type with p_g=q=1 and Albanese fibre of genus bigger than K^2. △ Less

Submitted 19 November, 2013; v1 submitted 15 February, 2013; originally announced February 2013.

Comments: 27 pages; v2: minor corrections, to be published in Glasgow Mathematical Journal

MSC Class: 14J29; 58E40; 14Q10

New examples of Calabi-Yau threefolds and genus zero surfaces

Authors: Gilberto Bini, Filippo F. Favale, Jorge Neves, Roberto Pignatelli

Abstract: We classify the subgroups of the automorphism group of the product of 4 projective lines admitting an invariant anticanonical smooth divisor on which the action is free. As a first application, we describe new examples of Calabi-Yau 3-folds with small Hodge numbers. In particular, the Picard number is 1 and the number of moduli is 5. Furthermore, the fundamental group is non-trivial. We also const… ▽ More We classify the subgroups of the automorphism group of the product of 4 projective lines admitting an invariant anticanonical smooth divisor on which the action is free. As a first application, we describe new examples of Calabi-Yau 3-folds with small Hodge numbers. In particular, the Picard number is 1 and the number of moduli is 5. Furthermore, the fundamental group is non-trivial. We also construct a new family of minimal surfaces of general type with geometric genus zero, K^2=3 and fundamental group of order 16. We show that this family dominates an irreducible component of dimension 4 of the moduli space of the surfaces of general type. △ Less

Submitted 18 February, 2013; v1 submitted 11 November, 2012; originally announced November 2012.

Comments: 18 pages; v2: simplified some arguments in the last section, final version to appear on Communications in Contemporary Mathematics

MSC Class: 14J29; 14J32

Journal ref: Communications in Contemporary Mathematics Vol. 15, No. 3 (2013)

The moduli space of even surfaces of general type with K^2 = 8, p_g = 4 and q = 0

Authors: Fabrizio Catanese, Wenfei Liu, Roberto Pignatelli

Abstract: We settle the first step for the classification of surfaces of general type with K^2 = 8, p_g = 4 and q = 0, classifying the even surfaces (K is 2-divisible). The first even surfaces of general type with $K^2=8$, $p_g=4$ and $q=0$ were found by Oliverio as complete intersections of bidegree (6,6) in a weighted projective space P(1,1,2,3,3). In this article we prove that the moduli space of eve… ▽ More We settle the first step for the classification of surfaces of general type with K^2 = 8, p_g = 4 and q = 0, classifying the even surfaces (K is 2-divisible). The first even surfaces of general type with $K^2=8$, $p_g=4$ and $q=0$ were found by Oliverio as complete intersections of bidegree (6,6) in a weighted projective space P(1,1,2,3,3). In this article we prove that the moduli space of even surfaces of general type with K^2 = 8, p_g = 4 and q = 0 consists of two 35 -dimensional irreducible components intersecting in a codimension one subset (the first of these components is the closure of the open set considered by Oliverio). For the surfaces in the second component the canonical models are always singular, hence we get a new example of generically nonreduced moduli spaces. Our result gives a posteriori a complete description of the half-canonical rings of the above even surfaces. The method of proof is, we believe, the most interesting part of the paper. After describing the graded ring of a cone we are able, combining the explicit description of some subsets of the moduli space, some deformation theoretic arguments, and finally some local algebra arguments, to describe the whole moduli space. This is the first time that the classification of a class of surfaces can only be done using moduli theory: up to now first the surfaces were classified, on the basis of some numerical inequalities, or other arguments, and later on the moduli spaces were investigated. △ Less

Submitted 9 November, 2012; v1 submitted 31 August, 2012; originally announced September 2012.

Comments: 29 pages, the method of proof has been more carefully explained

MSC Class: 14J29; 14J10; 14D20; 32G13

Weighted hypersurfaces with either assigned volume or many vanishing plurigenera

Authors: E. Ballico, R. Pignatelli, L. Tasin

Abstract: In this paper we construct, for every n, smooth varieties of general type of dimension n with the first $\lfloor \frac{n-2}{3} \rfloor$ plurigenera equal to zero. Hacon-McKernan, Takayama and Tsuji have recently shown that there are numbers $r_n$ such that, for all r > $r_n$, the r-canonical map of every variety of general type of dimension n is birational. Our examples show that $r_n$ grows at le… ▽ More In this paper we construct, for every n, smooth varieties of general type of dimension n with the first $\lfloor \frac{n-2}{3} \rfloor$ plurigenera equal to zero. Hacon-McKernan, Takayama and Tsuji have recently shown that there are numbers $r_n$ such that, for all r > $r_n$, the r-canonical map of every variety of general type of dimension n is birational. Our examples show that $r_n$ grows at least quadratically as a function of n. Moreover they show that the minimal volume of a variety of general type of dimension n is smaller than $\frac{3^{n+1}}{(n-1)^{n}}$. In addition we prove that for every positive rational number q there are smooth varieties of general type with volume q and dimension arbitrarily big. △ Less

Submitted 13 March, 2012; v1 submitted 15 February, 2011; originally announced February 2011.

Comments: 7 pages; v2: minor corrections, final version to be published in Communications in Algebra

MSC Class: 14E05

Unprojection and deformations of tertiary Burniat surfaces

Authors: Jorge Neves, Roberto Pignatelli

Abstract: We construct a 4-dimensional family of surfaces of general type with p_g=0 and K^2=3 and fundamental group Z/2xQ_8, where Q_8 is the quaternion group. The family constructed contains the Burniat surfaces with K^2=3. Additionally, we construct the universal coverings of the surfaces in our family as complete intersections on (\PP^1)^4 and we also give an action of Z/2xQ_8 on (\PP^1)^4 lifting the n… ▽ More We construct a 4-dimensional family of surfaces of general type with p_g=0 and K^2=3 and fundamental group Z/2xQ_8, where Q_8 is the quaternion group. The family constructed contains the Burniat surfaces with K^2=3. Additionally, we construct the universal coverings of the surfaces in our family as complete intersections on (\PP^1)^4 and we also give an action of Z/2xQ_8 on (\PP^1)^4 lifting the natural action on the surfaces. The strategy is the following. We consider an étale (Z/2)^3-cover T of a surface with p_g=0 and K^2=3 and assume that it may be embedded in a Fano 3-fold V. We construct V by using the theory of parallel unprojection. Since V is an Enriques--Fano 3-fold, considering its Fano cover yields the simple description of the universal covers above. △ Less

Submitted 20 March, 2012; v1 submitted 17 January, 2011; originally announced January 2011.

Comments: 29 pages, 3 figures. Final version. To appear in Ann. Scuola Norm. Sup. Pisa Cl. Sci

The classification of minimal product-quotient surfaces with $p_g=0$

Authors: Ingrid Bauer, Roberto Pignatelli

Abstract: A product-quotient surface is the minimal resolution of the singularities of the quotient of a product of two curves by the action of a finite group acting separately on the two factors. We classify all minimal product-quotient surfaces of general type with geometric genus 0: they form 72 families. We show that there is exactly one product-quotient surface of general type with big canonical class… ▽ More A product-quotient surface is the minimal resolution of the singularities of the quotient of a product of two curves by the action of a finite group acting separately on the two factors. We classify all minimal product-quotient surfaces of general type with geometric genus 0: they form 72 families. We show that there is exactly one product-quotient surface of general type with big canonical class which is not minimal, and describe its (-1) curves. For all these surfaces the Bloch conjecture holds. △ Less

Submitted 5 April, 2011; v1 submitted 16 June, 2010; originally announced June 2010.

Comments: 59 pages. v2: exposition improved

MSC Class: 14J10; 14J29; 14J25; 14Q10; 20F99

Surfaces of general type with geometric genus zero: a survey

Authors: Ingrid Bauer, Fabrizio Catanese, Roberto Pignatelli

Abstract: In the last years there have been several new constructions of surfaces of general type with $p_g=0$, and important progress on their classification. The present paper presents the status of the art on surfaces of general type with $p_g=0$, and gives an updated list of the existing surfaces, in the case where $K^2= 1,...,7$. It also focuses on certain important aspects of this classification. In the last years there have been several new constructions of surfaces of general type with $p_g=0$, and important progress on their classification. The present paper presents the status of the art on surfaces of general type with $p_g=0$, and gives an updated list of the existing surfaces, in the case where $K^2= 1,...,7$. It also focuses on certain important aspects of this classification. △ Less

Submitted 18 October, 2010; v1 submitted 15 April, 2010; originally announced April 2010.

Comments: 39 pages. v2, v3: minor changes

MSC Class: 14J29; 14J10; 14H30; 14J80; 20F05

On surfaces with a canonical pencil

Authors: Roberto Pignatelli

Abstract: We classify the minimal surfaces of general type with $K^2 \leq 4χ-8$ whose canonical map is composed with a pencil, up to a finite number of families. More precisely we prove that there is exactly one irreducible family for each value of $χ\gg 0$, $4χ-10 \leq K^2 \leq 4χ-8$. All these surfaces are complete intersections in a toric $4-$fold and bidouble covers of Hirzebruch surfaces. The surface… ▽ More We classify the minimal surfaces of general type with $K^2 \leq 4χ-8$ whose canonical map is composed with a pencil, up to a finite number of families. More precisely we prove that there is exactly one irreducible family for each value of $χ\gg 0$, $4χ-10 \leq K^2 \leq 4χ-8$. All these surfaces are complete intersections in a toric $4-$fold and bidouble covers of Hirzebruch surfaces. The surfaces with $K^2=4χ-8$ were previously constructed by Catanese as bidouble covers of $\PP^1 \times \PP^1$. △ Less

Submitted 27 October, 2010; v1 submitted 3 September, 2009; originally announced September 2009.

Comments: 24 pages. v2: final version to appear on Mathematische Zeitschrift

MSC Class: 14J29 (Primary); 14J10 (Secondary)

Quotients of products of curves, new surfaces with $p_g=0$ and their fundamental groups

Authors: Ingrid Bauer, Fabrizio Catanese, Fritz Grunewald, Roberto Pignatelli

Abstract: The first main purpose of this paper is to contribute to the existing knowledge about the complex projective surfaces $S$ of general type with $p_g(S) = 0$ and their moduli spaces, constructing 19 new families of such surfaces with hitherto unknown fundamental groups. We also provide a table containing all the known such surfaces with K^2 <=7. Our second main purpose is to describe in greater… ▽ More The first main purpose of this paper is to contribute to the existing knowledge about the complex projective surfaces $S$ of general type with $p_g(S) = 0$ and their moduli spaces, constructing 19 new families of such surfaces with hitherto unknown fundamental groups. We also provide a table containing all the known such surfaces with K^2 <=7. Our second main purpose is to describe in greater generality the fundamental groups of smooth projective varieties which occur as the minimal resolutions of the quotient of a product of curves by the action of a finite group. We classify, in the two dimensional case, all the surfaces with q=p_g = 0 obtained as the minimal resolution of such a quotient, having rational double points as singularities. We show that all these surfaces give evidence to the Bloch conjecture. △ Less

Submitted 27 October, 2009; v1 submitted 19 September, 2008; originally announced September 2008.

Comments: v2: substantially improved and expanded version (56 pages instead of the former 37, new results and state of the art for surfaces with p_g =0). v3: title change

MSC Class: 14J10; 14J15; 14J29; 14J25; 14J80; 14Q10; 20F34; 20F05.

Some (big) irreducible components of the moduli space of minimal surfaces of general type with $p_g=q=1$ and $K^2=4$

Authors: Roberto Pignatelli

Abstract: In this paper we study the minimal surfaces of general type with $p_g=q=1$ and $K^2=4$ whose Albanese general fibre has genus 2, classifying those such that the direct image (under the Albanese morphism) of the bicanonical sheaf is sum of line bundles. We find 8 unirational families, all of dimension strictly bigger than the expected one. These families are pairwise disjoint irreducible componen… ▽ More In this paper we study the minimal surfaces of general type with $p_g=q=1$ and $K^2=4$ whose Albanese general fibre has genus 2, classifying those such that the direct image (under the Albanese morphism) of the bicanonical sheaf is sum of line bundles. We find 8 unirational families, all of dimension strictly bigger than the expected one. These families are pairwise disjoint irreducible components of the moduli space of minimal surfaces of general type. △ Less

Submitted 15 June, 2009; v1 submitted 8 January, 2008; originally announced January 2008.

Comments: 20 pages. v2: improved introduction, final version to appear on Rend. Lincei Mat. Appl

MSC Class: 14J29; 14D06

On Wahl's proof of $μ(6)=65$

Authors: Roberto Pignatelli, Fabio Tonoli

Abstract: D. Jaffe and D. Ruberman proved in 1997 that a sextic hypersurface in $\mathbb{P}^3$ has at most 65 nodes (the bound is sharp by Barth's construction). Almost at the same time, J. Wahl proposed a much shorter proof of the same result, by proving that a linear code $V\subset \F^{66}$ with weights in $\{24,32,40\}$ has dimension $\dim(V)\leq12$. He claimed that Jaffe-Ruberman's theorem follows… ▽ More D. Jaffe and D. Ruberman proved in 1997 that a sextic hypersurface in $\mathbb{P}^3$ has at most 65 nodes (the bound is sharp by Barth's construction). Almost at the same time, J. Wahl proposed a much shorter proof of the same result, by proving that a linear code $V\subset \F^{66}$ with weights in $\{24,32,40\}$ has dimension $\dim(V)\leq12$. He claimed that Jaffe-Ruberman's theorem follows as a corollary since the code associated to a sextic with n nodes has dimension at least $n-53$ and an incorrect result stated by Casnati and Catanese asserted that the possible cardinalities of an even set of nodes on a sextic were only 24, 32 and 40. Recently Catanese and Tonoli showed that the possible cardinalities of an even set of nodes on a sextic are exactly 24, 32, 40, 56. According to the above cardinalities, the theorem of Jaffe and Ruberman reduces to the following: Let $V\subset \F^{66}$ be a code with weights in $\{24,32,40,56\}$. Then $\dim(V)\leq12$. In this short note we give an elementary proof of this theorem using and integrating Wahl's ideas. △ Less

Submitted 29 June, 2007; originally announced June 2007.

Comments: 5 pages

MSC Class: 94B05; 14N25; 14M99; 14Q10

Surfaces with K^2=8, p_g=4 and canonical involution

Authors: Ingrid Bauer, Roberto Pignatelli

Abstract: In this paper we classify completely all regular minimal surfaces with K^2=8, p_g=4 whose canonical map is composed with an involution. We obtain six unirational families of respective dimensions 28,28,32,33,38,34. The last two are irreducible components of the moduli space of minimal surfaces with K^2=8, p_g=4. These families hit three different topological types. In this paper we classify completely all regular minimal surfaces with K^2=8, p_g=4 whose canonical map is composed with an involution. We obtain six unirational families of respective dimensions 28,28,32,33,38,34. The last two are irreducible components of the moduli space of minimal surfaces with K^2=8, p_g=4. These families hit three different topological types. △ Less

Submitted 19 December, 2007; v1 submitted 3 March, 2006; originally announced March 2006.

Comments: 23 pages. In this version we correct an error (which does not change the main theorem) and simplify substantially some proofs. For sake of clarity we decided to be more detailed in the case of surfaces having a genus 2 pencil

Complex surfaces of general type: some recent progress

Authors: Ingrid Bauer, Fabrizio Catanese, Roberto Pignatelli

Abstract: Chapters : Old and new inequalities; Surfaces with $χ=1$ and the bicanonical map; Surfaces with $p_g=4$; Surfaces isogeneous to a product, Beauville surfaces and the absolute Galois group;Lefschetz pencils and braid monodromies;DEF, DIFF and other equivalence relations. Chapters : Old and new inequalities; Surfaces with $χ=1$ and the bicanonical map; Surfaces with $p_g=4$; Surfaces isogeneous to a product, Beauville surfaces and the absolute Galois group;Lefschetz pencils and braid monodromies;DEF, DIFF and other equivalence relations. △ Less

Submitted 21 February, 2006; originally announced February 2006.

Comments: 58 pages, 8 figures, to appear in a Volume edited by Springer Verlag entitled "Global methods in complex geometry"

MSC Class: 14J29; 14J10; 14J15; 14J25; 14J80; 14D06; 57R50

Fibrations of low genus, I

Authors: Fabrizio Catanese, Roberto Pignatelli

Abstract: In the present paper we consider fibrations $f: S \ra B$ of an algebraic surface onto a curve $B$, with general fibre a curve of genus $g$. Our main results are: 1) A structure theorem for such fibrations in the case $g=2$ 2) A structure theorem for such fibrations in the case $g=3$ and general fibre nonhyperelliptic 3) A theorem giving a complete description of the moduli space of minimal… ▽ More In the present paper we consider fibrations $f: S \ra B$ of an algebraic surface onto a curve $B$, with general fibre a curve of genus $g$. Our main results are: 1) A structure theorem for such fibrations in the case $g=2$ 2) A structure theorem for such fibrations in the case $g=3$ and general fibre nonhyperelliptic 3) A theorem giving a complete description of the moduli space of minimal surfaces of general type with $ K^2_S = 3, p_g = q=1$, showing in particular that it has four unirational connected components 4) some other applications of the two structure theorems. △ Less

Submitted 19 October, 2006; v1 submitted 15 March, 2005; originally announced March 2005.

Comments: 50 pages, to appear on Annales Scientifiques de l'Ecole Normale Superieure

MSC Class: 14D06; 14J29; 11G30

The moduli space of surfaces with $K^2=6, p_g=4$

Authors: Ingrid C. Bauer, Fabrizio M. E. Catanese, Roberto Pignatelli

Abstract: In this paper we answer a question posed by Horikawa in 1978, who showed that the above moduli space is composed of 11 locally closed strata building up 4 irreducible components and having at most 3 connected components. We prove that the number of connected components is at most two and pose the question whether this number is exactly two. The main new idea is to analyse the strata in the modul… ▽ More In this paper we answer a question posed by Horikawa in 1978, who showed that the above moduli space is composed of 11 locally closed strata building up 4 irreducible components and having at most 3 connected components. We prove that the number of connected components is at most two and pose the question whether this number is exactly two. The main new idea is to analyse the strata in the moduli space where the canonical divisor is 2-divisible on the canonical model (as a Weil divisor). In this way we obtain a semicanonical ring $\B$ which is a Gorenstein ring of codimension 4 for type $III_b$ and of codimension 1 for type II. We use one of the formats introduced by Dicks and Reid for Gorenstein rings of codimension 4, the one of 4x4 Pfaffians of antisymmetric extrasymmetric 6x6 matrices. △ Less

Submitted 4 August, 2004; originally announced August 2004.

Comments: 17 pages

MSC Class: 14J29; 14J25; 14D22; 13D02; 13D10; 32G05

Canonical rings of surfaces whose canonical system has base points

Authors: I. C. Bauer, F. Catanese, R. Pignatelli

Abstract: In this paper we propose an approach to investigate the canonical rings of surfaces of general type whose canonical system has isolated base points and yields a birational map onto its image. We apply then the method in the concrete case of surfaces with $K^2=7$ and $p_g=4$, where we give three different descriptions of the canonical ring (under the presence of base points). The main result… ▽ More In this paper we propose an approach to investigate the canonical rings of surfaces of general type whose canonical system has isolated base points and yields a birational map onto its image. We apply then the method in the concrete case of surfaces with $K^2=7$ and $p_g=4$, where we give three different descriptions of the canonical ring (under the presence of base points). The main result in the paper consists in showing an explicit deformation of the above canonical rings to the canonical rings of surfaces whose canonical system has no base points (the latter were already classified by the second author). That such a deformation should exist was claimed by F. Enriques and holds true by abstract deformation theory and dimension counts. Our deformation is explicitly gotten by writing the equations of the canonical ring as the (4x4)-Pfaffians of an antisymmetric and extrasymmetric (6x6)-matrix. Deforming the matrix, we get, for $t \neq 0$, that the Pfaffians reduce to the (4x4)-Pfaffians of an antisymmetric (5x5)-matrix. This type of deformation of a Gorenstein ring of codimension 4 to a Gorenstein ring of codimension 3 had already been introduced by Duncan Dicks and Miles Reid. △ Less

Submitted 2 November, 2001; originally announced November 2001.

Comments: 45 pages, to appear in the Festschrift in honour of Hans Grauert

Chisini's conjecture for curves with singularities of type $x^n=y^m$

Authors: Sandro Manfredini, Roberto Pignatelli

Abstract: This paper is devoted to a very classical problem that can be summarized as follows: let S be a non singular compact complex surface, f:S --> P^2 a finite morphism having simple branching, B the branch curve: to what extent does B determine f? The problem was first studied by Chisini who proved that B determines S and f, assuming B to have only nodes and cusps as singularities, the degree d of f… ▽ More This paper is devoted to a very classical problem that can be summarized as follows: let S be a non singular compact complex surface, f:S --> P^2 a finite morphism having simple branching, B the branch curve: to what extent does B determine f? The problem was first studied by Chisini who proved that B determines S and f, assuming B to have only nodes and cusps as singularities, the degree d of f to be greater than 5, and a very strong hypothesis on the possible degenerations of B, and posed the question if the first or the third hypothesis could be weakened. Recently Kulikov and Nemirovski proved the result for d >= 12, and B having only nodes and cusps as singularities. In this paper we weaken the hypothesis about the singularities of B: we generalize the theorem of Kulikov and Nemirovski for B having only singularities of type {x^n=y^m}, in the additional hypothesis of smoothness for the ramification divisor. Moreover we exhibit a family of counterexamples showing that our additional hypothesis is necessary. △ Less

Submitted 17 January, 2002; v1 submitted 22 November, 2000; originally announced November 2000.

Comments: 27 pages, LaTeX, 1 figure (file=polypicc.eps)

Report number: 1.245.1284 MSC Class: 14J99 (Primary); 32S05; 32S25 (Secondary)