Multiple supersingular elliptic fibers on elliptic surfaces

Elliptic surfaces over an algebraically closed field in characteristic p>0 with multiple supersingular elliptic fibers, that is, multiple fibers of a supersingular elliptic curve, are investigated. In particular, it is shown that for an elliptic surface with q=g+1 and a supersingular elliptic curve as a general fiber, where q is the dimension of an Albanese variety of the surface and g is the genus of the base curve, the multiplicities of the multiple supersingular elliptic fibers are not divisible by p². As an application of this result, the structure of false hyperelliptic surfaces is discussed on this basis.     

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.     

Normal del Pezzo surfaces containing a nonrational singularity

Working over perfect ground fields of arbitrary characteristic, I classify minimal normal del Pezzo surfaces containing a nonrational singularity. As an application, I determine the structure of 2-dimensional anticanonical models for proper normal algebraic surfaces. The anticanonical ring may be non-finitely generated. However, the anticanonical model is either a proper surface, or a proper surface minus a point. Received: 5 June 2000 / Revised version: 10 November 2000     

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.     

On non-projective normal surfaces

In this note we construct examples of non-projective normal proper algebraic surfaces and discuss the somewhat pathological behaviour of their Neron–Severi group. Our surfaces are birational to the product of a projective line and a curve of higher genus. Received: 29 January 1999     

Real analytic elliptic surfaces

Here, we give an upper bound for the number of connected components of the real locus of several smooth complex compact elliptic surfaces defined over R in terms of the type of the singular fibers of their elliptic fibration.     

Fibred rational surfaces with extremal Mordell-Weil lattices

Slope inequalities are given for fibred rational surfaces according as the Clifford index of a general fibre. For fibred rational surfaces of Clifford index two, the Mordell-Weil lattices of maximal ranks are completely determined.Supported by The 21st Century COE Program named “Towards a new basic science: depth and synthesis”.     

Triple-point defective ruled surfaces

In [L. Chiantini, T. Markwig, Triple-point defective regular surfaces. arXiv:0705.3912, 2007] we studied triple-point defective very ample linear systems on regular surfaces, and we showed that they can only exist if the surface is ruled. In the present paper we show that we can drop the regularity assumption, and we classify the triple-point defective very ample linear systems on ruled surfaces.     

Infinitesimal Torelli theorem for surfaces of general type with certain invariants

We prove the infinitesimal Torelli theorem for general minimal complex surfaces X's with the first Chern number 3, geometric genus 1, and irregularity 0 which have non-trivial 3-torsion divisors. We also show that the coarse moduli space for surfaces with the invariants as above is a 14-dimensional unirational variety.     

Cubic surfaces violating the Hasse principle are Zariski dense in the moduli scheme

We construct new examples of cubic surfaces, for which the Hasse principle fails. Thereby we show that, over every number field, the counterexamples to the Hasse principle are Zariski dense in the moduli scheme of non-singular cubic surfaces.     

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.     

Intersection theory over quantum ruled surfaces

In this paper, we will extend several results on intersection theory over commutative ruled surfaces to quantum ruled surfaces. Typically, we define the fiber of a closed point, the quasi-section, and the quasi-canonical divisor on a quantum rules surface, and study how these “curves” on a quantum ruled surface intersect with each other.     

Topologically unique maximal elementary abelian group actions on compact oriented surfaces

We determine all finite maximal elementary abelian group actions on compact oriented surfaces of genus σ≥2 which are unique up to topological equivalence. For certain special classes of such actions, we determine group extensions which also define unique actions. In addition, we explore in detail one of the families of such surfaces considered as compact Riemann surfaces and tackle the classical problem of constructing defining equations.     

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.     

Sums of residues on algebraic surfaces and application to coding theory

In this paper, we study residues of differential 2-forms on a smooth algebraic surface over an arbitrary field and give several statements about sums of residues. Afterwards, using these results, we construct algebraic-geometric codes which are an extension to surfaces of the well-known differential codes on curves. We also study some properties of these codes and extend to them some known properties for codes on curves.     

Counting curves on rational surfaces

In [CH3], Caporaso and Harris derive recursive formulas counting nodal plane curves of degree d and geometric genus g in the plane (through the appropriate number of fixed general points). We rephrase their arguments in the language of maps, and extend them to other rational surfaces, and other specified intersections with a divisor. As applications, (i) we count irreducible curves on Hirzebruch surfaces in a fixed divisor class and of fixed geometric genus, (ii) we compute the higher-genus Gromov–Witten invariants of (or equivalently, counting curves of any genus and divisor class on) del Pezzo surfaces of degree at least 3. In the case of the cubic surface in (ii), we first use a result of Graber to enumeratively interpret higher-genus Gromov–Witten invariants of certain K-nef surfaces, and then apply this to a degeneration of a cubic surface. Received: 30 June 1999 / Revised version: 1 January 2000     

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.     

Rational Lagrangian fibrations on punctual Hilbert schemes of K3 surfaces

A rational Lagrangian fibration f on an irreducible symplectic variety V is a rational map which is birationally equivalent to a regular surjective morphism with Lagrangian fibers. By analogy with K3 surfaces, it is natural to expect that a rational Lagrangian fibration exists if and only if V has a divisor D with Bogomolov–Beauville square 0. This conjecture is proved in the case when V is the Hilbert scheme of d points on a generic K3 surface S of genus g under the hypothesis that its degree 2g−2 is a square times 2d−2. The construction of f uses a twisted Fourier–Mukai transform which induces a birational isomorphism of V with a certain moduli space of twisted sheaves on another K3 surface M, obtained from S as its Fourier–Mukai partner.     

There are enough Azumaya algebras on surfaces

Using Maruyama's theory of elementary transformations, I show that the Brauer group surjects onto the cohomological Brauer group for separated geometrically normal algebraic surfaces. As an application, I infer the existence of nonfree vector bundles on proper normal algebraic surfaces. Received: 14 April 2000 / Accepted: 26 February 2001 / Published online: 23 July 2001