8
$\begingroup$

I have many questions about the very abstract concept of global $\mathbf{Proj}$. I am following Hartshorne's book Algebraic Geometry, where this concept is on II.7, page 160.

Let $(X, \mathcal{O}_{X})$ be a noetherian scheme and $\mathcal{S} = \bigoplus_{d \geq 0} \mathcal{S_{d}}$ a quasi-coherent sheaf of $\mathcal{O}_{X}$-modules, which has a structure of a sheaf of graded $\mathcal{O}_{X}$-algebras. Assume that $\mathcal{S}_{0} = \mathcal{O}_{X}$, that $\mathcal{S}_{1}$ is a coherent $\mathcal{O}_{X}$-module and that $\mathcal{S}$ is locally generated by $\mathcal{S}_{1}$ as an $\mathcal{O}_{X}$-algebra. Why this implies $\mathcal{S}_{d}$ is coherent for all $d \geq 0$?

For the construction of the global $\mathbf{Proj}$, for each affine subset $U = \mathrm{Spec} A$ of $X$, let $\mathcal{S}(U) = \Gamma(U, \mathcal{S}|_{U})$, which is a graded $A$-algebra. Then we have a natural morphism $\pi_{U}: \mathrm{Proj} \mathcal{S}(U) \rightarrow U$. Let $f \in A$ and $U_{f} = \mathrm{Spec} A_{f}$. Hartshorne says that since $\mathcal{S}$ is quasi-coherent we have $\mathrm{Proj} \mathcal{S}(U_{f}) \cong \pi_{U}^{-1}(U_{f})$. Why? I can not see that.

In my opinion, the global $\mathbf{Proj}$ is a very abstract concept that I can not get any concrete example of blowing up. Do you know a book where I can find concrete examples?

Thank you!

  • 0
    **Proj** is a very abstract, general and subtle construction. Probably the best introductory source is Eisenbud and Harris' *The Geometry of Schemes*. They have a good discussion of **Proj** and its relation to blowing-up.2012-01-16
  • 2
    I don't remember the examples given in The Geometry of Schemes, but you should try working out two examples by hand without looking them up. What happens if $X=Spec k$ for some field? Second, for an actual blow-up, you should be able to explicitly write down the ideal sheaf of a point on $\mathbb{P}^1$, so try following the definitions through for blowing-up a point.2012-01-17
  • 2
    The global Proj is not so abstract, but given your questions about it, it sounds as if you are not sufficiently far along in your study of quasicoherent sheaves and related topics to follow the construction. Before thinking about global Proj, have you worked through the exercise in Hartshorne (somewhere in the first half of Chapter II) about global Spec. The goal of the exercise is to establish an equivanlence between affine morphism $Y \to X$ and quasi-coherent sheaves of $\mathcal O_X$-algebras on $X$. If you haven't worked through this exercise you should. (Just as it wouldn't make ...2012-02-17
  • 0
    ... sense to study Proj of a graded ring before understanding the concept of Spec of a ring). Regards,2012-02-17

1 Answers 1