3:45PM: The Maximal Rank TheoremJoe HarrisThe BrillNoether theorem establishes a fundamental link between the classical notion of a curve in projective space, given as the zero locus of polynomials, and the (relatively) modern notion of an abstract curve. Specifically, it tell us when and how a general abstract curve can be embedded in P^r. But that’s just the opening line of the story: having embedded our abstract curve in projective space, we can ask about the geometry and algebra of the image. In particular, we ask what sort of polynomial equations define the image — what their degrees are, and how many of them there are. The Maximal Rank Conjecture, recently proved by Eric Larson, gives the answer to this question. In this talk, I’ll describe the moving parts of Larson's proof (several of which are interesting theorems in their own right), and how they fit together to resolve the conjecture.

5:00PM: Linkage, Curves, and Koszul homologyJustin ChenWe conclude the linkage portion of the student seminar, by completing the proof of the theorem of LazarsfeldRao that general curves of high degree are minimal in their linkage class. Time permitting, we will also discuss how Koszul homology behaves under linkage, including properties like being strongly CohenMacaulay or sliding depth.
