Professional Documents
Culture Documents
RS 14
RS 14
RS 14
⇤
Exercise 56.4. Use the following hint to generalise the p = 1 proof of the Proposition to the
case of p > 1: let f = (fi0 ,...,ip ) 2 Z p (U , E) and define the element g of C p 1 (U , E) by
X
gi0 ,...,ip 1 = ( 1)p j fi0 ,...,ip 1 ,j . (56.3)
j2I
Show that g = f .
57. Vanishing results for simply connected RS.
Theorem 57.1. For a simply connected RS X we have that
H 1 (X, C) = 0, H 1 (X, Z) = 0.
Proof. Let us prove the first statement. We have to show, for any cover U and any cocycle
c 2 Z 1 (U , C), that c splits, namely it is a coboundary c = g for g 2 C 0 (U , C). Clearly
c 2 Z 1 (U , E) and, since H 1 (U , E) = 0, we have that c = f for f 2 C 0 (U , E). So, we have that
cij = fj fi on Ui \ Uj , hence 0 = dcij = dfj dfi , therefore it exists ! 2 E (1) (X) such that
! = dfi on Ui . Clearly ! is closed, so it is exact on the simply connected RS X, i.e. ! = df for
f 2 E(X). Define the cochain g in C 0 (U , E) by gi = fi f . Since dgi = dfi df = 0 on Ui , the
cochain g is actually in C 0 (U , C), and clearly g = c. ⇤
Exercise 57.2. Prove that H 1 (X, Z) = 0 using similar steps as in the previous exercise. Hint:
instead of d(·) use the exp(2⇡i·).
28
58. Leray theorem.
Theorem 58.1. Let F be a sheaf of abelian groups on the topological space X and U = (Ui )i2I
an open covering of X such that H 1 (Ui , F) = 0 for all i 2 I. Then
H 1 (X, F) ' H 1 (U , F). (58.1)
Proof. See [F] §12.8 ⇤
Remark 58.2. In the computation of the first Čech cohomology group of C⇤ with coefficients in
the sheaf Z given in §37 the open covering U satisfied the condition of the previous theorem,
therefore we can conclude that
Proposition 58.3. H 1 (C⇤ , Z) ' Z.
Exercise 58.4. Prove that H 1 (C \ {p1 , . . . , pn }, Z) ' Zn .
59. The skyscraper sheaf and the fundamental short exact sequence. See whiteboard
or [F] §16.7.
Exercise 59.1. Let D be a divisor on the RS X. Show that the stalks at Q 2 X of OD and
OD(Q)Q are identical.
Exercise 59.2. Let X be a Riemann surface, D a divisor on X, and P a point of X. Let z be a
local coordinate in a neighbourhood V of P with z(P ) = 0. For a neighbourhood U of P , let U
be the map that associates to a meromorphic function f in OD+P (U ) the coefficient of z k 1 in
its Laurent expansion at z ⇠ 0, where D(P ) = k. For U an open subset of X not containing P ,
let U be the zero map. Show that one has a short exact sequence of sheaves
◆
0 ! OD ! OD+P ! CP ! 0,
where ◆ denotes the inclusion of OD (U ) in OD+P (U ). Thanks to the previous exercise, it is
sufficient to check the exactness of the sequence of stalks at P .
29