Extensors and the Hilbert scheme

DOI10.2422/2036-2145.201407_003zbMATH Open1342.14008OpenAlexW2964249510MaRDI QIDQ2809280FDOQ2809280

Authors: Jérôme Brachat, Paolo Lella, Bernard Mourrain, Margherita Roggero 

Publication date: 27 May 2016

Published in: Annali della Scuola Normale Superiore di Pisa. Classe di Scienze. Serie V (Search for Journal in Brave)

Abstract: 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 the Pl"ucker coordinates of the Pl"ucker embedding of $mathbf{Gr}_{p(r)}^{N(r)}$. Our proof of existence does not need some of the classical tools used in previous proofs, as flattening stratifications and Gotzmann's Persistence Theorem. The degree of our equations is $extdegp(t)+2$, lower than the degree of the equations given by Iarrobino and Kleiman in 1999 and also lower (except for the case of hypersurfaces) than the degree of those proved by Haiman and Sturmfels in 2004 after Bayer's conjecture in 1982. The novelty of our approach mainly relies on the deeper attention to the intrinsic symmetries of the Hilbert scheme and on some results about Grassmannian based on the notion of extensors.

Full work available at URL: https://arxiv.org/abs/1104.2007

Recommendations

• A Borel open cover of the Hilbert scheme
• Gotzmann regularity for globally generated coherent sheaves
• A local study of the fiber-full scheme
• On the functoriality of marked families
• Computable Białynicki-Birula decomposition of the Hilbert scheme
• Multigraded Hilbert schemes
• The Hilbert scheme of the Grassmannian is not connected
• Hilbert schemes with two Borel-fixed points
• scientific article; zbMATH DE number 1405535
• Worst unstable points of a Hilbert scheme

zbMATH Keywords

Hilbert schemesBorel fixed idealsextensorsPlücker coordinates

Mathematics Subject Classification ID

Parametrization (Chow and Hilbert schemes) (14C05) Exterior algebra, Grassmann algebras (15A75)

Cited In (12)

• Flips and the Hilbert scheme over an exterior algebra
• Strongly stable ideals and Hilbert polynomials
• The Gröbner fan of the Hilbert scheme
• On the equations defining some Hilbert schemes
• On the functoriality of marked families
• Separation of periods of quartic surfaces
• Isolated singularities, inverse systems and the punctual Hilbert scheme
• Quot schemes in Grassmannians
• A Borel open cover of the Hilbert scheme
• Double-generic initial ideal and Hilbert scheme
• A general framework for Noetherian well ordered polynomial reductions
• Computing quot schemes via marked bases over quasi-stable modules

This page was built for publication: Extensors and the Hilbert scheme

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2809280)