We combine our results on symmetric products and second quantization with our description of discrete torsion in order to explain the ring structure of the cohomology of the Hilbert scheme of points on a K3 surface. This is achieved in terms of an essentially unique symmetric group Frobenius algebra twisted by a specific discrete torsion. This twist is realized in form of a tensor product with a twisted group algebra that is defined by a discrete torsion cocycle. We furthermore show that the form of this cocycle is dictated by the geometry of the Hilbert scheme as a resolution of singularities of the symmetric product.
We find certain relations between flag Hilbert schemes of points on plane curves and moduli spaces of one-dimensional plane sheaves. We show that some of these moduli spaces are unirational.
The aim of this paper is to determine a bound of the dimension of an irreducible component of the Hilbert scheme of the moduli space of torsion-free sheaves on surfaces. Let $X$ be a non-singular irreducible complex surface and let $E$ be a vector bundle of rank $n$ on $X$. We use the $m$-elementary transformation of $E$ at a point $x \in X$ to show that there exists an embedding from the Grassmannian variety $\mathbb{G}(E_x,m)$ into the moduli space of torsion-free sheaves $\mathfrak{M}_{X,H}(n;c_1,c_2+m)$ which induces an injective morphism from $X \times M_{X,H}(n;c_1,c_2)$ to $Hilb_{\, \ma…
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 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.
Recently, a method to compute the implicit equation of a parametrized hypersurface has been developed by the authors. We address here some questions related to this method. First, we prove that the degree estimate for the stabilization of the MacRae's invariant of a graded part of the symmetric algebra is optimal. Then we show that the extraneous factor that may appear in the process splits into a product a linear forms in the algebraic closure of the base field, each linear form being associated to a non complete intersection base point. Finally, we make a link between this method and a resul…
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.
Let E be a torsion-free sheaf on P2. We give an effective method which uses the Hilbert function of E to construct a weak version of the Harder-Narasimhan filtration of a torsion-free sheaf on P2 subject only to the condition that E be sufficiently general among sheaves with that Hilbert function. This algorithm uses on a generalization of Davis' decomposition lemma to higher rank.
We introduce the notion of symmetric obstruction theory and study symmetric obstruction theories which are compatible with C*-actions. We prove that the contribution of an isolated fixed point under a C*-action to equivariant Donaldson-Thomas type invariants is +/- 1. As an application, we compute weighted Euler characteristics of all Hilbert schemes of points on any 3-fold. Moreover, we calculate the zero-dimensional Donaldson-Thomas invariants of any projective Calabi-Yau 3-fold. This proves a conjecture of Maulik-Nekrasov-Okounkov-Pandharipande.
Let $X \hookrightarrow \mathbb{P}^r$ be a smooth projective variety defined by homogeneous polynomials of degree $\leq d$. We give explicit upper bounds on the order of the torsion subgroup $(\mathrm{NS} \, X)_{\mathrm{tor}}$ of the Néron-Severi group of $X$. The bounds are derived from an explicit upper bound on the number of irreducible components of either the Hilbert scheme $\mathbf{Hilb}_Q X$ or the scheme $\mathbf{CDiv}_n X $parametrizing the effective Cartier divisors of degree $n$ on $X$. We also give an upper bound on the number of generators of $(\mathrm{NS} \, X)[\ell^\infty]$ unifo…
Let A[X]_U be a fraction ring of the polynomial ring A[X] in the variable X over a commutative ring A. We show that the Hilbert functor {Hilb}^n_{A[X]_U} is represented by an affine scheme $\text{Symm}^n_A(A[X]_U)$ give as the ring of symmetric tensors of $\otimes_A^nA[X]_U$. The universal family is given as $\text{Symm}^{n-1}_A(A[X]_U)\times_A \text{Spec}(A[X]_U)$.
We seek to characterize homology classes of Lagrangian projective spaces embedded in irreducible holomorphic-symplectic manifolds, up to the action of the monodromy group. This paper addresses the case of manifolds deformation-equivalent to the Hilbert scheme of length-three subschemes of a K3 surface. The class of the projective space in the cohomology ring has prescribed intersection properties, which translate into Diophantine equations. Possible homology classes correspond to integral points on an explicit elliptic curve; our proof entails showing that the only such point is two-torsion.
We study birational maps among 1) the moduli space of semistable torsion sheaves of Hilbert polynomial $4m+2$ on a smooth quadric surface, 2) the moduli space of semistable torsion sheaves of Hilbert polynomial $m^{2}+3m+2$ on $\mathbb{P}^{3}$, 3) Kontsevich's moduli space of genus zero stable maps of degree 2 to Grassmannian $Gr(2, 4)$. A regular birational morphism from 1) to 2) is described in terms of Fourier-Mukai transform. The map from 3) to 2) is Kirwan's partial desingularization. Also we investigate several geometric properties of 1) by using the variation of moduli spaces of stable …
Hilbert proved in 1888 that a positive semidefinite (psd) real form is a sum of squares (sos) of real forms if and only if $n=2$ or $d=1$ or $(n,2d)=(3,4)$, where $n$ is the number of variables and $2d$ the degree of the form. We study the analogue for even symmetric forms. We establish that an even symmetric $n$-ary $2d$-ic psd form is sos if and only if $n=2$ or $d=1$ or $(n,2d)=(n,4)_{n \geq 3}$ or $(n,2d)= (3,8)$.
The main result of this paper is the existence of Galois representations associated with the mod $p$ (or mod $p^m$) cohomology of the locally symmetric spaces for $\GL_n$ over a totally real or CM field, proving conjectures of Ash and others. Following an old suggestion of Clozel, recently realized by Harris-Lan-Taylor-Thorne for characteristic 0 cohomology classes, one realizes the cohomology of the locally symmetric spaces for $\GL_n$ as a boundary contribution of the cohomology of symplectic or unitary Shimura varieties, so that the key problem is to understand torsion in the cohomology of …
In this article, we study the rational cohomology rings of Voisin's punctual Hilbert schemes $X^{[n]}$ associated to a symplectic compact fourfold $X$. We prove that these rings can be universally constructed from $H^*(X,\mathbb{Q})$ and $c_1(X)$, and that Ruan's crepant resolution conjecture holds if $c_1(X)$ is a torsion class. Next, we prove that for any almost-complex compact fourfold $X$, the complex cobordism class of $X^{[n]}$ depends only on the cobordism class of $X$.
We consider the Hilbert scheme Hilb^{d+1}(C^d) of (d+1) points in affine d-space C^d (d > 2), which includes the square of any maximal ideal. We describe equations for the most symmetric affine open subscheme of Hilb^{d+1}(C^d), in terms of Schur modules. In addition we prove that Hilb^{d+1}(C^d) is reducible for n>d>11.
