Local equations for the toric Hilbert scheme

Parametrization (Chow and Hilbert schemes) (14C05) Toric varieties, Newton polyhedra, Okounkov bodies (14M25) Effectivity, complexity and computational aspects of algebraic geometry (14Q20)

Review text

Let \(n>d\) be positive integers and let \({\mathcal A}=\{a_1,\dots,a_n\}\) be a subset of \({\mathbb N}^d\setminus \{(0,\dots, 0)\}\) such that the matrix with columns \(a_i\) has rank \(d\). Put \(S=k[x_1,\dots,x_n]\), where \(k\) is a field and where this polynomial ring is generated by variables \(x_1,\dots,x_n\) in \({\mathbb N}^d\)-degrees \(a_1,\dots,a_n\), respectively. The toric ideal \(I_{\mathcal A}\) is the kernel of the homomorphism \(S\rightarrow k[t_1,\dots,t_d]\) that maps \(x_i\) to \(t_1^{a_{i1}}\cdots t_d^{a_{id}}\) for \(1\leq i\leq n\). A homogeneous ideal \(M\) is called \({\mathcal A}\)-graded if the quotient \(S/M\) has the same multigraded Hilbert function as the toric ring \(S/I_{\mathcal A}\). In another article [``Toric Hilbert schemes, Duke Math. J., (to appear)], the authors introduce the toric Hilbert scheme \({\mathcal H}_{\mathcal A}\), which parametrizes \({\mathcal A}\)-graded ideals, and show that this scheme can be covered by finitely many open sets centered at monomial ideals. Here, the authors find local equations for this toric Hilbert scheme by determining the local ring at such a monomial ideal. The proof uses a reduction process based on Mora's tangent cone algorithm. In the final section, the authors obtain a criterion for an ideal to be \({\mathcal A}\)-graded. This leads to an algorithm for computing all \({\mathcal A}\)-graded monomial ideals whose radical is the Stanley-Reiser ideal of a given triangulation of \({\mathcal A}\). This also gives a singly exponential bound on the degree up to which one must check to conclude that an ideal is \({\mathcal A}\)-graded, proving a conjecture of Sturmfels.

Recommendations

Cites work

Cited in

(8)

Describes a project that uses

Uses Software

Macaulay2

This page was built for publication: Local equations for the toric Hilbert scheme

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