Source author record

Fabrizio Catanese

Fabrizio Catanese appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

40works
9topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

40 published item(s)

preprint2022arXiv

Singularities of normal quartic surfaces I (char=2)

We show, in this first part, that the maximal number of singular points of a normal quartic surface $X \subset \mathbb{P}^3_K$ defined over an algebraically closed field $K$ of characteristic $2$ is at most $16$. We produce examples with $14$, respectively $12$, singular points and show that, under several geometric assumptions ($\mathfrak S_4$-symmetry, or behaviour of the Gauss map, or structure of tangent cone at one of the singular points $P$, separability/inseparability of the projection with centre $P$), we can obtain smaller upper bounds for the number of singular points of $X$.

preprint2022arXiv

Singularities of normal quartic surfaces II (char=2)

We show, in this second part, that the maximal number of singular points of a quartic surface $X \subset \mathbb{P}^3_K$ defined over an algebraically closed field $K$ of characteristic 2 is at most 14, and that, if we have 14 singularities, these are nodes and moreover the minimal resolution of $X$ is a supersingular K3 surface. We produce an irreducible component, of dimension 24, of the variety of quartics with 14 nodes. We also exhibit easy examples of quartics with 7 $A_3$-singularities.

preprint2022arXiv

The Hesse pencil and polarizations of type $(1,3)$ on Abelian surfaces

In this short note we prove two theorems, the first one is a sharpening of a result of Lange and Sernesi: the discriminant curve W of a general Abelian surface $A$ endowed with an irreducible polarization $D$ of type $(1,3)$ is an irreducible curve of degree $18$ whose singularities are exactly $36$ nodes and $72$ cusps. Moreover, we analyze the degeneration of the discriminant curve $W$ and its singularities as $A$ tends to the product of two equal elliptic curves. The second theorem, using the first one in order to prove a transversality assertion, shows that the general element of a family of surfaces constructed by Alessandro and Catanese is a smooth surface, thereby proving the existence of a new family of minimal surfaces of general type with $p_g=q=2, K^2=6$ and Albanese map of degree $3$.

preprint2020arXiv

$\mathfrak S_5$-equivariant syzygies for the Del Pezzo Surface of Degree 5

The Del Pezzo surface $Y$ of degree 5 is the blow up of the plane in 4 general points, embedded in $\mathbb{P}^5$ by the system of cubics passing through these points. It is the simplest example of the Buchsbaum-Eisenbud theorem on arithmetically-Gorenstein subvarieties of codimension 3 being Pfaffian. Its automorphism group is the symmetric group $\mathfrak S_5$. We give canonical explicit $\mathfrak S_5$-invariant Pfaffian equations through a $6 \times 6$ antisymmetric matrix. We give concrete geometric descriptions of the irreducible representations of $\mathfrak S_5$. Finally, we give $\mathfrak S_5$-invariant equations for the embedding of $Y$ inside $(\mathbb{P}^1)^5$, and show that they have the same Hilbert resolution as for the Del Pezzo of degree $4$.

preprint2020arXiv

The Moduli Space of smooth Ample Hypersurfaces in Abelian Varieties

We give a characterizaton of smooth ample Hypersurfaces in Abelian Varieties and also describe an irreducible connected component of their moduli space: it consists of the Hypersurfaces of a given polarization type, plus the iterated univariate coverings of normal type (of the same polarization type). The above manifolds yield also a connected component of the open set of Teichmüller space consisting of Kähler complex structures.

preprint2016arXiv

Canonical surfaces of higher degree

We consider a family of surfaces of general type $S$ with $K_S$ ample, having $K^2_S = 24, p_g (S) = 6, q(S)=0$. We prove that for these surfaces the canonical system is base point free and yields an embedding $Φ_1 : S \rightarrow \mathbb{P}^5$. This result answers a question posed by G. and M. Kapustka. We discuss some related open problems, concerning also the case $p_g(S) = 5$, where one requires the canonical map to be birational onto its image.

preprint2016arXiv

Dihedral Galois covers of algebraic varieties and the simple cases

