# Math 8174 (Fall 2017) Algebraic curves and Picard groups

## Goals of the course

We will develop the necessary foundations from algebraic geometry to state and prove Deligne's "universal coefficients theorem" for algebraic curves. The theorem states that there is a universal cohomology theory — the Picard group — for curves satisfying some rough algebraic analogues of excision and homotopy invariance. In order to see the universality of the Picard group, we must consider it not just as a group but as an abelian variety.

One consequence of the universal coefficients theorem is a classification of abelian covers of algebraic curves. This is known as "geometric class field theory" because it is analogous to the classification of abelian extensions of number fields in class field theory.

The course will use the language of schemes, which will be assumed. It is possible to get something out of this course without prior experience with schemes, especially in the first component on sheaf cohomology. Later parts of the course will use schemes and commutative algebra more heavily. Category theory will be used throughout.

Here are the main topics I plan to cover:

1. Sheaf cohomology (Hartshorne, Ch. 3)
2. Algebraic curves (Hartshorne, Ch. 4; Mumford)
• Serre duality on curves (Altman & Kleiman, Ch. 5; Tate)
3. Construction of the Picard scheme (Grothendieck; Kleiman; Serre)
4. Universal coefficients (Deligne; Serre)

## Logistics

Classroom: ECCR 116
Meeting times: MWF, 12 – 12:50
Office: Math 204
Office hours: calendar

## References

The following are the references I'll be consulting; I will probably add to this list as the semester goes on. I will assign readings from some of them, but not necessarily all. All are available online, either from the arXiv or from Springer Link. Note that some are in French.

## Syllabus

1. The Picard group
2. Stacks and Grothendieck topologies
3. Curves
• Reading: Altman & Kleiman, §VIII.1
• Exercises: Hartshorne, IV.1.1, IV.1.3, III.1.6, III.1.7, III.1.8
• Reading: Hartshorne, §§IV.2–5. As of Nov. 17, we have covered some of §§IV.2, IV.3, and IV.4 already. We will cover the group law in §IV.4 when we discuss the Jacobian after Thanksgiving.
• Exercises: Hartshorne §IV.2.1, IV.2.2 (how does this relate to our classification of genus 2 curves from class?), IV.2.5, IV.2.7 (this is an important special case of the universal coefficients theorem), classify all genus 3 curves. Submit the bold exercises on Monday, Nov. 27.
• Lecture notes: Curves
4. October 6: coherent cohomology
• Reading: Hartshorne, §III.3 and §III.5
• Exercises: Hartshorne, III.3.1, III.3.2, III.4.1, III.4.7. Submit these on Monday, Oct. 16.
• Exercises: Hartshorne, III.5.1, III.5.2, III.5.3 (a), III.5.5
• Exercise: Hartshorne, III.3.7. Most of this will be done in class on Oct. 18. Finish the details and submit on Monday, Oct. 30. You may want to make use of these exercises as lemmas.
• Exercise: Prove Bézout's theorem. Submit on Monday, Oct. 30 (or later, if that's not enough time).
• Lecture notes: Coherent cohomology
5. September 29: Čech cohomology
• Exercises: Hartshorne, §III.4, #4, 5, 6, 11. Exercises 4 and 11 will be discussed in class. Submit #5 and #6 on Monday, Oct. 9. These exercises don't involve schemes.
• Exercise: Hartshorne, §III.4, #10. This is really an exercise about torsors, not Čech cohomology. It will require some comfort with algebraic concepts from last semester, e.g., derivations and differentials.
• Lecture notes: Čech cohomology
6. September 11: sheaf cohomology
• Reading: Tohoku, Théorème 3.6.5 (this is Theorem III.2.7 in Hartshorne)
• Reading: for some background on homological algebra, see Rotman, §6.2.
• Exercise: Hartshorne, §III.2, #2.1, 2.2, 2.6.
• Exercise: Hartshorne, §III.2, #2.7. Do this using the Godement resolution and using torsors.
• Exercise: show that the category of sheaves of abelian group usually does not have enough projectives
• Lecture notes (updated): sheaf cohomology
7. September 6: derived functors and sheaf cohomology