TOPOLOGIETopologie algébrique

Considérons une famille (M_n), avec n ∈ Z, de A modules et, pour tout n, une application d_n de M_n dans M_n+ε, où ε est un entier en général égal à + 1 ou à − 1. Si, pour tout n, on a :

on dit que M = ((M_n), (d_n)), pour n ∈ Z, est un A-module différentiel gradué ; les d_n sont appelés les opérateurs bord de M. Toute suite exacte infinie :de A-modules est un A-module différentiel gradué ; mais, en général, un A-module différentiel gradué n'est pas une suite exacte ; on introduit son homologie pour mesurer en quoi ce n'en est pas une. On appelle cycle de dimension n les éléments du noyau Z_n de d_n ; on appelle bords de dimension n les éléments de l'image B_n de d_n−ε. Pour tout n, le module B_n est un sous-module de Z_n ; le module quotient de Z_n par B_n est appelé le module d'homologie en dimension n de M. On le notera H_n (M ).

Soit M =((M_n), (d_n)) et L =((L_n), (δ_n)) deux A-modules différentiels gradués ; si, pour tout n, on s'est donné un homomorphisme α_n : M_n → L_n, de telle façon que l'on ait :

on dit que α = (α_n), pour n ∈ Z, est un morphisme de M dans L. L'image par α_n d'un cycle (resp. d'un bord) de dimension n de M est un cycle (resp. un bord) de dimension n de L ; donc α induit, pour tout n, un homomorphisme H_n(α) de H_n(M ) dans H_n(L ). Cela permet de dire que l'homologie est un foncteur de la catégorie des modules différentiels gradués dans celle des modules gradués.

Supposons maintenant que α_n soit injectif quel que soit n ; on définit un A-module différentiel gradué L /M de la façon suivante : pour tout n, on considère le A-module L_n/M_n et on applique l'homomorphisme :

en associant à la classe de λ_n ∈ L_n celle de δ_n(λ_n) ∈ L_n+ε. L'homologie de L /M s'appelle l'homologie relative de L modulo M ; on la note (H_n(L , M )), avec n ∈ Z. L'application naturelle L_n → L_n/M_n définit un morphisme de modules différentiels qui, pour tout n, induit un homomorphisme :

Pour tout cycle de dimension n de L /M, il existe un élément y de L_n dont la classe est x. L'élément δ_n(y) est l'image d'un élément z de M_n+ε et cet élément z est un cyc [...]