We study the Hilbert scheme of Palatini threefolds X in P^5. We prove that such a scheme has an irreducible component containing X which is birational to the Grassmannian G(3,14) and we determine the exceptional locus of the birational map.
We shall give an explicit pair of birational projective Calabi--Yau threefolds which are rigid, non-homeomorphic, but are connected by projective flat deformation over some connected base scheme.
The Hilbert scheme of projective 3-folds of codimension 3 or more that are linear scrolls over the projective plane or over a smooth quadric surface or that are quadric or cubic fibrations over the projective line is studied. All known such threefolds of degree from 7 to 11 are shown to correspond to smooth points of an irreducible component of their Hilbert scheme, whose dimension is computed. A relationship with the locus of good determinantal subschemes is investigated
For fixed degree $d\leq 12$, we study the Hilbert scheme of degree $d$ smooth Fano threefolds in their anticanonical embeddings. We use this to classify all possible degenerations of these varieties to toric Fano varieties with at most canonical Gorenstein singularities.
We discuss various results on Hilbert schemes of lines and conics and automorphism groups of smooth Fano threefolds with Picard rank 1. Besides a general review of facts well known to experts, the paper contains some new results, for instance, we give a description of the Hilbert scheme of conics on any smooth Fano threefold of index 1 and genus 10. We also show that the action of the automorphism group of a Fano threefold $X$ of index 2 (respectively, 1) on an irreducible component of its Hilbert scheme of lines (respectively, conics) is faithful if the anticanonical class of $X$ is very ampl…
We prove that, for m greater than 3 and k greater than m-2, the Grassmannian of m-dimensional subspaces of the space of skew-symmetric forms over a vector space of dimension 2k is birational to the Hilbert scheme of Palatini scrolls in P^(2k-1). For m=3 and k greater than 3, this Grassmannian is proved to be birational to the set of pairs (E,Y), where Y is a smooth plane curve of degree k and E is a stable rank-2 bundle on Y whose determinant is O(k-1).
It is known that the smooth rational threefolds of P^5 having a rational non-special surface of P^4 as general hyperplane section have degree d=3,... ,7. We study such threefolds X from the point of view of linear systems of surfaces in P^3, looking in each case fosr an explicit description of a birational map from P^3 to X. For d=3,..., 6 we prove that there exists a line L on X such that the projection map of X centered at L is birational; we completely describe the base loci B of the linear systems found in this way and give a description of any such threefold X as a suitable blowing-down o…
Hilbert schemes of suitable smooth, projective manifolds of low degree which are 3-fold scrolls over the Hirzebruch surface F_1 are studied. An irreducible component of the Hilbert scheme parametrizing such varieties is shown to be generically smooth of the expected dimension and the general point of such a component is described.
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.
Hilbert schemes of suitable smooth, projective 3-fold scrolls over the Hirzebruch surface F_e, with e > 1, are studied. An irreducible component of the Hilbert scheme parametrizing such varieties is shown to be generically smooth of the expected dimension and the general point of such a component is described. This article generalizes the study of Hilbert schemes done in arXiv:1110.5464 for e=1.
Let $X^o=\mathbb P^3\setminus D$ where $D$ is the union of two quadrics such that their intersection contains a smooth conic, or the union of a smooth quadric surface and two planes, or the union of a smooth cubic surface $V$ and a plane $Π$ such that the intersection $V\capΠ$ contains a line. In all these cases we show that the set of integral points of $X^o$ is potentially dense. We apply the above results to prove that integral points are potentially dense in some log-Fano or in some log-Calabi-Yau threefold.
We exhibit three double octic Calabi--Yau threefolds over the certain quadratic fields and prove their modularity. The non-rigid threefold has two conjugate Hilbert modular forms of weight [4,2] and [2,4] attached while the two rigid threefolds correspond to a Hilbert modular form of weight [4,4] and to the twist of the restriction of a classical modular form of weight 4.
Let $X_0$ be a generic quintic threefold in projective space $\mathbf P^4$ over the complex numbers. For a fixed natural number $d$, let $R_d(X_0)$ be the open sub-scheme of the Hilbert scheme, parameterizing irreducible rational curves of degree $d$ on $X_0$. In this paper, we show that (1) $R_d(X_0)$ is smooth and of expected dimension, \par (2) Combining the Calabi-Yau condition on $X_0$, we further show that it consists of immersed rational curves. (3) Parts (1) and (2) imply a statement of Clemens' conjecture: if $C_0\in R_d(X_0)$ and $c_0:\mathbf P^1\to C_0$ is the normalization, the \pa…
Let K be the totally real cubic field of discriminant 49, let O be its ring of integers, and let p be the prime over 7. Let Gamma (p)\subset Gamma = SL_2(O) be the principal congruence subgroup of level p. This paper investigates the geometry of the Hilbert modular threefold attached to Gamma (p) and some related varieties. In particular, we discover an octic in P^3 with 84 isolated singular points of type A_2.
We describe the Hilbert schemes parametrizing curves on a cubic threefold of degree at most 5. In a forthcoming paper, we use this description to give a new proof and extension of a theorem of Iliev, Markushevich and Tikhimirov.
We study certain DT invariants arising from stable coherent sheaves in a nonsingular projective threefold supported on the members of a linear system of a fixed line bundle. When the canonical bundle of the threefold satisfies certain positivity conditions, we relate the DT invariants to Carlsson-Okounkov formulas for the "twisted Euler's number" of the punctual Hilbert schemes of nonsingular surfaces, and conclude they have a modular property.
We give a description of the relative Hilbert scheme of lines in the Dwork pencil of quintic threefolds. We describe the corresponding relative Hilbert scheme associated to the mirror family of quintic threefolds.
A W-algebra action is constructed on the equivariant Borel-Moore homology of the Hilbert scheme of points on a nonreduced plane in three dimensional affine space, identifying it to the vacuum W-module. This is based on a generalization of the ADHM construction as well as the W-action on the equivariant Borel-Moore homology of the moduli space of instantons constructed by Schiffmann and Vasserot.
We obtain a formula for the generating series of (the push-forward under the Hilbert-Chow morphism of) the Hirzebruch homology characteristic classes of the Hilbert schemes of points for a smooth quasi-projective variety of arbitrary pure dimension. This result is based on a geometric construction of a motivic exponentiation generalizing the notion of motivic power structure, as well as on a formula for the generating series of the Hirzebruch homology characteristic classes of symmetric products. We apply the same methods for the calculation of generating series formulae for the Hirzebruch cla…
This paper studies the Hilbert scheme of a curve on a complete-intersection K-trivial threefold, in the case in which the curve is unobstructed in the ambient variety in which the threefold lives. The basic result is that the obstruction theory of the curve is completely determined by the scheme-theoretic Abel-Jacobi mapping. Several applications of this fact are given.
On a threefold with trivial canonical bundle, Kuranishi theory gives an algebro-geometry construction of the (local analytic) Hilbert scheme of curves at a smooth holomorphic curve as a gradient scheme, that is, the zero-scheme of the exterior derivative of a holomorphic function on a (finite-dimensional) polydisk. (The corresponding fact in an infinite dimensional setting was long ago discovered by physicists.) An analogous algebro-geometric construction for the holomorphic Chern-Simons functional is presented giving the local analytic moduli scheme of a vector bundle. An analogous gradient s…
We prove that the Hilbert scheme of 11 points on a smooth threefold is irreducible. In the course of the proof, we present several known and new techniques for producing curves on the Hilbert scheme.
Hilbert functions and Jordan type of Perazzo Artinian algebras
Borås University(博罗斯大学);Queen’s University(女王大学);KTH Royal Institute of Technology(皇家理工学院);Università degli Studi di Udine(乌迪内大学);Università di Genova(热那亚大学);Northeastern University(东北大学);Universidade de Évora(埃武拉大学);Università di Trieste(的里雅斯特大学)
Consider a component of the Hilbert scheme whose general point corresponds to a degree d genus g smooth irreducible and nondegenerate curve in a projective variety X. We give lower bounds for the dimension of such a component when X is P^3, P^4 or a smooth quadric threefold in P^4 respectively. Those bounds make sense from the asymptotic viewpoint if we fix d and let g vary. Some examples are constructed using determinantal varieties to show the sharpness of the bounds for d and g in a certain range. The results can also be applied to study rigid curves.
Integrals of characteristic classes of tautological sheaves on the Hilbert scheme of points on a surface frequently arise in enumerative problems. We use the K-theoretic Donaldson-Thomas theory of certain toric Calabi-Yau threefolds to study K-theoretic variants of such expressions. We study limits of the K-theoretic Donaldson-Thomas partition function of a toric Calabi-Yau threefold under certain one-parameter subgroups called slopes, and formulate a condition under which two such limits coincide. We then explicitly compute the limits of components of the partition function under so-called pr…
We construct virtual fundamental classes on nested Hilbert schemes of points and curves in complex nonsingular projective surfaces. These classes recover the virtual classes of Seiberg-Witten theory as well as the (reduced) stable theory, and play a crucial role in the reduced Donaldson-Thomas theory of local-surface-threefolds that we study in [GSY17b] (arXiv:1807.05697). We show that certain integrals against the virtual fundamental classes of punctual nested Hilbert schemes are expressed as integrals over the products of the Hilbert scheme of points. We are able to find explicit formulas fo…
We prove the following form of the Clemens conjecture in low degree. Let $d\le9$, and let $F$ be a general quintic threefold in $\IP^4$. Then (1)~the Hilbert scheme of rational, smooth and irreducible curves of degree $d$ on $F$ is finite, nonempty, and reduced; moreover, each curve is embedded in $F$ with normal bundle $Ø(-1)\oplusØ(-1)$, and in $\IP^4$ with maximal rank. (2)~On $F$, there are no rational, singular, reduced and irreducible curves of degree $d$, except for the 17,601,000 six-nodal plane quintics (found by Vainsencher). (3)~On $F$, there are no connected, reduced and reducible …
Consider a family of integral complex locally planar curves whose relative Hilbert scheme of points is smooth. The decomposition theorem of Beilinson, Bernstein, and Deligne asserts that the pushforward of the constant sheaf on the relative Hilbert scheme splits as a direct sum of shifted semisimple perverse sheaves. We will show that no summand is supported in positive codimension. It follows that the perverse filtration on the cohomology of the compactified Jacobian of an integral plane curve encodes the cohomology of all Hilbert schemes of points on the curve. Globally, it follows that a fa…
Let $X$ be any smooth prime Fano threefold of degree $2g-2$ in $\mathbb{P}^{g+1}$, with $g \in \{3,\ldots,10,12\}$. We prove that for any integer $d$ satisfying $\left\lfloor \frac{g+3}{2} \right\rfloor \leq d \leq g+3$ the Hilbert scheme parametrizing smooth irreducible elliptic curves of degree $d$ in $X$ is nonempty and has a component of dimension $d$, which is furthermore reduced except for the case when $(g,d)=(4,3)$ and $X$ is contained in a singular quadric. Consequently, we deduce that the moduli space of rank--two slope--stable $ACM$ bundles $\mathcal{F}_d$ on $X$ such that $\det(\ma…
We study first order deformations of the tangent sheaf of resolutions of Calabi-Yau threefolds that are of the form $\mathbb{C}^3/Z_r$, focusing on the cases where the orbifold has an isolated singularity. We prove a lower bound on the number of deformations for any crepant resolution of this orbifold. We show that this lower bound is achieved when the resolution used is the G-Hilbert scheme, and note that this lower bound can be found using methods from string theory. These methods lead us to a new way to construct the G-Hilbert scheme using the singlet count.
This article provides a summary of arXiv:1701.08899 and arXiv:1701.08902 where the authors studied the enumerative geometry of nested Hilbert schemes of points and curves on algebraic surfaces and their connections to threefold theories, and in particular relevant Donaldson-Thomas, Vafa-Witten and Seiberg-Witten theories.
We prove that the Consani-Scholten quintic, a Calabi-Yau threefold over QQ, is Hilbert modular. For this, we refine several techniques known from the context of modular forms. Most notably, we extend the Faltings-Serre-Livne method to induced four-dimensional Galois representations over QQ. We also need a Sturm bound for Hilbert modular forms; this is developed in an appendix by Jose Burgos Gil and the second author.
Given a smooth complex threefold X, we define the virtual motive of the Hilbert scheme of n points on X. In the case when X is Calabi-Yau, this gives a motivic refinement of the n-point degree zero Donaldson-Thomas invariant of X. The key example is affine three-space, where the Hilbert scheme can be expressed as the critical locus of a regular function on a smooth variety, and its virtual motive is defined in terms of the Denef-Loeser motivic nearby fiber. A crucial technical result asserts that if a function is equivariant with respect to a suitable torus action, its motivic nearby fiber is …