Timeline for Clean Proofs of Properties of Projective Space
Current License: CC BY-SA 3.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Nov 3, 2011 at 3:40 | comment | added | Anton Geraschenko | It depends what you mean by "the Proj construction". It also has a universal property (which is nice-ish to work with) and an open cover which shows it's a scheme (which is not so nice to work with). | |
| Oct 22, 2011 at 3:44 | vote | accept | Mikhail Gudim | ||
| Oct 22, 2011 at 3:43 | comment | added | Mikhail Gudim | @konb: +1 - I also hate Proj construction :) | |
| Oct 18, 2011 at 23:25 | comment | added | Yosemite Sam | my personal taste is to view the first universal property you mention as defining projective space. After all I think of it as a moduli space of lines in affine space. But once you've defined it you'd like to prove (for example) that it is a scheme! For this, you need to construct an open atlas. The first one which comes to mind shows that projective space is a coequalizer of the spaces Anton uses in the second universal property. But I still hate the Proj construction... | |
| Oct 18, 2011 at 9:01 | comment | added | Martin Brandenburg | +1, very concise answer. | |
| Oct 18, 2011 at 6:34 | history | answered | Anton Geraschenko | CC BY-SA 3.0 |