We determine the ring structure of the equivariant quantum cohomology of the Hilbert scheme of points in the complex plane. The operator of quantum multiplication by the divisor class is a nonstationary deformation of the quantum Calogero-Sutherland many-body system. A relationship between the quantum cohomology of the Hilbert scheme and the Gromov-Witten/Donaldson-Thomas correspondence for local curves is proven.
By using vector field techniques, we compute the ordinary and equivariant cohomology rings of Hilbert scheme of points in the projective plane in relation with that of a Grassmann variety.
The integral cohomology ring of the Hilbert scheme of n-tuples on the affine plane is shown to be isomorphic to the graded ring associated to a filtration of the ring of integral class functions on the symmetric group.
We study cup products in integral cohomology of the Hilbert scheme of $n$ points on a K3 surface and present a computer program for this purpose. In particular, we deal with the question, which classes can be represented by products of lower degrees.
By using K-theory, we construct a map from the tangent space to the Hilbert scheme at a point Y to the local cohomology group. And we use this map to answer affirmatively(after slight modification) a question by Mark Green and Phillip Griffiths in [8] on constructing a map from the tangent space to the Hilbert scheme to the tangent space to the cycle group.
We show that if X is a smooth complex projective surface with torsion-free cohomology, then the Hilbert scheme X^[n] has torsion-free cohomology for every natural number n. This extends earlier work by Markman on the case of Poisson surfaces. The proof uses Gholampour-Thomas's reduced obstruction theory for nested Hilbert schemes of surfaces.
The methods of integral operators on the cohomology of Hilbert schemes of points on surfaces are developed. They are used to establish integral bases for the cohomology groups of Hilbert schemes of points on a class of surfaces (and conjecturally, for all simply connected surfaces).
We establish some remarkable properties of the cohomology rings of the Hilbert schemes of n points on a projective surface X, from which one sees to what extent these cohomology rings are (in)dependent of X and n.
In this note, generalizing earlier work of Nakajima and Vasserot, we study the (equivariant) cohomology rings of Hilbert schemes of certain toric surfaces and establish their connections to Fock space and Jack polynomials.
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.
We give a series of successively weaker conjectures on the cohomology ring of the Grassmannian, starting with the Hilbert series of a certain natural filtration.
In the study of the rational cohomology of Hilbert schemes of points on a smooth surface, it is particularly interesting to understand the characteristic classes of the tautological bundles and the tangent bundle. In this note we pursue this study. We first collect all results appearing separately in the literature and prove some new formulas using T. Ohmoto's results on orbifold Chern classes on Hilbert schemes. We also explain the algorithmic counterpart of the topic: The cohomology space is governed by a vertex algebra that can be used to compute characteristic classes. We present an implem…
The Hilbert scheme X^{[a]} of points on a complex manifold X is a compactification of the configuration space of a-element subsets of X. The integral cohomology of X^{[a]} is more subtle than the rational cohomology. In this paper, we compute the mod 2 cohomology of X^{[2]} for any complex manifold X, and the integral cohomology of X^{[2]} when X has torsion-free cohomology. The results of this paper are used in Voisin's work on the universal CH_0 group of cubic hypersurfaces, because the crucial point there is to study the 2-torsion in the Chow group.
We prove that Chow groups of certain non-commutative Hilbert schemes have a basis consisting of monomials in Chern classes of the universal bundle. Furthermore, we realize the cohomology of non-commutative Hilbert schemes as a module over the Cohomological Hall algebra.
Using the methods developed in [LQW], math.AG/0009132, we obtain a second set of generators for the cohomology ring of the Hilbert scheme of points on an arbitrary smooth projective surface over the field of complex numbers. These generators have clear and simple geometric as well as algebraic descriptions.
We show that the cohomology ring of Hilbert scheme of $n$-points in the affine plane is isomorphic to the coordinate ring of $\mathbb{G}_{m}$-fixed point scheme of the $n$-th symmetric product of $\mathbb{C}^{2}$ for a natural $\mathbb{G}_{m}$-action on it. This result can be seen as an analogue of a theorem of DeConcini, Procesi and Tanisaki on a description of the cohomology ring of Springer fiber of type A.
Let $X$ be a Hilbert modular variety and $\mathbb{V}$ a non-trivial local system over $X$ with infinite monodromy. In this paper we study Saito's mixed Hodge structure (MHS) on the cohomology group $H^k(X,\mathbb{V})$ using the method of Higgs bundles. Among other results we prove the Eichler-Shimura isomorphism, give a dimension formula for the Hodge numbers and show that the mixed Hodge structure is split over $\mathbb{R}$. These results are analogous to Matsushima-Shimura [Annals of Mathematics 78, 1963] in the cocompact case and complement the results in Freitag [Book: Hilbert modular form…
Let X be a hyperkahler manifold deformation equivalent to a Hilbert scheme of n points on a K3 surface. We compute the graded character formula of the generic Mumford-Tate group representation on the cohomology ring of X, and derive a generating series for deducing the number of canonical Hodge classes on X. The formula indicates the number of Hodge classes on X that remain Hodge under any deformation.
Let X be the quasi-projective symplectic surface that is given by the total space of the invertible sheaf O(-2) over the projective line. Let Hilb X be the family of Hilbert schemes of points on X. We give and prove a closed formula expressing any multiplicative characteristic class evaluated on the Hilb X in terms of the standard Fock space description of the cohomology of the Hilb X. As a side result, we also deduce a formula for the Chern character of the tangent bundles of the Hilb X. The results found here are another step towards a complete description of the tangent bundle of the Hilber…
We determine the two-point invariants of the equivariant quantum cohomology of the Hilbert scheme of points of surface resolutions associated to type A_n singularities. The operators encoding these invariants are expressed in terms of the action of the affine Lie algebra \hat{gl}(n+1) on its basic representation. Assuming a certain nondegeneracy conjecture, these operators determine the full structure of the quantum cohomology ring. A relationship is proven between the quantum cohomology and Gromov-Witten/Donaldson-Thomas theories of A_n x P^1. We close with a discussion of the monodromy prope…
Let Hilb^p be the Hilbert scheme parametrizing the closed subschemes of P^n with Hilbert polynomial p \in Q[t] over a field K of characteristic zero. By bounding below the cohomological Hilbert functions of the points of Hilb^p we define locally closed subspaces of the Hilbert scheme. The aim of this thesis is to show that some of these subspaces are connected. For this we exploit the ideals constructed by D. Mall. It turns out that these ideals are sequentially Cohen-Macaulay and that their initial ideals and their generic initial ideals coincide for any admissible term order.
Non-commutative Hilbert schemes, introduced by M. V. Nori, parametrize left ideals of finite codimension in free algebras. More generally, parameter spaces of finite codimensional submodules of free modules over free algebras are considered. Cell decompositions of these varieties are constructed, whose cells are parametrized by certain types of forests. Asymptotics for the corresponding Poincare polynomials and properties of their generating functions are discussed.
The aim of this paper is to extend some arithmetic results on elliptic modular forms to the case of Hilbert modular forms. Among these results let's mention : (1) the control of the image of the Galois representation modulo $p$, (2) Hida's congruence criterion outside an explicit set of primes $p$, and (3) the freeness of the integral cohomology of the Hilbert modular variety over certain local components of the Hecke algebra and the Gorenstein property of these local algebras. We study the arithmetic of the Hilbert modular forms by studying their modulo $p$ Galois representations and our main…
Let $F$ be a totally real field in which $p$ is unramified. We prove that, if a cuspidal overconvergent Hilbert cuspidal form has small slopes under $U_p$-operators, then it is classical. Our method follows the original cohomological approach of Coleman. The key ingredient of the proof is giving an explicit description of the Goren-Oort stratification of the special fiber of the Hilbert modular variety. A byproduct of the proof is to show that, at least when $p$ is inert, of the rigid cohomology of the ordinary locus has the same image as the classical forms in the Grothendieck group of Hecke …
Let Hilb^p be the Hilbert scheme parametrizing the closed subschemes of P^n with Hilbert polynomial p\in Q[t] over a field K of characteristic zero. By bounding below the cohomological Hilbert functions of the points of Hilb^p we define locally closed subspaces of the Hilbert scheme. The aim of this paper is to show that some of these subspaces are connected. For this we exploit the edge ideals constructed by D. Mall. It turns out that these ideals are sequentially Cohen-Macaulay and that their initial ideals with respect to the reverse lexicographic term order are generic initial ideals.
We study the ideals of the rational cohomology ring of the Hilbert scheme X^{[n]} of n points on a smooth projective surface X. As an application, for a large class of smooth quasi-projective surfaces X, we show that every cup product structure constant of H^*(X^{[n]}) is independent of n; moreover, we obtain two sets of ring generators for the cohomology ring H^*(X^{[n]}). Similar results are established for the Chen-Ruan orbifold cohomology ring of the symmetric product. In particular, we prove a ring isomorphism between H^*(X^{[n]}, C) and H^*_{orb}(X^{[n]}/S_n, C) for a large class of smoo…
We show that a natural isomorphism between the rational cohomology groups of the two zero-dimensional Hilbert schemes of $n$-points of two surfaces, the affine plane minus the axes and the cotangent bundle of an elliptic curve, exchanges the weight filtration on the first set of cohomology groups with the perverse Leray filtration associated with a natural fibration on the second set of cohomology groups. We discuss some associated hard Lefschetz phenomena.
Let $S$ be the affine plane $\C^2$ together with an appropriate $\mathbb T = \C^*$ action. Let $\hil{m,m+1}$ be the incidence Hilbert scheme. Parallel to \cite{LQ}, we construct an infinite dimensional Lie algebra that acts on the direct sum $$\Wft = \bigoplus_{m=0}^{+\infty}H^{2(m+1)}_{\mathbb T}(S^{[m,m+1]})$$ of the middle-degree equivariant cohomology group of $\hil{m,m+1}$. The algebra is related to the loop algebra of an infinite dimensional Heisenberg algebra. In addition, we study the transformations among three different linear bases of $\Wft$. Our results are applied to the ring stru…
Let $S$ be the affine plane regarded as a toric variety with an action of the 2-dimensional torus $T$. We study the equivariant Chow ring $A_{K}^*(Hilb^n(S))$ of the punctual Hilbert scheme $Hilb^n(S)$ with equivariant coefficients inverted. We compute base change formulas in $A_{K}^*(Hilb^n(S))$ between the natural bases introduced by Nakajima, Ellingsrud and Strømme, and the classical basis associated with the fixed points. We compute the equivariant commutation relations between creation/annihilation operators. We express the class of the small diagonal in $Hilb^n(S)$ in terms of the equiva…
We calculate the cohomology spaces of the Hilbert schemes of points on surfaces with values in locally constant systems. For that purpose, we generalise I. Grojnoswki's and H. Nakajima's description of the ordinary cohomology in terms of a Fock space representation to the twisted case. We further generalise M. Lehn's work on the action of the Virasoro algebra to the twisted case. Building on work by M. Lehn and Ch. Sorger, we then give an explicit description of the cup-product in the twisted case whenever the surface has a numerically trivial canonical divisor. We formulate our results in a w…
Let $X$ a smooth quasi-projective algebraic surface, $L$ a line bundle on $X$. Let $X^{[n]}$ the Hilbert scheme of $n$ points on $X$ and $L^{[n]}$ the tautological bundle on $X^{[n]}$ naturally associated to the line bundle $L$ on $X$. We explicitely compute the image $\bkrh(L^{[n]})$ of the tautological bundle $L^{[n]}$ for the Bridgeland-King-Reid equivalence $\bkrh : \B{D}^b(X^{[n]}) \ra \B{D}^b_{\perm_n}(X^n)$ in terms of a complex $\comp{\mc{C}}_L$ of $\perm_n$-equivariant sheaves in $\B{D}^b_{\perm_n}(X^n)$. We give, moreover, a characterization of the image $\bkrh(L^{[n]} \tens ... \ten…
We study a natural Hodge module on the Hilbert scheme of four points on affine three-space, which categorifies the Donaldson--Thomas invariant of the Hilbert scheme. We determine the weight filtration on the Hodge module explicitly in terms of intersection cohomology complexes, and compute the E-polynomial of its cohomology. The computations make essential use of a description of the singularity of the Hilbert scheme as the degeneracy locus of the Pfaffian function.
We compute the Kazhdan-Lusztig polynomial of the uniform matroid of rank n-1 on n elements by proving that the i-th coefficient of is equal to the number of ways to choose i non-intersecting chords in an (n-i+1)-gon. We also show that the corresponding intersection cohomology group is isomorphic to the irreducible representation of the symmetric group associated to the partition [n-2i,2,...,2].
We give an algorithmic description of the action of the Chern classes of tautological bundles on the cohomology of Hilbert schemes of points on surfaces within the framework of Nakajima's oscillator algebra. This leads to an identification of the cohomology ring of Hilbert schemes of the affine plane with a ring of differential operators on a Fock space. We end with the computation of the top Segre classes of tautological bundles associated to line bundles on Hilb^n up to n=7, and give a conjecture for the generating series.
We generalize Macdonald's formula for the cohomology of Hilbert schemes of points on a curve from smooth curves to curves with planar singularities: we relate the cohomology of the Hilbert schemes to the cohomology of the compactified Jacobian of the curve. The new formula is a consequence of a stronger identity between certain perverse sheaves defined by a family of curves satisfying mild conditions. The proof makes an essential use of Ngo's support theorem for compactified Jacobians and generalizes this theorem to the relative Hilbert scheme of such families. As a consequence, we generalize …
We prove the universal triviality of the third unramified cohomology group of a very general complex cubic fourfold containing a plane. The proof uses results on the unramified cohomology of quadrics due to Kahn, Rost, and Sujatha.
In this paper we give a formula for the classes (in the Grothendieck ring of complex quasi-projective varieties) of irreducible components of $(1,k)$-quasi-homogeneous Hilbert schemes of points on the plane. We find a new simple geometric interpretation of the $q,t$-Catalan numbers. Finally, we investigate a connection between $(1,k)$-quasi-homogeneous Hilbert schemes and homogeneous nested Hilbert schemes.
We revisit Ellingsrud and Strø mme's cellular decomposition of the Hilbert scheme of points in the projective plane. We study the product of cohomology classes defined by the closures of cells, deriving necessary conditions for the non-vanishing of cohomology classes. Though our conditions are formulated in purely combinatorial terms, the machinery for deriving them includes techniques from Biał ynicki-Birula theory: We study closures of Biał ynicki-Birula cells in complete complex varieties equipped with ample line bundles. We prove a necessary condition for two such closures to meet, and app…
Given a projetive surface $S$, using correspondences, we construct an infinite dimensional Lie algebra that acts on the direct sum $\Wfock$ of the cohomology groups of the incidence Hilbert schemes $S^{[n,n+1]}$ over all $n$. The algebra is related to an extension of an infinite dimensional Heisenberg algebra. The space $\Wfock$ is a highest weight representation of this algebra. Our result provides a representation-theoretic interpretation of Cheah's generating function of Betti numbers of the incidence Hilbert schemes. As a consequence, an additive basis of the cohomology group of the incide…
We show that the periods of the holomorphic Eisenstein series of level 1, parallel weight 2, on a Hilbert modular surface are not rational, even up to scaling. This is deduced from a study of the mixed Hodge structure on the cohomology of the Hilbert modular surface, where we find extension classes related to the units of the real quadratic field. We prove similar results for Hilbert modular varieties of all dimensions, and produce extensions of Galois representations in étale cohomology. The key point is to study the restriction of the canonical extension of the Hodge bundle to the boundary o…
We compute the rational cohomology of the moduli space of non-singular non-hyperelliptic complex projective curves of genus 3 with an odd theta characteristic.
Let C be a proper, integral, locally planar curve, and consider its Hilbert schemes of points C^[n]. We define 4 creation/annihilation operators acting on the rational homology groups of these Hilbert schemes and show that the operators satisfy the relations of a Weyl algebra. The action of this algebra is similar to that defined by Grojnowski and Nakajima for a smooth surface. As a corollary, we compute the cohomology of C^[n] in terms of the cohomology of the compactified Jacobian of C together with an auxiliary grading on the latter. This recovers and slightly strenghtens a formula recently…
We give a complete classification of Q_l-cohomology projective planes with isolated ADE-singularities and numerically trivial canonical bundle in odd characteristic. This leads to a beautiful relation with certain Enriques surfaces which parallels the situation in characteristic zero, yet displays intriguing subtleties.
We construct an associative ring which is a deformation of the quantum cohomology ring of the projective plane. Just as the quantum cohomology encodes the incidence characteristic numbers of rational plane curves, the contact cohomology encodes the tangency characteristic numbers.
We compute some cohomology spaces for the symmetric power of the tautological bundle tensor the determinant bundle on the punctual Hilbert scheme of a complex smooth projective surface.
We express the product of the cohomology ring of the Hilbert scheme in terms of the center of the algebra of the symmetric group. We give a conjecture for the case of crepant resolutions of symplectic quotient singularities.
Given a closed complex manifold $X$ of even dimension, we develop a systematic (vertex) algebraic approach to study the rational orbifold cohomology rings $\orbsym$ of the symmetric products. We present constructions and establish results on the rings $\orbsym$ including two sets of ring generators, universality and stability, as well as connections with vertex operators and W algebras. These are independent of but parallel to the main results on the cohomology rings of the Hilbert schemes of points on surfaces as developed in our earlier works joint with W.-P. Li. We introduce a deformation o…
We give a new interpretation of Kozsul cohomology, which is equivalent under the Bridgeland-King-Reid equivalence to Voisin's Hilbert scheme interpretation in dimensions 1 and 2, but is different in higher dimensions. As an application, we prove that the dimension $K_{p,q}(B,L)$ is a polynomial in $d$ for $L=dA+P$ with $A$ ample and $d$ large enough.
We show that when $d \geq 3$, the Hilbert scheme $Hilb_{dT+1-\binom{d-1}{2}}(G(k,n))$ has 2 components, even though elements in both components have the same cohomology class. Moreover, we show that the Hilbert scheme associated to the Hilbert polynomial $\binom{T+n}{n}-\binom{T+n-d}{n}$ in Grassmannian has at most 2 connected components.
