Student Commutative Algebra

Last week, we covered the proof of the Main Theorem 3.8 in the Cohen-Macaulay algebras paper. This will be used, together with Gorenstein Liaison Theory (as covered in Migliore's book) to prove the Main Thm 1.4 of the "Regularity of Line Configurations" paper, whose proof also depends the definition of Castelnuovo-Mumford regularity in terms of Tor. I will present a simple toy example of their theorem (way simpler than their seven intended AG-style applications), and then proceed onto the proof; I'll try to justify some, if not all, of the claims they make about Liaison Theory and/or homological algebra. Speaker(s): Robert Walker (University of Michigan)