We introduce the multigraded Hilbert scheme, which parametrizes all homogeneous ideals with fixed Hilbert function in a polynomial ring that is graded by any abelian group. Our construction is widely applicable, it provides explicit equations, and it allows us to prove a range of new results, including Bayer's conjecture on equations defining Grothendieck's classical Hilbert scheme and the construction of a Chow morphism for toric Hilbert schemes.
The T-graph of a multigraded Hilbert scheme records the zero and one-dimensional orbits of the T = (K^*)^n action on the Hilbert scheme induced from the T-action on A^n. It has vertices the T-fixed points, and edges the one-dimensional T-orbits. We give a combinatorial necessary condition for the existence of an edge between two vertices in this graph. For the Hilbert scheme of points in the plane, we give an explicit combinatorial description of the equations defining the scheme parameterizing all one-dimensional torus orbits whose closures contain two given monomial ideals. For this Hilbert …
The multigraded Hilbert scheme parametrizes all homogeneous ideals in a polynomial ring graded by an abelian group with a fixed Hilbert function. We prove that any multigraded Hilbert scheme is smooth and irreducible when the polynomial ring is ZZ[x,y], which establishes a conjecture of Haiman and Sturmfels.
We introduce an elementary method to study the border rank of polynomials and tensors, analogous to the apolarity lemma. This can be used to describe the border rank of all cases uniformly, including those very special ones that resisted a systematic approach. We also define a border rank version of the variety of sums of powers and analyse its usefulness in studying tensors and polynomials with large symmetries. In particular, it can be applied to provide lower bounds for the border rank of some very interesting tensors, such as the matrix multiplication tensor. We work in a general setting, …
This paper is a survey on major results on Hilbert functions of multigraded algebras and mixed multiplicities of ideals, including their applications to the computation of Milnor numbers of complex analytic hypersurfaces with isolated singularity, multiplicities of blowup algebras and mixed volumes of polytopes.
In this paper, we consider $\mathbb{Z}^{r}-$graded modules on the $\mathrm{Cl}(X)$ $-$graded Cox ring $\mathbb{C}[x_{1},\dotsc,x_{r}]$ of a smooth complete toric variety $X$. Using the theory of Klyachko filtrations in the reflexive case, we construct a collection of lattice polytopes codifying the multigraded Hilbert function of the module. We apply this approach to reflexive $\mathbb{Z}^{s+r+2}$-graded modules over non-standard bigraded polynomial rings $\mathbb{C}[x_{0},\dotsc,x_{s},y_{0},\dotsc,y_{r}]$. In this case, we give sharp bounds for the multigraded regularity index of their multig…
Let $X$ be a complete $n$-dimensional simplicial toric variety with homogeneous coordinate ring $S$. We study the multigraded Hilbert function $H_Y$ of reduced $0$-dimensional subschemes $Y$ in $X$. We provide explicit formulas and prove non-decreasing and stabilization properties of $H_Y$ when $Y$ is a $0$-dimensional complete intersection in $X$. We apply our results to computing the dimension of some evaluation codes on $0$-dimensional complete intersection in simplicial toric varieties.
We study the linear map sending the numerator of the rational function representing the Hilbert series of a module to that of its r-th Veronese submodule. We show that the asymptotic behaviour as r tends to infinity depends on the multidegree of the module and the underlying positively multigraded polynomial ring. More importantly, we give a polyhedral description for the asymptotic polynomial and prove that the coefficients are log-concave. In particular, we extend some results by Beck-Stapledon and Diaconis-Fulman beyond the standard graded situation.
We give an effective uniform bound on the multigraded regularity of a subscheme of a smooth projective toric variety X with a given multigraded Hilbert polynomial. To establish this bound, we introduce a new combinatorial tool, called a Stanley filtration, for studying monomial ideals in the homogeneous coordinate ring of X. As a special case, we obtain a new proof of Gotzmann's regularity theorem. We also discuss applications of this bound to the construction of multigraded Hilbert schemes.
We introduce the good Hilbert functor and prove that it is algebraic. This functor generalizes various versions of the Hilbert moduli problem, such as the multigraded Hilbert scheme and the invariant Hilbert scheme. Moreover, we generalize a result concerning formal GAGA for good moduli spaces.
We study the closure of the locus of radical ideals in the multigraded Hilbert scheme associated with a standard graded polynomial ring and the Hilbert function of a homogeneous coordinate ring of points in general position in projective space. In the case of projective plane, we give a sufficient condition for an ideal to be in the closure of the locus of radical ideals. For projective space of arbitrary dimension we present a necessary condition. The paper is motivated by the border apolarity lemma which connects such multigraded Hilbert schemes with the theory of ranks of polynomials.
Given scheme-theoretic equations for a nonsingular subvariety, we prove that the higher cohomology groups for suitable twists of the corresponding ideal sheaf vanish. From this result, we obtain linear bounds on the multigraded Castelnuovo-Mumford regularity of a nonsingular subvariety, and new criteria for the embeddings by adjoint line bundles to be projectively normal. A special case of our work recovers the vanishing theorem of Bertram, Ein, and Lazarsfeld.
$V$ is a complete intersection scheme in a multiprojective space if it can be defined by an ideal $I$ with as many generators as $\textrm{codim}(V)$. We investigate the multigraded regularity of complete intersections scheme in $\mathbb{P}^n\times \mathbb{P}^m$. We explicitly compute many values of the Hilbert functions of $0$-dimensional complete intersections. We show that these values only depend upon $n,m$, and the bidegrees of the generators of $I$. As a result, we provide a sharp upper bound for the multigraded regularity of $0$-dimensional complete intersections.
The toric Hilbert scheme of a lattice L in Z^n is the multigraded Hilbert scheme parameterizing all ideals in k[x_1,...,x_n] with Hilbert function value one for every degree in the grading monoid N^n/L. In this paper we show that if L is two-dimensional, then the toric Hilbert scheme of L is smooth and irreducible. This result is false for lattices of dimension three and higher as the toric Hilbert scheme of a rank three lattice can be reducible.
Multiview geometry is the study of two-dimensional images of three-dimensional scenes, a foundational subject in computer vision. We determine a universal Groebner basis for the multiview ideal of n generic cameras. As the cameras move, the multiview varieties vary in a family of dimension 11n-15. This family is the distinguished component of a multigraded Hilbert scheme with a unique Borel-fixed point. We present a combinatorial study of ideals lying on that Hilbert scheme.
The diagonal in a product of projective spaces is cut out by the ideal of 2x2-minors of a matrix of unknowns. The multigraded Hilbert scheme which classifies its degenerations has a unique Borel-fixed ideal. This Hilbert scheme is generally reducible, and its main component is a compactification of PGL(d)^n/PGL(d). For n=2 we recover the manifold of complete collineations. For projective lines we obtain a space of trees that is irreducible but singular. All ideals in our Hilbert scheme are radical. We also explore connections to affine buildings and Deligne schemes.
This paper introduces a class of smooth projective varieties that generalise and share many properties with partial flag varieties of type A. The quiver flag variety M_\vartheta(Q,r) of a finite acyclic quiver Q (with a unique source) and a dimension vector r is a fine moduli space of stable representations of Q. Quiver flag varieties are Mori Dream Spaces, they are obtained via a tower of Grassmann bundles, and their bounded derived category of coherent sheaves is generated by a tilting bundle. We define the multigraded linear series of a weakly exceptional sequence of locally free sheaves E …
The toric Hilbert scheme parametrizes all algebras isomorphic to a given semigroup algebra as a multigraded vectorspace. All components of the scheme are toric varieties, and among them, there is a fairly well understood coherent component. However, it is unknown whether toric Hilbert schemes are always connected. In this chapter we illustrate the use of Macaulay 2 for exploring the structure of toric Hilbert schemes. In the process we will encounter algorithms from commutative algebra, algebraic geometry, polyhedral theory and geometric combinatorics.
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 …
Given a homogeneous ideal $I$ in a polynomial ring over a field, one may record, for each degree $d$ and for each polynomial $f\in I_d$, the set of monomials in $f$ with nonzero coefficients. These data collectively form the tropicalization of $I$. Tropicalizing ideals induces a "matroid stratification" on any (multigraded) Hilbert scheme. Very little is known about the structure of these stratifications. In this paper, we explore many examples of matroid strata, including some with interesting combinatorial structure, and give a convenient way of visualizing them. We show that the matroid str…
In this paper, we show the full flag Hilbert scheme of points of nodal curves has only complete intersection singularities. We study the Hilbert scheme of points of the cusp curve and show the punctual Hilbert scheme is isomorphic to \mathbb{P}^1. Furthermore Hilbert scheme has only one singularty along the punctual one.
The homogeneous spectrum of a multigraded finitely generated algebra (in the sense of Brenner-Schröer) always admits an embedding into a toric variety that is not necessarily separated, a so-called toric prevariety. In order to have a convenient framework to study the tropicalization of homogeneous spectra we propose a tropicalization procedure for toric prevarieties and study its basic properties. With these tools at hand, we prove a generalization of Payne's and Foster--Gross--Payne's tropical limit theorem for divisorial schemes.
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…
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.
We call the scheme parameterizing homogeneous ideals with fixed initial ideal the Gröbner scheme. We introduce a Białynicki-Birula decomposition of the Hilbert scheme $\mathrm{Hilb}^{P}_n$ for any Hilbert polynomial $P$ such that the cells are the Gröbner schemes in set-theoretically. Then we obtain a computable homology formula for smooth Hilbert schemes. As a corollary of our argument, we show that the Gröbner scheme for a monomial ideal defining a smooth point in the Hilbert scheme is smooth.
An open question is whether the Hilbert scheme of points of a high dimensional affine space satisfies Murphy's Law, as formulated by Vakil. In this short note, we instead consider the loci in the Hilbert scheme parametrizing punctual schemes with a given Hilbert function, and we show that these loci satisfy Murphy's Law. We also prove a related result for equivariant deformations of curve singularities with $\mathbb G_m$-action.
We discuss the parabolic Hilbert scheme of points on smooth surface, which is an interesting generalization of Hilbert scheme of points on surface. Some of the studies by Ellingsrud-Stromme, Goettsche, Cheah, Nakajima and Grojnowski can be generalized in our parabolic case.
We classify minimal-degree curves in the Hilbert schemes of points on algebraic surfaces. When the algebraic surface is the projective plane, the nef cone and a flip structure of these Hilbert schemes are determined.
We determine the invariant Hilbert scheme of the zero fibre of the moment map of an action of Sl_2 on (C^2)^6 as one of the first examples of invariant Hilbert schemes with multiplicities. While doing this, we present a general procedure how to realise the calculation of invariant Hilbert schemes, which have been introduced by Alexeev and Brion. We also consider questions of smoothness and connectedness and thereby show that our Hilbert scheme gives a resolution of singularities of the symplectic reduction of the action.
We provide a criterion for when Hilbert schemes of points on K3 surfaces are birational. In particular, this allows us to generate a plethora of examples of non-birational Hilbert schemes which are derived equivalent.
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.
Pfister and Steenbrink studied punctual Hilbert schemes for irreducible curve singularities. In particular, they investigated the structure of special punctual Hilbert schemes for certain monomial curve singularities. In this paper, we study the punctual Hilbert schemes of all degrees for the curve singularities of types $E_6$ and $E_8$. For our analysis, we introduce computational algorithms to decompose a punctual Hilbert schemes into affine cells. We also use the theory of Gröbner basis and known results about the compactified Jacobian of singular curves to prove our main theorems.
In this paper, we describe the worst unstable points of a Hilbert scheme for some special Hilbert polynomials and ambient spaces using Murai's work on Gotzmann monomial sets. We investigate the geometry of the projective schemes represented by worst unstable Hilbert points and see that in certain cases that they fail to be $K$-stable or attain maximal regularity.
We discuss two conjectures by Francesco Severi and Joe Harris about the irreducibility and the dimension of the Hilbert scheme parameterizing smooth projective curves of given degree and genus.
Let $k$ be an algebraically closed field of characteristic $p > 3$. Let $X$ be an irreducible smooth projective surface over $k$. Fix an integer $n \geq 1$ and let ${\mathcal{H}{\it ilb}}_X^n$ be the Hilbert scheme parameterizing effective $0$-cycles of length $n$ on $X$. The aim of the present article is to find the $S$-fundamental group scheme and Nori's fundamental group scheme of the Hilbert scheme $\mathcal{H}{\it ilb}_X^n$.
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.
Using obstruction bundles, composition law and the localization formula, we compute certain 3-point genus-0 Gromov-Witten invariants of the Hilbert scheme of 3-points on the complex projective plane. Our results partially verify Ruan's conjecture about quantum corrections for this Hilbert scheme.
We review the present state of the problem, for each degree $d$ and genus $g$, is the Hilbert scheme of locally Cohen--Macaulay curves in ${\mathbb P}^3$ connected?
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.
We describe explicitly how certain standard opens of the Hilbert scheme of points are embedded into Grassmannians. The standard opens of the Hilbert scheme that we consider are given as the intersection of a corresponding basic open affine of the Grassmannian and a closed stratum determined by a Fitting ideal.
We give an explicit stratification of the punctual Hilbert schemes of $n$ points of $\mathbb{A}^{m+1}$ with respect to $m$-dimensional partitions in the Grothendieck group of varieties. As an application, we calculate the classes of the punctual Hilbert schemes of $n$ points of $\mathbb{A}^3$ and the classes of the Hilbert schemes of $n$ points of $\mathbb{A}^3$ in the Grothendieck of varieties for $n\leq 5$.
We prove the conjecture of Marian-Oprea-Pandharipande on the Segre series associated to a rank zero class. Hence the rank zero Segre integrals on the Hilbert schemes of points for all surfaces are determined.
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 prove the standard conjectures for complex projective varieties that are deformations of the Hilbert scheme of points on a K3 surface. The proof involves Verbitsky's theory of hyperholomorphic sheaves and a study of the cohomology algebra of Hilbert schemes of K3 surfaces.
We give a linear algebraic and a monadic descriptions of the Hilbert scheme of points on the affine space of dimension $n$ which naturally extends Nakajima's representation of the Hilbert scheme of points on the plane. As an application of our ideas and recent results from the literature on commuting matrices, we show that the Hilbert scheme of $c$ points on $(\C^3)$ is irreducible for $c\le 10$.
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.
For a finitely generated associative algebra $\cA$ over a commutative ring $k$ we construct the Hilbert scheme ${\bf H}^{[n]}_{\cA}$ which parametrizes left ideals in $\cA$ of codimension $n.$
We compute the dimension of the Hilbert scheme of subvarieties of positive dimension in projective space which are cut by maximal minors of a matrix with polynomial entries.
We use semi-orthogonal decompositions to construct autoequivalences of Hilbert schemes of points on Enriques surfaces and of Calabi-Yau varieties which cover them. While doing this, we show that the derived category of a surface whose irregularity and geometric genus vanish embeds into the derived category of its Hilbert scheme of points.
