Topologie Alg´ebrique TD 8
13 Janvier 2012
8 Cohomologie
Exercice 8.1 Calculer les anneaux de cohomologies `a coefficient dans Zet
dans Z/2Zdes espaces topologiques suivants :
1. Une ´etoile 1dans un espace vectoriel r´eel `a centre l’origine.
2. Sn, la sph`ere de dimension n.
3. Un graphe fini connexe.
4. La surface compacte orientable de genre g.
5. La bouteille de Klein.
6. Pn
C, l’espace projectif complexe de dimension n.
7. Pn
R, l’espace projectif r´eel de dimension n.
8. Tn=S1× · · · × S1
| {z }
n
, le tore topologique de dimension n.
Exercice 8.2 (Th´eor`eme de Coefficient Universel : version pratique)
Soit Xun espace topologique, on suppose que tout son groupe d’homologie `a
coefficient dans Zest un groupe ab´elien de type fini (par exemple, si Xest un
CW-complexe fini). Par la structure de groupes ab´eliens de type fini, on ´ecrit :
Hi(X,Z)=ZriM
j
Z/ki,jZ,
o`u ki,jest une puissance d’un nombre premier. On introduit deux notations :
pour un groupe ab´elien G, on d´efinit kG:=Ker(Gk
G), et Gk:=Coker(Gk
G).
Montrer les r´esultats suivants :
1. (Changement de coefficient d’homologie)
Hi(X,G)=GriM
j
Gki,jM
j
ki1,jG.
2. (Cohomologie `a coefficient quelconque)
Hi(X,G)=GriM
j
ki,jGM
j
Gki1,j.
En particulier,
Hi(X,Z)=ZriM
j
Z/ki1,jZ,
1. Une ´etoile Eest un sous ensemble qui v´erifie la propri´et´e : PEimplique OP E
1
3. (Dualit´e de Kronecker) Soit Fun corps de caract´eristique nulle.
Hi(X,F)=Hi(X,F).
Exercice 8.3 (Op´erations) Soient X,Ydeux CW-complexes, Aun sous-complexe
de X. Soit Fun corps de caract´eristique nulle. Toutes les homologies et coho-
mologies suivantes sont `a coefficient dans F. On va r´esumer les effets sur les
cohomologies de certains op´erations usuelles sur espaces topologiques.
Rappelons la d´efinition de cohomologie r´eduite : e
Hi(X) :=Hi(X,x), o`u xest
un point de base de X, autrement-dit, e
H(X)est l’id´eal d´efini par le noyau
du morphisme d’augmentation H(X)F=H(x),et H(X)=F·1e
H(X)
est l’op´eration canonique de ‘ajouter l’unit´e’ appliqu´ee `a F-alg`ebre sans unit´e
e
H(X).D´emontrer les isomorphismes de F-alg`ebres suivants :
1. (Union disjoint)
H(XaY)=H(X)×H(Y)
En particulier, les deux facteurs sont orthogonaux par rapport au cup
produit.
(Pr´eciser d’abord la d´efinition du produit direct de deux F-alg`ebres gra-
du´ees.)
2. (Produit : formule de K¨
unneth)
H(X×Y)=H(X)FH(Y).
En particulier, en chaque degr´e, on a un isomorphisme d’espaces vecto-
riels.
Hn(X×Y)=
n
M
i=0
Hi(X)FHni(Y).
(Pr´eciser la d´efinition du produit tensoriel de deux F-alg`ebres gradu´ees.
Faire attention sur les signes !)
3. (Bouquet)
e
H(XY)=e
H(X)×e
H(Y).
Autrement-dit,
H(XY)=F·1(e
H(X)×e
H(Y)).
4. (Produit Smash : formule de K¨
unneth)
e
H(XY)=e
H(X)Fe
H(Y).
Autrement-dit,
H(XY)=F·1(e
H(X)Fe
H(Y)).
En particulier, en chaque degr´e, on a un isomorphisme d’espaces vecto-
riels.
e
Hn(XY)=
n
M
i=0e
Hi(X)Fe
Hni(Y).
2
5. (Suspension (r´eduite))
e
H(ΣX)=e
H(X)·,
o`u est un ´el´ement formel (non-nul) de degr´e 1 v´erifiant 2=0. Autrement-
dit, H0(ΣX)=F·1,Hi(ΣX)=Hi1(X)pour i1, et tous les cup-produits
entre les ´el´ements de degr´es au moins 1 s’annulent.
6. (Quotient)
H(X,A)=e
H(X/A)=e
H(XACA)
Exercice 8.4 (Produit) Calculer l’anneau de cohomologie `a coefficient dans
Zet dans Z/2de Pn
R×Pm
R.
Exercice 8.5 (Morphisme de Bockstein) Soit pun nombre premier. On
consid`ere la suite exacte courte suivante :
0Z/pZp
Z/p2ZZ/pZ0,
o`u le premier morphisme envoie une classe imod pvers la classe pi mod p2, et le
deuxi`eme morphisme est simplement la projection naturelle. Soit Xun espace
topologique, et Cson complexe des cochaines singuli`eres.
1. Montrer qu’on obtient une suite exacte courte de complexes :
0Z/pZCp
Z/p2ZCZ/pZC0.
2. En d´eduire pour chaque entier positif i, un morphisme β:Hi(X,Z/pZ)
Hi+1(X,Z/pZ). On l’appelle le morphisme de Bockstein.
3. Montrer que le morphisme de Bockstein est un morphisme de foncteurs
Hi(,Z/pZ)Hi+1(,Z/pZ).
4. Montrer que le morphisme de Bockstein est un d´erivateur par rapport
`a la structure de cup produit. Pr´ecis´ement, soient xHa(X,Z/pZ),y
Hb(X,Z/pZ), alors
β(xy)=β(x)y+(1)axβ(y).
5. Si p>2, montrer que ββ=0
3
1 / 3 100%
La catégorie de ce document est-elle correcte?
Merci pour votre participation!

Faire une suggestion

Avez-vous trouvé des erreurs dans linterface ou les textes ? Ou savez-vous comment améliorer linterface utilisateur de StudyLib ? Nhésitez pas à envoyer vos suggestions. Cest très important pour nous !