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

DOI10.1007/S10801-005-6910-4zbMATH Open1082.13017arXivmath/0308109OpenAlexW2007791495MaRDI QIDQ1781817FDOQ1781817

Edwin O'Shea, Rekha Thomas

Publication date: 8 June 2005

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

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.

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

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

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)

Cites Work

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

Cited In (4)

• 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

Uses Software

• Macaulay2
• Normaliz
• CaTS

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)