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.     

Certain algebraic surfaces with Eisenbud‐Harris general fibration of genus 4

We classify the algebraic surfaces with Eisenbud‐Harris general fibration of genus 4 over a rational curve or an elliptic curve whose slope attains the lower bound. The classification of our surfaces is strongly related to the result of the classification for certain relative quadric hypersurfaces in 3‐dimensional projective space bundles over a rational curve and an elliptic curve. We further prove some results about the canonical maps, the quadric hulls of the canonical images and the deformation for these 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.     

The alternating groups and K3 surfaces

In this note, we consider all possible extensions G of a non-trivial perfect group H acting faithfully on a K3 surface X. The pair (X,G) is proved to be uniquely determined by G if the transcendental value of G is maximum. In particular, we have , if H is the alternating group A₅ and normal in G.     

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.     

A family of surfaces with and Albanese map of degree 3

We study a family of surfaces of general type with and , originally constructed by Cancian and Frapporti by using the Computer Algebra System MAGMA . We provide an alternative, computer‐free construction of these surfaces, that allows us to describe their Albanese map and their moduli space.     

Elementary modifications and line configurations in ℙ<Superscript>2</Superscript>

Associated to a projective arrangement of hyperplanes ${\mathcal A}$ ⁿ is the module D$({\mathcal A})$, which consists of derivations tangent to ${\mathcal A}$. We study D$({\mathcal A})$ when ${\mathcal A}$ is a configuration of lines in ². In this setting, we relate the deletion/restriction construction used in the study of hyperplane arrangements to elementary modifications of bundles. This allows us to obtain bounds on the Castelnuovo-Mumford regularity of D$({\mathcal A})$. We also give simple combinatorial conditions for the associated bundle to be stable, and describe its jump lines. These regularity bounds and stability considerations impose constraints on Teraos conjecture.     

On a question of Miles Reid

A conjecture of Miles Reid states that the relative canonical algebra for a pencil of curves of genus greater than one is always generated in degrees at most three (1-2-3 conjecture). We give some explicit counter-examples to the conjecture. Received: 10 December 1998/ Revised version: 15 April 1999     

On the Griffiths group of the cubic sevenfold

Partially supported by Science Project Geometry of Algebraic Varieties, n. 0-198-SC1, and by fundings from M.U.R.S.T. and G.N.S.A.G.A. (C.N.R.), Italy     

Relations on the period mapping giving extensions of mixed hodge structures on compact Riemann surfaces

We consider a period map from Teichmüller space to , which is a real vector bundle over the Siegel upper half space. This map lifts the Torelli map. We study the action of the mapping class group on this period map. We show that the period map from Teichmüller space modulo the Johnson kernel is generically injective. We derive relations that the quadratic periods must satisfy. These identities are generalizations of the symmetry of the Riemann period matrix. Using these higher bilinear relations, we show that the period map factors through a translation of the subbundle and is completely determined by the purely holomorphic quadratic periods. We apply this result to strengthen some theorems in the literature. One application is that the quadratic periods, along with the abelian periods, determine a generic marked compact Riemann surface up to an element of the kernel of Johnson's homomorphism. Another application is that we compute the cocycle that exhibits the mapping class group modulo the Johnson kernel as an extension of the group SP _g () by the group .     

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     

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.     

Calabi–Yau threefolds with small Hodge numbers associated with a one-parameter family of polynomials

We construct several quintic Calabi–Yau threefolds over the rationals with small Hodge numbers, by using certain members of a family of polynomial solutions of a second order linear partial differential equation.     

Algebraic deformations of compact Kähler surfaces

A short proof is given of Kodaira's result that every compact kähler surface is a deformation of an algebraic surface under the extra assumption that all infinitesimal deformations are unobstructed.     

On the notion of canonical dimension for algebraic groups

We define and study a numerical invariant of an algebraic group action which we call the canonical dimension. We then apply the resulting theory to the problem of computing the minimal number of parameters required to define a generic hypersurface of degree d in P^n-1.