Implementing an Algorithm for the Quillen-Suslin Theorem
Troels Windfeldt, Denmark
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.