BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Department of Mathematics - ECPv5.7.0//NONSGML v1.0//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-WR-CALNAME:Department of Mathematics
X-ORIGINAL-URL:https://math.sciences.ncsu.edu
X-WR-CALDESC:Events for Department of Mathematics
BEGIN:VTIMEZONE
TZID:America/New_York
BEGIN:DAYLIGHT
TZOFFSETFROM:-0500
TZOFFSETTO:-0400
TZNAME:EDT
DTSTART:20210314T070000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:-0400
TZOFFSETTO:-0500
TZNAME:EST
DTSTART:20211107T060000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20210503T100000
DTEND;TZID=America/New_York:20210503T110000
DTSTAMP:20210613T153326
CREATED:20210420T185508Z
LAST-MODIFIED:20210420T185508Z
UID:19563-1620036000-1620039600@math.sciences.ncsu.edu
SUMMARY:Alban Quadrat\, Sorbonne University\, Paris\, France\, An introduction to the Quillen-Suslin theorem: algorithms and applications
DESCRIPTION:In 1955\, Serre conjectured that every row vector with entries in a commutative polynomial ring R=k[x_1\, …\, x_n] over a field k\, admitting a right inverse over R\, could be completed into a square matrix whose determinant is 1. That conjecture was independently proved by Quillen and Suslin in 1976 and is nowadays called the Quillen-Suslin theorem. Within module theory\, the Quillen-Suslin theorem asserts that every finitely generated projective R-module is free and the computation of a completion is equivalent to the computation of a basis of the free module. \nDifferent effective proofs of the Quillen-Suslin theorem have been given in the literature. \nThe first purpose of this talk is to explain the main ideas of an effective proof that follows a work of Logar and Sturmfels. We shall then demonstrate its implementation in the Maple package QuillenSuslin. Finally\, we shall show different applications of the Quillen-Suslin theorem to mathematical systems theory (e.g.\, computation of flat outputs of functional linear systems\, (Serre) reduction and decomposition problems\, Lin-Bose’s conjectures\, computation of (weakly) doubly coprime factorizations of multidimensional systems). \nAll the main results and algorithms will be illustrated by explicit examples. \nThis work was done in collaboration with my former PhD student Anna Fabianska. \n\nZoom link: https://ncsu.zoom.us/j/96727369756?pwd=Nkc2c0g1aHRqcVM4Qzl3dktURjR3QT09
URL:https://math.sciences.ncsu.edu/event/alban-quadrat-sorbonne-university-paris-france-an-introduction-to-the-quillen-suslin-theorem-algorithms-and-applications/
LOCATION:Zoom
CATEGORIES:Symbolic Computation Seminar
END:VEVENT
END:VCALENDAR