Une théorie de cohomologie définie par des cochaînes qui assignent des valeurs à des tuples de points dont le support est restreint à des voisinages suffisamment petits, construite comme limite directe sur les raffinemements ; elle coïncide avec la cohomologie singulière sur les espaces raisonnables et met l'accent sur les constructions local-vers-global.

Principe

Les cochaînes sont définies point par point sur des tuples finis et les restrictions locales se prennent sur des voisinages, si bien que la cohomologie globale apparaît comme limite directe de cochaînes localement définies ; l'idée organisatrice est de capturer l'information cohomologique par des données de voisinages arbitrairement petites plutôt que par des chaînes simpliciales ou singulières.

Démonstration

Sur un espace paracompact séparé ou une variété, la cohomologie Alexander–Spanier coïncide avec la cohomologie singulière : on construit des cocycles à partir de fonctions localement constantes sur les tuples et on utilise des partitions de l'unité ou des arguments de raffinement pour montrer que les groupes de la limite directe coïncident avec les groupes de cohomologie usuels.

Mauvaise application

Traiter les cochaînes Alexander–Spanier comme interchangeables avec des fonctions quelconques sur l'espace sans contrôler le support ou ignorer la topologie de limite directe peut conduire à des calculs erronés sur des espaces non paracompacts ou pathologiques où l'équivalence avec la cohomologie singulière échoue.

Conséquence

Fournit un outil flexible local-vers-global : elle simplifie la construction des produits cup et soutient des arguments d'excision et des interprétations faisceautiques, rendant plus transparentes certaines constructions locales et énoncés de dualité.

Inversion

La cohomologie de Čech met l'accent sur les recouvrements et la nerve tandis que la cohomologie singulière utilise des simples ; inverser la perspective revient à passer de cochaînes basées sur les voisinages et les points à des modèles combinatoires ou simpliciaux, mettant en lumière des forces et faiblesses de calcul différentes.

Limite

La coïncidence avec la cohomologie singulière exige des hypothèses modérées (paracompacticité, axiomes de séparation usuels) ; sur des espaces arbitraires non paracompacts, très non Hausdorff ou de grande échelle, les groupes Alexander–Spanier peuvent différer et certaines identifications local-vers-global échouent.

Tension sémantique

Il y a une tension avec la cohomologie de Čech et avec la cohomologie des faisceaux : Alexander–Spanier offre une approche pointuelle en limite directe qui peut être plus fine ou plus grossière selon la régularité de l'espace ; il faut choisir avec soin la théorie correspondant au contexte géométrique ou analytique visé.

Synthèse

La cohomologie Alexander–Spanier regroupe les données cohomologiques comme limites directes de cochaînes définies sur des voisinages pointwise, donnant une théorie local-vers-global qui coïncide avec la cohomologie singulière sur les espaces familiers, facilite produits cup et excision, et sert de passerelle vers les constructions faisceautiques et de dualité lorsque les hypothèses topologiques adéquates sont satisfaites.