Escolar Documentos
Profissional Documentos
Cultura Documentos
INTRODUCTION
TO
CHARACTERISTIC CLASSES
AND
INDEX THEORY
Jean-Pierre Schneiders
w(
R eTX E
= X F)
]) =
.[ w(
[ ] E)
#( ^
w(
= F)
X)
(
(
X ;O TX
X(
D) td
)= ^
F
deg R ch
D X
+ ) =
1
X ;F
g (
UNIVERSIDADE DE LISBOA
Faculdade de Ciencias
Departamento de Matematica
Textos de Matematica, Volume 13,
Departamento de Matematica
Faculdade de Ciencias da Universidade de Lisboa, 2000
ISBN: 972-8394-12-8
INTRODUCTION
TO
CHARACTERISTIC CLASSES
AND
INDEX THEORY
Jean-Pierre Schneiders
UNIVERSIDADE DE LISBOA
Faculdade de Ciencias
Departamento de Matematica
2000
Authors address:
Laboratoire Analyse, Geometrie et Applications (UMR 7539)
Institut Galilee, Universite Paris 13
Avenue Jean-Baptiste Clement
F-93430 Villetaneuse, France
E-mail:
jps@math.univ-paris13.fr
URL:
<http://www-math.univ-paris13.fr/~jps>
iii
iv Preface
with results on the Euler class of a normal bundle which allow us to link the
Euler class of an oriented differential manifold with the one of its tangent
bundle.
The first part of Chapter 3 deals mainly with Stiefel-Whitney classes.
We define them in the Grothendieck way by means of projective bundles
and Euler classes of associated tautological bundles. Then, we establish the
pull-back and direct sum formulas. Thanks to the splitting principle, we
also obtain a formula for the Stiefel-Whitney classes of a tensor product. In
the second part of the chapter, we study in general the characteristic classes
of real vector bundles. We begin by classifying real vector bundles of rank
r by means of homotopy classes of maps with values in the infinite Grass-
mannian G,r . This establishes a link between the characteristic classes
of real vector bundles with coefficients in a group M and the elements of
H (G,r ; M ). By computing this last group for M = Z2, we show that the
modulo 2 characteristic classes of real vector bundles are polynomials in
the Stiefel-Whitney classes. We end by explaining the usual cohomological
classification of real vector bundles and deducing from it that line bundles
are classified by their first Stiefel-Whitney class. This allows us to give a
criterion for a real vector bundle to be orientable.
Chapter 4 is centered on Chern classes. We begin by adapting most of
the results concerning Stiefel-Whitney classes to the complex case. Next,
we consider specific results such as the Chern-Weil method of computing
Chern classes using the curvature of a connection. We also treat briefly of
the Chern character. The last part of the chapter is little bit technical. It is
devoted to Iversens construction of the local Chern character for complexes
of complex vector bundles (see [17]) and to its application to the definition
of a local Chern character for coherent analytic sheaves.
For more details on the three preceding chapters, the reader may consults
classical books on the theory of fiber bundles (e.g. [30, 20, 16]).
The last chapter of this book is about Riemann-Roch theorem. After
a short review of the finiteness and duality results for coherent analytic
sheaves, we reach the central question of this part i.e. how to compute
(X; F)
vii
viii Contents
Let X be a topological space and let Op (X) denote the category of open
subsets of X and inclusion maps.
f(U ) : F (U )
G(U )
1
2 1. Survey of sheaf theory
by the subgroup
C : f = 0 almost everywhere};
{f : U
the restriction morphisms being the obvious ones.
Definition 1.1.3. An abelian sheaf on X is an abelian presheaf F such
that
(a) we have
F() = 0;
(b) for any open covering U of an open subset U of X, we have the exact
sequence
U Y 0U Y
0
F(U ) F(V ) F(V W )
V U V,W U
where
U (s) = (rVF U (s))V U
and
0U ((sV )V U ) = (r(FV W )V (sV ) r(FV W )W (sW ))V,W U .
1.1. Abelian presheaves and sheaves 3
where the inductive limit is taken over the set of open neighborhoods of x
ordered by . We denote
F
rxU : F (U )
Fx
the canonical morphism and often use the shorthand notation sx for
F
rxU (s)
a:F
A(F )
defined by setting
[a(U )(s)]x = sx
for any x U . Then, A(F ) is an abelian sheaf and for any abelian sheaf
G there is a unique morphism g 0 making the
G and any morphism g : F
diagram
a
F D / A(F )
DD 0
D g
g D!
G
a x : Fx
A(F )x
for any x X .
Examples 1.1.9.
U 7 M.
MX (U ) = { : U
M : locally constant}.
U 7 Coker f(U ).
0 d
n d
CRn (U )
0 C ,Rn (U )
C ,Rn (U )
0
0 n d d
CX
0 C ,X
C ,X
0
d = +
2
such that 2 = 0, = 0, + = 0. If U is a convex open subset
of Cn , one checks by induction on n that the sequences
(p,0) (p,n)
pCn (U )
0 C,Cn (U )
C,Cn (U )
0
and
p (0,p) (n,p)
0
C n (U )
C,Cn (U )
C,Cn (U )
0
(p,0) (p,n)
pX
0 C,X
C,X
0
and
(0,p) (n,p)
pX
0 C,X
C,X
0
Proposition 1.1.13.
(a) Let (Ix )xX be a family of injective abelian groups. Then, the abelian
sheaf I defined by setting
Y
I(U ) = Ix
xU
F
I
with the property that that for any x0 A there is an open neighborhood
U0 of x0 in X and s F(U0 ) such that
x = s x
supp() = {x A : x 6= 0}.
8 1. Survey of sheaf theory
F(U )
(U ; F)
F|A (U ) = (U ; F)
supp(s)
Examples 1.3.2.
(a) The set X of all the closed subsets of X is clearly a family of supports
and we have
X (X; F) = (X; F)
for any abelian sheaf F.
(b) Let F be a closed subset of X. Then, the set F of all the closed
subsets of F is a family of supports. In this case we set for short
F (X; F) = F (X; F)
for any abelian sheaf F. Note that this special case allows us to recover
the general one. As a matter of fact, we have
(b) Let X be a Haussdorf space. Then, the set c of all compact subsets
of X is a family of supports. We set for short
c (X; F) = c (X; F)
Proof. The left exactness follows directly from the structure of kernels
in Shv (X). The existence of the right derived functor follows from Re-
mark 1.1.14.
Hk (X; F).
1.4. Flabby and soft abelian sheaves 11
is an epimorphism.
Examples 1.4.2.
(a) Any injective abelian sheaf is flabby.
is a flabby sheaf.
0
F
G
H
0
Examples 1.4.5.
(a) Assume X is normal. Thanks to Urysohns extension result, it is clear
that the abelian sheaf C0,X is -soft for any family of supports .
(b) If X is a differential manifold, it follows from the existence of partitions
p p
of unity that the abelian sheaves C ,X and DbX are -soft for any
(p,q ) (p,q )
family of supports . The same is true of the sheaves C,X and DbX
if X is a complex analytic manifold.
Definition 1.4.6. A family of supports is paracompactifying if
(a) any F is paracompact;
(b) for any F1 , there is F2 with F1 F2 .
Examples 1.4.7.
(a) If X is paracompact, then the family formed by the closed subsets of
X is paracompactifying.
(b) If X is a locally compact space, then the family formed by the compact
subsets of X is paracompactifying.
Proposition 1.4.8. Assume the abelian sheaf F is -soft and the family
is paracompactifying. Then, F is -acyclic. Moreover, if in the exact
sequence of abelian sheaves
0
F
G
H
0
F and G are -soft, then so is H.
Corollary 1.4.9 (de Rham and Dolbeault theorems).
(a) For any differential manifold X , we have the canonical isomorphisms
Hk (X; CX ) ' Hk ((X; C
k
,X )) ' H ((X; DbX ))
and
Hkc (X; CX ) ' Hk (c (X; C
k
,X )) ' H (c (X; DbX ))
for any k N.
(b) For any complex analytic manifold X , we have the canonical isomor-
phisms
(p,) (p,)
Hk (X; pX ) ' Hk ((X; C,X )) ' Hk ((X; DbX ))
and
(p,) (p,)
Hkc (X; pX ) ' Hk (c (X; C,X )) ' Hk (c (X; DbX ))
for any k, p N.
1.5. Cohomology of subspaces and tautness 13
Proof. Thanks to Examples 1.4.5 (b) and Examples 1.4.7, this follows di-
rectly from Remark 1.3.5 and Proposition 1.4.8.
Exercise 1.4.10. Let Bn denote the open unit ball of Rn. Show that for
n1 (
k C if k = 0
H (Bn ; CBn ) '
0 otherwise
Solution. Recall that for any convex open subset U of Rn, the Poincare
lemma for d shows that the sequence
0 n
(U ; CRn )
0 (U ; C ,Rn )
(U ; C ,Rn )
0
(X; F)
A (A; F|A)
is surjective.
F 7 R(A; F|A)
14 1. Survey of sheaf theory
F 7 (A; F).
(d) is the family of all closed subset X and A is both compact and
relatively Haussdorf.
Exercise 1.5.4. Let B n denote the closed unit ball of Rn. Show that for
n1 (
k C if k = 0
H (B n; CBn ) '
0 otherwise
|A (X; F)
(X; F)
and
(X; F)
A (A; F)
which induce similar morphisms at the level of derived functors.
1.6. Excision and Mayer-Vietoris sequences 15
In particular, for any abelian sheaf F , we have the excision long exact
sequence:
Proof. Let us recall the proof of this result since a detailed understanding
of its mechanism will be necessary in various parts of this book. We treat
only the case where A is open; the other case being similar.
Assume G is a flabby sheaf and let s (A; G) be such that
supp(s) F A
s00|X \F = 0, s00|A = s.
(X; G)
A (A; G)
0
|X\A (X; F)
(X; F)
A (A; F)
|X\A (X; G )
0 (X; G )
A (A; G )
0
Remark 1.6.4. Let us recall that the snakes lemma states that an exact
sequence of complexes of abelian groups
u v
A B C
0 0
Hk (u ) Hk (v )
Hk (A ) / Hk (B ) / Hk (C )
*+-,
k
/(.)
k+1
(u ) k+1
(v )
/ Hk+1 (A )H / Hk+1(B )H / Hk+1 (C )
vk (bk ) = ck .
Using the fact that dk (ck ) = 0, one sees that dk (bk ) is in Ker vk+1 . Hence,
there is ak+1 Ak+1 such that uk+1(ak+1) = dk (bk ). The cohomology class
of ak+1 is the image of [ck ] by k . A way to remember this definition is to
follow the dotted path in the following diagram:
uk vk
Ak / Bk
]@
/ Ck
J ~
_ t
9
k +1 uk+1
/ B k+1 v k+1 / C k+1
A ]@
J
_ t
Hk
(AB)(A B ; F )
/ HkA(A; F ) HkB(B; F ) / Hk
(AB)(A B ; F ) *+-,
/(.)
/ Hk+1
(AB)(A B ; F )
/ Hk+1 k+1
A (A; F ) HB (B ; F )
/ Hk+1
(AB)(A B ; F )
1.6. Excision and Mayer-Vietoris sequences 17
Proof. The proof being similar to that of Proposition 1.6.3, we will not recall
it in details. We only recall that it is based on the fact that the sequence
(AB)(A B ; G)
0 A (A; G) B (B ; G)
(AB)(A B ; G)
0
where (s) = (s|A , s|A ), (s, s0 ) = s|AB s0|AB is exact when A, B are
open and G is flabby or when A, B are closed, is paracompactifying and
G is -soft.
Exercise 1.6.6.
and identify Sn1 with Sn+ Sn (see figure 1.6.1). Since Sn = Sn+ Sn , we
have the Mayer-Vietoris long exact sequence
Hk (Sn ; C) / Hk (S + ; C) Hk (S ; C)
n n
/ Hk (Sn1 ; C)
*+-,
/(.)
/ Hk+1 (Sn ; C) / Hk+1(S + ; C) Hk+1 (S ; C) / Hk+1(Sn1 ; C)
n n
Recall that, for any ]0, 1[, {x Sn : xn+1 > } is an open subset of Sn
which is diffeomorphic to a ball of Rn . Therefore, working as in (a), we see
that (
k + C if k = 0
H (Sn ; C) '
0 otherwise
Figure 1.6.1:
xn+1
Sn+
0 Sn1
Sn
if k > 0 and that H0 (Sn ; C) and H1 (Sn ; C) are isomorphic to the kernel and
the cokernel of the morphism
H0 (Sn+ ; C) H0 (Sn ; C)
H0 (Sn1 ; C) (**)
(, ) 7 |Sn1 |Sn1
Note that since Sn+ and Sn are clearly connected spaces, the locally constant
complex valued functions and are in fact constant.
Let us assume first that n = 1. Since S0 = {0, 1}, we have
(
k C2 if k = 0
H (S0 ; C) '
0 otherwise.
C2
C2
(x, y) 7 (x y, x y)
It follows that H1 (S1 ; C) ' C and that H0(S1 ; C) ' C. This last isomor-
phism reflecting the fact that the circle S1 is connected.
Assume now that n > 1 and that
(
k C if k = 0, n 1
H (Sn1 ; C) '
0 otherwise
1.6. Excision and Mayer-Vietoris sequences 19
C2
C
(x, y) 7 x y
Hence, H1 (Sn ; C) ' 0 and H0 (Sn ; C) ' C. Moreover, thanks to (*) we see
that for k > 1 we have
(
k C if k = n
H (Sn ; C) '
0 otherwise
Moreover, we see also that H0c (Bn ; C) and H1c (Bn ; C) are the kernel and
cokernel of the morphism
H0 (B n; C)
H0 (Sn1 ; C)
7 |Sn1
C2
C
x 7 (x, x)
C
C
x 7 x
and we get H0c (Bn ; C) ' H1c (Bn ; C) ' 0. The conclusion follows by induc-
tion on n.
20 1. Survey of sheaf theory
If k > 1 or k = 1 and
(I; F)
Fx
is an epimorphism, it follows from this sequence that
Hk ([a, x0]; F)
Hk ([a, x]; F) Hk ([x, x0]; F).
This gives us a contradiction since both c|[a,x] and c|[x,x0 ] are 0 although
c|[a,x0] 6= 0.
The application to F = MI is obvious. We get
(
M if k = 0;
Hk (I; MI ) =
0 otherwise.
1.7. Inverse and direct images 21
(c) Let i : A
X be the canonical inclusion of a subspace A of X and
let F be an abelian sheaf on X. One checks easily that
i1 (F) = F|A .
(f; ) : (X; F)
(Y ; G)
: f 1 G
F
is a morphism of sheaves.
Examples 1.7.6.
(a) Let f : X Y be a morphism of topological spaces. Then the
canonical isomorphism
f : f 1 MY
MX
(f; f ) : (X; MX )
(Y ; MY ).
(b) Let f : X
Y be a morphism of topological spaces. Then,
g 7 g f
f : f 1 C0,Y
C0,X
(f; ) : (X; F)
(Y ; G)
induces a morphism
R(Y ; G)
R(X; F)
and, in particular, a canonical morphism
(f; ) : H (Y ; G)
H (X; F).
(X; f 1 G)
(Y ; G) (*)
R(X; f 1 G).
R(Y ; G)
R(X; f 1 G)
R(X; F)
(4)
R(X; F) /o / (X; I )
(5)
24 1. Survey of sheaf theory
where (1) and (5) are induced by and , (3) is induced by morphism of
the type (*), (4) is induced by and (2) is the morphism defined abstractly
above.
Examples 1.7.8.
(a) Let f : X
Y be a morphism of topological spaces. By applying the
preceding proposition to the canonical morphism of sheafed spaces
(f; f ) : (X; MX )
(Y ; MY )
R(Y ; MY )
R(X; MX )
(f; f ) : H (Y ; MY )
H (X; MX )
where the first horizontal arrow is the one defined in (a) and the
two vertical isomorphisms come from the de Rham theorem. Thanks
to what has been said in (a), we see also that, up to isomorphism,
de Rham cohomology of X
H ((X; C
,X ))
f 1 (f(F))
F
and
f(f 1 (G)).
G
Proof. We will only recall the construction of the canonical functorial mor-
phism
Hom Shv(Y ) (G, f(F)) Hom Shv(X ) (f 1 (G), F) (*)
Let h : G
f(F) be a morphism of abelian sheaves. For any open subset
V of Y , we get a morphism
F(f 1 (V ))
h(V ) : G(V )
and using Remark 1.1.6, it is easy to deduce from these morphisms a mor-
phism
hx,f (x) : Gf (x)
Fx
for any x X. Now, let U be an open subset of X and let f 1 (G)(U ).
One checks directly that (hx,f (x) (x ))xU F(U ). Hence, for any open
subset U of X, we have a morphism
h0 (U ) : f 1 (G)(U )
F(U ).
26 1. Survey of sheaf theory
h0 : f 1 (G)
F
image of h by (*).
f : Shv (X)
Shv (Y )
D+ (Shv (Y )).
Rf : D+ (Shv (X))
Moreover, if g : Y
Z is another morphism of topological spaces, then
that
RaX () ' R(X; ).
Therefore, the second part of the preceding proposition contains the fact
that
R(Y ; Rf(F)) ' R(X; F);
a result which replaces Lerays spectral sequence in the framework of derived
categories.
Proposition 1.7.15. Assume that
(a) the map f is closed (i.e. such that f(F ) is a closed subset of Y if F is
a closed subset of X );
1.7. Inverse and direct images 27
Figure 1.7.1:
(x1 , , xn )
x(U )
x0
x(U X)
Remark 1.7.19. Let us recall a few facts about Stokes theorem which
are needed in the following exercise. Let X be an oriented n-dimensional
differential manifold with boundary. As is well-known, the orientation of X
induces an orientation on X. This orientation is characterized by the fact
Rn is a positively oriented local coordinate system of X on
that if x : U
an open neighborhood of u X such that
Exercise 1.7.20.
(a) Let X be an oriented n-dimensional differential manifold. Show that
integration of smooth compactly supported n-forms induces a mor-
phism Z
: Hn
c (X; C)
C
X
uk vk
Hkc (X \ X; C) / Hk (X; C)
c
/ Hk (X; C)
c *+-,
k
/(.)
k+1
/ Hk+1(X \ X; C) u / Hk+1(X; C) v k+1 / Hk+1 (X; C)
c c c
1.7. Inverse and direct images 29
n1
R
for any c (X; C,X ). Therefore, X induces a morphism
Z
n n
: c (X; C C
,X )/dc (X; C,X )
X
CX |X /o / C
X
/ C
C ,X |X ,X
and that
c (X; C ,X |X ) ' (X; C,X ).
qis
k c (X \ X; C
k
,X \X ).
k
and uk (ck ) is represented by 0 .
Computation of v k . Let ck Hkc (X; C) be represented by
k c (X; C
k
,X )
k c (X; C
k
,X ).
pX : X I
X
is proper and surjective and I is connected and acyclic (see Exercise 1.6.7),
Corollary 1.7.18 shows that the canonical morphism
(pX ; X ) : (X I; p1
X F)
(X; F)
If
(X I; p1
(it ; t) : (X; F) X F)
(pX ; X ) (it ; t) = id .
It follows that (it ; t) is the inverse of the isomorphism (pX ; X ) and thus
does not depend on t [0, 1].
Let
(h; ) : (X I; p1
X F) (Y ; G)
be a homotopy between (f0 ; 0 ) and (f1 ; 1 ). Since
we see that
f0 : X
Y and f1 : X
Y
are homotopic in the topological sense, then, for any abelian group M ,
f0 : H (Y ; MY )
H (X; MX )
and
f1 : H (Y ; MY )
H (X; MX )
are equal. In particular, if X and Y are homotopically equivalent, then
H (X; MX ) ' H (Y ; MY )
Examples 1.8.4.
(a) The preceding corollary allows us to show that
(
k M if k = 0
H (Bn ; MBn ) =
0 otherwise
for any abelian group M . As a matter of fact,
h : Bn I
Bn
(x, t) 7 tx
h0 : B n
Bn
x 7 0
h1 : B n
Bn
x 7 x
Hn(Sn ; Z)
Hn (Sn ; C)
Hn (Sn ; Z)
R R
has a unique generator vSn such that vSn = 1 and that induces an
isomorphism between Hn (Sn ; Z) and Z.
Solution. Since Hn (Sn ; Z) ' Z, this group has only two generators g1 and
g2 = g1 . The uniqueness is thus obvious. Let us prove the existence. We
shall use the same notations as in Exercise 1.6.6. It is clear that we have
the following canonical morphism of distinguished triangles
0 n1
Hn1(Sn1 ; Z) / Hn (Sn ; Z)
O
k
where 0 and k are the Mayer-Vietoris and excision coboundary opera-
tors. Since Sn+ is an oriented manifold with boundary, we get from Exer-
cise 1.7.20 that
Z Z Z
n1 n1
0 (c )= n1(cn1) = cn1
+
Sn Sn \Sn1 S n1
0
Therefore, the generators of H1 (S1 ; Z) are the images by 0 of the functions
1 and 2 defined on S0 by setting
( (
1 (1) = 0 2 (1) = 1
and
1 (1) = 1 2 (1) = 0
Since Z
0
0 2 = (2 (1) 2(1)) = 1
S1
00
we may take vS1 = 2.
Assume now that n > 1 and that we have found vSn1 Hn1 (Sn1; Z)
such that Z
vSn1 = 1.
Sn1
Since Z Z
n1
0 vSn1 = (1)n vSn1 = (1)n
Sn Sn1
n1
we may choose vSn = (1)n 0 vSn1 . The conclusion follows easily by
induction.
Hn
c (Cn ; Z) ' Z.
Show also that if Cn0 is an open cell of Rn included in Cn, then the canonical
morphism
Hn 0
Hn
c (Cn ; Z) c (Cn ; Z)
Since Z Z
v B1 = 0 ([]) = (1) (1) = 1,
B1 B1
R
we see that B1
induces the isomorphism
Z
: H1c (B1 ; Z)
Z.
B1
Rc (Rn; Z)
Rc (B; Z)
Hn
c (B; Z)P
/ Hn(Cn ; Z)
c
PPP nnn
PP' vnnn
Hn n
c (R ; Z)
that
Hn Hn
c (Cn ; Z)
n
c (R ; Z)
vCn0 = m vCn .
38 1. Survey of sheaf theory
Exercise 1.8.8.
R{0}(Bn ; Z)
Rc (Bn ; Z)
is an isomorphism.
(b) Deduce from (a) that for any open neighborhood U of u in Rn we have
(
k Z if k = n;
H{u} (U ; Z) =
0 otherwise.
: H n Hn
{(u)} (V ; Z) {u} (U ; Z)
+1
Rc(Bn ; Z) / R(B n ; Z) / R(Sn1; Z) /
In this diagram, the second vertical arrow is the identity and by the homo-
topy theorem the third vertical arrow is an isomorphism. It follows that the
1.8. Homotopy theorem 39
first vertical arrow is also an isomorphism. Since this arrow is the compo-
sition of the isomorphism
R{0} (B n ; Z)
R{0}(Bn ; Z)
R{0}(Bn ; Z)
Rc(Bn ; Z),
Hn n n
{u} (U ; Z) ' H{u} (BU ; Z) ' Hc (BU ; Z).
Hn{u} (BU ; Z)
/ Hn (BU ; Z)
c
is commutative, we get
Z Z
vu = vBU = 1.
U BU
vB = n(vBn )
n+1 \Bn
Solution. Thanks to the preceding exercise, this follows directly from Exer-
cise 1.7.20.
40 1. Survey of sheaf theory
Figure 1.8.1:
(x1 , , xn )
Bn+1
x0
Bn
n = { : dim n}.
If , we set
|| = { || : supp = }.
S
Clearly, || |0| 6= if and only if = 0 and || = ||.
The data of a finite simplicial complex and an isomorphism
h : ||
X
{A}, {B}, {C}, {D}, {A, B}, {A, D}, {B, D}, {B, C}, {D, C}, {A, B, D}
- five 1-simplexes ({A, B}, {A, D}, {B, D}, {B, C}, {D, C}),
B
A
C C
and
B B
A A
: {0, , k}
, : {0, , k}
dk : C k ()
C k+1()
by setting
k
X +1
(dk c)[x0 , ,xk+1 ] = (1)l c[x0 , ,xbl , ,xk+1 ] .
l=0
One checks easily that the groups C k () (k 0) together with the differ-
entials dk (k 0) form a complex C () canonically associated with . We
call it the simplicial cochain complex of .
Lemma 1.9.4. Let = {x0, , xk } be a k-simplex of and let l be the
point of || corresponding to xl . Set
k
X
(x0 , ,xk) (t1 , , tk ) = 0 + tl (l 0)
l=1
and
k
X
Jk = {(t1 , , tk) Rk : t1 > 0, , tk > 0, tl < 1}.
l=1
= 1
(x (x0 , ,xk ) .
0 , ,xk )
(Pl ) = Pl
Hence,
1 (v
(x , ,x ) Jk )
= 1
(x0 , ,xk )
(vJk )
0 k
= (sign )1
(x0 , ,xk ) (vJk )
k1 : Hck1(|0|; Z)
Hkc (||; Z)
and we have
k1(v[x1 , ,xk ] ) = v[x0 , ,xk] .
Proof. The existence of the distinguished triangle follows from the fact that
|| (resp. |0 |) is open (resp. closed) in || | 0 |. Thanks to the morphism
(x0, ,xk ) of the preceding lemma, we may assume that || = Jk , |0 | =
Pk
{(t1, , tk ) : t1 > 0, , tk > 0, l=1 tk = 1}. Then, || |0 | appears
as a manifold with boundary and the result follows from Exercises 1.8.9
and 1.7.20 since
1 1 1 1
1 1 0 0
1 0 1 0 > 0.
. . . . ..
.. .. .. .. .
1 0 0 1
( p )0 : Coker p1
C p+1 (||)
1.9. Cohomology of compact polyhedra 45
{x0, , xp+1 }.
Rc(|| \ |p|; Z) / Rc(||; Z) / Rc(|p |; Z) +1/
Hpc (|p | \ |p1|; Z)
Hp (|p |; Z) / Hp+1 (|| \ |p|; Z)
c
46 1. Survey of sheaf theory
Hpc (|0|; Z)
Hpc (|p| \ |p1|; Z) ' C p (),
Hpc +1 (||; Z)
Hpc +1 (|| \ |p|; Z) ' C p+1 ().
Hk (||; Z) k 0
is equal to X
(1)k #(k \ k1).
k
Proof. The first part follows directly from the fact that
C k () ' Z#(k\k1 )
dk : C k ()
C k+1()
and set
Hk () = Z k ()/B k ().
From the exact sequences
Z k ()
0 C k ()
B k+1 ()
0
B k ()
0 Z k ()
Hk ()
0
1.9. Cohomology of compact polyhedra 47
we deduce that
rk C k () = rk Z k () + rk B k+1 ()
and that
rk Z k () = rk B k () + rk Hk ().
It follows that
rk C k () = rk B k () + rk B k+1 () + rk Hk ()
and, hence, that
X X
(1)k rk C k () = (1)k rk Hk ().
k k
Examples 1.9.8.
(a) Consider a simplicial complex with || homeomorphic to
Clearly, has four 0-simplexes, five 1-simplexes and one 2-simplex. Hence,
(||; Z) = 4 5 + 1 = 0.
(b) Consider a simplicial complex with || homeomorphic to
F 7 c (X; F)
for any k > n and any F Shv (X). Note also that contrarily to what
may appear at first glance, cohomological dimension is a local notion. More
precisely, if U is an open covering of X, we have
Solution. Let us prove that dimc Rn n. The conclusion will follow since
we know that
Hn
c (B; Z) = Z
n
is a homeomorphism, Rn is homeomorphic to ]0, 1[ . Since this last space
is an open subspace of [0, 1]n, it is sufficient to show that dimc [0, 1]n n.
We will proceed by induction on n.
For n = 1, this follows from Exercise 1.6.7. Assuming the result is true
for n, we prove it for n + 1 by using the isomorphism
Remark 1.10.4. It follows at once from the preceding exercise that the
cohomological dimension of a differential manifold is equal to its usual di-
mension.
Exercise 1.10.5. Let be a finite simplicial complex. Show that the
cohomological dimension of || is equal to dim .
together with the fact that |n+1| \ |n| is a finite union of open cells of
dimension n + 1.
Hk (U ; Z)
Hk (V ; Z)
are zero.
Examples 1.10.7. One checks directly that differential manifolds are clc
spaces. With a little more work, one sees also that the same is true of
compact polyhedra.
50 1. Survey of sheaf theory
Hk (K; Z)
Hk (L; Z)
0
0 /
Hk1(L01 L02 ; Z) k 0
H (L1 L02 ; Z) / Hk (L0 ; Z) Hk (L0 ; Z)
1 2
0 0
00 /
Hk1(L001 L002 ; Z) k
H (L1 L002 ; Z)
00
0 (Im /(Im Im 0 ))
Im( 0 )/ Im(00 0 )
is well-defined.
f|F : F
Y
One checks easily that f! (F) is a sheaf on Y . We call it the direct image
with proper supports of F by f.
f! : Shv (X)
Shv (Y )
Rf ! : D+ (Shv (X))
D+ (Shv (Y ))
aX : X
{pt}
f
YO /X
O
0 g
g
T /Z
f0
Hk (Rf ! F) = 0
Rf ! : D+ (Shv (X))
D+ (Shv (Y ))
f ! : D+ (Shv (Y ))
D+ (Shv (X)).
1.11. Poincare-Verdier duality 53
i! G ' i1 RF G.
(g f)! ' f ! g! .
Proof. It is clear that F is locally compact and has finite homological di-
mension. Moreover, thanks to Example 1.11.10 and Proposition 1.11.12, we
have
F = a!F Z ' i! a!X Z ' i1 RF X
where i : F
X is the canonical inclusion. Hence, the conclusion follows
from Corollary 1.11.11 with X replaced by F .
Hence,
(Rn )x ' Z[n].
This shows in particular that
Hk (Rn ) ' 0
or Rn = Hn(Rn )
Using the fact (see Exercise 1.8.6) that the canonical diagram
Rc(U ; Z)[n] o/ / Z
Rc (U 0; Z)[n] o/ / Z
and
RHom (Rc(F ; Z), Z) ' RF (Rn ; Z)[n].
In particular, there are exact sequences of the form
and
0 Hn
Ext1 (Hkc +1(F ; Z), Z) F
k
(Rn ; Z)
Hom (Hkc (F ; Z), Z)
0.
Proof. The first part follows from Corollary 1.11.11 and Corollary 1.11.13
combined with the preceding proposition.
As for the second part, it follows from the fact that for any complex C
of abelian groups we have an exact sequence of the form
Ext1 (Hk+1 (C ), Z)
0 Hk (RHom (C , Z))
Hom (Hk (C ), Z)
0
for any k Z.
II
I
x4
x1 III
x3
V
IV x2
VI
56 1. Survey of sheaf theory
we have
x1 = x2 = x3 = 2, x4 = 3
and X
1+ (x 1) = 1 + 1 + 1 + 1 + 2 = 6.
xC
Solution. Let g : S1
C be the map induced by f. We have
where Z{x} is the direct image of the constant sheaf on {x} in C. Applying
R(C; ) we get the distinguished triangle
M 1 +1
0 R(C; ZC ) R(C; Rg(ZS1 )) R(C; Z{xx} )
xC
x >1
Moreover,
M M
R(C; Rg(ZS1 )) ' R(S1; ZS1 ) and R(C; Z{xx}1 ) ' Zx 1.
xC xC
x >1 x >1
H0 (C; ZC )
0 Z
H0(S1 ; ZS1 ) H1 (C; ZC )
H1 (S1 ; ZS1 )
0
for k > 1. Since S1 is connected, so is C and H0 (C; ZC ) ' H0 (S1 ; ZS1 ) ' Z.
Through these isomorphisms, the first morphism appears as id : Z Z.
Hence, using the fact that H1 (S1 ; ZS1 ) ' Z, we get the exact sequence
Z
0 H1(C; ZC )
Z
0.
1.11. Poincare-Verdier duality 57
H1 (C; ZC ) ' Z +1 .
Since all these groups are free, Corollary 1.11.15 shows that
H2k 2 k
C (R ; ZR2 ) ' Hom (H (C; Z), Z).
Therefore,
1+
Z
if k = 1,
HkC (R2 ; ZR2 ) ' Z if k = 2,
0 otherwise.
Consider the excision distinguished triangle
+1
RC (R2 ; Z)
R(R2; Z)
R(R2 \ C; Z)
Taking cohomology and using the fact that Hk (R2; Z) ' 0 for k > 0, we get
the exact sequence
H0C (R2 ; Z)
0 H0 (R2 ; Z)
H0(R2 \ C; Z)
H1C (R2 ; Z)
0
H1 (R2 \ C; Z)
H1 (R2 \ B; Z)
and that (
Z if k = 0, 1,
Hk (U ; Z) '
0 otherwise
if U is the non bounded connected component of R2 \ C.
Proof. This follows from the preceding proposition combined with the dis-
tinguished triangle
+1
Rc (X \ K; X )
Rc(X; X )
R(K; X )
Rf ! X
Y .
This morphism induces a morphism
f : Hc (X; Z)
Hc (Y ; Z)
f : SH (X; Z)
SH (Y ; Z).
Proof. We have
f ! Y ' f ! a!Y Z ' a!X Z ' X .
Thanks to Poincare-Verdier duality,
Rf ! X
Y .
which induces f at the level of cohomology. For the link with singular
homology, we refer to standard texts.
# : SH0(X; Z) Z.
PJ
which associates to a singular 0-cycle c = j =1 mj [xj ] the number #c =
PJ
j =1 mj . This is why we will often use # as a shorthand notation for
(aX ) .
60 1. Survey of sheaf theory
U 7 F(U ) G(U ).
^: (X; F) (X; G)
(X; F G).
is right exact, left derivable and has finite homological dimension. Moreover,
if and are families of supports on X , we have a canonical morphism
^: R(X; F) L R (X; G)
R (X; F L G)
^: Hk (X; F) Hl (X; G)
Hk
+l
(X; F L G)
Hk
^: Hk (X; ZX ) Hl (X; ZX ) +l
(X; ZX )
^: Hk (X; ZX ) Hl
(X; X )
k l
H (X; X ).
_: Hk (X; ZX ) H H
l (X; ZX ) lk (X; ZX ).
1.13. Products in cohomology and homology 61
(ck ^ cl ) _ cm = ck _ (cl _ cm ).
h, i : Hk (X; Z) H
k (X; Z)
Z
by composing
_: Hk (X; Z) H H
k (X; Z) 0 (X; Z)
with
# : Hc0 (X; Z)
Z.
This pairing is a natural generalization of the classical pairing between ho-
mology and cohomology. Thanks to the cup-cap associativity formula, we
have
k
c ^ cl , ck+l = ck , cl _ ck+l .
Remark 1.13.6. Thanks to the preceding proposition, one can prove that
if f : X
Y is a morphism of locally compact spaces we have
f (f (ck ) _ cl ) = ck _ f (cl )
if k = l.
(X Y ; F G)
: (X; F) (Y ; G)
R(X; F) L R (Y ; G)
R (X Y ; F L G)
Hk
: Hk (X; F) Hl (Y ; G) +l
(X Y ; F G)
: Hk (X; Z) Hl (Y ; Z)
Hk
+l
(X Y ; Z)
ck cl = pX (ck ) ^ pY (cl ).
Rc(X; F) L Rc (Y ; G)
Rc (X Y ; F L G)
Proof. This follows directly from the projection formula and the cartesian
square formula.
pY : X Y
Y
X L G
p!Y G
where (1) comes from the definition of , (2) follows from the projection
formula and (3) from the cartesian square formula. Using the canonical
morphism
RaX ! X Z,
we get a canonical morphism
RpY ! (X L G)
G.
X L G
p!Y G. (*)
R(U ; X ) L R(V ; G)
R(U V ; p!Y G)
The last part of the result follows by taking limits and cohomology and
using the fact that
X L Y
X Y . (1)
R(X; X ) L R (Y ; Y )
R(X Y ) (2)
: H
H
k (X; Z) Hl (Y ; Z) k +l (X Y ; Z).
Proof. This follows directly from the preceding lemma and the fact that
p!Y Y = X Y .
Proof. This follows directly from the definition and Proposition 1.11.14.
or X = Hn (X ).
X (X; or X )
and the announced isomorphism follows from Corollary 1.12.4. Recall that
an orientation of X from the point of view of singular homology corresponds
to the data of a generator x SHn(X, X \ {x}; Z) for any x X in
such a way that for any x0 X there is a neighborhood K of x0 and
66 1. Survey of sheaf theory
Remark 1.14.5.
(a) If X is orientable and connected, we have
It follows that the sheaf ZX has only two automorphisms ( id). Therefore,
X has exactly two orientations. If X is the class of one of them, X is
the class of the other.
(b) Any open subset U of a topological manifold X is a topological
manifold. If X is an orientation class of X, X|U is an orientation class for
U.
(c) We may restate Proposition 1.11.14 by stating that the topological
manifold Rn is canonically oriented. We will denote Rn the corresponding
orientation class.
(d) Since X = or X [n], we have
(U ; or X ) = Hn (U ; X ).
Since Hn
c
+1
(U ; ZX ) ' 0, we obtain a canonical isomorphism
1 or Y ' or X .
v(BU ) Hn
c ((BU ); Z)
(v(BU ) ) = mvU
where vU Hn
c (BU ; Z) is a class with integral 1. On one hand, we have
Z
(v(BU ) ) = m.
1 1
1
j i : i (Vi Vj ) j (Vi Vj )
ZVi ' or Vi
(b) Deduce from (a) that a locally constant sheaf on [0, 1]n is constant.
m : F x
Fy .
1.14. Cohomology of topological manifolds 69
m 1 : F x
Fy and m 2 : F x
Fy
Z2 ;
1(X, x)
_ X : Hk (X; Z)
H
nk (X; Z)
is an isomorphism.
where : ZX [n]
X is the isomorphism associated to X . Since X is
the image of 1X (X; ZX ) = Hn (X; ZX [n]) by Hn(X; ), the diagram
^X
Hk (X; ZX ) / Hkn(X; X )
O O
id Hkn
(X ; )
f! : Hn
c
X k
Hn
(X; Z) c
Y k
(Y ; Z)
and
f ! : HnY k (Y ; Z)
HnX k (X; Z).
Moreover,
Hk
^: Hk (X; Z) Hl (X; Z) +l
(X; Z)
gives rise to the intersection product
: H
H
nX k (X; Z) HnX l (X; Z) nX k l (X; Z).
or dually that
f (f ! cp cq ) = cp f (cq )
and that
Y /X _ X = [Y ].
[Y Z] = [Y ] [Z]
and
Y Z/X = Y /X ^ Z/X .
Proof. We will only treat the case where n > p, n > q, p + q > n, leav-
ing the adaptation to the other cases to the reader. Since Y and Z meet
transversally, we have
Tx X = T x Y + T x Z and Tx (Y Z) = Tx Y Tx Z
where
73
74 2. Euler class of manifolds and real vector bundles
f : X
X Y
if : f
X Y
f = (f ) (X ) = (if ) (f )
f (cp ) = f (cp ).
[f ] = (if ) (f ) = (f ) (X ).
pX f = idX , pY f = f,
we have successively
which sends (cp , cnp) to #(cp cnp) is perfect. Therefore, there is a unique
basis
p,r (r = 1, , Rp ) of Hp (X; Q) such that
#(
p,r np,r 0 ) = rr 0
() : Hp (X; Q)
Hp (Y ; Q)
p,r np,s (p = 1, , n; r = 1, , Rp; s = 1, , Sp )
where the (p )sr are rational numbers. Let us compute (p0 ,r0 ). Note that
(p q ) (r s ) = (1)(np)(ns)(p r ) (q s )
we see that
(pY ) (p0 ,r0 Y ) (
np,r p,s )
= (1)(np0 )(np)(pY ) p0 ,r0 (np,r ) (Y p,s )
Hn(X X; Z)
2.1. Lefschetz fixed point formula 77
#( []) = .
() : Hp (X; Q)
Hp (X; Q)
Let : X X
X X be the morphism defined by setting
We have
Rp Rp
n X
X X 0 0
(id ) = (1)p (np ) s0 ,r0 p0 ,s0
np0 ,r 0
p0 =1 r 0 =1 s0 =1
and
(id ) = X = X = id .
Therefore,
Rp Rp
n X
X X 0 0
[] = (1)p (np ) s0 ,r0 p0 ,s0
np0 ,r 0 .
p0 =1 r 0 =1 s0 =1
Since
pp0 0 0
# (
np,r p,s ) (p0 ,s0 np0 ,r 0 ) = (1) (1)p (np pp0 rs0 sr0
we see that
Rp Rp
n X n
X X 2 X 2
#( []) = (1)p (p )sr sr = (1)p tr p
p=1 r =1 s=1 p=1
Corollary 2.1.6.
(a) Let f : X
X be a continuous map. Set f = f . Then,
n
X
#(f []) = f = (1)p tr(f : Hp (X; Q)
Hp (X; Q)).
p=0
f
Hn (Sn ; Z) / Hn(Sn ; Z)
O O
vSn O O vSn
Z /Z
deg(f )
commutative.
(b) Deduce from (a) that f has a fixed point if deg(f) 6= (1)n+1 .
Solution. (a) follows directly from the definition of deg(f) and the fact that
(
k Z if k = 0, n;
H (Sn ; Z) =
0 otherwise.
Exercise 2.1.8.
(a) Let X be a compact oriented manifold of dimension n. Show that
(X) = 0
if n is odd.
(b) Let X be a compact oriented C1 manifold. Show that if X has a
nowhere vanishing C1 vector field then (X) = 0.
= 0.
(b) Working as in Exercise 2.1.7, we see that (X) 6= 0 entails that any
C1 -vector field on X vanish for some x X. The conclusion follows.
T(x,x) C T(x,x)
Proof. (a) Thanks to Theorem 2.1.5, the result follows directly from Propo-
sition 1.14.15.
(b) Clearly, (x, x) f if and only if x F . Moreover, for any
x F , we have
T(x,x) f = {(, fx0 ()) : Tx X}
and
T(x,x) = {(, ) : Tx X}.
Hence, we have
T(x,x) f T(x,x) = {(, ) : Tx X, fx0 () = 0}.
It follows that f and meet transversally. If 1 , . . . , n is an oriented
basis of Tx X, then
(1 , fx0 (1 )), . . . , (n , fx0 (n ))
and
(1 , 1), . . . , (n , n)
are oriented bases for T(x,x) f and T(x,x) . Therefore,
(1 , fx0 (1 )), . . . , (n, fx0 (n )), (1 , 1 ), . . . , (n, n )
is an oriented basis for T(x,x) f T(x,x). This basis has the same orien-
tation as the basis
(0, fx0 (1 ) 1 ), . . . , (0, fx0 (n ) n ), (1 , 1 ), . . . , (n, n ).
Using the assumptions, we know that fx0 id is injective and hence bijective.
It follows that
fx0 (1 ) 1 , . . . , fx0 (n ) n
is a basis of Tx X. Hence,
(0, fx0 (1 ) 1 ), . . . , (0, fx0 (n ) n ), (1, 0), . . . , (n, 0).
is an oriented basis for T(x,x) f T(x,x) and
i(x,x) (f , ) = (1)n sgn(det(fx0 id)) = sgn(det(id fx0 )).
The conclusion follows from (a).
2.2. Euler classes of manifolds and index theorem 81
(X) = #((/X X ^ /X X ) _ X X )
Z Z
= /X X ^ /X X = /X X ^ ! (1X )
ZX X Z X X
= ! ( /X X ) = X
X X X
pE : E
BE
pB : V B
B
E ' Ker(F
Coker i) (resp. F ' Coker(Ker q
E)).
Note also that when the base space B is paracompact, one can show,
using a partition of unity, that for any sub-vector bundle E of F one has
F ' E F/E.
Finally, let us recall that the inverse image of vector bundle E of base
B by a continuous map f : B 0 B is the vector bundle f 1 (E) with base
B 0 characterized by the fact that
f 1 (E)b0 = Ef (b0 )
Proposition 2.4.2.
Rp(RB AE )
(RB AE )|B
is an isomorphism. In particular,
A
R(U ; B/E ) ' RU (p1(U ); A)
Proof. (a) One checks easily by working at the level of fibers that
p(B F)
(B F)|B
We will prove that (2) and (3) are isomorphisms. This will show that (1) is
also an isomorphism and the conclusion will follow.
By simple homotopy arguments, one gets the isomorphisms
and
R(Rr {b}; A) ' A.
Since these isomorphisms transform (2) into the identity, (2) is also an
isomorphism.
Denote q : Sr1 U U the second projection. Working as above one
sees that (3) will be an isomorphism if the canonical morphism
[Rq(ASr1 U )]b
R(Sr1 {b}; A)
orA r A
B/E = H B/E
Proposition 2.4.4.
(a) We have
R(U ; orA
B/E ) ' RU (p
1
(U ); A)[r]
and in particular
(U ; orA r
B/E ) ' HU (p
1
(U ); A)
2.4. Orientation of real vector bundles 85
is an isomorphism.
In particular, orA
B/E is a locally constant sheaf with fiber A.
Proof. (a) It follows from part (b) of the preceding proposition that
A
B/E ' orA
B/E [r].
Therefore,
R(U ; orA A
B/E ) ' R(U ; B/E )[r]
: Rr U
p1 (U )
defined by setting
r
X
(x1, , xr , u) = xj ej (u).
j =1
: orA orA
U/p1 (U ) U/Rr U (*)
U/Rr U (U ; orA
U/Rr U ).
orA
AU U/Rr U . (**)
Hr{0} (Rr ; A)
A
: Rr U
Rr U
defined by setting (x0 , u) = (S(u)x0 , u) and assume det S(u) > 0 (resp.
det S(u) < 0) on U . To conclude, it is sufficient to prove that the canonical
morphism
: orA orA
U/Rr U U/Rr U
sends U/Rr U to itself (resp. minus itself). At the level of the fiber at u,
this amounts to show that the pull-back by the linear bijection
x0 7 S(u)x0
of v{0} is equal to itself (resp. minus itself). This follows from Exercise 1.8.8.
A A
B/E (B; or B/E ).
Proposition 2.4.6.
(a) Any vector bundle E is canonically Z2-oriented.
(b) A vector bundle E is Z-orientable if and only if it is orientable. More-
over, any Z-orientation of E corresponds to a canonically determined
orientation and vice-versa.
Proof. We use the notations of Proposition 2.4.4. Denote
A A
U/e (U ; or B/E )
We denote it by EA .
88 2. Euler class of manifolds and real vector bundles
Hk (B; AB )
HkB+r (E; AE )
ck 7 EA p (ck )
is an isomorphism.
eA
E ^ p
Hkr (B; A) / Hk (B; A) / Hk (E; A)
*+-, (*)
/(.) eA ^ p
/ Hk+1r (B; A)E / Hk+1 (B; A) / Hk+1(E; A)
EA ^ : Hkr (B; AB )
HkB (E; AE )
p : Hk (B; AB )
Hk (E; AE )
s0 : Hk (E; AE )
Hk (B; AB ).
Exercise 2.5.6. Let n N0. Consider the real projective space of dimen-
sion n
Z2[X]/(X n+1 )
H (Pn (R); Z2)
Solution. For short, set e = eZU2n (R) . Consider the Gysin exact sequence
e^ p
Hk1(Pn (R); Z2) / Hk (Pn (R); Z2) / Hk (Un(R); Z2)
*+-,
/(.) e^/ p
/ Hk (Pn (R); Z2) Hk+1(Pn (R); Z2) / Hk+1 (Un(R); Z2)
n1 e^ n q n n
0
H (Pn (R); Z2 ) H (Sn ; Z2 )
H (Pn (R); Z2 ) H (Pn (R); Z2 )
0
and isomorphisms
e^
Hk (Pn (R); Z2) Hk+1 (Pn (R); Z2)
is an isomorphism. Hence,
e^
H0 (Pn (R); Z2) H1 (Pn (R); Z2)
where
g|f 1 (E )y : f 1 (E)y
Ef (y)
is the canonical isomorphism, p and q being the projections of the vector
bundles E and f 1 (E). Since g is continuous, it induces canonical pull-back
morphisms
RV (f 1 (E)|V ; Af 1 (E ) )
RU (E|U ; AE )
for any open subsets U , V of X, Y such that V f 1 (U ). Taking coho-
mology, we obtain in the same conditions a canonical morphism
(U ; or A (V ; or A
X/E ) Y /f 1 (E ) ).
f 1 or A or A
X/E Y /f 1 (E ) (*)
(or A
X/E )f (y )
/ (or A 1 )y
Y /f (E )
O O
r / Hr (f 1 (E)y ; A)
H{f (y)} (Ef (y) ; A) {y }
g|f 1 (E)
y
eA A
f 1 (E ) = f eE .
Proof. It follows from the proof of the preceding proposition that the image
by
g : HrX (E; A)
HrY (f 1 (E); A)
92 2. Euler class of manifolds and real vector bundles
Solution. This follows directly from the preceding proposition and the fact
that
Hk (Sn ; Z2) = 0
for k 6 {0, n}.
Proof. Denote pE : E F
E, pF : E F F the canonical projections.
For any open subset U of X, consider the pull-back morphisms
RU (E|U ; AE )
Rp1 (U ) ((E F )|U ; AE F )
E
RU (F|U ; AF )
Rp1 (U ) ((E F )|U ; AE F ).
F
since p1 1
E (U ) pF (U ) is the zero section of (E F )|U . This gives us a
canonical morphism
(U ; or A A
(U ; or A
X/E ) A (U ; or X/F ) X/E F )
or A A
or A
X/E A or X/F X/E F .
2.6. Euler classes of inverse images and direct sums 93
(or A A
X/E )x A (or X/F )x
/ (or A
X/E F )x
O O
H{x} (Ex; A) A Hs{x} (Fx ; A)
r / Hr+s (Ex Fx; A)
{x}
and Kunneth theorem. (There is no torsion problem since both Hrc (Ex ; A)
and Hsc (Fx ; A) are isomorphic to A.)
e1 , . . . , er , f1 , . . ., fr
eA A A
E F = eE ^ eF .
EA F = pE EA ^ pF FA .
shows that the rank of E is n. It follows that 0 < s < n and 0 < t < n.
Since 1 (Sn ) ' 1, F and G are orientable. Moreover, we may choose their
orientations in such a way that
E'FG
as oriented real vector bundles. In this case, we have eZE = eZF ^ eZG .
Since both eZF and eZG are 0, we get eZE = 0 contrarily to what has been
assumed.
A
Proof. We know that X = orA A A A
X [dX ] and that Y = orY [dY ]. Since Y =
! A A
i X , and since orX is locally isomorphic to AX , the conclusion follows.
orA A
Y /X = orY A i
1
(orA
X)
A 0 A
Y /X H (Y ; orY /X )
2.7. Euler classes of normal bundles 95
ZY ' orY /X .
We leave it to the reader to check that the Thom class of the corresponding
relative orientation of Y in X is
i! (1).
orA A
Y /X ' orY /TY X .
: V
(V )
: RY (A(V) )
RY (AV )
96 2. Euler class of manifolds and real vector bundles
is an isomorphism. Since
and
RY (AV ) ' RY (ATY X ) ' orA
Y /TY X [dY dX ],
induces an isomorphism
: orA orA
Y /X Y /TY X (*)
0 : orA A
Y /X ' orTY X/Y and 1 : orA A
Y /X ' orTY X/Y
Hence,
eA A A A
TY X = [ ((Y /X )|(V ) ]|Y = (Y /X )|Y = eY /X .
X = e T X .
In particular, Z
(X) = eT X .
X
2.7. Euler classes of normal bundles 97
e/X X = eT (X X ) .
eT X = eT (X X ) .
Zs = {x X : s(x) = 0}
Since
s0 ! (ck ) = s0 ! (s0 p ck ) = p ck ^ s0 ! (1)
and s0 ! (1) = X/E = E , these morphisms coincide with Thom isomor-
phisms. Therefore, we have only to show that
Since
Ts(X ) E ' (p1 E)|s(X )
as oriented vector bundles, we have
the last equality coming from the fact that s0 and s are homotopic. There-
fore,
Characteristic classes of
real vector bundles
For the sake of simplicity, all the topological spaces in this chapter will be
implicitly assumed to be paracompact.
(, ) 7 f () ^ .
99
100 3. Characteristic classes of real vector bundles
RHom A (AY [k], Rf(AX )) ' RHom A (f 1 AY , AX )[k] ' R(X; AX )[k]
h1 : AY [k1]
Rf(AX ), , hn : AY [kn]
Rf(AX ).
(1 , , n) 7 (p (1) ^ g1 + + p (n) ^ gn )
(d, x) = x.
has a canonical topology. For this topology, is continuous and using local
frames of E, we see that for any x X there is a neighborhood U of x and
a commutative diagram of the form
In particular, is proper and its fibers are homeomorphic to Pr1 (R). Recall
that
E X P (E) = {(e, (d, x)) : p(e) = x}
and denote U (E) the subset of E X P (E) defined by
pP (E ) : U (E)
P (E)
turns U (E) into a line bundle with base P (E). By construction, a homeo-
morphism
1 (U ) ' Pr1 (R) U
of the type (*) transforms U (E)|1 (U ) into a line bundle isomorphic to
p1
Pr1 (R) Ur 1 (R).
Then,
1, , , r1
form a free family of generators of H (P (E); Z2) as an H (X; Z2)-module.
In other words, any H (P (E); Z2) may be written in a unique way as
= 0 + 1 ^ + + r1 ^ r1
with 0, , r1 H (X; Z2 ).
Z2[X]/(X r )
H (Pr1 (R); Z2)
102 3. Characteristic classes of real vector bundles
1, e, , er1
we see that
1, |1 (x), , |r1
1 (x)
form a free family of generators of H (1 (x); Z2) for any x X and the
conclusion follows from Lemma 3.1.1.
U (g )
U (f 1 (E)) / U (E)
P (g )
P (f 1 (E)) / P (E)
$
Y f
/X
we get
fr 1 (E )
= $ f (wr (E)) + $ f (wr1(E)) ^ f 1 (E ) +
+ $ f (w1 (E)) ^ fr1
1 (E )
and the conclusion follows from the definition of the Stiefel-Whitney classes
of f 1 (E).
i(ex ) = (ex , 0)
104 3. Characteristic classes of real vector bundles
= 0.
3.1. Stiefel-Whitney classes 105
: Hj (P (E )) (P (E F ); Z2)
H (P (E F ); Z2)
we have
^ () = (j ^ ),
we see that
^=0
in H(P (E F ); Z2). It follows that
r X
X s
r +sk l
E F (wk (E) ^ wl (F ))E F =0
k =0 l=0
w(E) = 1.
E ' Rr X ' a1 r
X (R )
where aX : X
{pt} is the canonical map. Hence,
Assume now that E has a trivial sub-bundle T of rank s. From the isomor-
phism
E ' T E/T
we deduce that
f :Y
X
f : H (X; Z2)
H (Y ; Z2)
f 1 (E) ' L1 Lr
: P (E)
X
: H (X; Z2)
H (P (E); Z2)
1 E ' U (E) F.
g:Y
P (E)
3.2. Splitting principle and consequences 107
for which
g : H (P (E); Z2)
H (Y ; Z2)
is injective and such that
g1 (F ) ' L1 Lr1
wr (E) = eZE2
in Hr (X; Z2 ).
f 1 (E) = L1 Lr .
Since
f (eE ) = eZf 21 (E ) = eZL21 ^ ^ eZL2r
the proof is reduced to the case where r = 1. When E is a line bundle,
X is a homeomorphism and 1E ' U (E). It follows that
: P (E)
E = eE . By the definition of Stiefel-Whitney classes, this shows that
w1 (E) = eE , hence the conclusion.
108 3. Characteristic classes of real vector bundles
(d) Write P as
X1 X22 + X2 X12 .
Clearly,
X1 X22 + X2 X12 = X1 X2 (X1 + X2 ) = S2,1S2,2 .
We have
Therefore,
P = S3,1S3,2 3S3,3.
(a)
wP (f 1 (E)) = f wP (E)
for any continuous map f : Y
X;
(b)
wP (E) = P (eZL21 , , eZL2r )
if E = L1 Lr with L1 , , Lr line bundles.
Proof. Write
P (Z1 , , Zr ) = Q(Sr,1 , , Sr,r )
where Q Z2[Z1, , Zr ] and Sr,1, , Sr,r are the elementary symmetric
polynomials in r unknowns. Set
Clearly, if f : Y
X is a continuous map, we have
w(E) = (1 + 1 ) (1 + r )
Therefore,
The fact that these two properties characterize wP () uniquely follows from
the splitting principle.
b (e1 , e2) = e1 e2
and denote q1 : L1 L2
L 1 , q 2 : L1 L 2
L2 the two projections. By
homotopy, we have
and
RL2 (L1 L2 ; Z2) ' RB (L1 ; Z2).
Hence, we deduce from the Mayer-Vietoris distinguished triangle
+1
RL L (L1 L2 ; Z2 )
RL (L1 L2 ; Z2 ) RL (L1 L2 ; Z2 )
RL L (L1 L2 ; Z2 )
1 2 1 2 1 2
a canonical morphism
Let us prove that the image of the Thom class of L1 L2 by (**) is the
image of the Thom classes of L1 and L2 by (*). This will give the result
thanks to the commutative diagrams
1
H1 (B; Z2 ) / H1 (B; Z2)
O O
|B |B
1
H (L1 L2 ; Z2) / H1 (L1 L2 ; Z2)
O O
and
(1 1)
H1(B; Z2 ) H1 (B; Z2) / H1(B; Z2 )
O O
|B |B
( q1 q2 )
1 1 / H1 (L1 L2 ; Z2)
H (L1 ; Z2) H (L2 ; Z2)
O O
and
H1{b} ((L1 )b (L2 )b ; Z2)
H1(L1 )b (L2 )b ((L1 )b (L2 )b ; Z2)
112 3. Characteristic classes of real vector bundles
( ) = q1 ( ) + q2 ( ) (***)
H1(R{0})({0}R)(R2 ; Z2).
H0R2 \(R{0})({0}R) (R2; Z2)
Here, Q1 , , Q4 are the open quarter planes defined in the following figure
Q2 Q1
Q3 Q4
Q 1 + Q 4 + Q 1 + Q 2 = Q 2 + Q 4 = Q 1 + Q 3 + R 2
modulo 2.
w1 (E) = eZDet
2
E.
E ' L1 . . . Lr
we see that
w1 (E) = 1 + + n .
Since moreover
eZDet(
2 Z2 Z2
E ) = e L1 + + e Lr
such that
r Y
Y s
(1 + Xi + Yj ) = Tr,s(Sr,1 (X), . . . , Sr,r (X), Ss,1 (Y ), . . ., Ss,s (Y ).
i=1 j =1
Solution. Since
s
X
(1 + X1 + Y1 ) . . . (1 + X1 + Ys) = (1 + X1 )k Ss,k (Y1 , . . . , Ys)
k =0
and
k
X
(1 + X1 )k = Ckl X1l ,
l=0
The computation of T2,2 is also easy but more tedious. The final answer is
we have
r Y
Y s
w(E F ) = w(Li Nj ).
i=1 j =1
w1(E F ) = 0
w2(E F ) = w1(E)2 + w1(E)w1 (F ) + w1(F )2
w3(E F ) = w1(E)2 w1 (F ) + w1(E)w1 (F )2
w4(E F ) = w2(E)2 + w1(E)w2 (E)w1 (F ) + w1 (E)2w2 (F )
+ w1 (E)w1(F )w2 (F ) + w2(F )2 + w2 (E)w1(F )2
hij : E|U
F|U
E F
Hom (E, F )
E ' E.
In particular,
w(E ) = w(E).
Proof. Using a partition of unity, one can construct easily on each fiber Ex
an euclidean scalar product (, )b in such a way that
b 7 (ej , ek )b
E
:E
Exercise 3.2.17.
Tv q|d : d
Td Pn (R)
Since
q(v) = q(v)
3.2. Splitting principle and consequences 117
for any Rn+1 . Therefore, (*) does not depend on v and we get a
canonical isomorphism
It follows that
1 ^ w(T Pn (R)) = w(Un (R))n+1 ,
hence the conclusion.
(c) Assume n = 2r 1 with r N. It follows that
2r h i 2r
w(T Pn (R)) = 1 + eZU2n (R) = 1 + eZU2n (R)
w(T Pn (R)) = 1.
Exercise 3.2.18.
0 i1 T Rm+s
TM TM Rm+s
0.
Clearly,
1 = w(i1 T Rm+1 ) = w(T M )w(TM Rm+s ).
It follows that w(TM Rm+s ) = w1 (T M ) and since TM Rm+s has rank s, the
conclusion follows.
(b) For n = 2r , setting e = eZU2n (R) , we have
r
w(T Pn (R)) = (1 + e)2 +1
.
Therefore,
r
w1 (T Pn (R)) = (1 + e + e2 + + en )2 +1
.
2 2 2
Using the fact that (a + b) = a + b in H (Pn (R); Z2), we get
r
w1(T Pn (R)) = (1 + e + e2 + + en )(1 + e2 )
= 1 + e + e2 + + en1
Proof. Denote Vn,r the subset of (Rn)r formed by the sequences (v1 , , vr )
which are linearly independent. Since (v1 , , vr ) Vn,r if and only if there
is i1, ir {1, , n} such that
v1i1 vri1
.. .. ..
. . . 6= 0
v v
1ir rir
3.3. Homotopical classification of real vector bundles 119
it is clear that Vn,r is an open subset of (Rn)r . Clearly, GLr (R) acts freely
and continuously on the right on Vn,r . Denote q : Vn,r Gn,r the map
which sends a sequence (v1 , , vr ) to its linear envelope and endow Gn,r
with the associated quotient topology. By construction,
It follows that q identifies Vn,r /GLr (R) with Gn,r . In particular, q is open
and since condition (*) is clearly closed we see that Gn,r is separated. Let
L0 be an element of Gn,r and let L1 be a supplement of L0 in Rn . Denote
p : Rn L0 the projection associated to the decomposition Rn = L0 L1 .
Set U = {L Gn,r : p(L) = L0 }. Clearly, U is an open subset of Gn,r .
Moreover, since p|L : L L0 is bijective, any L U may be viewed as the
graph of a linear map h : L0 L1 . This gives us a bijection
U
Hom (L0 , L1 )
Remark 3.3.3. The reader will easily complete the preceding proposition
to show that Gn,r has in fact a canonical structure of differential manifold.
Proof. The only non obvious part is to show that Un,r has locally a contin-
uous frame. Using the notations introduced in the proof of the preceding
proposition, we construct such a frame by choosing a basis v1 , , vr of L0
and associating to any L U the basis p1 1
|L (v1 ), , p|L (vr ).
120 3. Characteristic classes of real vector bundles
f :B
Gn,r
Definition 3.3.7. We denote R the real vector space formed by the se-
quences
(xn )nN
of real numbers for which {n N : xn 6= 0} is finite and endow it with the
topology of the inductive limit
lim Rn
nN
3.3. Homotopical classification of real vector bundles 121
tm,n : Rn
Rm
(v1 , , vr )
and denote ym,n the map xm,n |Yn : Yn Ym . Then, (Yn , ym,n)nN is an
inductive system and lim Yn is a closed subspace of lim Xn .
nN nN
with the fact that any wm+1 Vm+1 has a compact neighborhood Wm+1
with Wm+1 Ym+1 Vm+1 , it is easy to obtain a compact subset Lm+1 of
Xm+1 such that Lm+1 Ym+1 Vm+1 , Lm+1 xm+1,m (Km )Ym+1 . Since
xm+1,m (Km )\Lm+1 is a compact subset of Xm+1 disjoint from Ym+1 , it has
a compact neighborhood L0m+1 disjoint from Ym+1 . Taking Km+1 = Lm+1
L0m+1 , we see that Km+1 Ym+1 Vm+1 and that Km
+1 xm+1,m (Km ) as
requested. Now, set K = lim Km . By construction, K Y V . Moreover,
mn
since xm+1,m (Km ) Km +1 , K is an open neighborhood of v in X.
(b) Let u X \ Y . We know that u = xn(un) for some n N and
that for any m n, um := xm,n (un) 6 Ym . Working as in (a), it is clearly
possible to construct by induction a sequence (Km )mn such that
(ii) Km Ym = ,
(iii) xm+1,m (Km ) Km +1 .
Lemma 3.3.9. Let (Xn , xm,n)nN and (Yn , ym,n )nN be inductive systems
of locally compact topological spaces. Then,
as topological spaces.
Denote xn : Xn X, yn : Yn
Y , z n : Zn
Z the canonical maps. Since
the canonical continuous map
i:Z
X Y
(ii) Km Lm i(Wm ),
(iii) xm+1,m (Km ) Km +1 , ym+1,m (Lm ) Lm+1 .
Set
K = lim Km , L = lim Lm .
mn mn
U,r
G,r
Proof. Thanks to Lemma 3.3.9, (R )r ' lim (Rn)r and it follows from the
nN
fact V,r (Rn)r = Vn,r that V,r is open in (R )r and that
The relation
G,r ' lim Gn,r
nr
124 3. Characteristic classes of real vector bundles
Remark 3.3.11. Although we will not prove it here, the space G,r is
paracompact (see e.g. [20]).
Lemma 3.3.12. Let B be a topological space and let E be a real vector
bundle of rank r on B . Then, there is a locally finite countable family
(Vk )kN of open subsets of B such that
S
(a) kN Vk = B ;
(b) E|Vk ' Rr Vk .
Proof. Let U be a locally finite covering of B by open subsets U on which
E is trivializable and let (U )U U be continuous partition of unity subor-
dinated to U. For any non-empty finite subset S of U, set
Set also [
Vk = V (S).
#S=k
T
One checks easily that V (S) is an open subset of S. It follows that E is
trivializable on V (S) and that (Vk )kN is a locally finite family. Since
V (S) V (S 0 ) 6=
Theorem 3.3.13. For any topological space B and any real vector bundle
E of rank r on B , there is a continuous map
f :B
G,r
Proof. Thanks to the preceding Lemma, the first part is obtained by work-
ing as in the proof of Proposition 3.3.6.
For the second part, we have to show that given two commutative dia-
grams of the type
g0 g1
E / U,r / R G,r E / U,r / R G,r
ppp ppp
x pp
p x pp
p
B f0
/ G,r B f1
/ G,r
fb0 : E
R , fb1 : E
R
which are linear and injective on the fibers of E and whose knowledge makes
it possible to reconstruct the whole diagrams.
(a) Assume fb0 (e) 6 {fb1 (e) : < 0} for e E. Then, for t [0, 1], the
continuous map b R defined by setting
ht : E
: R
R , : R
R
defined by setting
(ei ) = e2i , (ei ) = e2i+1
126 3. Characteristic classes of real vector bundles
where ei are the vectors of the canonical basis of R . Set fb = fb0 and
fb = fb1 and consider the associated diagrams
g g
E / U,r / R G,r E / U,r / R G,r
ppp ppp
x pp
p x pp
p
B f
/ G,r B f
/ G,r
Isom(Vect rR (B))
[B, G,r ]
Proof. Since Lemma 3.3.15 shows that the map considered above is well-
defined, the conclusion follows easily from the preceding result.
Lemma 3.3.15. Assume B is a topological space. Then, for any real vector
bundle F on B [0, 1], there is a real vector vector bundle E on B and a
non-canonical isomorphism
F ' p1B E.
h1
t E
0
H (G,r ; M ).
Proof. Thanks to Theorem 3.3.13, we know that any real vector bundle E
of rank r on B may be written as
f 1 (U,r )
(E) = f (U,r )
c H (G,r ; M )
X ' lim Ai .
iI
(X; F)
lim (Ai ; F)
iI
S
is injective is a direct consequence of the fact that X = iI Ai . Let us
prove that it is also surjective. Let (i )iI be an element of lim (Ai ; F).
Q iI
Define the family (sx )xX of xX Fx by setting
sx = (i )x
128 3. Characteristic classes of real vector bundles
for any x Ai . We have to prove that (sx )xX comes locally from a
section of F. Fix x X. There is i I such that x Ai, an open
neighborhood U of x in X and F(U ) such that |Ai U = i |Ai U . Set
V = {x U : x = sx }. Clearly,
V Aj = {x U Aj : x = (j )x }
In particular, if
Hk (Fn ; F)
satisfies Mittag-Leffler condition for k l, then
w1 (Un,r ), , wr (Un,r ).
p : Un,r
Gn,r
is defined by setting
Define
Un,r = {(v, L) Rn Gn,r : v L }
and denote
q : Un,r
Gn,r
3.4. Characteristic classes 129
the canonical projection. One can check easily that q is a real vector bundle
of rank n r. Denote Un,r (resp. Un,r ) the space Un,r (resp. Un,r ) with-
out its zero section and denote p (resp. q) the canonical projection of Un,r
(resp.Un,r ) on Gn,r . Define the map
f : Un,r
Un,r 1
by setting f(v, L) = (v, L ivh ) for v Rn \ {0}. One checks directly that
this application is a homeomorphism; the inverse being given by the map
f 1 : Un,r
1
Un,r
defined by setting
f 1 (v, L0 ) = (v, L0 + ivh)
for any v L0 \ {0}. It follows that the Gysin sequences for Un,r and
Un,r 1 :
Z
^e 2
kr Un,r k p k
H (Gn,r ; Z2 ) H (Gn,r ; Z2 )
H (Un,r ; Z2 )
Z
^e 2
U
kn+r1 n,r1 q
H Hk (Un,r1
(Gn,r1 ; Z2 ) Hk (Gn,r1 ; Z2 ) ; Z2 )
f : Hk (Un,r
Hk (Un,r ; Z2).
1 ; Z2 )
p1Un,r
(q f)1 Un,r1
130 3. Characteristic classes of real vector bundles
0 p1 Un,r
Ln,r (q f)1 Un,r1
0
we get that
Im p Im(f q ).
p (c0 ) = f (q (c)).
3.4. Characteristic classes 131
Since
dim Im u + dim Ker u = dim E,
we have
dim Coker u = dim Ker u.
It follows that
dim Im v = dim Coker v < +.
Hence,
dim F = dim Im v + dim Coker v = 2 dim Im v.
132 3. Characteristic classes of real vector bundles
H (G,r ; Z2)
Z2[W1 , , Wr ]
Hk (Gm,r ; Z2)
Hk (Gn,r ; Z2)
Taking the projective limit of the sequences (*) and using the fact that the
Mittag-Leffler condition implies lim-acyclicity, we get the exact sequence
Z
^eU2,r
k r
0
H (G,r ; Z2) Hk (G,r ; Z2)
Hk (G,r1; Z2)
0.
Write
V U : U V
G.
W V V U = W U on U V W.
U : U
G
H1cont(U; G).
Proof. Let E be a real vector bundle with base B and rank r. By definition,
there is an open covering U of B such that E|U has a continuous frame for
any U U. This gives us a family of trivializations
Rr U
U : E|U (U U).
For any U , V U,
V 1 r
Rr (U V )
U : R (U V )
GLr (R)
V U : U V
Isom(Vect rR (B))
H1cont(X; GLr (R)).
Rr U
3.5. Cohomological classification of real vector bundles 135
Rr (U V )
Rr (U V )
(v, x) 7 (V U (x)v, x).
Then,
s : R
Z2
is a morphism of groups and the sequence of abelian groups
exp s
R R
0 Z2
0
is exact. Moreover, for any topological space X , this sequence induces the
exact sequence of sheaves
R R
0
CX
CX (Z2)X
0
R
where CX denotes the sheaf of real valued continuous functions.
Proof. Direct.
induces an isomorphism
H1 (B; CB
R
) ' H1 (B; Z2 ).
There is a bijection
H1cont (B; GL1(R)) ' H1 (B; CB
R
).
Proof. Taking the long exact sequence of cohomology associated to the se-
quence of sheaves
R R
0 CB
CB (Z2 )B
0,
we get the exact sequence
H1(B; CB
R
H1(B; CB
) R
H1 (B; Z2)
) H2 (B; CB
R
).
R
Since CB is soft, the first and last terms vanish. Hence the isomorphism
H1 (B; CB
R
) ' H1 (B; Z2 ).
and using the isomorphism between Cech cohomology and ordinary coho-
mology, we get a bijection
H1cont(B; GL1(R)) ' H1 (B; CB
R
).
What remains to prove is that this bijection may be realized by the Euler
class. Since this bijection is clearly compatible with the pull-back of bundles
and cohomology classes, Theorem 3.3.13 shows that the result will be true
if the image of U in H1 (P (R), Z2) by (*) is the Euler class of U . We
know that the restriction map
d(V0 0 , V0 1 )V1 V0 = V0 0 |V V0 1 |V
1 V0 1 V0
eZL2 = 0.
w1 (E) = 0
Proof. Since a real vector bundle E is orientable if and only if the line
bundle Det(E) is trivializable, the result follows directly from the preceding
proposition combined with Corollary 3.2.9.
4
Characteristic classes of
complex vector bundles
In this chapter as in the previous one, all topological spaces are implicitly
assumed to be paracompact.
139
140 4. Characteristic classes of complex vector bundles
uR : E R
ER
Exercise 4.1.4. Denote Pn (C) the complex projective space and Un(C)
the complex universal bundle. Set = eZUn (C) H2 (Pn (C); Z). Then,
In particular,
(Pn (C)) = n + 1.
1, , 2, , r1
as basis.
f :Y
X
f : H (X; Z)
H (Y ; Z)
f 1 (E) ' L1 Lr
As for Stiefel-Whitney classes, we also define the total Chern class c(E) as
the sum X
ck (E) H (B; Z).
k
142 4. Characteristic classes of complex vector bundles
E ' E
and the first equality follows. To get the second one, we may use the splitting
principle and treat only the case where E is a complex line bundle. In this
case, we have only to show that
eZ
E
= eZ
E.
In other words, we have to show that that the canonical orientations o and
o of ER induced by the complex structure of E and E are opposite. This
follows from the fact that if e is a complex local frame of E, then e, ie is a
positively oriented local frame for o and e, ie is a positively oriented local
frame for o.
H (G,r (C); M ).
H (G,r (C); Z)
Z[C1, , Cr ]
induces an isomorphism
H1(B; CB
) ' H2 (B; ZB ).
d1 : C
1
2
C
and
1
dlog : C
Z
by setting
df
dlog(f) = .
f
The morphism of exact sequences
0 / Z 2i/ C exp/ C /0
2i
id dlog
0 /C / C / Z1 /0
d
H1 (P1 (C); C
) o/ / H2 (P1 (C); Z)
dlog
2i
1 1 2
H (P1 (C); Z ) / o / H (P1 (C); C)
4.2. Chern classes 145
We have to show that the image of [L] in H2 (P1 (C); Z) is a generator. Hence
it is sufficient to show that
Z
dlog([L]) = 2i.
P1 (C)
for the coboundary operators of the Mayer-Vietoris sequences of C and
1
Z , shows that dlog[L] is the image of
dv0
H0 (V0 V1 ; Z
1
)
v0
in H1(P1 (C); Z
1
). To compute this image, we will use the soft resolution
1 1 2 d
0
Z
C
C
0
1
of Z . We have the commutative diagram with exact rows
0 / (P1 (C); C 2 ) / (V0 ; C 2 ) (V1 ; C 2 ) / (V0 V1 ; C 2 ) /0
dv0 2 1
To obtain the image of in (P1 (C); C )/d(P1 (C); C ), we have first
v0
dv0
to find (, 0) (V0 ; C
1 1
) (V1 ; C ) such that |V0V1 0|V0V1 =
v0
and then to use the relations |V0 = d, |V1 = d0. Let be a C -function
on C which is zero for |z| 1/4 and 1 for |z| 3/4. Clearly, we may take
dv0 dv0
= (v0 ) , 0 = (1 (v0 )) .
v0 v0
Then,
d|V0V1 = d0|V0V1
disk in C, we have
Z Z Z
dz
= d = d((z) )
P1 (C) V0 C z
Z Z
dz dz
= d((z) ) = (z)
D (0,1) z D (0,1) z
Z
dz
= = 2i
D (0,1) z
for any f C (B), s C (B; E). Such an operator gives rise to a family
of operators
5p : C
p
(B; E) p+1
C (B; E)
which is uniquely characterized by the fact that
p 0
for any C (B; E) and any s C (B; E). Let e1 , , er be a differen-
tiable frame of E on the open subset U of B. Then,
r
X
5ej = kj ek
k =1
Hence,
r
X
(5s)j = dsj + jk sk .
k =1
Moreover,
51 50 s
r
X r
X
= 51 ( (dsj + jk sk )ej )
j =1 k =1
r
XX r r
X r
X
= ((djk )sk jk dsk )ej (dsj + jk sk ) lj el .
j =1 k =1 k =1 l=1
Therefore,
r
X r
X r
X
(51 50 s)j = (djk)sk jk dsk (dsl + lk sk ) jl
k =1 l=1 k =1
X r r X
X r
= (djk)sk lk jl sk
k =1 l=1 k =1
r r
!
X X
= djk + jl lk sk .
k =1 l=1
In particular, 51 50 : C
0
(B; E) 2
C (B; E) is C(E)-linear and hence
comes from a morphism of vector bundles
2
^
K :E
T X C C E
148 4. Characteristic classes of complex vector bundles
= d + . (*)
Let f : B 0
B be a differentiable map and let 5 be a C-linear connec-
tion on E. Clearly, f 1 (E) is a differentiable complex bundle on B 0 . We
denote f 1 5 the C-linear connection on f 1 E characterized by the fact
that its matrix with respect to the differentiable frame e1 f, , er f of
f 1 E on f 1 (U ) associated to a differentiable frame e1 , , er of E on U
is the pull-back by f of the matrix of 5 in e1 , , er (i.e. we set
f 1 5 = f 5 ).
f 1 5 = f 5 .
P (5,e)
4.3. Chern-Weil construction 149
P (K5)
= tr(P 0(A)H)
P 0(A)A = AP 0(A).
Let (resp. ) be the matrix (resp. the curvature matrix) of the connection
5 with respect to a differentiable frame e1 , , er of E on U . A simple
computation shows that
r X
X r
dP () = P 0()jk dkj = tr(P 0() d).
j =1 k =1
150 4. Characteristic classes of complex vector bundles
Since
= d + ,
we have
d = d d
= (Bianchy identity).
Therefore,
pB : R B
B
5 = (1 t)(p1 1
B 50 ) + t(pB 51 ).
Clearly, 5 is a connection on p1
B E. Denote
R B,
i0 : B RB
i1 : B
Clearly, i1 1 1 1
0 pB (E) ' E and i1 pB (E) ' E. Moreover, by construction
1 1
i0 5 = 50 and i1 5 = 51. Therefore,
Using the isomorphism between de Rham cohomology and the usual coho-
mology together with the homotopy theorem, we see that the maps
i0 = HdR (R B; C)
HdR (B; C)
i1 = HdR (R B; C)
HdR (B; C)
are equal. The conclusion follows directly.
Pn (C)
f :B
such that E ' f 1 Un (C). It follows that we have only to treat the case of
Un (C) on Pn (C). Moreover, since the restriction map
H1 (Pn (C); C)
H1(P1 (C); C)
As usual, set
C and v1 : V1
and define the coordinates v0 : V0 C by setting
z1 z0
v0 ([z0 , z1]) = , v1 ([z0 , z1]) = .
z0 z1
We know that U1 |V0 has a frame s0 defined by setting
z1
s0 ([z0, z1 ]) = (1, ), [z0, z1]
z0
and that similarly, U1|V1 has a frame s1 defined by setting
z0
s1 ([z0, z1]) = ( , 1), [z0, z1 ] .
z1
A connection 5 on U1 (C) is thus characterized by the differential forms
1 1
0 C (V0 ; U1 (C)), 1 C (V1 ; U1 (C)) defined by the relations
Moreover, since
s0 = v 0 s1
on V0 V1 , we have
5s0 = (dv0)s1 + v0 5 s1
and hence
(dv0)
0 = + 1 .
v0
4.3. Chern-Weil construction 153
Conversely, the two 1-forms 0, 1 are given and satisfy the preceding gluing
condition, we can use them to construct a unique connection 5 on U1 (C).
Let be a differentiable function on C such that
1 3
= 0 on D(0, ), =1 on {D(0, ).
4 4
Set
dv0
0 = (v0 )
v0
on V0 and
1 dv1
1 = 1 ( )
v1 v1
on V1. On V0 V1 , we have
1
v1 = ,
v0
hence,
1
dv1 = dv0
v02
and
dv1 dv0
= .
v1 v0
It follows that
dv0
0 = + 1
v0
on V0 V1 and that the forms 0 , 1 define a connection 5 on U1 (C). For
this connection, we have
0 = d0 + 0 0
dv0
= d (v0 )
v0
on V0. Since 0 has compact support in V0 , K5 corresponds to the form
obtained by extending 0 by 0 outside V0 . Therefore,
Z Z Z
dz
K5 = 0 = d (z)
P1 (C) V0 C z
Z
dz
= d (z)
D (0,1) z
Z
dz
= (z)
D (0,1) z
Z
dz
= = 2i
D (0,1) z
154 4. Characteristic classes of complex vector bundles
f : B0
B
f : H (B; C)
H (B 0 ; C)
Hence
f Cr (E) = f c(E)
and the conclusion follows.
Corollary 4.3.6. For any A Mr (C), denote 1 (A), , r (A) the com-
plex numbers defined by setting
1 (A) r (A)
Cr (A) = 1 + + + .
2i (2i)r
Proof. We know that any characteristic class for complex vector bundles
of rank r may be written in a unique way as a polynomial Q(c1, , cr ) in
Chern classes. It follows that
= !.
1 r
Q , ,
2i (2i)r
For
2
S() = ..
.
r
the matrix
C() = S()BS()1
is such that
Cjk() = j kBjk .
It follows that
lim Cjk() = k jk .
0
But since P is invariant, we have
It follows that
P = Q(2ic1, , (2i)r cr ).
Hence, the conclusion.
are also symmetric. As was explained in Remark 3.2.4 all these polynomials
may be written in a unique way as
cP (f 1 E) = f cP (E).
b (X; Q) given by the construction
Definition 4.4.3. The class ch(E) H
above for A = Q and
We know that there are integers a, b such that E k = 0 if k 6 [a, b]. Let us
proceed by increasing induction on b a. If b a = 0, the result follows
directly from (i) and the fact that ch extends the usual Chern character.
Assume now that b a > 0. Remark that E is isomorphic to the mapping
cone of
da
E a [a 1] >a E
where >a E denotes the complex
E a+1
0 Eb
0
E k ' Z k Z k+1
and
X X X
ch(E ) = (1)k ch(E k ) = (1)k ch(Z k ) (1)k+1 ch(Z k+1) = 0.
k Z k Z k Z
u : E
F .
By construction,
M k (u ) = E k+1 F k.
4.4. Chern character 159
Hence,
X
ch(M (u)) = (1)k ch(E k+1 ) + ch(F k )
k Z
= ch(F ) ch(E ).
Combining the two preceding results, we see that if
u : E
F
is an isomorphism in Kb (Vect C (B)), then ch(E ) = ch(F ). It follows that
ch is invariant by isomorphism and that (ii) is satisfied.
Corollary 4.4.6. The Chern character for complexes has the following
properties:
(i) if E and F are objects of Kb (Vect C (B)), then
ch(E F ) = ch(E ) ^ ch(F );
(ii) if b : B 0
B is a continuous map and E is an object of Kb (Vect C (B)),
then
ch(f 1 E ) = f ch(E ).
Proof. This follows at once from the definition of ch for complexes and the
similar properties of the usual Chern character. As a matter of fact, for (i),
we have M
(E F )k = E l F kl
lZ
and
X X
ch(E F ) = (1)k ch(E l ) ^ ch(F kl )
k Z lZ
XX
= (1)l ch(E l ) ^ (1)kl ch(F kl)
k Z lZ
= ch(E ) ^ ch(F ).
As for (ii), we have
(f 1 E )k = f 1 (E k )
and hence
X
ch(f 1 E ) = (1)k ch(f 1 E k )
k Z
X
= (1)k f ch(E k )
k Z
= f ch(E ).
160 4. Characteristic classes of complex vector bundles
Definition 4.4.7. The Todd class of a complex vector bundle E with base
b (X; Q) given by the construction of Remark 4.4.2
X is the class td(E) H
for A = Q and
x1 xr
P (x1, , xr ) = .
1 ex1 1 exr
Hence,
^
^
^
ch( E) = ch( L1 ) ch( Lr ) = (1 ex1 ) (1 exr ).
and
x1 xr
td(E ) = td(L1 ) td(Lr ) = .
1 e x1 1 e xr
It follows that
cr (E ) = (x1) (xr ).
Hence,
cr (E )/ td(E ) = (1 ex1 ) (1 exr )
the subcategory of Kb (Vect C (B)) formed by the complexes which are sup-
ported by S.
Assume the object E of Kb (Vect C (B)) is supported by S. Then,
for any topological space B and any closed subset S of B in such a way that
(i) if E and F are isomorphic objects of KSb (Vect C (B)), then
chS (E ) = chS (F );
i(chS (E )) = ch E ;
Moreover,
s:B
B,
(i) s1 (S) S;
(ii) s1 E ' E ;
i(chS (E )) = ch(E ),
i(chS (E )) = ch(E ).
Note that from this definition it follows easily that chS (E ) = 0 if E is exact.
As a matter of fact, by construction of S we have in this case s(B) S = .
Let E1 , E2 be two objects of KSb1 (Vect C (B1 )) and KbS2 (Vect C (B2 )). De-
note B1 , S1 , E1 and B2 , S2 , E2 the objects associated to E1 and E2 by
Lemma 4.5.3 and let s1 : B1 B1 , s2 : B2 B2 be the canonical maps.
4.5. Local chern character 163
b : B2
B1
E2 ' b1E1
in Cb (Vect C (B2 )). From the definitions of S1 and S2 , it follows also that
b1S1 S2 .
ch(E2 ) = b ch(E1 ).
is injective. Since
it follows that
chT (F1 F2 ) = chT (F1 ) + chT (F2 ).
Using the fact that t1 (T ) = s1 1
1 (S1 ) s2 (S2 ) S and the isomorphisms
t1F1 ' s1
1 E1 ' E1 , t1 F2 ' s1
2 E2 ' E2 ,
we get that
(c) With the same notations as in (b), let us now prove that if M (u )
is the mapping cone of the morphism
u : E1
E2
of CSb (Vect C (B)) then chS (M (u)) = chS (E2 ) chS (E1 ). To this end,
consider the complex vector bundle p : H B whose fiber at b B is
v : F1
F2
u : B
H
4.5. Local chern character 165
O O
E1 / E
2
u
u1
M (v ) ' M (u )
chS (M (u )) = chS (M (0 ))
= chS (E1 [1] E2 )
= chS (E2 ) chS (E1 ).
(ii) a closed subset S of B such that s1 (S) S and for which the canon-
ical map
b (B; Q)
i : H H (B; Q)
S
is injective;
166 4. Characteristic classes of complex vector bundles
s1 (E ) ' E .
E = kZ E k
and
= (rk E l )lZ
the flag bundle Fl (E)
B has a canonical section given by
b 7 El,b
where
El = kl E k
for any l Z. Let us define B as the closed subset of Fl (E) formed by
flags F such that
El1,b Fl El+1,b
for any l Z if F Fl (E )b . We denote p : B
B the map induced by
the canonical projection Fl (E) B.
(b) Construction of E and S. Denote Fl the complex vector bundle on
B whose fiber at F B is Fl . By construction,
dk : E k
E k+1
Fk p1 Ek+1
s1 E ' E
k = k + k+1 .
and we may take k = dim Zbk . The existence follows. As for the uniqueness,
it is sufficient to note that
X
l = (1)kl+1 k .
k<l
Fk1/Ek2,b
Fk /Ek1,b
Fk+1/Ek,b
168 4. Characteristic classes of complex vector bundles
ZFk = Fk Ek,b/Ek1,b.
ZFk1
0 EFk1
BFk
0
shows that
It follows that dim BFk = dim ZFk and hence that BFk = ZFk .
(f) Cohomology of B \ S if S 6= B. Recall that if E is an n-dimensional
complex vector bundle on B and l is an integer such that 0 l n, Then
Gl (E) denotes the Grassmannian bundle whose fiber at b B is the set
of complex vector subspaces of dimension l of Eb. Denote G the fibered
product of the Grassmannian bundles Gk (E k ) (k Z). For any flag F of
B \ S above b and any k Z, part (e) shows that
(Fk Ek,b)/Ek1,b
is k -dimensional. Since
Ek,b/Ek1,b ' E k
f : B \ S
G.
We shall prove that this map is a fiber bundle whose fibers are isomorphic
P
to Cd with d = kZ 2k . This will entail that
f : H (G; Q)
H (B \ S; Q)
is an isomorphism.
For any k Z, let Lk be an element of Gk (E k ) above b B. Denote
L the element of G associated to the family (Lk )kZ . A flag F of B above
b belongs to f 1 (L ) if and only if the image of
Fk Ek,b/Ek1,b
4.5. Local chern character 169
Fk Ek,b = Ek1,b Lk .
and
dim(Ek,b/Ek1,b Lk ) = k k = k+1 ,
we have
g:G
B \ S
By construction,
f g = idG .
Therefore,
g : H (B \ S; Q)
H (G; Q)
is the inverse of
f : H (G; Q)
H (B \ S; Q).
(g) Injectivity of i. A long exact sequence of cohomology shows that the
canonical morphism
i : HS (B; Q)
H (B; Q)
170 4. Characteristic classes of complex vector bundles
j : H (B; Q)
H (B \ S; Q)
and denote
f 0 : B
G0
the continuous map which sends a flag F of Bb to the element
(Fk /Ek1,b)kZ
G0
h:G
(Lk Lk+1)kZ
of G0b. Since
h = g (j) (f 0 )
and since g is an isomorphism, it is sufficient to show that h is surjective.
Denote
pk : G Gk (E k )
the canonical projection and Tk the tautological bundle on Gk (E k ). Re-
peated applications of the Leray-Hirsch theorem show that
H (G; Q)
Gk (E k E k+1)
p0k : G0
Therefore,
It follows that
pk c (Tk ) ^ pk+1c (Tk+1 )
and its inverse both belong to the image of h . Hence, proceeding by de-
creasing induction on k, we see that pk c (Tk ) Im h for all k Z. This
entails that Im h = H (G; Q) and the conclusion follows.
Proof. Let pE : G
E and pF : G
F be the two projections associated
to the decomposition G = E F . For any vector subspace H of G such
that E H = G, the linear map
pF |H : H
F
Hh = {(h(x), x) : x F }.
q1 : B1
B, s1 : B
B1 , S1 , E1
and
q2 : B2
B, s2 : B
B2 , S2 , E2
the objects associated to E1 and E2 by Lemma 4.5.3. Set C = B1 B B2
and denote p1 : C B1 , p2 : C B2 the two projections. Then the
canonical morphism
HT (C; Q)
H (C; Q)
is injective if T is equal to one of the closed subsets
p1
1 (S1 ), p1
2 (S2 ), p1 1
1 (S1 ) p2 (S2 ), p1 1
1 (S1 ) p2 (S2 ).
172 4. Characteristic classes of complex vector bundles
0 0 0
O O O
0 / HS (B1 B2 \ S2 ; Q) / H (B1 B2 \ S2 ; Q) / H (B1 \ S1 B2 \ S2 ; Q) /0
1 (B2 \S2 ) O O
O
0 / HS (B1 B2 ; Q) / H ( B1 B2 ; Q) / H (B1 \ S1 B2 ; Q) /0
1 B2 O O
O
0 / H (B1 ; Q) H (B2 ; Q) / H (B1 ; Q) HS (B2; Q) / H (B1 \ S1 ; Q) H (B2 ; Q) /0
S1 S2 S2
O O 2 O
0 0 0
we get that
HS HS
(B1 B2 ; Q) (B1 B2 ; Q)
1 S2 1 B2
H (B \ S; Q) ' H (G; Q)
f B idC : B \ S B C
G B C
4.5. Local chern character 173
induces an isomorphism
H (G C; Q) ' H (B \ S B C; Q)
Proof. Let us use the notations of Lemma 4.5.5. Denote t : B C the map
associated to the canonical maps s1 : B
B1 , s2 : B
B2 and set
F1 = p1
1 E1 , F2 = p1
2 E2 , T1 = p1
1 S1 , T2 = p1
2 S2 .
E1 = t1F1 , E2 = t1F2
and
S1 S2 t1 (T1 T2 )
it follows that
is injective. Since
Rp|U
R|U (U open subset of X)
R p1
R p0
F
0.
and calls coherent analytic sheaves the objects of this category. Note that
among coherent analytic sheaves on X (resp. M ), one finds the locally free
OX -modules (resp. AX -modules). They correspond to the sheaves of com-
plex (resp. real) analytic sections of complex (resp. real) analytic complex
vector bundles on X and form an additive subcategory of Coh(X) (resp.
Coh(M )) which will be denoted Bnd(X) (resp. Bnd(M )).
Although we will not review in details the theory of coherent analytic
sheaves here, we will feel free to use its main results without proof since the
interested reader can find them in standard texts (see e.g. [12, 13]).
Ep
0 Eq
... 0
Bnd(M )
Coh(M )
Proof. (a) As is well known (see e.g. [18, Corollary 1.7.8]), it is sufficient to
prove that:
E F
with E Bnd(M ).
0
En
En1
...
E0
AN
M F.
Therefore
RHom AM (E 00, E 0) ' Hom AM (E 00, E 0)
and E 00 is a projective AM -module. In particular, the sequence (*) splits.
Since a direct summand of a flat module is flat, E 0 is flat and hence locally
free. With these results at hand, we can conclude by a simple iteration
procedure.
(c) This follows directly from (a) and (b) thanks to well-known results
of homological algebra.
chS (E ) = chS (E )
Proof. Thanks to Proposition 4.5.2 and Proposition 4.5.7, the result follows
directly from the preceding lemma.
Remark 4.6.4. It follows easily from the additivity of the local Chern
character introduced in the preceding proposition that
X
chS (F ) = (1)k chS (Hk (F)).
k Z
So, the local Chern character for complexes of coherent analytic sheaves may
be reduced to the local Chern character for coherent analytic sheaves. A
similar reduction has however no meaning for complexes of complex vector
bundles since the corresponding cohomology sheaves are not locally free in
general.
4.6. Extension to coherent analytic sheaves 177
(a) Assume
+1
E
F
G
b
is a distinguished triangle of Dcoh (AM ) which is supported by S , then
b
(b) Assume E and F are objects of Dcoh (AM ) supported respectively by
L b
S and T . Then E A F is an object of Dcoh (AM ) supported by
M
S T and
L
chS T (E A F ) = chS (E ) ^ chT (F )
M
Proof. Part (a) follows from the long exact sequence of cohomology and
the additivity of the local Chern character for coherent analytic sheaves.
Part (b) follows from the multiplicativity of the local Chern character of
b
Proposition 4.6.3 combined with the fact that any object of Dcoh (AM ) is
b b
isomorphic in Dcoh (AM ) with an object of D (Coh(M )).
Remark 4.6.8. Since AX is flat over OX , the local Chern character in-
troduced in the preceding proposition is clearly invariant by isomorphism,
additive and multiplicative.
5
Riemann-Roch theorem
5.1 Introduction
Let X be a compact complex analytic manifold of complex dimension n. To
fix the notations, let us recall that
An
X = sheaf of real analytic n-forms
n
BX = sheaf of hyperfunction n-forms
n
C ,X = sheaf of smooth n-forms
Dbn
X = sheaf of distribution n-forms
179
180 5. Riemann-Roch theorem
Proposition 5.1.1.
0 d 2n d
CX
0 C ,X
C ,X
0
(p,0) (p,n)
pX
0 C,X
C,X
0
is exact.
Hk (X; CX ) = 0
Remark 5.1.3. It follows from the preceding proposition that the complex
Betti numbers
bk (X) = dim Hk (X; CX ) (k Z)
b2nk(X) = bk (X)
so that
(X) bn(X) (mod 2).
Finiteness and duality results also holds for coherent analytic sheaves.
Hk (X; F) = 0
if k 6 [0, n] and
dim Hk (X; F) < +
if k [0, n].
Proof. We will only give a sketch of the proof for the case where F is locally
free. For the general case, we refer to standard texts on complex analytic
geometry.
By tensorization on OX with the Dolbeault resolution
(0,0) (0,n)
0
OX
C,X
C,X
0
(0,k )
Since F OX C,X is locally isomorphic to a direct sum of a finite number
(0,k )
of copies of C,X , it is a soft sheaf. Therefore,
(0,)
R(X; F) ' (X; F OX C,X ).
The vanishing part of the result follows easily. To obtain the finiteness part,
we consider the resolution
(0,0) (0,n)
0
F
F OX AX
F OX AX
0
Sketch of proof. The basic idea is to write E k = lim Eik where Eik is a Ba-
iN
nach space; the transitions being compact and then to use Baires theorem
to reduce the result to Schwartz compact perturbation Lemma.
5.1. Introduction 183
Proof. We will only sketch the proof in the case where F is locally free.
Working as in the proof of Proposition 5.1.6, we get the two isomor-
phisms
(0,)
R(X; F) ' (X; F OX C,X )
and
(n,)
R(X; RHom OX (F, X )) ' (X; RHom OX (F, DbX )).
Consider the canonical pairing
(0,k ) (n,nk ) (n,n)
[F OX C,X ] C [RHom OX (F, DbX )]
DbX
Using the definition of distributions, one checks easily that this morphism
is in fact an isomorphism. The cohomology of the complexes involved being
finite dimensional, the differentials are strict and we get
(0,) (n,)
Hk ((X; F OX C,X )) ' Hnk ((X; RHom OX (F, DbX ))).
: pX n
X
p
n
X
induces an isomorphism
n
X
p
' Hom OX (pX , n
X ).
Hence, applying the duality result for coherent analytic sheaves, we see that
hnp,q = hp,nq .
The hp,q have many other interesting properties. However, since they are
related to Hodge theory we will not review them here.
Thanks to the results in this section, one sees that the Euler-Poincare
characteristic
X
(X; F) = (1)k dim Hk (X; F)
k =0
makes sense for any coherent analytic sheaf on a compact complex ana-
lytic manifold. The computation of this number forms what one may call
the generalized Riemann-Roch problem (its link with the original results
of Riemann and Roch will be explained in Sections 24 below). In [15],
Hirzebruch solved this problem when X is a projective manifold and F is
the sheaf of complex analytic sections of a complex analytic vector bundle
F of rank r by expressing the number (X; F) by means of a formula of
the type
Z
(X; F) = P (c1 (F ), , cr (F ), c1(T X), , cn(T X))
X
To better understand the link between this formula and the preceding
one let us write it explicitly in terms of Chern classes in a two simple cases.
x x 1 x
= (x)2
= x = 1 + + o(x)
1 ex 1 (1 + (x) + + o(x2 )) 1 2
+ o(x) 2
2
and
ex = 1 + x + o(x).
Therefore, using the fact that E and T X are line bundles, we get
ch(E) = 1 + c1(E)
c1 (T X)
td(T X) = 1 + .
2
Hence,
2 c1(T X)
[ch(E) ^ td(T X)] = c1 (E) +
2
so that
Z
c1 (T X)
(X; E) = c1 (E) + .
X 2
x x
x
= 2 (x)3
1e 1 (1 + (x) + 2x) +
(
6 + o(x3 ))
1
= x x2
1 2 + 6 + o(x2 )
x x2
= 1+ + + o(x2)
2 12
and
x2
ex = 1 + x + + o(x2 ).
2
186 5. Riemann-Roch theorem
H0 (X; CX ) ' C
H1 (X; CX ) ' C2g
H2 (X; CX ) ' C
k
H (X; CX ) ' 0 (k 3)
5.2. Cohomology of compact complex curves 187
CX
0 OX
X
0,
H0 (X; CX )
H0 (X; OX ) (*)
H1 (X; X )
H2(X; CX )
H0(X; X )
0 H1 (X; CX )
H1 (X; OX )
0
is exact. Since
H1 (X; OX ) ' H0 (X; X ) ,
the spaces H1 (X; OX ) and H0 (X; X ) have the same dimension g. It follows
that H1 (X; OX ) ' Cg , H0 (X; X ) ' Cg and that H1(X; CX ) ' C2g .
(X) = 2 2g.
188 5. Riemann-Roch theorem
a|b c A with b = a c.
that (DivX )x is the group of principal divisors of the integral ring (OX )x .
So, it is canonically endowed with an order relation ()x . Hence, we get an
order relation on the sections of DivX . A divisor on X is the data of a
global section D of DivX . A divisor coming from a global section f of KX is
called principal, we denote it (f). It follows from the construction of DivX
5.3. Divisors on complex curves 189
This group is called the Picard group of X and denoted Pic(X). Two divisor
which have the same image in Pic(X) are said to be equivalent.
The structure of (DivX )x is very simple. As a matter of fact, if t is a
local coordinate such that t(x) = 0, any meromorphic function f may be
uniquely written in a neighborhood of x as
f = tn h
where n Z and h OX,x (consequence of Taylor formula). It follows that
(f) = n(t). Moreover, we see easily that if t0 is another local coordinate such
that t0 (x) = 0, we have (t) = (t0 ). Therefore, (t) is a canonically defined
divisor supported by {x}. We denote it by [x] and we denote ordx (f) the
unique integer n such that
(f) = n[x].
We may sum up what precedes by saying that
Z
ordx : (DivX )x
for any connected open subset U of X. One checks easily that OX (D) is an
OX -submodule of KX . Consider a point x X. This point has a connected
190 5. Riemann-Roch theorem
h
OX (D)(U ) = { : h OX (U )}
g
D0 = D + (g)
with g (X; KX ), then
OX (D0 )
OX (D)
f 7 fg
s (X; KX OX L) \ {0}.
s|U = f l
In particular,
dim H0 (X; L(D)) (X; L) + deg D.
where x1, , xm are points of X and n1, . . . , nm ; n01, . . . , n0m are elements
of Z (which may be equal to 0). One sees easily that Qx = 0 if x /
{x1, . . ., xm }. Now, consider a coordinate neighborhood U of a point xj
{x1, , xm } such that U {x1, , xm } = {xj }. Let t be a coordinate on
U such that t(xj ) = 0. Since D|U = nj (t) and D0 |U = n0j (t), we see that
h h0
OX (D)xj = { : h (OX )xj }, OX (D0 )xj = { 0 : h0 (OX )xj }.
tn j tn j
Since n0j nj , we may write
0 0
h0 = a0 + a1 t + + an0j nj 1tnj nj 1 + tnj nj h00
OX (D) ' L.
OX (D)
L
f 7 fs
s0 = gs
with g (X; KX ) and that such a relation entails that
L ' OX (D).
D 7 OX (D)
(X; L) = deg[L] + 1 g
N
` : Pic(X)
and
`(K) = dim H0 (X; X ) = g.
Proof. From the duality theorem for coherent analytic sheaf we deduce that
It follows that
dim H1(X; OX (D)) = `(K D).
Since
(X; OX (D)) = deg D + 1 g,
the proof is complete.
deg K = 2g 2.
Therefore,
g 1 = deg K + 1 g
and the conclusion follows.
Proposition 5.4.15.
H0 (X; OX (D)) = 0.
(b) As in (a), we have only to prove the first equality. Using Proposi-
tion 5.4.13, we see that this equality is true if
`(K [D]) = 0.
Remark 5.4.16. Note that the second part of the preceding proposition
contains a complete answer to the original Riemann-Roch problem for high
degree divisors.
Proposition 5.4.17. For any divisor D on X , we have
Z
deg D = c1 (OX (D)).
X
Pm
Proof. Assume D = i=1 ni [xi] where x1, . . . , xm are distinct points of X.
For any i {1, . . ., m}, let ti be local coordinate defined on an open neigh-
borhood Ui of xi such that ti (xi) = 0, ti(Ui ) ' D(0, 1) and assume that
U1 , . . ., Um are disjoint. Set U0 = X \ {x1, . . ., xm } and denote U the cover-
ing {U0, . . . , Um }. We know that OX (D) is generated on U0 , U1 , . . ., Um by
the functions 1, t 1
n1
, . . . , t
m
nm
. So, we may represent the class of OX (D)
in H1(X; OX
) ' H1(U, OX
) by the Cech cocycle g defined by setting
g U0 U1 = t n
1 ,
1
g U0 U2 = t n nm
2 , . . . , g U0 Um = t m .
2
Thanks to the proof of Proposition 4.2.10, we also know that the diagram
dlog
H1(X, OX
) / H1(X, 1 )
PPP
PPP
c (1
H2 (X, C)
1
0 (1,0)
C (1,1)
C
0
5.4. Classical Riemann and Roch theorems 197
induces an isomorphism
(1,1)
H1(X, 1 ) ' (X, C (1,0)
)/(X; C ).
U0 7 dc0U0
..
.
Um 7 dc0Um
dt1 dtm
= dU1 n1 dUm nm .
t1 tm
It follows that
Z Z m
X Z
dti
c1(OX (D)) = = ni dUi .
X X Ui ti
i=1
198 5. Riemann-Roch theorem
and Z
c1 (T X)
1g = .
X 2
Since by the preceding proposition, we have
Z
deg([L]) = c1(L),
X
is a locally free OPn (C) -module of rank 1. Moreover, there are canonical
isomorphisms
Hom OP (OPn (C) (l), OPn (C) (l0 )) ' OPn (C) (l0 l).
n (C)
Uk = {[z0 , , zn ] : zk 6= 0}
C by setting
and define the map ukl : Uk
zl
ukl = .
zk
Then, (uk0, , u
d kk , , ukn) gives a biholomorphic bijection between Uk
and Cn. It follows that any (U ; Pn (C) ) may be written in a unique
way on U Uk as
[
= fk duk0 du kk dukn
[
duk0 du kk dukn
It follows that
(1)kl
fl = f k +1 .
un
lk
Hence,
(1)l (1)k
f l ([z 0 , , z n ]) = fk ([z0, , zn])
zln+1 zkn+1
on q1(U Uk Ul ). This shows that there is a unique h (U ; OPn (C) (n
1)) such that
(1)k
h(z0 , zn) = n+1 fk ([z0 , , zn ])
zk
on q1(U Uk ) for k {0, , n}. We have thus constructed a canonical
morphism
Pn (C) OPn (C) (n 1).
Since it is clearly an isomorphism, the proof is complete.
Solution. Using the same notations as in the proof of the preceding propo-
sition, set
z0 c
zk zn
sk ([z0 , , zn]) = ( , , , , ), [z0, , zn ] .
zk zk zk
= k sk
on U Uk . Since
sk = ukl sl
5.5. Cohomology of coherent analytic sheaves on Pn (C) 201
on Uk Ul , we have
l = k ukl
on U Uk Ul . It follows that
Theorem 5.5.5. The cohomology of the sheaf OPn (C) (l) is given by the
table : ( n+l
C( l ) if l 0
H0 (Pn (C); OPn (C) (l)) =
0 otherwise
(l + 1) (l + n)
(Pn (C); OPn (C) (l)) =
n!
for any l Z.
Proof. We will only do the easy part and prove the first equality. We refer
to [26] and [27] for the other results. Note that it follows from definitions
that
H0 (Pn(C); OPn (C) (l)) = {f OCn+1 (Cn+1 \{0}) : f(z) = l f(z) ( C )}.
we have
X
1
= dn,l z l .
(1 z)n+1
l=0
Hence,
(l)
1 1 (n + 1)(n + 2) (n + l) n+l
dn,l = = = .
l! (1 z)n+1 z=0 l! l
To conclude, note that it follows from the cohomology table that
n+l
if l 0
l
(Pn (C); OPn (C) (l)) = 0 if n l 1
(1)n l1 if l n 1
n
Remark 5.5.6. Note that, using the duality theorem for coherent analytic
sheaves, we have
Hk (Pn (C); OPn (C) (l)) ' Hnk (Pn (C); Hom OP (OPn (C) (l), Pn (C) ))
n (C)
S S M.
M
M
from the category of graded S -modules to that of OPn (C) -modules is exact.
Moreover,
(b) M = 0 if M is an object of PN ,
Proof. The difficult part is the exactness, for it we refer the reader to [26]
and [27]; the other parts are easier. As a matter of fact, (b) follows at once
from the fact that for x Uk , any section of (M )x of the form
l0 ml0
F 7 S(F)
M 7 M .
(b) the OPn (C) -module F(l) is generated by its global sections for l 0;
(c) we have
Hk (Pn (C); F(l)) = 0 (k > 0)
for l 0.
Proof. (a) We know that S(F) is an object of PF. It follows that there is
a morphism
R0
M
S(lr0 )
S(F)
r0 =0
Remark 5.5.13. Parts (b) and (c) of the preceding proposition may be
viewed as stating that OPn (C) (1) is an ample locally free OPn (C) -module of
rank 1.
PM (l) = dim Ml
for l 0.
with N in PN . Moreover,
(l + l0 + 1) (l + l0 + n)
dim S(l0 )l = dim Sl0 +l = .
n!
Hence, the conclusion follows from the additivity of M 7 dim Ml and the
fact that the zeros of a polynomial are in finite number.
PS/(Q) (l)
= (Pn (C); OZ (l))
(l + 1) (l + n) (l d + 1) (l d + n)
=
n! n!
5.6. Hirzebruch-Riemann-Roch theorem for Pn (C) 207
(Pn (C); OZ ) = (Pn (C); OPn (C) ) (Pn (C); OPn (C) (d))
and the first formula follows immediately. For the second one, we note that
(d + 1) (d + n) 0 if d n
= (d 1) (d n)
n! (1)n if d > n.
n!
Hence, the conclusion.
we see that formula (*) holds for any l Z. Combining the results, we get
that n+1
ch(OX (l)) td(T X) = el .
1 e
Therefore,
2n
(ch(OX (l)) td(T X)) = n
where is the coefficient of z n in the Taylor expression at 0 of
n+1
z
elz .
1 ez
in HX (Y ; Q).
We will start by recalling a few facts about Koszul complexes which will
be needed in the proof.
Let R be a commutative ring on the topological space X, let E be locally
free R-module of rank r and let s be a section of E . Recall that the Koszul
complex K (E; s) is the complex
r
^ k
^
L s L
s 1
0
E
E
E R
0
l : R/R1 + + Rl1
R/R1 + + Rl1
i! O Z s .
With this lemma at hand, we can now prove the following special case
of Theorem 5.7.1.
Proposition 5.7.3. Let p : E X be a holomorphic complex vector
bundle of rank r. Denote i : X
E its zero section. Then, for any
F DCoh
b
(OX ), we have
in HX (E; Q).
= chX (i! OX )p ch F
5.7. Riemann-Roch for holomorphic embeddings 211
E = P (E (C X))
j:E
E
k : P (E)
E
: HX (E; Q)
H (E; Q)
is injective;
(b)
ch(i! OX ) = i! (1/ td E)
in H (E; Q).
and
j chX (i! OX ) = chX (i! OX ).
(a) Since
H (P (E); Q).
H (E; Q)
1, c1(U ), , c1(U )r
212 5. Riemann-Roch theorem
One checks easily that t is transverse to the zero section of F and that
Zt = X. Therefore, Exercise 2.7.8 shows that
cr (F ) = E/X = i! 1.
K (F, t)
ch(i! OX ) = cr (F )/ td F.
Note that
cr (F )c1(U ) = cr+1 (F U ) = 0
since
F U ' Hom (U , p1 (E (C X)))
has a nowhere vanishing section. But
td(F )1 = td(U )1 p td(E)1 p td(E)1 (mod c1 (U )).
Therefore,
cr (F )/ td F = cr (F )/p td E
= (i! 1)/p td E
= i! (1/ td E).
5.7. Riemann-Roch for holomorphic embeddings 213
i / 1 (1)
Y {1}
O O
O O j1
Y i1
/X
i / 1 (0)
Y {0}
O O
O O j0
Y i0
/ TY X
with p j0 = i0 p.
Since both and i are submersions, it follows that j0 and j1 are transverse
to i. Hence,
Lj0 i! (F OC ) = i0! (F)
and
Lj1 i! (F OC ) = i1! (F).
Setting G = i! (F OC ), it follows that
and that
chY (i1 ! F) = j1 chY C (G).
Hence
j0! chY (i0! F) = j0 ! (1) ^ chY C (G)
in HY {0} (X; Q) and
C/{0} = C/{1}
in H2c (C; Z), they are equal in H2D (C; Z) for D a sufficient large compact
disk. It follows that
j0 ! (1) = j1 ! (1)
in H 1 (D) (X; Z) and we get
HY (X; Q)
p! : HY D (X; Q)
as requested.
Therefore,
ch(i! F) td T Y = i! (ch F i td T Y / td TX Y ).
Thanks to the exact sequence
0 i1T Y
TX TX Y
0
we have
i td T Y = td T X td TX Y.
So
chY (i! F) td T Y = i! (ch F td T X)
and the conclusion follows.
Proof. This follows directly from the preceding proposition if one takes
Y = Pn (C) and uses Proposition 5.6.1.
Bibliography
217
218 Bibliography
[17] B. Iversen, Local Chern classes, Ann. scient. Ec. Norm. Sup. 4e serie 9
(1976), 155169.
[23] , Elliptic pairs II: Euler class and relative index theorem,
Asterisque 224 (1994), 6198.
Volumes ja publicados
1 Lus Sanchez,
Metodos da Teoria de Pontos Crticos, 1993.
2 Miguel Ramos,
Teoremas de Enlace na Teoria dos Pontos Criticos, 1993.
3 Orlando Neto,
Aequacones Diferenciais em Superfcies de Riemann, 1994.
4 A. Bivar Weinholtz,
Integral de Riemann e de Lebesgue em RN , (3a edicao), 1999.
5 Mario S. R. Figueira,
Fundamentos de Analise Infinitesimal, (2a edicao), 1997.
6 Owen J. Brison,
Teoria de Galois, (3a edicao), 1999.
7 A. Bivar Weinholtz,
Aequacones Diferenciais - Uma Introducao, (2a edicao), 2000.
8 Armendo Machado,
Topicos de Analise e Topologia em Variedades, 1997.
9 Armendo Machado,
Geometria Diferencial - Uma Introducao Fundamental, 1997.
10 A. Bivar Weinholtz,
Teoria dos Operadores, 1998.
11 Teresa Monteiro Fernandes,
Topologia Algebrica e Teoria elementar dos Feixes, 1998.
12 Owen J. Brison,
Grupos e Representacoes, 1999.
13 Jean-Pierre Schneiders,
Introduction to Characteristic Classes and Index Theory, 2000
Abstract