University of WisconsinMadison

Math 763 

About the course: This is an introduction to the basic ideas and methods of algebraic geometry. It will introduce the main objects of study of the subject, affine and projective varieties, and then we will concentrate on curves, divisors on curves, etc. A secret goal will be to get to state and prove RiemannRoch for curves. We will try to emphasize examples over the theory.
We will use a fairly algebraic approach, hence a good control of commutative ring theory (at a minimum at the level of 741/742) is needed.
Approximate syllabus:
Lectures:
There will be two 75 minute lectures per week:
Text: The textbook for the course is
Office hours:
Tuesdays 1:303:00 in Van Vleck 605 and by appointment.
Grading: The term grade will be primarily based on homework. I may decide to assign some final reading and exposition projects. This will be discussed later in the semester.
Homework: Homework will be due a week after it is assigned, during lecture. All claims that you make in your homework MUST BE PROVED in order to receive credit.
Homework assignments:
Homework assignment 1, due September 15: Hartshorne §1.1: 1, 2, 5, 8, 9, 11
Homework assignment 2, due September 27: Hartshorne §1.2: 4, 6, 11, 13, 14, 15, 16
Homework assignment 3, due October 6: Hartshorne §1.3: 1, 2, 5, 6, 7, 15, 21
Homework assignment 4, due November 3: Hartshorne §1.3: 17; §1.4: 1, 3, 5, 6, 7
Also do the exercise assigned in class: blow up the singular point on z^2  yx^2 +4y^{n+1} = 0 and further singular points on the resulting blownup surfaces until the resulting surface is no longer singular, and draw the dual graph of the exceptional locus.
Homework assignment 5, due November 29: Hartshorne §1.4: 9; §1.5: 1, 3, 4, 7, 9, 10; §1.6: 1, 2, 3, 4, 6
Homework assignment 6, due December 8: §1.7: 1, 2, 4, 5, 6, 8
Homework assignment 7, due December 15: Solve the following two problems:
a) Assume that an elliptic curve (i.e., a smooth projective curve of genus 1) is embedded by a complete linear system in P^3. Also assume that the resulting curve in P^3 is a complete intersection of two hypersurfaces. Use the RiemannRoch theorem to find the degrees of these two hypersurfaces.
b) For a curve C of genus g>=2, it is a known fact (that we won't prove) that the divisor 2*K_C gives an embedding into a projective space P^N. Determine N as a function of g.