Table of Contents
Fetching ...

A universal tale of determinants and Gröbner bases

Aldo Conca

Abstract

In 1965 Buchberger defined Gröbner bases and an algorithm to compute them. Despite a slow start, already in the eighties Gröbner bases had become the main device for symbolic computations involving polynomials as well as a theoretical tool for the investigation of ideals and varieties via the so-called Gröbner deformation techniques. Rings and algebraic varieties defined by means of determinants are among the most classical objects in commutative algebra, algebraic geometry and invariant theory. By the end of the the eighties the time was ripe for the computation of Gröbner bases of determinantal ideals. We will tell the tale of how (universal) Gröbner bases of determinantal ideals were identified and the key role played by Bernd Sturmfels and his collaborators in this enterprise.

A universal tale of determinants and Gröbner bases

Abstract

In 1965 Buchberger defined Gröbner bases and an algorithm to compute them. Despite a slow start, already in the eighties Gröbner bases had become the main device for symbolic computations involving polynomials as well as a theoretical tool for the investigation of ideals and varieties via the so-called Gröbner deformation techniques. Rings and algebraic varieties defined by means of determinants are among the most classical objects in commutative algebra, algebraic geometry and invariant theory. By the end of the the eighties the time was ripe for the computation of Gröbner bases of determinantal ideals. We will tell the tale of how (universal) Gröbner bases of determinantal ideals were identified and the key role played by Bernd Sturmfels and his collaborators in this enterprise.
Paper Structure (11 sections, 8 theorems, 33 equations)

This paper contains 11 sections, 8 theorems, 33 equations.

Key Result

Corollary 5.2

Let $D$ be any initial ideal of $I_m(X)$. Then:

Theorems & Definitions (13)

  • Corollary 5.2
  • Remark 5.4
  • Example 5.5
  • Corollary 5.6
  • Remark 5.8
  • Proposition 5.9
  • Remark 5.10
  • Lemma 6.1
  • Lemma 6.2
  • Lemma 7.1
  • ...and 3 more