Implicitization techniques: easy algorithms, deep proofs
Presenter
August 24, 2012
Keywords:
- algebraic combinatorics
- commutative algebra
- cluster algebra
- syzygies
- implicitization
- rational surfaces
- monomial ideals
- Macaulay2
- computational commutative algebra
MSC:
- 13F60
- 13Fxx
- 13-xx
- 05-xx
- 14J26
- 14J17
- 14J10
- 14Jxx
- 14-xx
- 13Pxx
- 14Qxx
- 14Q05
Abstract
We will describe the use of linear syzygies for the implicitization of rational surfaces. These algebraic techniques, based on the theory of approximation complexes due to Jürgen Herzog, Aron Simis and Wolmer Vasconcelos, were introduced in this setting by Laurent Busé, Marc Chardin and Jean Pierre Jouanolou. Their work was inspired by the "practical" method of moving curves, proposed by Thomas Sederberg and Falai Chen. We will focus on exploiting the monomial structure of the polynomials defining the parametrization, following joint work with Nicolás Botbol and Marc Dohm, and we will concentrate in expressing the theoretical results into very concrete terms. Implementations in Macaulay2 were developed by Nicolás Botbol, Marc Dohm and Manuel Dubinsky.