In this article we investigate the algebra and geometry of dihedral covers of smooth algebraic varieties. To this aim we first describe the Weil divisors and the Picard group of divisorial sheaves on normal double covers. Then we provide a structure theorem for dihedral covers, that is, given a smooth variety Y, we describe the algebraic "building data" on Y which are equivalent to the existence of such covers X --> Y. We introduce then two special very explicit classes of dihedral covers: the simple and the almost simple dihedral covers, and we determine their basic invariants. For the simple dihedral covers we also determine their natural deformations. In the last section we give an application to fundamental groups.

preprint2016arXiv

Kodaira fibrations and beyond: methods for moduli theory

Kodaira fibred surfaces are a remarkable example of projective classifying spaces, and there are still many intriguing open questions concerning them, especially the slope question. The topological characterization of Kodaira fibrations is emblematic of the use of topological methods in the study of moduli spaces of surfaces and higher dimensional complex algebraic varieties, and their compactifications. The paper contains some new results but is mostly a survey paper, dealing with fibrations, questions on monodromy and factorizations in the mapping class group, old and new results on Variation of Hodge Structures, especially a recent answer given (in joint work with Dettweiler) to a long standing question posed by Fujita. In the landscape of our tour, Galois coverings, deformations and rigid manifolds (new results obtained with Ingrid Bauer) projective classifying spaces, the action of the absolute Galois group on moduli spaces, stand also in the forefront. These questions lead to interesting algebraic surfaces, for instance the BCDH surfaces, hypersurfaces in Bagnera-de Franchis varieties, Inoue-type surfaces.

preprint2016arXiv

On rigid compact complex surfaces and manifolds

This article investigates the subject of rigid compact complex manifolds. First of all we investigate the different notions of rigidity (local rigidity, global rigidity, infinitesimal rigidity, etale rigidity and strong rigidity) and the relations among them. Only for curves these notions coincide and the only rigid curve is the projective line. For surfaces we prove that a rigid surface which is not minimal of general type is either a Del Pezzo surface of degree >= 5 or an Inoue surface. We give examples of rigid manifolds of dimension n >= 3 and Kodaira dimensions 0, and 2 <=k <= n. Our main theorem is that the Hirzebruch Kummer coverings of exponent n >= 4 branched on a complete quadrangle are infinitesimally rigid. Moreover, we pose a number of questions.

preprint2016arXiv

Vector bundles on curves coming from Variation of Hodge Structures

Fujita's second theorem for Kähler fibre spaces over a curve asserts that the direct image $V$ of the relative dualizing sheaf splits as the direct sum $ V = A \oplus Q$, where $A$ is ample and $Q$ is unitary flat. We focus on our negative answer (\cite{cd}) to a question by Fujita: is $V$ semiample? We give here an infinite series of counterexamples using hypergeometric integrals and we give a simple argument to show that the monodromy representation is infinite. Our counterexamples are surfaces of general type with positive index, explicitly given as abelian coverings with group $(\mathbb Z/n)^2$ of a Del Pezzo surface of degree 5 (branched on a union of lines forming a bianticanonical divisor), and endowed with a semistable fibration with only $3$ singular fibres. The simplest such surfaces are the three ball quotients, already considered in joint work of I. Bauer and the first author, fibred over a curve of genus $2$, and with fibres of genus $4$. These examples are a larger class than the ones corresponding to Shimura curves in the moduli space of Abelian varieties.

preprint2015arXiv

Generalized Burniat type surfaces and Bagnera-de Franchis varieties

In this article we construct three new families of surfaces of general type with p_g = q = 0,K^2 = 6, and seven new families of surfaces of general type with p_g = q = 1, K^2 = 6, realizing 10 new fundamental groups. We also show that these families correspond to pairwise distinct irreducible connected components of the Gieseker moduli space of surfaces of general type. We achieve this using two different main ingredients. First we introduce a new class of surfaces, called generalized Burniat type surfaces, and we completely classify them (and the connected com- ponents of the moduli space containing them). Second, we introduce the notion of Bagnera-de Franchis varieties: these are the free quotients of an Abelian variety by a cyclic group (not consisting only of translations). For these we develop some basic results.

preprint2015arXiv

Monodromy and normal forms

