[Math] What does Hartshorne do wrong

algebraic-geometrybig-listschemessoft-question

I'm currently trying to learn algebraic geometry from Hartshorne's Algebraic Geometry. I've often heard it said, both on MathOverflow and in my department, that Hartshorne's treatment of certain topics is objectionable (especially in the foundational chapters II and III). Here I'm not talking about the mechanics of the presentation — being too terse, leaving important theorems to the exercises, and so on. Rather, I take these comments to mean that he develops certain parts of the theory in ways that are philosophically questionable, or technically "hacky." In particular, his treatment of sheaves and cohomology is often singled out, though this is far from the only thing I've heard people grumble about.

What parts of the theory does Hartshorne do in a way that might be considered morally "wrong," and what would a "correct" treatment look like?

Best Answer

It seems that Hartshorne gets the definition of immersion "wrong." On page 120, section II.5, he defines an immersion to be an open immersion followed by a closed immersion. One might argue that a better definition is that an immersion is a closed immersion followed by an open immersion.

Hartshorne's definition creates problems, because according to his definition, a composition of immersions may not be an immersion. In particular, this makes exercise II.5.12 very awkward. See this answer for further discussion.

Related Question