I am tired of reading Harder’s chapter on sheaf theory. My goal is to learn coherent sheaves. I got stuck at the section where he gives the conditions a presheaf can be a sheaf. He wants to construct a morphism between two products, and He does this using a fact he proved earlier; one can construct such a morphism from a map of the set of indices that goes in the opposite direction, in this case, if there is also a morphism that relates and I actually got stuck here, and not on the sheaf definition even though I still don’t understand the double arrows. I understand the earlier construction up to (and including) this commutative diagram: But I don’t get how the existence of a map finishes the construction of . I have a feeling that the inverse arrow from to the products finishes the proof, but it is not clear to me how. After this Harder discusses a concrete example of a sheaf–complex manifold etc., which is something I have seen in Neeman’s book. Along the way, actually gives a brief exposition on complex spaces, something that took Neeman a chapter to introduce. I may look into it later, but right now, it is irrelevant to my goal. Finally, before finishing off the chapter by discussing that sheaves with values in category of abelian groups form an abelian category, he talks about sheafification and some functors he calls . The following chapter is Cohomology of Sheaves. But I thought the writing was a bit wordy and confusing at times.
I figured, why not actually study Serre’s FAC-Faisceaux Algébriques Cohérents (algebra of coherent beams). My Prof. suggested I read it but then discovered that I can’t read French. Before suggesting the English version, he sent me a list of replacements, I suppose. He was quick to accompany those with the English translation of FAC, which he soon after discovered. Anyway, I have decided to use those books as a back up and actually delve into FAC. I have read that Serre’s writing is particularly concise and clear. This will be my first reading of his work. And the idea doesn’t sound that crazy since my prof actually had recommended it anyway.
On a similar note, I stumbled upon this mathSE question on reading the masters. No surprises; Serre’s GAGA and FAC were mentioned. But apart from those, I was delighted to see that Matt E[merton] gave an answer. I really enjoy his detailed answers. Here are the papers he suggested:
- Zariski’s paper on Simple points
- Deligne and Mumford’s paper on Moduli spaces of curves (at least after Hartshorne I, II, and III)
- Mumford’s book Lectures on Curves on Algebraic Surfaces (“develops a lot of fantastic material and intuitions”)
- Serre’s GAGA
- Grothendieck’s paper on Vector bundles on (“should be read before…”)
- Atiyah’s paper on Vector bundles over an elliptic curve
- Graber, Harris, Starr’s paper Families of rationally connected varieties (proves that “the total space of a family of rationally connected varieties over a rationally connected base is rationally connected.”)
Hodge theory stuff:
- Clemens and Griffith’s paper The Intermediate Jacobian of the Cubic Threefold (shows that a smooth cubic threefold in is not rational)
- Griffith’s Variations on a theorem of Abel (on Abel-Jacobi theorem in concrete geometric terms)
- Deligne’s note Theorie de Hodge I and his paper Theorie de Hodge II (“mark the introduction of Hodge theory into modern alg. geometry as a fundamental tool.”
I may have to learn to read math in French. Definitely worth it, given that EGA, SGA (much of it already translated), Serre’s, and Deligne’s works are in French. Then I don’t also have to luck out on finding an English translation of some paper. Luckily, FAC is available in English.
This turned out to be a long post than I expected. (ノ>ノ). Alas, it will a page I will come back to a lot.