Un complexe de cochaînes construit à partir de localisations en une famille d'éléments (ou d'un recouvrement par ouverts principaux) dont la cohomologie calcule la cohomologie locale et des invariants dérivés de la localisation pour des modules ou des faisceaux.

Principe

Assembler les sections sur les intersections d'ouverts principaux (ou les localisations itérées) en un complexe de cochaînes alterné ; les limites dérivées et les systèmes directs codent la torsion et les conditions de support via la cohomologie de Čech.

Démonstration

Pour un anneau R, un idéal I engendré par f1,...,fn et un R-module M, le complexe de Čech Č(f1,...,fn;M) se construit à partir des localisations M_{f_i}, M_{f_i f_j}, ... ; sa cohomologie donne H^i_I(M), la cohomologie locale à support dans V(I).

Mauvaise application

Utiliser le complexe de Čech sans vérification comme résolution globale sans contrôler l'acyclicité du recouvrement ou la convergence des limites directes, ou supposer que sa cohomologie coïncide avec la cohomologie de faisceaux pour des recouvrements non affines sans vérifier les hypothèses.

Conséquence

Employé correctement, le complexe de Čech calcule la cohomologie locale, détecte le support et les phénomènes de torsion, et donne des descriptions concrètes des foncteurs de localisation dérivés ainsi que des suites de type Mayer–Vietoris.

Inversion

Par opposition aux résolutions algébriques finies comme les complexes de Koszul, le point de vue de Čech met l'accent sur la localisation et les limites dérivées ; inverser la notion met en avant des modèles algébriques finis plutôt que des constructions par systèmes inverses/directs.

Limite

S'applique principalement aux localisations le long de familles finies d'éléments ou aux recouvrements affines principaux ; il peut ne pas être fini ou converger sans hypothèses de noethérianité ou de bornitude et ne remplace pas la machinerie des foncteurs dérivés globaux en contextes géométriques quelconques.

Tension sémantique

Le complexe de Čech est proche à la fois de la cohomologie par recouvrements en théorie des faisceaux et des constructions algébriques de localisation ; la tension vient de son rôle comme appareil de calcul pour la cohomologie locale et comme modèle approximatif de foncteurs dérivés globaux nécessitant des hypothèses supplémentaires.

Synthèse

Le complexe de Čech est le complexe de cochaînes alterné construit à partir de localisations le long d'une famille d'éléments qui encapsule l'information de support et de torsion, calcule la cohomologie locale et sert d'outil de calcul basé sur la localisation lorsque conditions d'acyclicité et de convergence sont remplies.