An Early History of Toric Ideals

TL;DR

The paper surveys the early development of toric ideals and their Gröbner bases, tracing the emergence of algebraic methods for discrete optimization via the toric map $I_A=\ker \phi_A$ and the associated Gröbner structures $G_A$, state polytopes, and regular triangulations. It highlights major milestones including Sturmfels' foundational results, Rekha Thomas' test-set framework, and the GRIN/4ti2 computational era that made practical computation feasible. It also covers the interplay between algebraic concepts (Gröbner fans, Graver bases) and applications to integer programming and algebraic statistics. The account underlines the field's transition from theoretical constructs to a robust software-supported toolbox with lasting impact.

Abstract

Toric ideals are everywhere. They have been in the commutative algebra lexicon since about 1990 when Bernd Sturmfels used the term. The early days of toric ideals and their Gröbner bases were full of new results and promising developments in their applications. Bernd has been consistently their biggest promoter through his own work and that of his collaborators and students. This article is a personal and subjective recalling of the first decade of toric ideals when Bernd played a central role.

Theorems & Definitions (24)

• Theorem 2.1
• Definition 2.2
• Remark 2.3
• Theorem 2.4
• Example 2.5
• Theorem 2.6
• proof
• Theorem 2.7
• Theorem 2.8
• Theorem 3.1