- Suite spectrale
-
En algèbre homologique, plus particulièrement en topologie algébrique et en cohomologie de groupe, une suite spectrale est une suite de modules différentiels (En,dn) tels queest l'homologie de En.
Il y a plusieurs manières en pratique pour obtenir une telle suite. Historiquement, depuis 1950, les arguments des suites spectrales ont été un outil performant pour la recherche, notamment dans la théorie de l'homotopie.
Sommaire
Explication générale
Une manière de visualiser ce qui se produit dans une suite spectrale est l'utilisation de la métaphore du bloc-note[réf. nécessaire]. E1 étant la première feuille de données, la feuille E2 en dérive par un processus défini; et ainsi de suite pour les feuilles E3, E4... Le résultat final du calcul serait la dernière feuille du bloc-notes.
En pratique Ei contient certaines données de gradation, souvent même deux. Chaque feuille est ensuite transformée en tableau, agencé en lignes et colonne, avec un groupe abélien dans chaque cellule. Chaque feuille possède aussi des "différentielles", qui agissent depuis chaque cellule de la feuille sur une autre cellule. Le processus défini est alors un moyen de calculer l'état de chaque cellule sur la feuille suivante à partir de la feuille courante, en suivant les différentielles.
Pour être rigoureux, l'élément En devrait indiquer deux indices :
- Enp,q
avec les différentielles dnp,q agissant depuis Enp,q sur un Enp+a,q+b, avec a et b ne dépendant que de n.
Filtrations
Des suites spectrales apparaissent souvent lors des calculs de filtration d'un module E0. Une filtration
d'un module induit une suite exacte courte
avec B, le quotient j de A par son image sous l'inclusion i, et dont la différentielle est induite par celle de A. Soit A1 = H(A) et B1 = H(B) ; une suite exacte longue,
est donnée par le lemme du serpent. Si nous appelons les cartes affichées i1, j1, et k1, et si A2 = i1A1 et B2 = Ker j1k1 / Im j1k1, on peut démontrer que
est une autre suite exacte.
Exemples
Quelques suites spectrales notoires :
- suite spectrale de Leray-Serre
- suite spectrale de Hochschild-Serre
- suite spectrale d'Adams
- suite spectrale d'Atiyah-Hirzebruch
- suite spectrale d'Adams-Novikov
- suite spectrale de Grothendieck
- suite spectrale chromatique
- suite spectrale d'Eilenberg-Moore
- suite spectrale de Bockstein
Références
- A User's Guide to Spectral Sequences par John McCleary
- Cohomology Operations and Applications in Homotopy Theory, par Robert Mosher and Martin Tangora
- Séminaire Henri Cartan de l'Ecole Normale Supérieure, 1950/1951. Cohomologie des groupes, suite spectrale, faisceaux
- Enp,q
Wikimedia Foundation. 2010.