On the equations defining some Hilbert schemes

DOI10.1007/S10013-021-00545-0MaRDI QIDQ2135089zbMATH OpenOpenAlexWikidataFDO

Authors Jonathan D. Hauenstein, Laurent Manivel, Balázs Szendrői

Publication date 4 May 2022

Published in Vietnam Journal of Mathematics (Search for Journal in Brave)

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

zbMATH Keywords

binomial idealsMacaulay dual spacesnumerical algebraic geometrysparse polynomialswitness sets

Mathematics Subject Classification ID

Commutative rings defined by binomial ideals, toric rings, etc. (13F65) Parametrization (Chow and Hilbert schemes) (14C05) Geometric aspects of numerical algebraic geometry (14Q65) Numerical algebraic geometry (65H14) Symbolic computation and algebraic computation (68W30)

Abstract: We work out details of the extrinsic geometry for two Hilbert schemes of some contemporary interest: the Hilbert scheme of two points on the projective plane and the dense open set parametrizing non-planar clusters in the punctual Hilbert scheme of clusters of length four on affine three-space with support at the origin. We find explicit equations in natural projective, respectively affine embeddings for these spaces. In particular, we answer a question of Bernd Sturmfels who asked for a description of the latter space that is amenable to further computations. While the explicit equations we find are controlled in a precise way by the representation theory of SL_3, our arguments also rely on computer algebra.

Recommendations

• An elementary, explicit, proof of the existence of Hilbert schemes of points
• Extensors and the Hilbert scheme
• Hilbert schemes with two Borel-fixed points
• Hilbert schemes of 8 points
• Punctual Hilbert schemes of small length in dimensions 2 and 3

Cites work

• Algebra of coinvariants and the action of a Coxeter element.
• Algorithm 921: alphaCertified: certifying solutions to polynomial systems
• An a posteriori certification algorithm for Newton homotopies
• Certification for polynomial systems via square subsystems
• scientific article; zbMATH DE number 671741 (Why is no real title available?)
• Numerically deciding the arithmetically Cohen-Macaulayness of a projective scheme
• Primary ideals and their differential equations
• Probabilistic saturations and Alt's problem
• Punctual Hilbert schemes of small length in dimensions 2 and 3
• The Milnor fibre of the Pfaffian and the Hilbert scheme of four points on \(\mathbb{C}^3\)
• The minimal model program for the Hilbert scheme of points on \(\mathbb P^2\) and Bridgeland stability
• Tropical quadrics through three points

Cited in

(8)

• Durch Hilbertfunktionen definierte Unterschemata des Hilbertschemas. (Subschemes of the Hilbert scheme defined by Hilbert functions)
• Incidence relations among the Schubert cells of equivariant punctual Hilbert schemes
• Punctual Hilbert schemes of small length in dimensions 2 and 3
• A Borel open cover of the Hilbert scheme
• An example of an SL\(_{2}\)-Hilbert scheme with multiplicities
• Two Hilbert schemes in computer vision
• Hilbert squares of degeneracy loci
• The Hilbert scheme of points on a threefold: broken Gorenstein structures and linkage

Describes a project that uses

Uses Software

• GAP
• SchurRings
• alphaCertified
• Macaulay2
• Bertini
• SLA

This page was built for publication: On the equations defining some Hilbert schemes

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