We take a new look at the curvilinear Hilbert scheme of points on a smooth projective variety $X$ as a projective completion of the non-reductive quotient of holomorphic map germs from the complex line into $X$ by polynomial reparametrisations. Using an algebraic model of this quotient coming from global singularity theory we develop an iterated residue formula for tautological integrals over curvilinear Hilbert schemes.
In this PhD thesis we propose an algorithmic approach to the study of the Hilbert scheme. Developing algorithmic methods, we also obtain general results about Hilbert schemes. In Chapter 1 we discuss the equations defining the Hilbert scheme as subscheme of a suitable Grassmannian and in Chapter 5 we determine a new set of equations of degree lower than the degree of equations known so far. In Chapter 2 we study the most important objects used to project algorithmic techniques, namely Borel-fixed ideals. We determine an algorithm computing all the saturated Borel-fixed ideals with Hilbert polynomial assigned and we investigate their combinatorial properties. In Chapter 3 we show a new type of flat deformations of Borel-fixed ideals which lead us to give a new proof of the connectedness of the Hilbert scheme. In Chapter 4 we construct families of ideals that generalize the notion of family of ideals sharing the same initial ideal with respect to a fixed term ordering. Some of these families correspond to open subsets of the Hilbert scheme and can be used to a local study of the Hilbert scheme. In Chapter 6 we deal with the problem of the connectedness of the Hilbert scheme of locally Cohen-Macaulay curves in the projective 3-space. We show that one of the Hilbert scheme considered a good candidate to be non-connected, is instead connected. Moreover there are three appendices that present and explain how to use the implementations of the algorithms proposed.
Let C be a complex curve of genus g, let J(C) be its Jacobian and let R(C) be its tautological ring, that is, the group of algebraic cycles modulo algebraic equivalence. We study the algebraic structure of R(C). In particular, we give a detailed description of all the possibilities that may occur for g<9: we construct convenient basis and we determine the matrices representing the Fourier transform and both intersection and Pontryagin products explicitly. In particular, we estimate the dimension of R(C).
Let $X$ be a projective K3 surfaces. In two examples where there exists a fine moduli space $M$ of stable vector bundles on $X$, isomorphic to a Hilbert scheme of points, we prove that the universal family $mathcal{E}$ on $Xtimes M$ can be understood as a complete flat family of stable vector bundles on $M$ parametrized by $X$, which identifies $X$ with a smooth connected component of some moduli space of stable sheaves on $M$.
Let $K$ be a discretely-valued field. Let $Xrightarrow Spec K$ be a surface with trivial canonical bundle. In this paper we construct a weak Neron model of the schemes $Hilb^n(X)$ over the ring of integers $Rsubseteq K$. We exploit this construction in order to compute the Motivic Zeta Function of $Hilb^n(X)$ in terms of $Z_X$. We determine the poles of $Z_{Hilb^n(X)}$ and study its monodromy property, showing that if the monodromy conjecture holds for $X$ then it holds for $Hilb^n(X)$ too. Sit $K$ corpus cum absoluto ualore discreto. Sit $ Xrightarrow Spec K$ leuigata superficies cum canonico fasce congruenti $mathcal{O}_X$. In hoc scripto defecta Neroniensia paradigmata $Hilb^n(X)$ schematum super annulo integrorum in $K$ corpo, $R subset K$, constituimus. Ex hoc, Functionem Zetam Motiuicam $Z_{Hilb^n(X)}$, dato $Z_X$, computamus. Suos polos statuimus et suam monodromicam proprietatem studemus, coniectura monodromica, quae super $X$ ualet, ualere super $Hilb^n(X)$ quoque demostrando.
In [DKO] we constructed virtual fundamental classes $[[ Hilb^m_V ]]$ for Hilbert schemes of divisors of topological type m on a surface V, and used these classes to define the Poincare invariant of V: (P^+_V,P^-_V): H^2(V,Z) --> Lambda^* H^1(V,Z) x Lambda^* H^1(V,Z) We conjecture that this invariant coincides with the full Seiberg-Witten invariant computed with respect to the canonical orientation data. In this note we prove that the existence of an integral curve $C subset V$ induces relations between some of these virtual fundamental classes $[[Hilb^m_V ]]$. The corresponding relations for the Poincare invariant can be considered as algebraic analoga of the fundamental relations obtained in [OS].