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.     

The cup product of Hilbert schemes for K3 surfaces

To any graded Frobenius algebra A we associate a sequence of graded Frobenius algebras A ^[n] so that there is canonical isomorphism of rings (H ^*(X;ℚ)[2]) ^[n] ≅H ^*(X ^[n] ;ℚ)[2n] for the Hilbert scheme X ^[n] of generalised n-tuples of any smooth projective surface X with numerically trivial canonical bundle. Oblatum 25-I-2001 & 18-IX-2002?Published online: 24 February 2003     

The Chow ring of punctual Hilbert schemes on toric surfaces

Let X be a smooth projective toric surface, and the Hilbert scheme parametrizing the length d zero-dimensional subschemes of X. We compute the rational Chow ring . More precisely, if is the two-dimensional torus contained in X, we compute the rational equivariant Chow ring and the usual Chow ring is an explicit quotient of the equivariant Chow ring. The case of some quasi-projective toric surfaces such as the affine plane are described by our method too.     

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.     

Automorphisms of Hilbert schemes of points on a generic projective K3 surface

We study automorphisms of the Hilbert scheme of n points on a generic projective K3 surface S, for any . We show that is either trivial or generated by a non‐symplectic involution and we determine numerical and divisorial conditions which allow us to distinguish between the two cases. As an application of these results we prove that, for any , there exist infinitely many admissible degrees for the polarization of the K3 surface S such that admits a non‐natural involution. This provides a generalization of the results of [7] for .     

Galois closure and Lagrangian varieties

Let X be a complex projective variety and consider the morphism

     

K3 surfaces with an order 50 automorphism

In any characteristic p different from 2 and 5, Kondō gave an example of a K3 surface with a purely non-symplectic automorphism of order 50. The surface was explicitly given as a double plane branched along a smooth sextic curve. In this note we show that, in any characteristic $p\ne 2,5$, a K3 surface with a cyclic action of order 50 is isomorphic to the example of Kondō.     

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.     

Simultaneous generation of jets on K3 surfaces

Let L be an ample line bundle on a K3 surface. We give a sharp bound on n for which nL is k-jet ample.Received: 27 December 2002     

On the symplectic structures on moduli space of stable sheaves over a K3 or abelian surface and on Hilbert scheme of points

Fix a smooth very ample curve C on a K3 or abelian surface X. Let $ \mathcal{M} $ denote the moduli space of pairs of the form (F, s), where F is a stable sheaf over X whose Hilbert polynomial coincides with that of the direct image, by the inclusion map of C in X, of a line bundle of degree d over C, and s is a nonzero section of F. Assume d to be sufficiently large such that F has a nonzero section. The pullback of the Mukai symplectic form on moduli spaces of stable sheaves over X is a holomorphic 2-form on $ \mathcal{M} $. On the other hand, $ \mathcal{M} $ has a map to a Hilbert scheme parametrizing 0-dimensional subschemes of X that sends (F, s) to the divisor, defined by s, on the curve defined by the support of F. We prove that the above 2-form on $ \mathcal{M} $ coincides with the pullback of the symplectic form on the Hilbert scheme.     

Non-symplectic automorphisms of order 3 on K3 surfaces

In this paper we study K3 surfaces with a non-symplectic automorphism of order 3. In particular, we classify the topological structure of the fixed locus of such automorphisms and we show that it determines the action on cohomology. This allows us to describe the structure of the moduli space and to show that it has three irreducible components.     

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     

Rational Cherednik algebras and Hilbert schemes

Let H_c be the rational Cherednik algebra of type A_n-1 with spherical subalgebra U_c=eH_ce. Then U_c is filtered by order of differential operators, with associated graded ring where W is the nth symmetric group. We construct a filtered Z-algebra B such that, under mild conditions on c:• the category B-qgr of graded noetherian B-modules modulo torsion is equivalent to U_c-mod;• the associated graded Z-algebra has grB-lqgr?coh Hilb(n), the category of coherent sheaves on the Hilbert scheme of points in the plane.This can be regarded as saying that U_c simultaneously gives a non-commutative deformation of h⊕h^*/W and of its resolution of singularities Hilb(n)→h⊕h^*/W. As we show elsewhere, this result is a powerful tool for studying the representation theory of H_c and its relationship to Hilb(n).     

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