Special Events
Parent Program:   

Location:  SLMath: Online/Virtual 
Mike Stillman, Cornell University
Quadratic Gorenstein rings and the Koszul property (joint work with Matt Mastroeni and Hal Schenck)
A graded ring R = S/I is Gorenstein (S = polynomial ring, I = homogeneous ideal) if the length of its free resolution over S is its codimension in S, and the top betti number is one. R is called Koszul if the free resolution of k = R/(maximal homogeneous ideal) over R is linear. Any Koszul algebra is defined by quadratic relations, but the converse is false, and no one knows a finitely computable criterion. Both types of rings have duality properties, and occur in many situations in algebraic geometry and commutative algebra, and in many cases, a Gorenstein quadratic algebra coming from geometry is often Koszul (e.g. homogeneous coordinate rings of most canonical curves).
In 2001, Conca, Rossi, and Valla asked the question: must a (graded) quadratic Gorenstein algebra of regularity 3 be Koszul?
In the first 45 minutes, we will define these notions, and give examples of quadratic Gorenstein algebras and Koszul algebras. We will give methods for their construction, e.g. via inverse systems. After a short break, we will use these techniques to answer negatively the above question, as well as see how to construct many other
examples of quadratic Gorenstein algebras which are not Koszul.
A graded ring R = S/I is Gorenstein (S = polynomial ring, I = homogeneous ideal) if the length of its free resolution over S is its codimension in S, and the top betti number is one. R is called Koszul if the free resolution of k = R/(maximal homogeneous ideal) over R is linear. Any Koszul algebra is defined by quadratic relations, but the converse is false, and no one knows a finitely computable criterion. Both types of rings have duality properties, and occur in many situations in algebraic geometry and commutative algebra, and in many cases, a Gorenstein quadratic algebra coming from geometry is often Koszul (e.g. homogeneous coordinate rings of most canonical curves).
In 2001, Conca, Rossi, and Valla asked the question: must a (graded) quadratic Gorenstein algebra of regularity 3 be Koszul?
In the first 45 minutes, we will define these notions, and give examples of quadratic Gorenstein algebras and Koszul algebras. We will give methods for their construction, e.g. via inverse systems. After a short break, we will use these techniques to answer negatively the above question, as well as see how to construct many other
examples of quadratic Gorenstein algebras which are not Koszul.
Quadratic Gorenstein Rings And The Koszul Property
Notes 1


Notes 2

Quadratic Gorenstein Rings And The Koszul Property
H.264 Video  25008_28363_8289_FOTR_3_Quadratic_Gorenstein_Rings_and_the_Kozul_Property.mp4 