We discuss the history of the monodromy theorem, starting from Weierstraß, and the concept of monodromy group. From this viewpoint we compare then the Weierstraß, the Legendre and other normal forms for elliptic curves, explaining their geometric meaning and distinguishing them by their stabilizer in P SL(2,Z) and their monodromy. Then we focus on the birth of the concept of the Jacobian variety, and the geometrization of the theory of Abelian functions and integrals. We end illustrating the methods of complex analysis in the simplest issue, the difference equation $f(z) = g(z+1) - g(z)$ on $\mathbb C$.

preprint2015arXiv

On the unirationality of higher dimensional Ueno-type manifolds

We prove the unirationality of the Ueno-type manifold $X_{4,6}$. $X_{4,6}$ is the minimal resolution of the quotient of the Cartesian product $E(6)^4$, where $E(6)$ is the equianharmonic elliptic curve, by the diagonal action of a cyclic group of order 6 (having a fixed point on each copy of $E(6)$). We collect also other results, and discuss several related open questions.

preprint2015arXiv

Topological methods in moduli theory

One of the main themes of this long article is the study of projective varieties which are K(H,1)'s, i.e. classifying spaces BH for some discrete group H. After recalling the basic properties of such classifying spaces, an important class of such varieties is introduced, the one of Bagnera-de Franchis varieties, the quotients of an Abelian variety by the free action of a cyclic group. Moduli spaces of Abelian varieties and of algebraic curves enter into the picture as examples of rational K(H,1)'s, through Teichmueller theory. The main thrust of the paper is to show how in the case of K(H,1)'s the study of moduli spaces and deformation classes can be achieved through by now classical results concerning regularity of classifying maps. The Inoue type varieties of Bauer and Catanese are introduced and studied as a key example, and new results are shown. Motivated from this study, the moduli spaces of algebraic varieties, and especially of algebraic curves with a group of automorphisms of a given topological type are studied in detail, following new results by the author, Michael Loenne and Fabio Perroni. Finally, the action of the absolute Galois group on the moduli spaces of such K(H,1) varieties is studied. In the case of surfaces isogenous to a product, it is shown how this yields a faifhtul action on the set of connected components of the moduli space: for each Galois automorphisms of order different from 2 there is a surface S such that the Galois conjugate surface of S has fundamental group not isomorphic to the one of S.

preprint2014arXiv

A characterization of varieties whose universal cover is a bounded symmetric domain without ball factors

We give two characterizations of varieties whose universal cover is a bounded symmetric domain without ball factors in terms of the existence of a holomorphic endomorphism \s of the tensor product T\otimes T' of the tangent bundle T with the cotangent bundle T'. To such a curvature type tensor \s one associates the first Mok characteristic cone S, obtained by projecting on T the intersection of ker (\s) with the space of rank 1 tensors. The simpler characterization requires that the projective scheme associated to S be a finite union of projective varieties of given dimensions and codimensions in their linear spans which must be skew and generate.

preprint2014arXiv

Subcanonical Graded Rings Which Are Not Cohen-Macaulay, with Appendix: A non-Q-Gorenstein Cohen-Macaulay cone X with K_X Q-Cartier

The paper answers a question by Jonathan Wahl,giving examples of regular surfaces S (so their canonical ring is a Gorenstein graded ring) having the following properties: 1) their canonical divisor K_S = rL is a positive multiple of an ample divisor L 2) the graded ring R := R (X,L ) associated to L is not Cohen-Macaulay. In the appendix Wahl shows how these examples lead to the existence of Cohen-Macaulay singularities with K_X Q -Cartier which are not Q -Gorenstein, since their index one cover is not Cohen- Macaulay.

preprint2014arXiv

The irreducible components of the moduli space of dihedral covers of algebraic curves

In this paper we introduce a new invariant for the action of a finite group $G$ on a compact complex curve of genus $g$. With the aid of this invariant we achieve the classification of the components of the moduli space of curves with an effective action by the dihedral group $D_n$. This invariant has been used in the meanwhile by the authors in order to extend the genus stabilization result of Livingston and Dunfield and Thurston to the ramified case. This new version contains an appendix clarifying the correspondence between the above components and the image loci in the moduli space M_g (classifying when two such components have the same image).

preprint2013arXiv

