Steve Maguire [email] (UIUC Math, 1-3PM) Higher-Dimensional Algebraic Geometry (Part 1) Abstract: I will give a lecture on Chapter 2 from Olivier Debarre's book titled Higher-Dimensional Algebraic Geometry. Chapter 2 covers parametrizing morphisms. We will first learn to parametrize all rational curves from P1 to PN. These morphisms of degree d form a quasi-projective variety Mord(P1,PN). We learn that these morphisms fit together to give us a universal morphism. We then obtain Mor(P1,PN), which is a locally Noetherian disjoint union of Mord(P1,PN) for d ≥ 0. We then generalize to the space Mor(Y,X) where Y is a projective variety and X is quasi-projective. We state and prove that the tangent space to Mor(Y,X) at [f] is isomorphic to H0(Y, Hom(f*ΩX, OY)). We then look at the local structure of Mor(Y,X) when X and Y are both projective. We begin the proof that Mor(Y,X) at [f] is locally defined by h1(Y,f*TX) equations in a nonsingular variety of dimension h0(Y,f*TX). I am left to prove that the dimension of any irreducible component of Mor(Y,X) through the point [f] is at least h0(Y,f*TX) - h1(Y,f*TX). We will continue with this section next week. All graduate students are welcome to attend as this is a friendly working environment. |
|