$\mathcal{O}_{\mathsf{Proj} \: A}(\mathsf{Proj} \: A)=A$?

92 Views Asked by At

It's very well known that if one takes an affine scheme $X=\mathsf{Spec} \: A$, then $\mathcal{O}_X(X)=A$. Now my question is if the same works for a scheme $X=\mathsf{Proj} \: A$.

1

There are 1 best solutions below

3
On BEST ANSWER

This is not true. For instance, projective space over a field $k$ is defined as $\Bbb P^n:=\operatorname{Proj}k[x_0,\dots,x_n]$, but it's a basic fact that $\Gamma(\Bbb P^n,\mathcal O_{\Bbb P^n})=k$.