Vertex algebras and the cohomology ring structure of Hilbert schemes of points on surfaces

Using vertex algebra techniques, we determine a set of generators for the cohomology ring of the Hilbert schemes of points on an arbitrary smooth projective surface over the field of complex numbers. Received: 28 November 2000 / Published online: 23 May 2002     

Segments and Hilbert schemes of points

Using results obtained from a study of homogeneous ideals sharing the same initial ideal with respect to some term order, we prove the singularity of the point corresponding to a segment ideal with respect to a degreverse term order (as, for example, the degrevlex order) in the Hilbert scheme of points in Pⁿ. In this context, we look into the properties of several types of “segment” ideals that we define and compare. This study also leads us to focus on the connections between the shape of generators of Borel ideals and the related Hilbert polynomial, thus providing an algorithm for computing all saturated Borel ideals with a given Hilbert polynomial.     

Sklyanin algebras and Hilbert schemes of points

We construct projective moduli spaces for torsion-free sheaves on noncommutative projective planes. These moduli spaces vary smoothly in the parameters describing the noncommutative plane and have good properties analogous to those of moduli spaces of sheaves over the usual (commutative) projective plane P².The generic noncommutative plane corresponds to the Sklyanin algebra S=Skl(E,σ) constructed from an automorphism σ of infinite order on an elliptic curve E⊂P². In this case, the fine moduli space of line bundles over S with first Chern class zero and Euler characteristic 1−n provides a symplectic variety that is a deformation of the Hilbert scheme of n points on P²?E.     

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 vector bundles over surfaces and Hilbert schemes

Let X be an irreducible smooth projective surface over ${{\mathbb{C}}}$ and Hilb ^d (X) the Hilbert scheme parametrizing the zero-dimensional subschemes of X of length d. Given a vector bundle E on X, there is a naturally associated vector bundle ${{\mathcal{F}}_d(E)}$ over Hilb ^d (X). If E and V are semistable vector bundles on X such that ${{\mathcal{F}}_d(E)}$ and ${{\mathcal{F}}_d(V)}$ are isomorphic, we prove that E is isomorphic to V. A key input in the proof is provided by Biswas and Nagaraj (see [1]).     

Generating series of classes of Hilbert schemes of points on orbifolds

The notion of power structure over the Grothendieck ring of complex quasi-projective varieties is used for describing generating series of classes of Hilbert schemes of zero-dimensional subschemes (“fat points”) on complex orbifolds.     

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.     

Some remarks on tautological sheaves on Hilbert schemes of points on a surface

We study tautological sheaves on the Hilbert scheme of points on a smooth quasi-projective algebraic surface by means of the Bridgeland–King–Reid transform. We obtain Brion–Danila’s Formulas for the derived direct image of tautological sheaves or their double tensor product for the Hilbert–Chow morphism; as an application we compute the cohomology of the Hilbert scheme with values in tautological sheaves or in their double tensor product, thus generalizing results previously obtained for tautological bundles.      

The Hilbert scheme of points for supersingular abelian surfaces

We study the geometry of Hilbert schemes of points on abelian surfaces and Beauville’s generalized Kummer varieties in positive characteristics. The main result is that, in characteristic two, the addition map from the Hilbert scheme of two points to the abelian surface is a quasifibration such that all fibers are nonsmooth. In particular, the corresponding generalized Kummer surface is nonsmooth, and minimally elliptic singularities occur in the supersingular case. We unravel the structure of the singularities in dependence of p-rank and a-number of the abelian surface. To do so, we establish a McKay Correspondence for Artin’s wild involutions on surfaces. Along the line, we find examples of canonical singularities that are not rational singularities.     

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     

Frobenius splitting and invariant theory

We consider varieties over an algebraically closed field k of characteristicp>0. Given a linear representation of a reductive group, we prove that the ring of invariants is F-regular provided the associated projective quotient is Frobenius-split, the twisting sheaves are Cohen-Macaulay (C-M), and a mild technical condition is met. As an example of how this can be used, we show that the ring of invariants (under the adjoint action of SL (3)) ofg copies ofM ₃ is C-M. (HereM ₃ denotes the vector space of 3×3 matrices over k andp>3.) The method of proof involves an induction, and is potentially of wide applicability. As a corollary we obtain that the moduli space of rank 3 and degree 0 bundles on a smooth projective curve of genusg is C-M.     

Poisson structures on Hilbert schemes of points¶of a surface and integrable systems

In this paper we prove that if S is a Poisson surface, i.e., a smooth algebraic surface with a Poisson structure, the Hilbert scheme of points of S has a natural Poisson structure, induced by the one of S. This generalizes previous results obtained by A. Beauville [B1] and S. Mukai [M2] in the symplectic case, i.e., when S is an abelian or K3 surface. Finally we apply our results to give some examples of integrable Hamiltonian systems naturally defined on these Hilbert schemes. In the simple case S=ℙ² we obtain by this construction a large class of integrable systems, which includes the ones studied by P. Vanhaecke in [V1] and, more generally, in [V2]. Received: 9 March 1998 / Revised version: 19 June 1998     

Frobenius splitting of projective toric bundles

We prove that the projectivization of the tangent bundle of a nonsingular toric variety is Frobenius split.     

Hirzebruch Xy genera of the Hilbert schemes of surfaces by localization formula

Science China Mathematics - We use the Atiyah-Bott-Segal-Singer Lefschetz fixed point formula to calculate the Hirzebruch ?y genus Xy(S[n]), where S[n] is the Hilbert scheme of points of length n...     

Hirzebruch χy genera of the Hilbert schemes of surfaces by localization formula

We use the Atiyah-Bott-Segal-Singer Lefschetz fixed point formula to calculate the Hirzebruch χy genus χy(S[n]), where S[n] is the Hilbert scheme of points of length n of a surface S. Combinatorial interpretation of the weights of the fixed points of the natural torus action on (C2)[n] is used. This is the first step to prove a conjectural formula about the elliptic genus of the Hilbert schemes.