A Borel open cover of the Hilbert scheme

DOI10.1016/J.JSC.2013.01.001MaRDI QIDQ1946969zbMATH OpenOpenAlexFDO

Authors Cristina Bertone, Paolo Lella, Margherita Roggero

Publication date 10 April 2013

Published in Journal of Symbolic Computation (Search for Journal in Brave)

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

zbMATH Keywords

Borel-fixed idealHilbert schememarked scheme

Mathematics Subject Classification ID

Polynomial rings and ideals; rings of integer-valued polynomials (13F20) Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) (13P10) Parametrization (Chow and Hilbert schemes) (14C05) Symbolic computation and algebraic computation (68W30)

Abstract: Let $p(t)$ be an admissible Hilbert polynomial in $P{P}^n$ of degree $d$. The Hilbert scheme $hil{b}_p^n(t)$ can be realized as a closed subscheme of a suitable Grassmannian $mathbbG$, hence it could be globally defined by homogeneous equations in the Plucker coordinates of $mathbbG$ and covered by open subsets given by the non-vanishing of a Plucker coordinate, each embedded as a closed subscheme of the affine space $A^D$, $D=dim(mathbbG)$. However, the number $E$ of Plucker coordinates is so large that effective computations in this setting are practically impossible. In this paper, taking advantage of the symmetries of $hil{b}_p^n(t)$, we exhibit a new open cover, consisting of marked schemes over Borel-fixed ideals, whose number is significantly smaller than $E$. Exploiting the properties of marked schemes, we prove that these open subsets are defined by equations of degree $leqd+2$ in their natural embedding in $A{f}^D$. Furthermore we find new embeddings in affine spaces of far lower dimension than $D$, and characterize those that are still defined by equations of degree $leqd+2$. The proofs are constructive and use a polynomial reduction process, similar to the one for Grobner bases, but are term order free. In this new setting, we can achieve explicit computations in many non-trivial cases.

Recommendations

• Extensors and the Hilbert scheme
• Explicit projective embeddings of standard opens of the Hilbert scheme of points
• The Gröbner fan of the Hilbert scheme
• Hilbert schemes with two Borel-fixed points
• On the equations defining some Hilbert schemes

Cited in

(21)

• Bar code for monomial ideals
• A general framework for Noetherian well ordered polynomial reductions
• Toward involutive bases over effective rings
• The close relation between border and Pommaret marked bases
• Combinatorial decompositions for monomial ideals
• Flat families by strongly stable ideals and a generalization of Gröbner bases
• Computing quot schemes via marked bases over quasi-stable modules
• Strongly stable ideals and Hilbert polynomials
• Extensors and the Hilbert scheme
• On the functoriality of marked families
• Term-ordering free involutive bases
• Double-generic initial ideal and Hilbert scheme
• Grothendieck-Plücker images of Hilbert schemes are degenerate
• Components of Gröbner strata in the Hilbert scheme of points
• The Locus of Points of the Hilbert Scheme with Bounded Regularity
• Macaulay-like marked bases
• Shift modules, strongly stable ideals, and their dualities
• Isolated singularities, inverse systems and the punctual Hilbert scheme
• Computing finite and infinite free resolutions with Pommaret-like bases
• A description of certain affine open subschemes that form an open covering of \(\text{Hilb}^n_{\mathbb{A}^2_k}\).
• Quasi-stable ideals and Borel-fixed ideals with a given Hilbert polynomial

This page was built for publication: A Borel open cover of the Hilbert scheme

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