Abstract:In this paper, the concepts of binomial difference ideals and toric difference varieties are defined and their properties are proved. Two canonical representations for Laurent binomial difference ideals are given using the reduced Groebner basis of Z[x]-lattices and regular and coherent difference ascending chains, respectively. Criteria for a Laurent binomial difference ideal to be reflexive, prime, well-mixed, perfect, and toric are given in terms of their support lattices which are Z[x]-lattices. The reflexive, well-mixed, and perfect closures of a Laurent binomial difference ideal are shown to be binomial. Four equivalent definitions for toric difference varieties are presented. Finally, algorithms are given to check whether a given Laurent binomial difference ideal I is reflexive, prime, well-mixed, perfect, or toric, and in the negative case, to compute the reflexive, well-mixed, and perfect closures of I. An algorithm is given to decompose a finitely generated perfect binomial difference ideal as the intersection of reflexive prime binomial difference ideals.

Limits of ideals of points in a toric variety

Toric Varieties in Hilbert Schemes

Self-dual projective toric varieties and their ideals

Degenerations of real irrational toric varieties

The main component of the toric Hilbert scheme

Regular subdivisions, bounds on initial ideals, and categorical limits

D-critical locus structure on the Hilbert schemes of some local toric Calabi-Yau threefolds

Integral points on singular toric varieties and cyclic normal polynomials

Products of varieties with many integral points

Fixed point distribution on Hilbert scheme of points

Points of bounded height on certain subvarieties of toric varieties

The Hilbert scheme of points on a threefold, I

On Fixed-Point Sets of $\Z_2$-Tori in Positive Curvature

Gotzmann's persistence theorem for smooth projective toric varieties

On the moduli of hypersurfaces in toric orbifolds

On non-projective complete toric varieties

Classification of toric projective varieties up to projective automorphisms

Binomial Difference Ideal and Toric Difference Variety

On the Hilbert scheme of curves in higher-dimensional projective space

Gröbner bases of simplicial toric ideals

Generalized Campana points and adelic approximation on toric varieties