We study infinite intersections of open subschemes and the corresponding intersection of Hilbert schemes. If $\{U_i\}$ is the collection of open subschemes of a variety $X$ containing a fixed point $P$, then we show that the Hilbert functor of flat and finite families on the spectrum of the local ring of $P$ is given by the intersection of ${\Cal H}_i$, where ${\Cal H}_i$ is the Hilbert functor of flat and finite families on $U_i$. In particular we show that the Hilbert functor of flat and finite families on the spectrum of the local ring of $P$ is representable by a scheme.
We introduce symmetrizing operators of the polynomial ring $A[x]$ in the varible $x$ over a ring $A$. When $A$ is an algebra over a field $k$ these operators are used to characterize the monic polynomials $F(x)$ of degree $n$ in $A[x]$ such that $A\otimes_k k[x]_{(x)}/(F(x))$ is a free $A$-module of rank $n$. We use the characterization to determine the Hilbert scheme parameterizing subschemes of length $n$ of $k[x]_{(x)}$.
The purpose of this paper is to study the Zariski tangent space of the punctual Hilbert scheme parametrizing subschemes of a smooth surface which are supported at a single point. We give a lower bound on the dimension of the tangent space in general and show the bound is sharp for subschemes of the affine plane cut out by monomials. Furthermore for monomial subschemes we give an explicit combinatorial formula for the dimension of the tangent space.
We study Fano schemes $F_k(X)$ for complete intersections $X$ in a projective toric variety $Y\subset \mathbb{P}^n$. Our strategy is to decompose $F_k(X)$ into closed subschemes based on the irreducible decomposition of $F_k(Y)$ as studied by Ilten and Zotine. We define the expected dimension for these subschemes, which always gives a lower bound on the actual dimension. Under additional assumptions, we show that these subschemes are non-empty and smooth of the expected dimension. Using tools from intersection theory, we can apply these results to count the number of linear subspaces in $X$ wh…
We derive a formula for the Milnor class of scheme-theoretic global complete intersections (with arbitrary singularities) in a smooth variety in terms of the Segre class of its singular scheme. In codimension one the formula recovers a formula of Aluffi for the Milnor class of a hypersurface.
Let $k$ be an algebraically closed field. Fix integers $n$ and $b$ with $n\geq 3$ and $1\leq b\leq n-1.$ Let $T^d_k$ be the moduli space of hypersurfaces $[F]$ in $\mathbb{P}^n_k$ of degree $l$ whose singular locus contains a subscheme of dimension $b$ with Hilbert polynomial among the Hilbert polynomials of $b$-dimensional integral closed subschemes of $\mathbb{P}^n$ of degree $d$. We prove that when $l$ is sufficiently large and $2\leq d\leq \frac{l+1}{2},$ any irreducible component $Z$ of $T^d_k$ satisfies $Z=T^1_k$ or $\dim Z<\dim T^1_k.$
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.
Two approaches for determining Hilbert functions of fat point subschemes of $\mathbb P^2$ are demonstrated. A complete determination of the Hilbert functions which occur for 9 double points is given using the first approach, extending results obtained in a previous paper using the second approach. In addition the second approach is used to obtain a complete determination of the Hilbert functions for $n\geq 9$ $m$-multiple points for every $m$ if the points are smooth points of an irreducible plane cubic curve. Additional results are obtained using the first approach for $n\geq 9$ double points…
In this paper we consider the Hilbert scheme $Hilb_{p(t)}^n$ parameterizing subschemes of $P^n$ with Hilbert polynomial $p(t)$, and we investigate its locus containing points corresponding to schemes with regularity lower than or equal to a fixed integer $r'$. This locus is an open subscheme of $Hilb_{p(t)}^n$ and, for every $s\geq r'$, we describe it as a locally closed subscheme of the Grasmannian $Gr_{p(s)}^{N(s)}$ given by a set of equations of degree $\leq \mathrm{deg}(p(t))+2$ and linear inequalities in the coordinates of the Plücker embedding.
Let S be a smooth projective surface, and consider the following two subvarieties of the Hilbert scheme parameterizing closed subschemes of S of length n: A = {subschemes with support in a fixed point of S} B = {subschemes with support in one (variable) point of S} A and B have complementary dimensions in the Hilbert scheme. We prove that the intersection number [A].[B] = n(-1)^(n-1), answering a question by H. Nakajima.
Let $V$ be a possibly singular scheme-theoretic complete intersection subscheme of $\mathbb{P}^n$ over an algebraically closed field of characteristic zero. Using a recent result of Fullwood ("On Milnor classes via invariants of singular subschemes", Journal of Singularities) we develop an algorithm to compute the Chern-Schwartz-MacPherson class and Euler characteristic of $V$. This algorithm complements existing algorithms by providing performance improvements in the computation of the Chern-Schwartz-MacPherson class and Euler characteristic for certain types of complete intersection subschem…
Let k be an algebraically closed field of characteristic 0. The question of irreducibility of the punctual Hilbert scheme Hilb_d P^n and its Gorenstein locus for various d was studied in [CEVV8, CN9, CN10, CN11]. In this short paper we prove that the subschemes corresponding to the Gorenstein algebras having Hilbert function (1,5,5,1) are smoothable i.e. lie in the closure of the locus of smooth subschemes. Among the Gorenstein algebras of length 12 the smoothability of algebras having such Hilbert function seems to be the most inapproachable using non-direct tools e.g. structural theorems.
In previous papers the authors gave formulae for generating series of classes (in the Grothendieck ring of complex quasi-projective varieties) of Hilbert schemes of zero-dimensional subschemes on smooth varieties and on orbifolds in terms of certain local data and the, so called, power structure over the corresponding ring. Here we give an analogue of these formulae for equivariant (with respect to an action of a finite group on a smooth variety) Hilbert schemes of zero-dimensional subschemes and compute some local generating series for an action of the cyclic group on a smooth surface.
The Hilbert scheme of $n$ points in the affine plane contains the open subscheme parametrizing $n$ distinct points in the affine plane, and the closed subscheme parametrizing ideals of codimension $n$ supported at the origin of the affine plane. Both schemes admit Białynicki-Birula decompositions into moduli spaces of ideals with prescribed lexicographic Gröbner deformations. We show that both decompositions are stratifications in the sense that the closure of each stratum is a union of certain other strata. We show that the corresponding two partial orderings on the set of of monomial ideals …
Let $S$ be an irreducible smooth projective surface defined over an algebraically closed field $k$. For a positive integer $d$, let ${\rm Hilb}^d(S)$ be the Hilbert scheme parametrizing the zero-dimensional subschemes of $S$ of length $d$. For a vector bundle $E$ on $S$, let ${\mathcal H}(E)\, \longrightarrow\, {\rm Hilb}^d(S)$ be its Fourier--Mukai transform constructed using the structure sheaf of the universal subscheme of $S\times {\rm Hilb}^d(S)$ as the kernel. We prove that two vector bundles $E$ and $F$ on $S$ are isomorphic if the vector bundles ${\mathcal H}(E)$ and ${\mathcal H}(F)$ …
Let H_{ab} be the equivariant Hilbert scheme parametrizing the 0-dimensional subschemes of the affine plane invariant under the natural action of the one-dimensional torus T_{ab}:={(t^{-b},t^a), t\in k^*}. We compute the irreducible components of H_{ab}: they are in one-one correspondence with a set of Hilbert functions. As a by-product of the proof, we give new proofs of results by Ellingsrud and Stromme, namely the main lemma of the computation of the Betti numbers of the Hilbert scheme H^l parametrizing the 0-dimensional subschemes of the affine plane of length l and a description of Bialyn…
We provide a necessary and sufficient condition for the derived self-intersection of a smooth subscheme inside a smooth scheme to be a fibration over the subscheme. As a consequence we deduce a generalized HKR isomorphism. We also investigate the relationship of our result to path spaces in homotopy theory, Buchweitz-Flenner formality in algebraic geometry, and draw parallels with similar results in Lie theory and symplectic geometry.
We construct the derived version of the Hilbert scheme parametrizing subschemes in a given projective scheme X with given Hilbert polynomial h. This is a dg-manifold (smooth dg-scheme) RHilb_h(X) which carries a natural family of commutative (up to homotopy) dg-algebras, which over the usual Hilbert scheme is just given by truncations of the homogeneous coordinate rings of subschemes in X. In particular, RHilb_h(X) differs from RQuot_h(O_X), the derived Quot scheme constructed in our previous paper (math.AG/9905174) which carries only a family of A-infinity modules over the coordinate algebra …
In this paper, we obtain some new results on closed subschemes. Specially, we define natural addition and multiplication on the closed subschemes of a scheme. It is shown that "the multiplication" precisely coincides with the well known notion of "the scheme-theoretic intersection". Dually, "the addition" coincides with "the scheme-theoretic union". It is also proved that these structures naturally provide contravariant functors from the category of schemes to the category of commutative monoids.
In this paper we study flat deformations of real subschemes of $\mathbb{P}^n$, hyperbolic with respect to a fixed linear subspace, i.e. admitting a finite surjective and real fibered linear projection. We show that the subset of the corresponding Hilbert scheme consisting of such subschemes is closed and connected in the classical topology. Every smooth variety in this set lies in the interior of this set. Furthermore, we provide sufficient conditions for a hyperbolic subscheme to admit a flat deformation to a smooth hyperbolic subscheme. This leads to new examples of smooth hyperbolic varieti…
Closed subschemes in projective space with a fixed Hilbert polynomial are parametrized by a Hilbert scheme. We classify the smooth ones. We identify numerical conditions on a polynomial that completely determine when the Hilbert scheme is smooth. We also reinterpret these smooth Hilbert schemes as generalized partial flag varieties and describe the subschemes being parametrized.
If $V$ is an equidimensional codimension $c$ subscheme of an $n$-dimensional projective space, and $V$ is linked to $V'$ by a complete intersection $X$, then we say that $V$ is {\em minimally linked} to $V'$ if $X$ is a codimension $c$ complete intersection of smallest degree containing $V$. Gaeta showed that if $V$ is any arithmetically Cohen-Macaulay (ACM) subscheme of codimension two then there is a finite sequence of minimal links beginning with $V$ and arriving at a complete intersection. We extend this work in the following ways: 1) In the codimension 2 non-ACM case, we show that for any…
The criterion for an affine primary algebra over the field to be integral, is proven. Using this criterion we give a simple proof that Hilbert scheme of 0-dimensional subschemes of length $l$ of nonsingular $d$-dimensional algebraic variety is reduced for all $d$ and $l$.
Let X and X' be closed subschemes of an algebraic torus T over a non-archimedean field. We prove the rational equivalence as tropical cycles, in the sense of Henning Meyer's graduate thesis, between the tropicalization of the intersection product of X and X' and the stable intersection of trop(X) and trop(X'), when restricted to (the inverse image under the tropicalization map of) a connected component C of the intersection of trop(X) and trop(X'). This requires possibly passing to a (partial) compactification of T with respect to a suitable fan. We define the compactified stable intersection …
A recent paper by the first and third authors together with Sabourin raised the question of what the possible Hilbert functions are for fat point subschemes of the form $2p_1+...+2p_r$, for all possible choices of $r$ distinct points in the projective plane. We study this problem for $r$ points in the plane over an algebraically closed field $k$ of arbitrary characteristic in case either $r \le 8$ or the points lie on a (possibly reducible) conic. In either case, it follows from work of the second author that there are only finitely many configuration types of points, where our notion of confi…
Let I be the ideal corresponding to a set of general points $p_1,...,p_n \in P^2$. There recently has been progress in showing that a naive lower bound for the Hilbert functions of symbolic powers $I^{(m)}$ is in fact attained when n>9. Here, for m sufficiently large, the minimal free graded resolution of $I^{(m)}$ is determined when n>9 is an even square, assuming only that this lower bound on the Hilbert function is attained. Under ostensibly stronger conditions (that are nonetheless expected always to hold), a similar result is shown to hold for odd squares, and for infinitely many m for ea…
In order to determine the Hilbert function of the ideal of a fat point subscheme of projective space, we show that it is enough to determine, both for the subscheme itself and the subschemes obtained from it by successively adjoining to it additional general points, the least degrees in which the ideals of the subschemes are nonzero. This point of view gives rise to the following conjecture: if C is any reduced irreducible curve on a surface X obtained by blowing up P^2 at any finite number of generic points, then C^2 > g-2, where g is the arithmetic genus of C. This conjecture is shown to be …
Let S be a K3 surface and S^[n] the Hilbert scheme of length n subschemes of S. Over the cartesian square of S^[n] there exists a natural reflexive rank 2n-2 coherent sheaf E, which is locally free away from the diagonal. The fiber of E, over a pair of ideal sheaves of distinct subschemes, is the vector space of extensions of the first ideal sheaf by the second. We prove that E is slope stable if the rank of the Picard group of S is less than or equal to 19. The Chern classes of End(E) are known to be monodromy invariant. Consequently, the sheaf End(E) is polystable-hyperholomorphic.
We investigate the geography of Hilbert schemes parametrizing closed subschemes of projective space with specified Hilbert polynomials. We classify Hilbert schemes with unique Borel-fixed points via combinatorial expressions for their Hilbert polynomials. These expressions naturally lead to an arrangement of nonempty Hilbert schemes as the vertices of an infinite full binary tree. Here we discover regularities in the geometry of Hilbert schemes. Specifically, under natural probability distributions on the tree, we prove that Hilbert schemes are irreducible and nonsingular with probability grea…
The Hilbert scheme $\mathbf{Hilb}_{p(t)}^{n}$ parametrizes closed subschemes and families of closed subschemes in the projective space $\mathbb{P}^n$ with a fixed Hilbert polynomial $p(t)$. It is classically realized as a closed subscheme of a Grassmannian or a product of Grassmannians. In this paper we consider schemes over a field $k$ of characteristic zero and we present a new proof of the existence of the Hilbert scheme as a subscheme of the Grassmannian $\mathbf{Gr}_{p(r)}^{N(r)}$, where $N(r)= h^0 (\mathcal{O}_{\mathbb{P}^n}(r))$. Moreover, we exhibit explicit equations defining it in th…
We study completely the Hilbert scheme and punctual Hilbert scheme of a nodal curve, and the relative Hilbert scheme of a family of curves acquiring a node. The results are then extended, less completely, to flag Hilbert schemes, parametrizing chains of subschemes. We find, notably, that if the total space $X$ of a family $X/B$ is smooth (over an algebraically closed field $\k$), then the relative Hilbert scheme $Hilb_m(X/B)$ is smooth over $\k$ and the flag Hilbert schemes are normal and locally complete intersection, but generally singular.
Let $X$ be the projective plane, a Hirzebruch surface, or a general $K3$ surface. In this paper, we study the birational geometry of various nested Hilbert schemes of points parameterizing pairs of zero-dimensional subschemes on $X$. We calculate the nef cone for two types of nested Hilbert schemes: $X^{[n+1,n]}$ and universal families. As an application, we recover a theorem of Butler on syzygies on Hirzebruch surfaces.
We study the decompositions of Hilbert schemes induced by the Schubert cell decomposition of the Grassmannian variety and show that Hilbert schemes admit a stratification into locally closed subschemes along which the generic initial ideals remain the same. We give two applications: First, we give a completely geometric proofs of the existence of the generic initial ideals and of their Borel fixed properties. Secondly, we prove that when a Hilbert scheme of nonconstant Hilbert polynomial is embedded by the Grothendieck-Plücker embedding of a high enough degree, it must be degenerate.
A closed subscheme of codimension two $T \subset P^2$ is a quasi complete intersection (q.c.i.) of type $(a,b,c)$ if there exists a surjective morphism $\mathcal{O} (-a) \oplus \mathcal{O} (-b) \oplus \mathcal{O} (-c) \to \mathcal{I} _T$. We give bounds on deg$(T)$ in function of $a,b,c$ and $r$, the least degree of a syzygy between the three polynomials defining the q.c.i. As a by-product we recover a theorem of du Plessis-Wall on the global Tjurina number of plane curves and some other related results.
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
There is an explicit formula expressing the Chern-Schwartz-MacPherson class of a hypersurface in a nonsingular variety (in characteristic $0$) in terms of the Segre class of its jacobian subscheme; this has been known for a number of years. We generalize this formula to arbitrary embeddable schemes: for every subscheme $X$ of a nonsingular variety $V$, we define an associated subscheme $Y$ of a projective bundle over $V$ and provide an explicit formula for the Chern-Schwartz-MacPherson class of $X$ in terms of the Segre class of $Y$. If $X$ is a local complete intersection, a version of the re…
Let $X$ be a projective variety, homogeneous under a linear algebraic group. We show that the diagonal of $X$ belongs to a unique irreducible component $H_X$ of the Hilbert scheme of $X\times X$. Moreover, $H_X$ is isomorphic to the ``wonderful completion'' of the connected automorphism group of $X$; in particular, $H_X$ is non-singular. We describe explicitly the degenerations of the diagonal in $X\times X$, that is, the points of $H_X$; these subschemes of $X\times X$ are reduced and Cohen-Macaulay.
In this paper we study the Hilbert scheme, Hilb(P), of equidimensional locally Cohen-Macaulay codimension 2 subschemes, with a special look to surfaces in P^4 and 3-folds in P^5, and the Hilbert scheme stratification H_{c} of constant cohomology. For every (X) in Hilb(P) we define a number δ_X in terms of the graded Betti numbers of the homogeneous ideal of X and we prove that 1 + δ_X - \dim_{(X)} H_{c} and 1 + δ_X - \dim T_{c} are CI-biliaison invariants where T_{c} is the tangent space of H_{c} at (X). As a corollary we get a formula for the dimension of any generically smooth component of H…
Let S be a smooth projective surfaces and S^[n] the Hilbert scheme of zero-dimensional subschemes of S of length n. We proof that the class of S^[n] in the complex cobordism ring depends only on the class of the surface itself. Moreover, we compute the cohomology and holomorphic Euler characterisitcs of certain tautological sheaves on S^[n] and prove results on the general structure of certain integrals over polynomials in Chern classes of tautological sheaves.
The power structure over the Grothendieck (semi)ring of complex quasi-projective varieties constructed by the authors is used to express the generating series of classes of Hilbert schemes of zero-dimensional subschemes on a smooth quasi-projective variety as an exponent of that for the complex affine space of the same dimension. Specializations of this relation give formulae for generating series of such invariants of the Hilbert schemes of points as the Euler characteristic and the Hodge-Deligne polynomial.
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 analyse the Gorenstein locus of the Hilbert scheme of $d$ points on $\mathbb{P}^n$ i.e. the open subscheme parameterising zero-dimensional Gorenstein subschemes of $\mathbb{P}^n$ of degree $d$. We give new sufficient criteria for smoothability and smoothness of points of the Gorenstein locus. In particular we prove that this locus is irreducible when $d\leq 13$ and find its components when $d = 14$. The proof is relatively self-contained and it does not rely on a computer algebra system. As a by--product, we give equations of the fourth secant variety to the $d$-th Veronese reembedding of $…
Let $k$ be an algebraically closed field of characteristic 0 and let $H_G(d,N)$ be the open locus of the Hilbert scheme $H(d,N)$ corresponding to Gorenstein subschemes of degree $d$ in the projective N-space. We proved in a previous paper that $H_G(d,N)$ is irreducible for $d\le9$ and $N\ge1$. In the present paper we prove that also $H_G(10,N)$ is irreducible for each $N\ge1$, giving also a complete description of its singular locus.
Let X be a smooth projective toric surface, and H^d(X) the Hilbert scheme parametrising the length d zero-dimensional subschemes of X. We compute the rational Chow ring A^*(H^d(X))\_Q. More precisely, if T is the two-dimensional torus contained in X, we compute the rational equivariant Chow ring A\_T^*(H^d(X))\_Q 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.
It is well known that for a subscheme $V$ in ${\mathbb P}^{n}$ of codimension two, the conditions (1) $V$ is ACM, and (2) $V$ is "licci" (i.e. $V$ is in the liaison class of a complete intersection) are equivalent. In higher codimension, (2) implies (1) but the converse is false. For Gorenstein liaison the analog of (2) is: $(2')$ $V$ is "glicci" (i.e. $V$ is in the Gorenstein liaison class of a complete intersection). It remains true that $(2')$ implies (1) but now the converse is an important open question. Previously the authors described a mechanism for lifting monomial ideals to reduced u…
The Poincaré torsor of a Shimura family of abelian varieties can be viewed both as a family of semi-abelian varieties and as a mixed Shimura variety. We show that the special subvarieties of the latter cannot all be described in terms of the group subschemes of the former. This provides a counter-example to the relative Manin-Mumford conjecture, but also some evidence in favour of Pink's conjecture on unlikely intersections in mixed Shimura varieties. The main part of the article concerns mixed Hodge structures and the uniformization of the Poincaré torsor, but other, more geometric, approache…
We investigate the relation between codimension two smooth complete intersections in a projective space and some naturally associated graded algebras. We give some examples of log-concave polynomials and we propose two conjectures for these algebras.
We study free dg-Lie algebroids over arbitrary derived schemes, and compute their universal enveloping and jet algebras. We also introduce derived twisted connections, and relate them with lifts on twisted square zero extensions. This construction allows us to provide new conceptual approaches of existing results concerning the derived deformation theory of subschemes.
The Hilbert scheme H^d_n of n points in A^d contains an irreducible component R^d_n which generically represents n distinct points in A^d. We show that when n is at most 8, the Hilbert scheme H^d_n is reducible if and only if n = 8 and d >= 4. In the simplest case of reducibility, the component R^4_8 \subset H^4_8 is defined by a single explicit equation which serves as a criterion for deciding whether a given ideal is a limit of distinct points. To understand the components of the Hilbert scheme, we study the closed subschemes of H_n^d which parametrize those ideals which are homogeneous and …
We study certain top intersection products on the Hilbert scheme of points on a nonsingular surface relative to an effective smooth divisor. We find a formula relating these numbers to the corresponding intersection numbers on the non-relative Hilbert schemes. In particular, we obtain a relative version of the explicit formula found by Carlsson-Okounkov for the Euler class of the twisted tangent bundle of the Hilbert schemes.
Let $Z$ be a closed subscheme of a smooth complex projective complete intersection variety $Y\subseteq \Ps^N$, with $dim Y=2r+1\geq 3$. We describe the Néron-Severi group $NS_r(X)$ of a general smooth hypersurface $X\subset Y$ of sufficiently large degree containing $Z$.
Let HH_{ab}(H) be the equivariant Hilbert scheme parametrizing the zero dimensional subschemes of the affine plane k^2, fixed under the one dimensional torus T_{ab}={(t^{-b},t^a), t\in k^*} and whose Hilbert function is H. This Hilbert scheme admits a natural stratification in Schubert cells which extends the notion of Schubert cells on Grassmannians. However, the incidence relations between the cells become more complicated than in the case of Grassmannians. In this paper, we give a necessary condition for the closure of a cell to meet another cell. In the particular case of Grassmannians, it…
