16 research outputs found

    On the tangent space to the Hilbert scheme of points in P3

    No full text
    In this paper we study the tangent space to the Hilbert scheme HilbdP3\mathrm{Hilb}^d \mathbf{P}^3, motivated by Haiman's work on HilbdP2\mathrm{Hilb}^d \mathbf{P}^2 and by a long-standing conjecture of Brian\c{c}on and Iarrobino on the most singular point in HilbdPn\mathrm{Hilb}^d \mathbf{P}^n. For points parametrizing monomial subschemes, we consider a decomposition of the tangent space into six distinguished subspaces, and show that a fat point exhibits an extremal behavior in this respect. This decomposition is also used to characterize smooth monomial points on the Hilbert scheme. We prove the first Brian\c{c}on-Iarrobino conjecture up to a factor of 4/3, and improve the known asymptotic bound on the dimension of HilbdP3\mathrm{Hilb}^d \mathbf{P}^3. Furthermore, we construct infinitely many counterexamples to the second Brian\c{c}on-Iarrobino conjecture, and we also settle a weaker conjecture of Sturmfels in the negative.Comment: 20 pages. Final version; to appear on Transactions of the American Mathematical Societ

    On Rees algebras of 2-determinantal ideals

    No full text
    Let I be the ideal of minors of a 2 by n matrix of linear forms with the expected codimension. In this paper we prove that the Rees algebra of I and its special fiber ring are Cohen-Macaulay and Koszul; in particular, they are quadratic algebras. The main novelty in our approach is the analysis of a stratification of the Hilbert scheme of determinantal ideals. We study degenerations of Rees algebras along this stratification, and combine it with certain squarefree Groebner degenerations.Comment: Final version. To appear on the Journal of the London Mathematical Societ

    Hilbert schemes with two Borel-fixed points

    No full text
    We characterize Hilbert polynomials that give rise to Hilbert schemes with two Borel-fixed points and determine when the associated Hilbert schemes or their irreducible components are smooth. In particular, we show that the Hilbert scheme is reduced and has at most two irreducible components. By describing the singularities in a neighbourhood of the Borel-fixed points, we prove that the irreducible components are Cohen-Macaulay and normal. We end by giving many examples of Hilbert schemes with three Borel-fixed points.Comment: To appear in Journal of Algebr

    On the smoothness of lexicographic points on Hilbert schemes

    No full text
    We study the geometry of standard graded Hilbert schemes of polynomial rings and exterior algebras. Our investigation is motivated by a famous theorem of Reeves and Stillman for the Grothendieck Hilbert scheme, which states that the lexicographic point is smooth. By contrast, we show that, in standard graded Hilbert schemes of polynomial rings and exterior algebras, the lexicographic point can be singular, and it can lie in multiple irreducible components. We answer questions of Peeva-Stillman and of Maclagan-Smith.Comment: 13 pages. To appear on Journal of Pure and Applied Algebr

    Rational singularities of nested Hilbert schemes

    No full text
    The Hilbert scheme of points Hilbn(S)\mathrm{Hilb}^n(S) of a smooth surface SS is a well-studied parameter space, lying at the interface of algebraic geometry, commutative algebra, representation theory, combinatorics, and mathematical physics. The foundational result is a classical theorem of Fogarty, stating that Hilbn(S)\mathrm{Hilb}^n(S) is a smooth variety of dimension 2n2n. In recent years there has been growing interest in a natural generalization of Hilbn(S)\mathrm{Hilb}^n(S), the nested Hilbert scheme Hilb(n1,n2)(S)\mathrm{Hilb}^{(n_1,n_2)}(S), which parametrizes nested pairs of zero-dimensional subschemes Z1Z2Z_1 \supseteq Z_2 of SS with deg(Zi)=ni\mathrm{deg} (Z_i)=n_i. In contrast to Fogarty's theorem, Hilb(n1,n2)(S)\mathrm{Hilb}^{(n_1,n_2)}(S) is almost always singular, and very little is known about its singularities. In this paper we aim to advance the knowledge of the geometry of these nested Hilbert schemes. Work by Fogarty in the 70's shows that Hilb(n,1)(S)\mathrm{Hilb}^{(n,1)}(S) is a normal Cohen-Macaulay variety, and Song more recently proved that it has rational singularities. In our main result, we prove that the nested Hilbert scheme Hilb(n,2)(S)\mathrm{Hilb}^{(n,2)}(S) has rational singularities. We employ an array of tools from commutative algebra to prove this theorem. Using Gr\"obner bases, we establish a connection between Hilb(n,2)(S)\mathrm{Hilb}^{(n,2)}(S) and a certain variety of matrices with an action of the general linear group. This variety of matrices plays a central role in our work, and we analyze it by various algebraic techniques, including square-free Gr\"obner degenerations, the Stanley-Reisner correspondence, and the Kempf-Lascoux-Weyman technique of calculating syzygies. Along the way, we also obtain results on classes of irreducible and reducible nested Hilbert schemes, dimension of singular loci, and FF-singularities in positive characteristic.Comment: 37 pages. Final version; to appear on International Mathematics Research Notice

    On the parity conjecture for Hilbert schemes of points on threefolds

    No full text
    Let Hilbd(A3)Hilb^d(A^3) be the Hilbert scheme of dd points in A3A^3, and let TzT_z denote the tangent space to a point zHilbd(A3)z \in Hilb^d(A^3). Okounkov and Pandharipande have conjectured that dimTz\dim T_z and dd have the same parity for every zz. For points zz parametrizing monomial ideals, the conjecture was proved by Maulik, Nekrasov, Okounkov, and Pandharipande. In this paper, we settle the conjecture for points zz parametrizing homogeneous ideals. In fact, we state a generalization of the conjecture to Quot schemes of A3A^3, and we prove it for points parametrizing graded modules.Comment: Final version. To appear on The Annali della Scuola Normale Superiore di Pisa, Classe di Scienz

    A local study of the fiber-full scheme

    No full text
    We study some of the local properties of the fiber-full scheme, which is a fine moduli space that generalizes the Hilbert scheme by parametrizing closed subschemes with prescribed cohomological data. As a consequence, we provide sufficient conditions for cohomology to remain constant under Gr\"obner degenerations. We also describe a tangent-obstruction theory for the fiber-full scheme in analogy with the one for the Hilbert scheme.Comment: to appear in Journal of Algebr
    corecore