Schemes and locally ringed spaces

637 Views Asked by At

I've been reading Vakil's notes on Algebraic Geometry on locally ringed spaces and there's a part that confuses me. There's an exercise on page 135 that says that says that the stalk of an affine scheme Spec$R$ at $p$ is the local ring $R_p$. This is clear. What is not, is that a few lines later Vakil says that this shows that all schemes are locally ringed spaces. Could you please help me see it?

Perhaps this makes more clear what it is that confuses me. If $p \in X$ has two different affine neighborhoods then what would be the maximal ideal of the stalk?

1

There are 1 best solutions below

1
On BEST ANSWER

You should prove that stalks can be computed locally.

That is, suppose $\mathcal{F}$ is a sheaf on a space $X$, $U$ is an open set in $X$, $\mathcal{F}|_U$ is the restriction of the sheaf $\mathcal{F}$ to $U$, and $p\in U$. Then the stalk of $\mathcal{F}$ at $p$ is isomorphic to the stalk of $\mathcal{F}|_U$ at $p$.