BZPEERSource author record
Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.
Catalog footprint
Published work
We give a complete classification of complex Q-homology projective planes with isolated rational double point singularities and numerically trivial canonical bundle. There are 31 types, and each has one-dimensional moduli. In fact, all moduli curves are rational and defined over Q, and we determine all families explicitly using extremal rational elliptic surfaces and Enriques involutions of base change type.
Over a field k of characteristic 3, we prove that there are no smooth quartic surfaces S in IP^3 with more than 112 lines. Moreover, the surface with 112 lines is projectively equivalent over k-bar to the Fermat quartic. As a key ingredient, we derive a characteristic free upper bound for the number of lines met by a quadric on a smooth quartic surface.
Let k be a field of characteristic other than 2,3. We prove that there are no geometrically smooth quartic surfaces in IP^3 with more than 64 lines. As a key step, we derive the sharp bound that any line meets at most 20 other lines on a smooth quartic.
For any odd characteristic p=2 mod 3, we exhibit an explicit automorphism on the supersingular K3 surface of Artin invariant one which does not lift to any characteristic zero model. Our construction builds on elliptic fibrations to produce a closed formula for the automorphism's characteristic polynomial on second cohomology, which turns out to be an irreducible Salem polynomial of degree 22 with coefficients varying with p.
The supersingular K3 surface X in characteristic 2 with Artin invariant 1 admits several genus 1 fibrations (elliptic and quasi-elliptic). We use a bijection between fibrations and definite even lattices of rank 20 and discriminant 4 to classify the fibrations, and exhibit isomorphisms between the resulting models of X. We also study a configuration of (-2)-curves on X related to the incidence graph of points and lines of IP^2(IF_4).
We solve the Picard number problem for complex quintic surfaces by proving that every number between 1 and 45 occurs as Picard number of a quintic surface over the rationals. Our main technique consists in arithmetic deformations of Delsarte surfaces, but we also use K3 surfaces and wild automorphisms.
Double planes branched in 6 lines give a famous example of K3 surfaces. Their moduli are well understood and related to abelian fourfolds of Weil type. We compare these two moduli interpretations and in particular divisors on the moduli spaces. On the K3 side, this is achieved with the help of elliptic fibrations. We also study the Kuga-Satake correspondence on these special divisors.
This paper concerns K3 surfaces with automorphisms of order 11 in arbitrary characteristic. Specifically we study the wild case and prove that a general such surface in characteristic 11 has Picard number 2. We also construct K3 surfaces with an automorphism of order 11 in every characteristic, and supersingular K3 surfaces whenever possible.
For every known Hecke eigenform of weight 3 with rational eigenvalues we exhibit a K3 surface over QQ associated to the form. This answers a question asked independently by Mazur and van Straten. The proof builds on a classification of CM forms by the second author.
In these lecture notes we review different aspects of the arithmetic of K3 surfaces. Topics include rational points, Picard number and Tate conjecture, zeta functions and modularity.
We prove the modularity of Maschke's octic and two Calabi-Yau threefolds derived from it as double octic and quotient thereof by the Heisenberg group, as conjectured by Bini and van Geemen. The proofs rely on automorphisms of the varieties and isogenies of K3 surfaces.
We prove that the Consani-Scholten quintic, a Calabi-Yau threefold over QQ, is Hilbert modular. For this, we refine several techniques known from the context of modular forms. Most notably, we extend the Faltings-Serre-Livne method to induced four-dimensional Galois representations over QQ. We also need a Sturm bound for Hilbert modular forms; this is developed in an appendix by Jose Burgos Gil and the second author.
We give a geometric construction of the three infinite series of K3 surfaces which are sandwiched by Kummer surfaces within a Shioda-Inose structure. Explicit examples are also provided.
This paper investigates a specific smooth quintic surface suggested by Barth for it contains the current record of 75 lines over the complex numbers. Our main incentive is to prove that the complex quintic has Picard number 41, and to compute the Neron-Severi group up to a 2-power index. We also compute Picard numbers for reductions to positive characteristic and verify the Tate conjecture.
We find explicit projective models of a compact Shimura curve and of a (non-compact) surface which are the moduli spaces of principally polarised abelian fourfolds with an automorphism of order five. The surface has a 24-nodal canonical model in IP^4 which is the complete intersection of two S_5-invariant cubics. It is dominated by a Hilbert modular surface and we give a modular interpretation for this. We also determine the L-series of these varieties as well as those of several modular covers of the Shimura curve.
We prove that the supersingular K3 surface of Artin invariant 1 in characteristic p (where p denotes an arbitrary prime) admits a model over IF_p with Picard number 21.
This paper develops families of complex Enriques surfaces whose Brauer groups pull back identically to zero on the covering K3 surfaces. Our methods rely on isogenies with Kummer surfaces of product type. We offer both lattice theoretic and geometric constructions. We also sketch how the construction connects to string theory and Picard-Fuchs equations in the context of Enriques Calabi-Yau threefolds.
We explicitly determine the elliptic K3 surfaces with a maximal singular fibre. If the characteristic of the ground field is different from 2, for each of the two possible maximal fibre types, I19 and I14∗, the surface is unique. In characteristic 2 the maximal fibre types are I18 and I13∗, and there exist two (resp. one) one-parameter families of such surfaces.
This paper investigates the Picard numbers of quintic surfaces. We give the first example of a complex quintic surface in IP^3 with maximum Picard number 45. We also investigate its arithmetic and determine the zeta function. Similar techniques are applied to produce quintic surfaces with several other Picard numbers that have not been achieved before.
We study the arithmetic of Enriques surfaces whose universal covers are singular K3 surfaces. If a singular K3 surface X has discriminant d, then it has a model over the ring class field d. Our main theorem is that the same holds true for any Enriques quotient of X. It is based on a study on Neron-Severi groups of singular K3 surfaces. We also comment on Galois actions on divisors of Enriques surfaces.
This survey paper concerns elliptic surfaces with section. We give a detailed overview of the theory including many examples. Emphasis is placed on rational elliptic surfaces and elliptic K3 surfaces. To this end, we particularly review the theory of Mordell-Weil lattices and address arithmetic questions.
This paper proposes a new geometric construction of Enriques surfaces. Its starting point are K3 surfaces with jacobian elliptic fibration which arise from rational elliptic surfaces by a quadratic base change. The Enriques surfaces obtained in this way are characterised by elliptic fibrations with a rational curve as bisection which splits into two sections on the covering K3 surface. The construction has applications to the study of Enriques surfaces with specific automorphisms. It also allows us to answer a question of Beauville about Enriques surfaces whose Brauer groups show an exceptional behaviour. In a forthcoming paper, we will study arithmetic consequences of our construction.
We determine all complex K3 surfaces with Picard rank 20 over Q. Here the Neron-Severi group has rank 20 and is generated by divisors which are defined over Q. Our proof uses modularity, the Artin-Tate conjecture and class group theory. With different techniques, the result has been established by Elkies to show that Mordell-Weil rank 18 over Q is impossible for an elliptic K3 surface. We then apply our methods to general singular K3 surfaces, i.e. with Neron-Severi group of rank 20, but not necessarily generated by divisors over Q.
We show that noncongruence subgroups of SL_2(Z) projectively equivalent to congruence subgroups are ubiquitous. More precisely, they always exist if the congruence subgroup in question is a principal congruence subgroup Gamma(N) of level N>2, and they exist in many cases also for Gamma_0(N). The motivation for asking this question is related to modular forms: projectively equivalent groups have the same spaces of cusp forms for all even weights whereas the spaces of cusp forms of odd weights are distinct in general. We make some initial observations on this phenomenon for weight 3 via geometric considerations of the attached elliptic modular surfaces. We also develop algorithms that construct all subgroups projectively equivalent to a given congruence subgroup and decides which of them are congruence. A crucial tool in this is the generalized level concept of Wohlfahrt.
We construct many new non-liftable three-dimensional Calabi-Yau spaces in positive characteristic. The technique relies on lifting a nodal model to a smooth rigid Calabi-Yau space over some number field as introduced by the first author and D. van Straten.
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.