0
$\begingroup$

Let $X$ be a scheme. If $X$ happens to be affine then is it true that the canonical morphism

$$X\to\mathrm{Spec}\;\Gamma(X,\mathcal{O}_X)$$

is an isomorphism?.

$\endgroup$
  • 1
    $\begingroup$ I think that's what being an affine scheme is all about. $\endgroup$ – Angina Seng May 29 '19 at 17:22
  • $\begingroup$ I suppose the definition of an affine scheme is that there is an (not necessarily canonical) isomorphism of locally ringed spaces $X\cong \mathcal{O}_{\mathrm{Spec}\;A}$ for a ring $A$ (then of course $A\cong\mathrm{Spec}\;\Gamma(X,\mathcal{O}_X)$) ? $\endgroup$ – Dat234 May 29 '19 at 17:26
4
$\begingroup$

Yes. Moreover, this property characterizes affine schemes among all locally ringed spaces. See this MO comment for a proof sketch.

$\endgroup$
  • $\begingroup$ It seems that the link you provided above just contains the assertions with no proof. Can you clarify it a bit more for me? Thank you. $\endgroup$ – Dat234 May 30 '19 at 1:55

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.