Answer to a question by Fujita on Variation of Hodge Structures

We first provide details for the proof of Fujita's second theorem for Kähler fibre spaces over a curve, asserting that the direct image $V$ of the relative dualizing sheaf splits as the direct sum $ V = A \oplus Q$, where $A$ is ample and $Q$ is unitary flat. Our main result then answers in the negative the question posed by Fujita whether $V$ is semiample. In fact, $V$ is semiample if and only if $Q$ is associated to a representation of the fundamental group of $B$ having finite image. Our examples are based on hypergeometric integrals.

preprint2013arXiv

Caustics of plane curves, their birationality and matrix projections

After recalling the notion of caustics of plane curves and basic equations, we first show the birationality of the caustic map for a general source point S in the plane. Then we prove more generally a theorem for curves D in the projective space of 3x3 symmetric matrices B. For a general 3x1 vector S the projection to the plane given by B --- BS is birational on D, unless D is not a line and D is contained in a plane of the form Delta_v = {B | Bv = 0}.

preprint2013arXiv

Faithful actions of the absolute Galois group on connected components of moduli spaces

We give a canonical procedure associating to an algebraic number a first a hyperelliptic curve C_a, and then a triangle curve (D_a, G_a) obtained through the normal closure of an associated Belyi function. In this way we show that the absolute Galois group Gal(\bar{\Q} /\Q) acts faithfully on the set of isomorphism classes of marked triangle curves, and on the set of connected components of marked moduli spaces of surfaces isogenous to a higher product (these are the free quotients of a product C_1 x C_2 of curves of respective genera g_1, g_2 >= 2 by the action of a finite group G). We show then, using again the surfaces isogenous to a product, first that it acts faithfully on the set of connected components of moduli spaces of surfaces of general type (amending an incorrect proof in a previous ArXiv version of the paper); and then, as a consequence, we obtain that for every element σ\in \Gal(\bar{\Q} /\Q), not in the conjugacy class of complex conjugation, there exists a surface of general type X such that X and the Galois conjugate surface X^σ have nonisomorphic fundamental groups. Using polynomials with only two critical values, we can moreover exhibit infinitely many explicit examples of such a situation.

preprint2013arXiv

Genus stabilization for moduli of curves with symmetries

In a previous paper, arXiv:1206.5498, we introduced a new homological invariant $\e$ for the faithful action of a finite group G on an algebraic curve. We show here that the moduli space of curves admitting a faithful action of a finite group G with a fixed homological invariant $\e$, if the genus g' of the quotient curve is sufficiently large, is irreducible (and non empty iff the class satisfies the condition which we define as 'admissibility'). In the unramified case, a similar result had been proven by Dunfield and Thurston using the classical invariant in the second homology group of G, H_2(G, \ZZ). We achieve our result showing that the stable classes are in bijection with the set of admissible classes $\e$.

preprint2012arXiv

Cayley forms and self dual varieties

