What are stalks of (structure sheaf of) affine scheme Spec $\mathbb{Z}/(60)=\{(2),(3),(5)\}$? What are its global sections?
What are stalks of Spec $Z/(60)$?
-
4Schemes don't have stalks; sheaves have. – 2012-11-16
-
1?? I mean the structure sheaf of the affine scheme. – 2012-11-16
-
4and what have you tried? – 2012-11-16
1 Answers
Hint: By the Chinese Remainder Theorem, we have an isomorphism $\mathbb{Z}/60 \cong \mathbb{Z}/4 \times \mathbb{Z}/3 \times \mathbb{Z}/5$. The prime ideals are generated by $(2,1,1),(1,0,1)$ and $(1,1,0)$, so localization is easy.
I leave to you how to localize the leftmost factor (hint: since the prime ideal annihilates some the ring, the localization map should not be injective).
To find the stalk at $(2)$, that is, the local ring $(\mathbb{Z}/4 \times \mathbb{Z}/3 \times \mathbb{Z}/5)_{(2,1,1)}$, we are allowed to divide by anything of the form $(1,a,b)$ and $(3,a,b)$. This annihilates the second and third factor and leaves the first factor unchanged. So we are left with $\mathbb{Z}/4$. (the two last factors perish because we are allowed to divide by zero inside them)
-
0Thank you. In Vakil's FOAG notes (5.4.11,p131,line18), they are $Z/4,Z/3,Z/5$. It is wrong, isn't it? – 2012-11-16
-
0Second question(though it is minor): The prime ideals should be generated by $(2,1,1), (1,0,1),(1,1,0)$, shouldn't they? – 2012-11-16
-
1@Tom: Thanks, I was of course mistaken. I've edited my post. No, Vakil's right, see my edited answer. – 2012-11-16
-
0Thank you, I have understood! And the global sections are $\mathbb{Z}/(60)$, aren't they? – 2012-11-17
-
0@Tom: Yes, the global sections are $\mathbb{Z}/60$. Think of them as the product of the stalks. I've edited my answer again: it's clearer and more correct. – 2012-11-17