Implementing an Algorithm for the Quillen-Suslin Theorem

Troels Windfeldt, Denmark

Wednesday October 25th, 10:30am in IRMACS 10908.

Abstract: The Quillen-Suslin Theorem is a prominent theorem in commutative 
algebra that asserts every projective module over a polynomial ring is 
free. It was conjectured be Serre in 1954, and proved independently by 
Quillen and Suslin in 1978. I will present an algorithm by Logar and 
Sturmfels to compute a basis of a projective module over a polynomial 
ring. The motivation for implementing the algorithm comes from geometric 
modeling. In particular from the desire to be able to compute mu-bases 
for rational surfaces. I will begin the talk by explaning this connection.