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.     

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.     

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.     

On normal surface singularities and a problem of enriques

We construct families of normal surface singularities with the following property: given any fiat projective connected family V →B of smooth, irreducible, minimal algebraic surfaces, the general singularity in one of our families cannot occur, analytically, on any algebraic surfaces which is Irrationally equivalent to a surface in V→B. In particular this holds for V→B consisting of a single rational surface, thus answering negatively to a long standing problem posed by F. Enriques. In order to prove the above mentioned results, wo develop a general, though elementary, method, based on the consideration of suitable correspondences, for comparing a given family of minimal surfaces with a family of surface singularities. Specifically the method in question gives us the possibility of comparing the parameters on which the two families depend, thus leading to the aforementioned results.     

Irregularity of certain algebraic fiber spaces

LetX, Y be smooth complex projective varieties, andf: X →Y be a fiber space whose general fiber is a curve of genusg. Denote byq _f the relative irregularity off. It is proved thatq _f ≤5g+1 / 6, iff is not generically trivial; moreover, if either a)f is non-constant and the general fiber is either hyperelliptic or bielliptic or b)q(Y)=0, thenq _f ≤g+1 / 2, and the bound is best possible. A classification of fiber surfaces of genus 3 withq _f =2 is also given in this note. Project supported by China Postdoctoral Science Foundation     

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     

Bielliptic surfaces as covers of rational surfaces

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

On factorial double solids with simple double points

We study when double covers of P³ ramified along nodal surfaces are not Q-factorial. In particular, we describe all the Q-factorial double covers of P³ ramified along quartic surfaces with at most seven simple double points and sextic surfaces with at most 16 simple double points.     

On the complexity of the projective classification of surfaces

LetX be a complex, connected, projective surface. LetL be a very ample line bundle onX, i.e. there is an embedding :X P _c with . In this article we study projective classification for surfaces when the independent variable is large.     

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 two fibrations over elliptic curves

In this paper, we study the structure, deformations and the moduli spaces of complex projective surfaces admitting genus two fibrations over elliptic curves. We observe that a surface admitting a smooth fibration as above is elliptic, and we employ results on the moduli of polarized elliptic surfaces to construct moduli spaces of these smooth fibrations. In the case of nonsmooth fibrations, we relate the moduli spaces to the Hurwitz schemes of morphisms of degree n from elliptic curves to the modular curve X(d), d ≥ 3. Ultimately, we show that the moduli spaces in the nonsmooth case are fiber spaces over the affine line with fibers determined by the components of . Received: 30 August 2006     

Halves of a real Enriques surface

The real partE _ℝ of a real Enriques surfaceE admits a natural decomposition in two halves,E _ℝ=E _ℝ ⁽¹⁾ ∪E _ℝ ⁽²⁾ , each half being a union of components ofE _ℝ. We classify the triads (E _ℝ;E _ℝ ⁽¹⁾ ,E _ℝ ⁽²⁾ ) up to homeomorphism. Most results extend to surfaces of more general nature than Enriques surfaces. We use and study in details the properties of Kalinin's filtration in the homology of the fixed point set of an involution, which is a convenient tool not widely known in topology of real algebraic varieties.     

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.     

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”.     

Stability and Fourier–Mukai transforms on elliptic fibrations

We systematically develop Bridgeland's [7] and Bridgeland–Maciocia's [10] techniques for studying elliptic fibrations, and identify criteria that ensure 2-term complexes are mapped to torsion-free sheaves under a Fourier–Mukai transform. As an application, we construct an open immersion from a moduli of stable complexes to a moduli of Gieseker stable sheaves on elliptic threefolds. As another application, we give various 1–1 correspondences between fibrewise semistable torsion-free sheaves and codimension-1 sheaves on Weierstrass surfaces.     

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     

Non-classical Godeaux surfaces

A non-classical Godeaux surface is a minimal surface of general type with χ = K ² = 1 but with h ⁰¹ ≠ 0. We prove that such surfaces fulfill h ⁰¹ = 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.     

On the divisor class group of double solids

For a double solid V→ℙ_3> branched over a surface B⊂ℙ₃(ℂ) with only ordinary nodes as singularities, we give a set of generators of the divisor class group in terms of contact surfaces of B with only superisolated singularities in the nodes of B. As an application we give a condition when H ^* (˜V , ℤ) has no 2-torsion. All possible cases are listed if B is a quartic. Furthermore we give a new lower bound for the dimension of the code of B. Received: 16 November 1998