Gabino González-Diez, Gareth A. Jones, David Torres-Teigell
备注：
14 pages. This version contains amended references to related work of Garion and Penegini, who have recently replaced their paper arXiv:0910.5402v1 with arXiv:0910.5402v3 and arXiv:1107.5534, the latter resolving certain discrepancies between their results and ours
A Beauville surface is a rigid surface of general type arising as a quotient of a product of curves $C_{1}$, $C_{2}$ of genera $g_{1},g_{2}\ge 2$ by the free action of a finite group $G$. In this paper we study those Beauville surfaces for which $G$ is abelian (so that $G\cong \mathbb{Z}_{n}^{2}$ with $\gcd(n,6)=1$ by a result of Catanese). For each such $n$ we are able to describe all such surfaces, give a formula for the number of their isomorphism classes and identify their possible automorphism groups. This explicit description also allows us to observe that such surfaces are all defined over $\mathbb{Q}$.
We prove that there exist infinitely many a non-abelian strongly real Beauville $p$-group for every prime $p$. Previously only finitely many in the case $p=2$ have been constructed.
For every $p\geq 2$ we show that each finite $p$-group with an unmixed Beauville structure is part of a surjective infinite projective system of finite $p$-groups with compatible unmixed Beauville structures. This leads to the new notion of an unmixed topological Beauville structure on pro-finite groups. We further construct for $p \geq 5$ a new explicit infinite series of non-abelian $p$-groups that allow unmixed Beauville structures.
We examine which $p$-groups of order $\le p^6$ are Beauville. We completely classify them for groups of order $\le p^4$. We also show that the proportion of 2-generated groups of order $p^5$ which are Beauville tends to 1 as $p$ tends to infinity; this is not true, however, for groups of order $p^6$. For each prime $p$ we determine the smallest non-abelian Beauville $p$-group.
We develop theorems which produce a multitude of hyperbolic triples for the finite classical groups. We apply these theorems to prove that every quasisimple group except Alt(5) and SL_2(5) is a Beauville group. In particular, we settle a conjecture of Bauer, Catanese and Grunewald which asserts that all non-abelian finite simple groups except for the alternating group $\Alt(5)$ are Beauville groups.
A strongly real Beauville group is a Beauville group that defines a real Beauville surface. Here we discuss efforts to find examples of these groups, emphasising on the one extreme finite simple groups and on the other abelian and nilpotent groups. We will also discuss the case of characteristically simple groups and almost simple groups. \emph{En route} we shall discuss several questions, open problems and conjectures as well as giving several new examples of infinite families of strongly real Beauville groups.
Extending results of Bauer, Catanese and Grunewald, and of Fuertes and González-Diez, we show that Beauville surfaces of unmixed type can be obtained from the groups L_2(q) and SL_2(q) for all prime powers q>5, and the Suzuki groups Sz(2^e) and the Ree groups R(3^e) for all odd e>1. We also show that L_2(q) and SL_2(q) admit strongly real Beauville structures, yielding real Beauville surfaces, if and only if q>5.
In this paper we give the asymptotic growth of the number of connected components of the moduli space of surfaces of general type corresponding to certain families of Beauville surfaces with group either $\PSL(2,p)$, or an alternating group, or a symmetric group or an abelian group. We moreover extend these results to regular surfaces isogenous to a higher product of curves.
Beauville surfaces are a class of complex surfaces defined by letting a finite group $G$ act on a product of Riemann surfaces. These surfaces possess many attractive geometric properties several of which are dictated by properties of the group $G$. In this survey we discuss the groups that may be used in this way. \emph{En route} we discuss several open problems, questions and conjectures.
Inspired by a construction by Arnaud Beauville of a surface of general type with $K^2 = 8, p_g =0$, the second author defined the Beauville surfaces as the surfaces which are rigid, i.e., they have no nontrivial deformation, and admit un unramified covering which is isomorphic to a product of curves of genus at least 2. In this case the moduli space of surfaces homeomorphic to the given surface consists either of a unique real point, or of a pair of complex conjugate points corresponding to complex conjugate surfaces. It may also happen that a Beauville surface is biholomorphic to its complex …
In this paper we construct new Beauville surfaces with group either $\PSL(2,p^e)$, or belonging to some other families of finite simple groups of Lie type of low Lie rank, or an alternating group, or a symmetric group, proving a conjecture of Bauer, Catanese and Grunewald. The proofs rely on probabilistic group theoretical results of Liebeck and Shalev, on classical results of Macbeath and on recent results of Marion.
A Beauville group acts freely on the product of two compact Riemann surfaces and faithfully on each one of them. In this paper, we consider higher products and present {\it{generalised Beauville groups}}: for $d \geq 2$, $d$ is the minimal value for which the same action can be defined on the product of $d$ compact Riemann surfaces.
We discuss Beauville groups whose corresponding Beauville surfaces are either always strongly real or never strongly real producing several infinite families of examples.
A Beauville surface is a rigid complex surface of the form (C1 x C2)/G, where C1 and C2 are non-singular, projective, higher genus curves, and G is a finite group acting freely on the product. Bauer, Catanese, and Grunewald conjectured that every finite simple group G, with the exception of A5, gives rise to such a surface. We prove that this is so for almost all finite simple groups (i.e., with at most finitely many exceptions). The proof makes use of the structure theory of finite simple groups, probability theory, and character estimates.
A Beauville surface is a rigid complex surface of general type, isogenous to a higher product by the free action of a finite group, called a Beauville group. Here we consider which characteristically simple groups can be Beauville groups. We show that if G is a cartesian power of a simple group L_2(q), L_3(q), U_3(q), Sz(2^e), R(3^e), or of a sporadic simple group, then G is a Beauville group if and only if it has two generators and is not isomorphic to A_5.
We construct an infinite family of triples $(G_k,H_k,T_k)$, where $G_k$ are 2-groups of increasing order, $H_k$ are index-2 subgroups of $G_k$, and $T_k$ are pairs of generators of $H_k$. We show that the triples $u_k = (G_k,H_k,T_k)$ are mixed Beauville structures if $k$ is not a power of 2. This is the first known infinite family of 2-groups admitting mixed Beauville structures. Moreover, the associated Beauville surface $S(u_3)$ is real and, for $k > 3$ not a power of 2, the Beauville surface $S(u_k)$ is not biholomorphic to $\bar{S(u_k)}$.
A Beauville surface (of unmixed type) is a complex algebraic surface which is the quotient of the product of two curves of genus at least 2 by a finite group G acting freely on the product, where G preserves the two curves and their quotients by G are isomorphic to the projective line, ramified over three points. Such a group G is called a Beauville group. We show that if a characteristically simple group G is a cartesian power of a finite simple alternating group, then G is a Beauville group if and only if it has two generators and is not isomorphic to A_5.
We start discussing the group of automorphisms of the field of complex numbers, and describe, in the special case of polynomials with only two critical values, Grothendieck's program of 'Dessins d' enfants', aiming at giving representations of the absolute Galois group. We describe Chebycheff and Belyi polynomials, and other explicit examples. As an illustration, we briefly treat difference and Schur polynomials. Then we concentrate on a higher dimensional analogue of the triangle curves, namely, Beauville surfaces and varieties isogenous to a product. We describe their moduli spaces, and show…
We characterize Beauville surfaces of unmixed type with group either PSL(2,p^e) or PGL(2,p^e), thus extending previous results of Bauer, Catanese and Grunewald, Fuertes and Jones, and Penegini and the author.
We construct orbits of the absolute Galois group, of explicit unbounded size, consisting of surfaces with mutually non-isomorphic fundamental groups. These are Beauville surfaces with Beauville group PGL_2(p).
A Beauville surface is a complex algebraic surface that can be presented as a quotient of a product of two curves by a suitable action of a finite group. Bauer, Catanese and Grunewald have been able to intrinsically characterize the groups appearing in minimal presentations of Beauville surfaces in terms of the existence of a so-called "Beauville structure". They conjectured that all finite simple groups, except A5, admit such a structure. This conjecture has recently been proved by Guralnick-Malle and Fairbairn-Magaard-Parker. In this survey we demonstrate another approach towards the proof o…
We give a survey on the fundamental group of surfaces isogenous to a higher product. If the surfaces are regular, e.g. if they are Beauville surfaces, the first homology group is a finite group. We present a MAGMA script which calculates the first homology groups of regular surfaces isogenous to a product.
Via wall-crossing, we study the birational geometry of Beauville-Mukai systems on K3 surfaces with Picard rank one. We show that there is a class of walls which are always present in the movable cones of Beauville-Mukai systems. We give a complete description of the birational geometry of rank two Beauville-Mukai systems when the genus of the surface is small.
Under some hypotheses on the singular type of the one-parameter family of elliptic curves in a primitively polarized $K3$ surface $S$ determined by its polarization (which is expected to be true for a very general polarized $K3$ surface), we give a more geometric proof of the fact that the second Chern class of $S$ is equal to $24 \cdot o_S$ in the Chow group of $0$-cycles where $o_S$ is the Beauville-Voisin canonical $0$-cycle.
We study wall-crossing for the Beauville-Mukai system of rank three on a general genus two K3 surface. We show that such a system is related to the Hilbert scheme of ten points on the surface by a sequence of flops, whose exceptional loci can be described as Brill-Noether loci. We also obtain Brill-Noether type results for sheaves in the Beauville-Mukai system.
We construct quasi-phantom admissible subcategories in the derived category of coherent sheaves on the Beauville surface $S$. These quasi-phantoms subcategories appear as right orthogonals to subcategories generated by exceptional collections of maximal possible length 4 on $S$. We prove that there are exactly 6 exceptional collections consisting of line bundles (up to a twist) and these collections are spires of two helices.
We prove that the strange duality conjecture of Beauville-Donagi-Tu holds for all curves. We establish first a more extended rank-level duality, interesting in its own right, from which the standard rank-level duality follows by restriction.
Suppose that a Hilbert scheme of points on a K3 surface S of Picard rank one admits a rational Lagrangian fibration. We show that if the degree of the surface is sufficiently large compared to the number of points, then the Hilbert scheme is the unique hyperkähler manifold in its birational class. In particular, the Hilbert scheme is a Lagrangian fibration itself, which we realize as coming from a (twisted) Beauville-Mukai system on a Fourier-Mukai partner of S. We also show that when the degree of the surface is small our method can be used to find all birational models of the Hilbert scheme.
The Beauville-Voisin conjecture predicts the existence of a filtration on projective hyper-Kähler manifolds opposite to the conjecture Bloch-Beilinson filtration, called the Beauivlle-Voisin filtration. Voisin has introduced a filtration on zero cycles of an arbitrary projective hyper-Kähler manifold. On moduli space of stable objects of a projective K3 surface, there are other candidates constructed by Shen-Yin-Zhao, Barros-Flapan-Marian-Silversmith and more recently by Vial from different point of views. According to the work of Vial, all of them are proved to be equivalent except Voisin's f…
The Beauville-Bogomolov lattice is computed for a simplest singular symplectic manifold of dimension 4, obtained as a partial desingularization of the quotient $S^{[2]}/ι$, where $S^{[2]}$ is the Hilbert square of a K3 surface $S$ and $ι$ is a symplectic involution on it. This result applies, in particular, to the singular symplectic manifolds of dimension 4, constructed by Markushevich-Tikhomirov as compactifications of families of Prym varieties of a linear system of curves on a K3 surface with an anti-symplectic involution.
We reformulate a conjecture of Beauville on algebraic cycles on an abelian variety in terms of certain compatibility and vanishings of some naturally defined filtrations on the Grothendieck group of the abelian variety.
We study the Tannakian properties of the category of perverse sheaves on elliptic curves endowed with the convolution product. We establish that for certain sheaves with unipotent local monodromy over seven points the corresponding Tannaka group is isomorphic to $G_2$. This monodromy approach generalizes a result of Katz on the existence of $G_2$-motives in the middle cohomology of deformations of Beauville surfaces.
If $\mathcal S$ is a Beauville surface $({\mathcal C}_1\times{\mathcal C}_2)/G$, then the Hurwitz bound implies that $|G|\le 1764\,χ({\mathcal S})$, with equality if and only if the Beauville group $G$ acts as a Hurwitz group on both curves ${\mathcal C}_i$. Equivalently, $G$ has two generating triples of type $(2,3,7)$, such that no generator in one triple is conjugate to a power of a generator in the other. We show that this property is satisfied by alternating groups $A_n$, their double covers $2.A_n$, and special linear groups $SL_n(q)$ if $n$ is sufficiently large, but by no sporadic simp…
We give a new proof of the theorem of Beauville and Voisin about the decomposition of the small diagonal of a K3 surface S. Our proof is explicit and works with the embedding of S in a projective space. It is different from the one used by Beauville and Voisin, which employed the existence of one-parameters families of elliptic curves.
Friedlander and Mazur proposed a conjecture of hard Lefschetz type on Lawson homology. We shall relate this conjecture to Suslin conjecture on Lawson homology. For abelian varieties, this conjecture is shown to be equivalent to a vanishing conjecture of Beauville type on Lawson homology. For symmetric products of curves, we show that this conjecture amounts to the vanishing conjecture of Beauville type for the Jacobians of the corresponding curves. As a consequence, Suslin conjecture holds for all symmetric products of curves with genus at most 2.
We show that the motive of the Hilbert scheme of length-$n$ subschemes on a K3 surface or on an abelian surface admits a decomposition similar to the decomposition of the motive of an abelian variety obtained by Shermenev, Beauville, and Deninger and Murre.
We apply the Yau-Zaslow-Beauville method to compute the Euler characteristic of the generalized Kummer varieties attached to a complex abelian surface (a calculation also done by Goettsche and Soergel by different methods). It is related to the number of genus 2 curves on an abelian surface.
We propose two conjectures of Hard Lefschetz type on Chow groups and prove them for some special cases. For abelian varieties, we shall show they are equivalent to well-known conjectures of Beauville and Murre.
We show that for a K3 surface X the finitely generated subring R(X) of the Chow ring introduced by Beauville and Voisin is preserved under derived equivalences. This is proved by analyzing Chern characters of spherical bundles. As for a K3 surface X defined over a number field all spherical bundles on the associated complex K3 surface are defined over $\bar\QQ$, this is compatible with the Bloch-Beilinson conjecture. Besides the work of Beauville and Voisin, Lazarfeld's result on Brill-Noether theory for curves in K3 surfaces and the deformation theory developed with Macri and Stellari in arXi…
Let X be a smooth complex surface of general type such that the image of the canonical map $ϕ$ of X is a surface $Σ$ and that $ϕ$ has degree $δ\geq 2$. Let $ε\colon S\to Σ$ be a desingularization of $Σ$ and assume that the geometric genus of S is not zero. Beauville has proved that in this case S is of general type and $ε$ is the canonical map of S. Beauville has also constructed the only infinite series of examples $ϕ:X\to Σ$ with the above properties that was known up to now. Starting from his construction, we define a {\em good generating pair}, namely a pair $(h:V\to W, L)$ where h is a fi…
The decomposition theorem for smooth projective morphisms $π:\mathcal{X}\rightarrow B$ says that $Rπ_*\mathbb{Q}$ decomposes as $\oplus R^iπ_*\mathbb{Q}[-i]$. We describe simple examples where it is not possible to have such a decomposition compatible with cup-product, even after restriction to Zariski dense open sets of $B$. We prove however that this is always possible for families of $K3$ surfaces (after shrinking the base), and show how this result relates to a result by Beauville and the author on the Chow ring of $K3$ surfaces $S$. We give two proofs of this result, the second one involv…
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.
In this paper we complete the determination of the index of factoriality of moduli spaces of semistable sheaves on an abelian or projective K3 surface $S$. If $v=2w$ is a Mukai vector, $w$ is primitive, $w^{2}=2$ and $H$ is a generic polarization, let $M_{v}(S,H)$ be the moduli space of $H-$semistable sheaves on $S$ with Mukai vector $v$. First, we describe in terms of $v$ the pure weight-two Hodge structure and the Beauville form on the second integral cohomology of the symplectic resolutions of $M_{v}(S,H)$ (when $S$ is K3) and of the fiber $K_{v}(S,H)$ of the Albanese map of $M_{v}(S,H)$ (w…
A remarkable result of Peter O'Sullivan asserts that the algebra epimorphism from the rational Chow ring of an abelian variety to its rational Chow ring modulo numerical equivalence admits a (canonical) section. Motivated by Beauville's splitting principle, we formulate a conjectural Section Property which predicts that for smooth projective holomorphic symplectic varieties there exists such a section of algebra whose image contains all the Chern classes of the variety. In this paper, we investigate this property for (not necessarily symplectic) varieties with Chow motive of abelian type. We i…
Let X be a projective complex K3 surface. Beauville and Voisin singled out a 0-cycle c_X on X of degree 1: it is represented by any point lying on a rational curve in X. Huybrechts proved that the second Chern class of a rigid simple vector-bundle on X is a multiple of the Beauville-Voisin class c_X if certain hypotheses hold and he conjectured that the additional hypotheses are unnecessary. We believe that the following generalization of Huybrechts' conjecture holds. Let M and N be moduli spaces of stable pure sheaves on X (with fixed cohomological Chern characters) and suppose that they have…
It has been conjectured that the optimal canonical degree of a minimal surface of general type is 36, from a work in the 70's of Beauville who proved that 36 was an upper bound. The highest canonical degree known for the problem was 16 by Persson in 1978. The purpose of this article is to confirm the conjecture by providing an explicit surface.
Inspired by Beauville's recent construction of Ulrich sheaves on abelian surfaces, we pose the question of whether a torsion-free sheaf on a polarized smooth projective variety with Castelnuovo-Mumford regularity 1 is a GV (generic vanishing) sheaf, and present evidence that this question is governed by the positivity of cycles on generalized Brill-Noether loci. We prove that it has an affirmative answer for natural polarizations on many well-known irregular surfaces, as well as some polarizations on ruled threefolds over a curve.
This article is a revised version of the talk I gave at the conference ``Beauville Surfaces and groups'' held in Newcastle in June 2012. It presents some group theoretical methods to give bounds on the number of connected components of the moduli space of surfaces of general type, focusing on some families of regular surfaces isogenous to a product of curves.
Let F be a polarized irreducible holomorphic symplectic fourfold, deformation equivalent to the Hilbert scheme parametrizing length-two zero-dimensional subschemes of a K3 surface. The homology group H^2(F,Z) is equipped with an integral symmetric nondegenerate form, the Beauville form. We give precise conjectures for the structure of the cone of effective curves - and by duality - the cone of ample divisors. Formally they are completely analogous to the results known for K3 surfaces, and they are expressed entirely in terms of the integers represented by the Beauville form restricted to Pic(F…
A motive over a field $k$ is of abelian type if it belongs to the thick and rigid subcategory of Chow motives spanned by the motives of abelian varieties over $k$. This paper contains three sections of independent interest. First, we show that a motive which becomes of abelian type after a base field extension of algebraically closed fields is of abelian type. Given a field extension $K/k$ and a motive $M$ over $k$, we also show that $M$ is finite-dimensional if and only if $M_K$ is finite-dimensional. As a corollary, we obtain Chow--Kuenneth decompositions for varieties that become isomorphic…
Let $f:X\to C$ be a family of semistable K3 surfaces with non-empty set $S$ of singular fibres having infinite local monodromy. Then, when the so called Arakelov-Yau inequality reaches equality, we prove that $C\setminus S$ is a modular curve and the family comes essentially from a family of elliptic curves through a so called Nikulin-Kummer construction. In particular, when $C=\BBb P^1$, the family of elliptic curves must be one of Beauville's 6 examples where Arakelov inequality reaches equality.
Motivated by a question by D. Mumford : can a computer classify all surfaces with $p_g = 0$ ? we try to show the complexity of the problem. We restrict it to the classification of the minimal surfaces of general type with $p_g = 0, K^2 = 8$ which are constructed by the Beauville construction, namely, which are quotients of a product of curves by the free action of a finite group G acting separately on each component. We think that man and computer will soon solve this classification problem. In the paper we classify completely the 5 cases where the group G is abelian. For these surfaces, we de…
We study minimal surfaces X of general type with $K^2_X=6p_g-14$ and $q(X)>0$ such that $K_X$ is ample, the image of the canonical map is a canonically embedded surface of general type and the canonical map is not birational. The main result states that if X satisfies the above assumptions and $q(X)\ge 2$, then, apart from a finite number of exceptions, X belongs to an infinite series of examples due to Beauville. The exceptions are described in detail and some new examples are given.
