Quadratic Gorenstein rings and the Koszul property

Abstract: 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.

commutative algebra

Audience: researchers in the topic

Fellowship of the Ring

Series comments: Description: National Commutative Algebra Seminar

You have to register to attend the seminar; the registration link is on the webpage. But you only have to register once. Once you register for a seminar, your registration will be carried over (in theory!) to future seminars.