Failure of the Hasse principle for Enriques surfaces

We construct an Enriques surface X over Q with empty étale-Brauer set (and hence no rational points) for which there is no algebraic Brauer–Manin obstruction to the Hasse principle. In addition, if there is a transcendental obstruction on X, then we obtain a K3 surface that has a transcendental obstruction to the Hasse principle.     

Hilbert schemes of surfaces are dense in moduli

We prove that the locus of Hilbert schemes of n points on a projective K 3 surface is dense in the moduli space of irreducible holomorphic symplectic manifolds of that deformation type. The analogous result for generalized Kummer manifolds is proven as well. Along the way we prove an integral constraint on the monodromy group of generalized Kummer manifolds.     

Estimates for Tamagawa numbers of diagonal cubic surfaces

For diagonal cubic surfaces, we give an upper bound for E. Peyre's Tamagawa type number in terms of the coefficients of the defining equation. This bound shows that the reciprocal admits a fundamental finiteness property on the set of all diagonal cubic surfaces. As an application, we show that the infinite series of Tamagawa numbers related to the Fano cubic bundles considered by Batyrev and Tschinkel (1996) [BT] are indeed convergent.     

Trialitarian groups and the Hasse principle

Let F be a field of characteristic ≠ 2 such that is of cohomological 2- and 3-dimension ≤ 2. For G a simply connected group of type ³ D ₄ or ⁶ D ₄ over F, we show that the natural map

Rational points of bounded height on projective surfaces

We give upper bounds for the number of rational points of bounded height on the complement of the lines on projective surfaces.     

The <Emphasis Type="Italic">L</Emphasis>-series of a cubic fourfold

We study the L-series of cubic fourfolds. Our main result is that, if X/C is a special cubic fourfold associated to some polarized K3 surface S, defined over a number field K and satisfying , then X has a model over K such that the L-series of the primitive cohomology of X/K can be expressed in terms of the L-series of S/K. This allows us to compute the L-series for a discrete dense subset of cubic fourfolds in the moduli spaces of certain special cubic fourfolds. We also discuss a concrete example.     

K3 surfaces, rational curves, and rational points

We prove that for any of a wide class of elliptic surfaces X defined over a number field k, if there is an algebraic point on X that lies on only finitely many rational curves, then there is an algebraic point on X that lies on no rational curves. In particular, our theorem applies to a large class of elliptic K3 surfaces, which relates to a question posed by Bogomolov in 1981.     

Bielliptic surfaces as covers of rational surfaces

We present a construction of the bielliptic surfaces as covers of certain rational elliptic surfaces.     

The maximal singular fibres of elliptic K3 surfaces

We prove that the maximal singular fibres of an elliptic K3 surface have type I₁₉ and unless the characteristic of the ground field is 2. In characteristic 2, the maximal singular fibres are I₁₈ and . The paper supplements work of Shioda in [9] and [10]. Received: 23 September 2005     

A nondensity property of preperiodic points on Chebyshev dynamical systems

Let k be a number field with algebraic closure , and let S be a finite set of primes of k, containing all the infinite ones. Consider a Chebyshev dynamical system on P². Fix the effective divisor D of P² that is equal to a line nondegenerate on²[−2,2]. Then we will prove that the set of preperiodic points on which are S-integral relative to D is not Zariski dense in P².     

On the moduli of surfaces admitting genus 2 fibrations

We investigate the structure of the components of the moduli space of surfaces of general type, which parametrize surfaces admitting nonsmooth genus 2 fibrations of nonalbanese type, over curves of genusg _b≥2.     

Non-divisible cycles on surfaces over local fields

In this paper, we are concerned with the reciprocity map of unramified class field theory for smooth projective surfaces over non-archimedean local fields which do not have potentially good reduction. We will construct two types of smooth projective surfaces whose reciprocity maps modulo positive integers are not injective. The first type is the case where the kernel of the reciprocity map is not divisible. The second is the case where the kernel of the reciprocity map is divisible, but where nevertheless the reciprocity map modulo some integer is not injective.     

Orbits of points on certain K3 surfaces

In this paper we show that, for a K3 surface within a certain class of surfaces and over a number field, the orbit of a point under the group of automorphisms is either finite or its exponent of growth is exactly the Hausdorff dimension of a fractal associated to the ample cone. In particular, the exponent depends on the geometry of the surface and not its arithmetic. For surfaces in this class, the exponent is 0.6527±0.0012.     

Applications of toric systems on surfaces

In this note we apply the techniques of the toric systems introduced by Hille–Perling to several problems on smooth projective surfaces: We showed that the existence of full exceptional collection of line bundles implies the rationality for small Picard rank surfaces; we proved equivalences of several notions of cyclic strong exceptional collection of line bundles; we also proposed a partial solution to a conjecture on exceptional sheaves on weak del Pezzo surfaces.     

Lines on Fermat surfaces

We prove that the Néron-Severi groups of several complex Fermat surfaces are generated by lines. Specifically, we obtain these new results for all degrees up to 100 that are relatively prime to 6. The proof uses reduction modulo a supersingular prime. The techniques are developed in detail. They can be applied to other surfaces and varieties as well.     

A remark on the moduli field of a curve

We give a purely algebro-geometric proof of the fact that every nonsingular projective curve can be defined over a finite extension of its moduli field. This extends a result byWolfart [7] to curves over fields of arbitrary characteristic. Received: 30 November 2001     

An explicit construction of ruled surfaces

The main goal of this paper is to give a general algorithm to compute, via computer-algebra systems, an explicit set of generators of the ideals of the projective embeddings of ruled surfaces, i.e. projectivizations of rank two vector bundles over curves, such that the fibers are embedded as smooth rational curves.There are two different applications of our algorithm. Firstly, given a very ample linear system on an abstract ruled surface, our algorithm allows computing the ideal of the embedded surface, all the syzygies, and all the algebraic invariants which are computable from its ideal as, for instance, the k-regularity. Secondly, it is possible to prove the existence of new embeddings of ruled surfaces.The method can be implemented over any computer-algebra system able to deal with commutative algebra and Gröbner-basis computations. An implementation of our algorithms for the computer-algebra system Macaulay2 (cf. [Daniel R. Grayson, Michael E. Stillman, Macaulay 2, a software system for research in algebraic geometry, 1993. Available at http://www.math.uiuc.edu/Macaulay2/]) and explicit examples are enclosed.