Toric initial ideals of -normal configurations: Cohen-Macaulayness and degree bounds

DOI10.1007/S10801-005-6910-4MaRDI QIDQ1781817zbMATH OpenOpenAlexFDO

Authors Edwin O'Shea, Rekha Thomas

Publication date 8 June 2005

Published in Journal of Algebraic Combinatorics (Search for Journal in Brave)

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

zbMATH Keywords

triangulationsmonomial initial idealtoric normal idealsGröbner basis

Mathematics Subject Classification ID

Toric varieties, Newton polyhedra, Okounkov bodies (14M25) Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) (13P10) Cohen-Macaulay modules (13C14)

Abstract: A normal (respectively, graded normal) vector configuration $A$ defines the toric ideal $I_A$ of a normal (respectively, projectively normal) toric variety. These ideals are Cohen-Macaulay, and when $A$ is normal and graded, $I_A$ is generated in degree at most the dimension of $I_A$. Based on this, Sturmfels asked if these properties extend to initial ideals -- when $A$ is normal, is there an initial ideal of $I_A$ that is Cohen-Macaulay, and when $A$ is normal and graded, does $I_A$ have a Gr"obner basis generated in degree at most $dim(I_A)$ ? In this paper, we answer both questions positively for $Delta$-normal configurations. These are normal configurations that admit a regular triangulation $Delta$ with the property that the subconfiguration in each cell of the triangulation is again normal. Such configurations properly contain among them all vector configurations that admit a regular unimodular triangulation. We construct non-trivial families of both $Delta$-normal and non-$Delta$-normal configurations.

Recommendations

• Normal toric ideals of low codimension
• Gröbner bases of nested configurations
• A survey of toric initial ideals
• Singularities and radical initial ideals
• Gröbner bases of toric varieties

Cites work

• scientific article; zbMATH DE number 993566 (Why is no real title available?)
• scientific article; zbMATH DE number 1797658 (Why is no real title available?)
• scientific article; zbMATH DE number 835749 (Why is no real title available?)
• A normal (0,1)-polytope none of whose regular triangulations is unimodular
• Bounds on degrees of projective schemes
• Combinatorial properties of ``cleanness
• Combinatorics and commutative algebra.
• Equations Defining Toric Varieties
• Gomory integer programs
• Hilbert bases, unimodular triangulations, and binary covers of rational polyhedral cones
• Lectures on Polytopes
• Problems and algorithms for affine semigroups
• Rings of Invariants of Tori, Cohen-Macaulay Rings Generated by Monomials, and Polytopes
• Supernormal vector configurations
• Toric ideals and an infinite family of normal (0,1)-polytopes without unimodular regular triangulations
• Uniform bounds on multigraded regularity

Cited in

(6)

• Toric ideals and an infinite family of normal (0,1)-polytopes without unimodular regular triangulations
• Standard pairs for monomial ideals in semigroup rings
• Subdivisions of toric complexes
• Normal toric ideals of low codimension
• Centrally symmetric configurations of order polytopes
• Tower sets and other configurations with the Cohen-Macaulay property

Describes a project that uses

Uses Software

• CaTS
• Normaliz
• Macaulay2

This page was built for publication: Toric initial ideals of \(\Delta\)-normal configurations: Cohen-Macaulayness and degree bounds

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