2
$\begingroup$

What are stalks of (structure sheaf of) affine scheme Spec $\mathbb{Z}/(60)=\{(2),(3),(5)\}$? What are its global sections?

  • 4
    Schemes don't have stalks; sheaves have.2012-11-16
  • 1
    ?? I mean the structure sheaf of the affine scheme.2012-11-16
  • 4
    and what have you tried?2012-11-16

1 Answers 1

8

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)

  • 0
    Thank 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
  • 0
    Second 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
  • 0
    Thank 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