Let $X$ be a Godeaux surface over $\mathbb{C}$ and $q_{X}\colon Y\to X$ be its universal cover. We show that the pullback map $q^{*}_{X}\colon Br(X)\to Br(Y)$ is injective if $ρ(Y)=9$. Our arguments rely on a degeneration technique that also applies to other examples.
Extending the description of canonical rings from \cite{reid78} we show that every Gorenstein stable Godeaux surface with torsion of order at least $3$ is smoothable.
We show that all the semi-smooth stable complex Godeaux surfaces, classified in [FPR18a], are smoothable, and that the moduli stack is smooth of the expected dimension 8 at the corresponding points.
We compute equations for Coughlan's family of Godeaux surfaces with torsion $\mathbb Z/2$, which we call $\mathbb Z/2$-Godeaux surfaces, and we show that it is (at most) 7 dimensional. We classify non-rational KSBA degenerations $W$ of $\mathbb Z/2$-Godeaux surfaces with one Wahl singularity, showing that $W$ is birational to particular either Enriques surfaces, or $D_{2,n}$ elliptic surfaces, with $n=3,4$ or $6$. We present examples for all possibilities in the first case, and for $n=3,4$ in the second.
A recent construction of Hacking relates the classification of stable vector bundles on a surface of general type with $p_g = 0$ and the boundary of the moduli space of deformations of the surface. In the present paper we analyze this relation for Godeaux surfaces. We provide a description of certain boundary components of the moduli space of Godeaux surfaces. Also we explicitly construct certain exceptional vector bundles of rank 2 on Godeaux surfaces, stable with respect to the canonical class, and examine the correspondence between the boundary components and such exceptional vector bundles…
In this paper we describe a construction method for numerical Godeaux surfaces based on homological algebra. We show the existence of an 8-dimensional locally complete family of simply connected numerical Godeaux surfaces.
We give an explicit description of the Godeaux surfaces that admit an involution such that the quotient surface is birational to an Enriques surface; these surfaces give a 6-dimensional unirational irreducible subset of the moduli space of surfaces of general type. In addition, we describe the Enriques surfaces that are birational to the quotient of a Godeaux surface by an involution and we show that they give a 5-dimensional unirational irreducible subset of the moduli space of Enriques surfaces. Finally, by degenerating our description we obtain some examples of non-normal stable Godeaux sur…
We study the extension of a hyperelliptic K3 surface to a Fano 6-fold. This determines a family of surfaces of general type with p_g=1, K^2=2 and hyperelliptic canonical curve, where each surface is a weighted complete intersection inside a Fano 6-fold. Finally, we use these hyperelliptic surfaces to determine an 8-parameter family of Godeaux surfaces with torsion Z/2.
A non-classical Godeaux surface is a minimal surface of general type with $χ=K^2=1$ but with $h^{01}\neq0$. We prove that such surfaces fulfill $h^{01}=1$ and they can exist only over fields of positive characteristic at most 5. Like non-classical Enriques surfaces they fall into two classes: the singular and the supersingular ones. We give a complete classification in characteristic 5 and compute their Hodge-, Hodge--Witt- and crystalline cohomology (including torsion). Finally, we give an example of a supersingular Godeaux surface in characteristic 5.
In this paper we study marked numerical Godeaux surfaces with special bicanonical fibers. Based on our construction method of marked Godeaux surfaces we give a complete characterization for the existence of hyperelliptic bicanonical fibers and torsion fibers. Moreover, we describe how the families of Reid and Miyaoka with torsion $\mathbb{Z}/3\mathbb{Z}$ and $\mathbb{Z}/5\mathbb{Z}$ arise in our homological setting.
We construct from a general del Pezzo surface of degree 1 a Gorenstein stable surfaces $X$ with $K_X^2=1$ and $p_g(X)=q(X)=0$. These surfaces are not smoothable but give an open subset of an irreducible component of the moduli space of stable Godeaux surfaces. In a particular example we also compute the canonical ring explicitly and discuss the behaviour of pluricanonical maps.
We prove that Godeaux--Reid surfaces with torsion group Z/3 have topological fundamental group Z/3. For this purpose, we describe degenerations to stable KSBA surfaces with one 1/4(1,1) singularity, whose minimal resolution are elliptic fibrations with two multiplicity 3 fibres and one I_4 singular fibre. We study special such degenerations which have an involution, describing the corresponding Campedelli double plane construction. We also find some stable rational degenerations, some of which have more singularities, and one of which has a single 1/9(1,2) singularity, the minimal possible ind…
We compute the automorphisms groups of all numerical Godeaux surfaces, i.e. minimal smooth surfaces of general type with K^2 = 1 and p_g = 0, with torsion of the Picard group of order νequals 3, 4, or 5. We present explicit stratifications of the moduli spaces whose strata correspond to different automorphisms groups. Using the automorphisms computation, for each value of νwe define a quotient stack, and prove that for ν= 5 this is indeed the moduli stack of numerical Godeaux surfaces with torsion of order 5. Finally, we describe the inertia stacks of the three quotient stacks.
Minimal algebraic surfaces of general type with the smallest possible invariants have geometric genus zero and K^2=1 and are usually called "numerical Godeaux surfaces". Although they have been studied by several authors, their complete classification is not known. In this paper we classify numerical Godeaux surfaces with an involution, i.e. with an automorphism of order 2. We prove that they are birationally equivalent either to double covers of Enriques surfaces, or to double planes of two different types: the branch curve either has degree 10 and suitable singularities, originally suggested…
We construct an exceptional sequence of length 11 on the classical Godeaux surface X which is the Z/5-quotient of the Fermat quintic surface in P^3. This is the maximal possible length of such a sequence on this surface which has Grothendieck group Z^11+Z/5. In particular, the result answers Kuznetsov's Nonvanishing Conjecture, which concerns Hochschild homology of an admissible subcategory, in the negative. The sequence carries a symmetry when interpreted in terms of the root lattice of the simple Lie algebra of type E_8. We also produce explicit nonzero objects in the (right) orthogonal to t…
We prove that a recent construction of a numerical Godeaux surface due to P. Craighero and R. Gattazzo is simply connected, and show how to realize their construction as a double plane. By proving that the surface contains no (-2)-curves, we obtain that this is the first example of a simply connected surface with vanishing geometric genus and ample canonical class.
We give a short proof of the following result: Let $X$ be a complex surface of general type. If the canonical divisor of the minimal model of $X$ has selfintersection $= 1$, then $X$ is not diffeomorphic to a rational surface. Our proof is the natural extension of the argument given in our paper in Inventiones Mathematicae (1989) for the case when $X$ is minimal. This argument also gives information about the non--existence of certain smooth embeddings of $2$--spheres in $X$, if $X$ has geometric genus zero.
We describe the effect of rational singularities on the Brauer group of a surface, and compute the Brauer groups of all singular del Pezzo surfaces over an algebraically closed field.
We classify finite groups that can act by automorphisms and birational automorphisms on non-trivial Severi-Brauer surfaces over fields of characteristic zero.
We study Brauer-Severi surface bundles over smooth projective varieties via root stacks, with a view towards applications to failure of stable rationality.
Using the Kuga-Satake correspondence we provide an effective algorithm for the computation of the Picard and Brauer groups of K3 surfaces of degree 2 over number fields.
We show that a quotient of a non-trivial Severi-Brauer surface $S$ over arbitrary field $\Bbbk$ of characteristic $0$ by a finite group $G \subset \operatorname{Aut}(S)$ is $\Bbbk$-rational, if and only if $|G|$ is divisible by $3$. Otherwise, the quotient is birationally equivalent to $S$.
We classify morphisms from proper varieties to Brauer-Severi varieties, which generalizes the classical correspondence between morphisms to projective space and globally generated invertible sheaves. As an application, we study del Pezzo surfaces of large degree with a view towards Brauer-Severi varieties, and recover classical results on rational points, the Hasse principle, and weak approximation.
We prove that a finite group acting by birational automorphisms of a non-trivial Severi-Brauer surface over a field of characteristic zero contains a normal abelian subgroup of index at most 3. Also, we find an explicit bound for orders of such finite groups in the case when the base field contains all roots of 1.
We study local-global principles for zero-cycles on K3 surfaces defined over number fields. We follow an idea of Liang to use the trivial fibration over the projective line.
Let S be a complex Enriques surface; it is the quotient of a K3 surface X by a fixed-point-free involution. The Brauer group Br(S) has a unique nonzero element. We describe its pull-back in Br(X), and show that the surfaces S for which it is trivial form a countable union of hypersurfaces in the moduli space of Enriques surfaces.
It is well-known that a Severi-Brauer surface has a rational point if and only if it is isomorphic to the projective plane. Given a Severi-Brauer surface, we study the problem to decide whether such an isomorphism to the projective plane, or such a rational point, does exist; and to construct such an isomorphism or such a point in the affirmative case. We give an algorithm using Lie algebra techniques. The algorithm has been implemented in Magma.
We provide explicit generators for the torsion of the second cohomology of bielliptic surfaces, and we use this to study pullback map between Brauer group of a bielliptic surface and that of its canonical cover.
We discuss the geometry of the genus one fibrations associated to an elliptic fibration on a K3 surface. We show that the two-torsion subgroup of the Brauer group of a general elliptic fibration is naturally isomorphic to the two-torsion of the Jacobian of a curve associated to the fibration. We remark that this is related to Recillas' trigonal construction. Finally we discuss the two-torsion in the Brauer group of a general K3 surface with a polarisation of degree two.
We describe the Hodge theory of brilliant families of K3 surfaces. Their characteristic feature is a close link between the Hodge structures of any two fibres over points in the Noether-Lefschetz locus. Twistor deformations, the analytic Tate-Safarevic group, and one-dimensional Shimura special cycles are covered by the theory. In this setting, the Brauer group is viewed as the Noether-Lefschetz locus of the Brauer family or as the specialization of the Noether-Lefschetz loci in a family of approaching twistor spaces. Passing from one algebraic twistor fibre to another, which by construction i…
In this paper we consider the stratification on the moduli space of principally polarized abelian surfaces in characteristic $p>0$ defined by the height of the formal group associated to $H^2(X,O_X)$. We compute the cycle classes of the strata and compare these with those of the $p$-rank stratification.
Let $X$ be a smooth projective surface over an algebraically closed field $k$ such that $char(k) \neq 2$. Let $X^{[d]}$ denote the punctual Hilbert scheme of zero dimensional quotients of degree $d$ and $X^{(d)}$ denote the symmetric product of $X$. For $\ell \neq 2$, we give a formula for the $\ell$-primary part of the Brauer group of $X^{[2]}$. We show that the Hilbert to Chow morphism induces an isomorphism of cohomological Brauer groups for $d=2$ and a similar result for $d \geq 3$. Let $Q(r,d)$ denote the punctual Quot-scheme parametrising zero dimensional quotients of $\mathcal{O}_X^{ \o…
Let $\{P_i\}_{1 \leq i \leq r}$ and $\{Q_i\}_{1 \leq i \leq r}$ be two collections of Brauer Severi surfaces (resp. conics) over a field $k$. We show that the subgroup generated by the $P_i's$ in $Br(k)$ is the same as the subgroup generated by the $Q_i's$ \iff $ΠP_i $ is birational to $ΠQ_i$. Moreover in this case $ΠP_i$ and $ΠQ_i$ represent the same class in $M(k)$, the Grothendieck ring of $k$-varieties. The converse holds if $char(k)=0$. Some of the above implications also hold over a general noetherian base scheme.
We study the geometry of exceptional loci of birational contractions of hyper-Kähler fourfolds that are of K3$^{[2]}$-type. These loci are conic bundles over K3 surfaces and we determine their classes in the Brauer group. For this we use the results on twisted sheaves on K3 surfaces, on contractions and on the corresponding Heegner divisors. For a general K3 surface of fixed degree there are three (T-equivalence) classes of order two Brauer group elements. The elements in exactly two of these classes are represented by conic bundles on such fourfolds. We also discuss various examples of such c…
We prove that every element of order 2 in the Brauer group of a complex Kummer surface X descends to an Enriques quotient of X. In 'generic' cases this gives a bijection between the set Enr(X) of Enriques quotients of X up to isomorphism and the set of Brauer classes of X of order 2. For some K3 surfaces of Picard rank 20 we prove that the fibres of the map from Enr(X) to Br(X)[2] above the non-zero points have the same order.
We relate the Brauer group of a Kummer surface to the Brauer group of the corresponding abelian surface. For many pairs of elliptic curves over the rational numbers we prove that the Kummer surface attached to their product has trivial Brauer group.
Unlike the classical Brauer group of a field, the Brauer-Grothendieck group of a singular scheme need not be torsion. We show that there exist integral normal projective surfaces over a large field of positive characteristic with non-torsion Brauer group. In contrast, we demonstrate that such examples cannot exist over the algebraic closure of a finite field.
We prove that, on a sufficiently general diagonal quartic surface, there is a non-trivial Brauer group but no Brauer-Manin obstruction to the existence of rational points.