Une technique qui organise des données algébriques ou topologiques en un bicomplexe (une grille munie de deux différentielles) puis passe à son complexe total ou aux suites spectrales associées pour comparer des homologies, calculer des foncteurs dérivés ou relier des filtrations.

Principe

Utiliser la bi-graduation pour filtrer le complexe total de deux manières naturelles, puis appliquer la machinerie des suites spectrales issues de ces filtrations afin de calculer des approximations successives de l'homologie totale et de comparer différentes constructions dérivées.

Démonstration

Pour calculer l'hypercohomologie, disposer les résolutions de Čech de chaque terme d'un complexe en un bicomplexe du premier quadrant ; prendre son complexe total donne les groupes d'hypercohomologie et produit deux suites spectrales dont les pages E2 sont des groupes de cohomologie calculables.

Mauvaise application

Ignorer les conditions de convergence ou de bornitude et traiter les premières pages d'une suite spectrale comme résultats définitifs, ou mal gérer les conventions de signes et les règles de totalisation, ce qui peut produire des différentielles et une homologie incorrectes.

Conséquence

Lorsqu'elle est correctement appliquée, la méthode du double complexe fournit des suites spectrales qui convergent vers l'homologie voulue, offre des applications de comparaison entre différentes constructions dérivées et organise les calculs en étapes successives souvent calculables.

Inversion

Plutôt que d'organiser les données en un complexe bidimensionnel et d'en extraire des filtrations, on peut écraser l'information en un complexe filtré simple ; l'inversion met l'accent sur des approches à filtre unique qui peuvent masquer les interactions bigraduées.

Limite

Nécessite une attention aux hypothèses de quadrant, de bornitude et de complétude pour la convergence ; tous les bicomplexes ne donnent pas une suite spectrale convergente, et les exemples non bornés ou hors premier quadrant demandent un contrôle supplémentaire.

Tension sémantique

La méthode se situe entre les complexes totaux explicites et les raisonnements abstraits par suites spectrales : la tension apparaît au moment de choisir de calculer via la totalisation (concret) ou via les pages spectrales successives (itératif/approximatif).

Synthèse

La méthode du double complexe consiste à encoder des données dans un bicomplexe, former son complexe total et exploiter les deux filtrations naturelles pour produire des suites spectrales et organiser les calculs d'homologie et des foncteurs dérivés sous des hypothèses de convergence appropriées.