Schemes

A scheme is a locally ringed space with the property that every point has an open neighbourhood which is an affine scheme. A morphism of schemes is a morphism of locally ringed spaces. The category of schemes will be denoted $Sch$.

Related

When is a scheme over an affine scheme affine?

Question: Let $X$ be a scheme. Let ${\rm{Spec}}(R)$ be an affine scheme for some ring $R$. Suppose that there is a morphism of schemes $f:X\rightarrow{\rm{Spec}}(R)$. What properties should $f$ have so that $X$ is also an affine scheme? Or what conditions can make $X$ affine?Answer: If $f$ is an affine morphism, then $X$ is affine by definition.This is an "if and only if". If $X$ is affine, the so is $f$. See theorem 7.3.7 in Vakil's Foundations of Algebraic Geometry, or 29.11.3 and 29.11.4 in the Stacks Project.So in particular if $f$ is a closed immersion, then $f$ is affine such that $X$ is affine, for example.
2024-10-17 22:38:37
Get connected with us on social networks! Twitter

©2024 Guangzhou Sinephony Technology Co., Ltd All Rights Reserved