18.726 Algebraic Geometry

advertisement
MIT OpenCourseWare
http://ocw.mit.edu
18.726 Algebraic Geometry
Spring 2009
For information about citing these materials or our Terms of Use, visit: http://ocw.mit.edu/terms.
18.726: Algebraic Geometry (K.S. Kedlaya, MIT, Spring 2009)
Problem Set 2 (due Friday, February 20, in class)
Please submit exactly twelve of the following exercises, including all exercises marked
“Required”.
1. (Required) Prove that Set and its opposite category are not equivalent, by finding an
arrow-theoretic property satisfied by Set but not by its opposite, or vice versa. (Many
solutions are possible.)
2. Prove that the sheafification functor from presheaves on a topological space X to
sheaves on X, and the forgetful functor from sheaves to presheaves, form an adjoint
pair.
3. (Required)
(a) Complete the proof of the basis lemma (“sheaves” handout) in the case of a nice
basis.
(b) Complete the proof of the basis lemma in general.
4. Let i : Z ֒→ X be an inclusion of topological spaces in which Z carries the subspace
topology. Let F be a sheaf on X.
(a) If Z is open, prove that i−1 F may be canonically identified with the restriction
F |Z .
(b) If Z = {x}, prove that i−1 F may be canonically identified with the stalk Fx .
5. (Required if you’ve never done it before) Prove the five lemma (“abelian sheaves”
handout).
6. (Required if you’ve never done it before)
(a) Complete the proof of the snake lemma (“abelian sheaves” handout).
(b) Let
�
0
A0
B0
�
g0
f0
�
0
�
�
1
�
0
h2
�
A3
0
C2
�
g2
f2
�
�
�
B2
�
0
h1
�
A2
�
�
C1
�
g1
f1
�
0
0
�
B1
�
�
h0
�
A1
�
0
C0
�
B3
�
�
C3
be a commutative diagram in which the rows are exact and the columns are
complexes. Use the snake lemma to show that
ker(h1 ) δ ker(f2 )
ker(g2 )
ker(h2 )
ker(f1 )
ker(g1 )
→
→
→
→
→
im(f0 )
im(g0 )
im(h0 )
im(f1 )
im(g1 )
im(h1 )
is exact, where δ is defined as in the snake lemma, and the other maps are induced
naturally by the horizontal arrows. (This will later give us the long exact sequence
in homology.)
7. (a) Let f ∗ : C1 → C2 and f∗ : C2 → C2 be an adjoint pair of functors, where C1 and C2
are abelian categories. Prove that f ∗ is right exact and f∗ is left exact.
(b) Use this to prove that as functors from ModR to itself (for any given ring R),
Hom(X, ·) is left exact and X ⊗R · is right exact. (I.e., prove that these two form
an adjoint pair.)
8. The Taylor series map gives a ring homomorphism from the germs at 0 of the sheaf
of holomorphic functions on Cn to C�x1 , . . . , xn �. Prove that this map is injective,
and that its image consists of the power series which converge on some open polydisc
around 0.
9. Do Hartshorne II.1.3, but for (b), instead of the example given in class, make an
example on the space {1, 2, 3} with topology generated by {1, 2}, {2, 3}.
10. (Required)
(a) Prove Hartshorne II.1.7 by checking that formation of kernel, image, and cokernel
of a morphism of abelian sheaves commute with passage to stalks.
(b) Prove that abelian sheaves on a fixed topological space form an abelian category
in which the categorical kernel, image, and cokernel coincide with the notions we
defined.
11. Prove that a preadditive category with finite products is additive, that is, the product
can be naturally equipped with a biproduct structure.
12. A topological space is quasicompact if every open cover admits a finite subcover. (The
term compact is usually reserved for a space which is not just quasicompact but also
Hausdorff.)
(a) Recall that for any ring R, Spec(R) is quasicompact. (We did this in class, so you
don’t have to write anything here.)
(b) Prove that if R is a noetherian ring, then any subset of Spec(R) is quasicompact.
(c) Prove that (b) can fail if R is not noetherian. (Hint: construct a ring in which
Spec(R) contains an infinite subset carrying the discrete topology.)
2
13. (Required) Describe Spec Z by listing:
(a) the points;
(b) the open sets;
(c) the sections of the structure sheaf over each open set.
14. (a) What is the maximum number of elements of Z which do not have the same value
at any point of Spec(Z)?
(b) Same question with Z replaced by the ring Z[i] of Gaussian integers?
15. (Required) Hartshorne II.2.1 and II.2.2 (these count as one exercise).
16. This exercise is an arithmetic analogue of the fact that the complement of the origin in
A2 is not an affine algebraic variety. Let X be the locally ringed space obtained from
Spec Z[x] by removing the point (2, x).
(a) Prove that Γ(X, OX ) = Z[x]. (Hint: cover X with the distinguished opens D(2)
and D(x) of Spec Z[x].)
(b) Use (a) to show that X is not affine.
17. Hartshorne II.2.10 or Hartshorne II.2.11 (but not both).
3
Download