Generalized Chow forms were introduced by Cayley for the case of 3-space, their zero set on the Grassmannian G(1,3) is either the set Z of lines touching a given space curve (the case of a `honest' Cayley form), or the set of lines tangent to a surface. Cayley gave some equations for F to be a generalized Cayley form, which should hold modulo the ideal generated by F and by the quadratic equation Q for G(1,3). Our main result is that F is a Cayley form if and only if Z = G(1,3) \cap {F=0} is equal to its dual variety. We also show that the variety of generalized Cayley forms is defined by quadratic equations, since there is a unique representative F_0 + Q F_1 of F, with F_0, F_1 harmonic, such that the harmonic projection of the Cayley equation is identically zero. We also give new equations for honest Cayley forms, but show with some calculations that the variety of honest Cayley forms does not seem to be defined by quadratic and cubic equations.

preprint2012arXiv

Inoue type manifolds and Inoue surfaces: a connected component of the moduli space of surfaces with K^2 = 7, p_g=0

We show that a family of minimal surfaces of general type with p_g = 0, K^2=7, constructed by Inoue in 1994, is indeed a connected component of the moduli space: indeed that any surface which is homotopically equivalent to an Inoue surface belongs to the Inoue family. The ideas used in order to show this result motivate us to give a new definition of varieties, which we propose to call Inoue-type manifolds: these are obtained as quotients \hat{X} / G, where \hat{X} is an ample divisor in a K(Γ, 1) projective manifold Z, and G is a finite group acting freely on \hat{X} . For these type of manifolds we prove a similar theorem to the above, even if weaker, that manifolds homotopically equivalent to Inoue-type manifolds are again Inoue-type manifolds.

preprint2012arXiv

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

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.

preprint2011arXiv

A Superficial Working Guide to Deformations and Moduli

This is the first part of a guide to deformations and moduli, especially viewed from the perspective of algebraic surfaces (the simplest higher dimensional varieties). It contains also new results, regarding the question of local homeomorphism between Kuranishi and Teichmueller space, and a survey of new results with Ingrid Bauer, concerning the discrepancy between the deformation of the action of a group G on a minimal models S, respectively the deformation of the action of G on the canonical model X. Here Def(S) maps properly onto Def(X), but the same does not hold for pairs: Def(S,G) does not map properly onto Def(X,G). Indeed the connected components of Def(S), in the case of tertiary Burniat surfaces, only map to locally closed sets. The last section contains anew result on some surfaces whise Albanese map has generic degree equal to 2.

preprint2011arXiv

Irreducibility of the space of dihedral covers of the projective line of a given numerical type

We show in this paper that the set of irreducible components of the family of Galois coverings of P^1_C with Galois group isomorphic to D_n is in bijection with the set of possible numerical types. In this special case the numerical type is the equivalence class (for automorphisms of D_n) of the function which to each conjugacy class \mathcal{C} in D_n associates the number of branch points whose local monodromy lies in the class \mathcal{C}.

preprint2010arXiv

Burniat surfaces III: deformations of automorphisms and extended Burniat surfaces

We continue our investigation of the connected components of the moduli space of surfaces of general type containing the Burniat surfaces, correcting a mistake in part II. We define the family of extended Burniat surfaces with K_S^2 = 4, resp. 3, and prove that they are a deformation of the family of nodal Burniat surfaces with K_S^2 = 4, resp. 3. We show that the extended Burniat surfaces together with the nodal Burniat surfaces with K_S^2=4 form a connected component of the moduli space. We prove that the extended Burniat surfaces together with the nodal Burniat surfaces with K_S^2=3 form an irreducible open set in the moduli space. Finally we point out an interesting pathology of the moduli space of surfaces of general type given together with a group of automorphisms G. In fact, we show that for the minimal model S of a nodal Burniat surface (G = (\ZZ/2 \ZZ)^2) we have Def(S,G) \neq Def(S), whereas for the canonical model X it holds Def(X,G) = Def(X). All deformations of S have a G-action, but there are different deformation types for the pairs (S,G) of the minimal models S together with the G-action, while the pairs (X,G) have a unique deformation type.

preprint2010arXiv

Irreducibility of the space of cyclic covers of algebraic curves of fixed numerical type and the irreducible components of $Sing (\bar{\mathfrak M_g})$

We prove irreducibility for the space of cyclic covers of fixed numerical type between smooth projective curves, and also for the space of cyclic covers of prime order and of fixed numerical-combinatorial type between moduli-stable projective curves. As an application we describe the irreducible components of the singular locus of the compactified moduli space of curves $\bar{\mahfrak M_g}$, extending the work of Cornalba, who described the irreducible components of the singular locus of the moduli space of curves $\mahfrak M_g}$.

preprint2010arXiv

Moduli spaces of surfaces and monodromy invariants

This paper is a survey of the authors' recent results on "abc-surfaces" and the monodromy of their natural Lefschetz fibrations and projections to P^1 x P^1, see (arXiv:0910.2142). The results being surveyed explore various fundamental questions about complex deformation vs. symplectomorphism vs. diffeomorphism from the perspective of one explicit family of examples; the paper also contains some remarks which were not in earlier papers.

preprint2010arXiv

Surfaces of general type with geometric genus zero: a survey

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.

preprint2009arXiv

Burniat surfaces II: secondary Burniat surfaces form three connected components of the moduli space

We prove in one go that each of the 4 families of Burniat surfaces with K^2 = 6,5,4, is a connected component of the moduli space of surfaces of general type. We prove also the rationality of each component. In the nodal case (one of the two families for K^2_S = 4) a very surprising and new phenomenon occurs. Both the moduli space for the minimal models and the Gieseker moduli space for canonical models are everywhere non reduced. But the nilpotence order is higher for the first.

preprint2009arXiv

Moduli spaces and braid monodromy types of bidouble covers of the quadric

Bidouble covers $π: S \mapsto Q$ of the quadric Q are parametrized by connected families depending on four positive integers a,b,c,d. In the special case where b=d we call them abc-surfaces. Such a Galois covering $π$ admits a small perturbation yielding a general 4-tuple covering of Q with branch curve $\De$, and a natural Lefschetz fibration obtained from a small perturbation of the composition of $ π$ with the first projection. We prove a more general result implying that the braid monodromy factorization corresponding to $\De$ determines the three integers a,b,c in the case of abc-surfaces. We introduce a new method in order to distinguish factorizations which are not stably equivalent. This result is in sharp contrast with a previous result of the first and third author, showing that the mapping class group factorizations corresponding to the respective natural Lefschetz pencils are equivalent for abc-surfaces with the same values of a+c, b. This result hints at the possibility that abc-surfaces with fixed values of a+c, b, although diffeomorphic but not deformation equivalent, might be not canonically symplectomorphic.

preprint2009arXiv

On volume preserving complex structures on real tori

A basic problem in the classification theory of compact complex manifolds is to give simple characterizations of complex tori. It is well known that a compact Kähler manifold $X$ homotopically equivalent to a a complex torus is biholomorphic to a complex torus. The question whether a compact complex manifold $X$ diffeomorphic to a complex torus is biholomorphic to a complex torus has a negative answer due to a construction by Blanchard and Sommese. Their examples have however negative Kodaira dimension, thus it makes sense to ask the question whether a compact complex manifold $X$ with trivial canonical bundle which is homotopically equivalent to a complex torus is biholomorphic to a complex torus. In this paper we show that the answer is positive for complex threefolds satisfying some additional condition, such as the existence of a non constant meromorphic function.

preprint2005arXiv

Q.E.D. for algebraic varieties

We introduce a new equivalence relation, denoted by $A.Q.E.D.$ (= Algebraic-Quasi-Étale- Deformation) for complete algebraic varieties with canonical singularities: it is generated by birational equivalence, by flat algebraic deformations, and by quasi-étale morphisms, i.e., morphisms which are unramified in codimension $1$. $\C$-Q.E.D is the similar relation for compact complex manifolds and spaces. By a recent theorem of Siu dimension and Kodaira dimension are invariants for $A.Q.E.D.$. The question whether conversely two algebraic varieties of the same dimension and with the same Kodaira dimension are Q.E.D. -equivalent has a positive answer for curves and using Enriques' classification we show that the answer to the $\C$-Q.E.D. question is positive for special algebraic surfaces (Kodaira dimension at most $1$) and for compact complex surfaces with Kodaira dimension $0, 1$ and even first Betti number. The appendix by Sönke Rollenske shows that the same does not hold if we allow odd first Betti number( Kodaira surfaces form a single class). The answer to the A.Q.E.D. question is yes for special complex algebraic surfaces, while the appendix due to Fritz Grunewald shows that the answer is no for surfaces of general type. Because the (rigid) Kuga-Shavel type surfaces of general type obtained as quotients of the bidisk via discrete groups constructed from quaternion algebras belong to countably many distinct Q.E.D. equivalence classes.

preprint2005arXiv

Trecce, Mapping class group, fibrazioni di Lefschetz ed applicazioni al diffeomorfismo di superficie algebriche

Purpose of the Conference article, intended for a wider audience, is to introduce concepts and techniques used by Bronislaw Wajnryb and the author in order to show the diffeomorphism of certain elementary algebraic surfaces, called ABC surfaces, which are not deformation equivalent. In the first part are recalled the concepts of connected sum, surgeries, Poincare' group, Braids, Riemann surfaces and Dehn's Mapping class group. Then the topics become more advanced, including Lefschetz fibrations, ABC surfaces, symplectic fibrations and braid monodromy.