HOMOLOGIE-HOMOTOPIE 5
6. Cohomologie Singulière
Un complexe de cochaines est la donnée d’une famille (Cn)n∈Nde modules équippés d’une
famille de morphismes dn:Cn−→ Cn+1 vérifiant dn+1 ◦dn= 0.
En particulier Bn:= Imdn⊂Zn+1 = ker dn+1, on pose alors
Hn(C, d) := Zn+1/Bnn-ème groupe de cohomologie
— les éléments de Zns’appellent des n-cocycles ;
— les éléments de Bns’appellent des n-cobords ;
— les élèments de [x]∈Hn(C, d)s’appellent des classes de cohomologie de degré n.
Pour un espace topologique donnée Xet un module donné K. Si on muni
Cn(X;K) := Hom(Cn(X;K))
de d:= ∂#(transposée de ∂), on obtient le complexe de cochaine C∗(X;K), d), dont la
cohomologie associée est appellée cohomologie singulière de Xà coefficients dans K.
7. Dualité de Poincaré
Soit Xun espace topologique et Kun anneau. Le cap produit noté _est défini par
_:: Cp(X;K)×Cq(X;K)−→ Cp−q(X;K)
(σ, δ)7−→ σ _ δ := δ(σ|[e0,...,eq])σ|[eq,...,ep]
où [e0, . . . , eq]désigne la face engendrée par les vecteurs e0, . . . , eq. On obtient alors une ap-
plication bilinéaire, qui se prolonge naturellement en homologie et cohomologie pour donner
_:Hp(X;K)×Hq(X;K)−→ Hp−q(X;K).
Si Xest une variété fermée orientable de dimension n, il est connu que dim Hn(X;Q)=1et
que Hk(X;Q) = 0 pour tout k > n. On note par [X]le généréteur Hn(X;Q), appellé classe
fondamentale de X.
En particulier, pour tout [σ]∈Hk(X;Q), on a [X]_[σ]∈Hn−k(X;Q). Ce qui permet de
définir une application linéaire :
D:: Hk(X;Q)−→ Hn−k(X;Q)
[σ]7−→ D[σ] := [X]_[σ]
.
Théorème de dualité de Poincaré.
Si Xest une variété fermée orientable de dimension n, alors l’application
D:Hk(X;Q)−→ Hn−k(X;Q)est un isomorphisme. Autrement dit :
Hk(X;Q)∼
=Hn−k(X;Q).(Dualité de Poincaré)
De façon similaire et duale, on peut définir la notion du cup produit,
^:Hp(X;K)×Hq(X;K)−→ Hp+q(X;K),
comme suit : Pour tout α∈Cp(X;K), β ∈Cq(X;K)et tout p+q-simplexe singulier
σ: ∆p+q−→ X, on pose
(α ^ β)(σ) := α(σ|[e0,...,ep].β(σ|[ep,...,ep+q]).
On a les propriétés suivantes