For a project, I am reading a paper that assumes that the reader knows a great deal more algebraic geometry than I do (I've just begun studying the subject). I need to understand what $\operatorname{Proj}$ is, at least intuitively, so that I can go on with the paper, or at least take a look at some references and understand more about $\operatorname{Proj}$ without having to read a hundred pages of algebraic geometry first. Is there anybody that could help me, please?
1 Answers
$Proj$ is to $Spec$ as projective varieties are to affine varieties. To elaborate on this, just as $Spec$ takes a ring and gives you an affine scheme by putting a structure sheaf on the space of prime ideals with the Zariski topology, $Proj$ takes a graded ring and gives you a (general) scheme by putting a structure sheaf on the space of homogeneous prime ideals with the Zariski topology. I'm leaving out some details, but you said you wanted an "intuitive" understanding.
If you wanted a reference that could show you these constructions without requiring a huge amount of algebraic geometry background (in the sense that if you know commutative algebra, you can freely read the book and stop to look something up if it's unfamiliar to you), then I would recommend The Geometry of Schemes by Eisenbud and Harris.
- 29,795
- 1,900
isites.harvard.eduis broken, but the book can also be found at doi:10.1007/b97680. – The Amplitwist Jun 20 '22 at 14:17