Homologie singulière

En topologie algébrique, l'homologie singulière est une construction qui permet d'associer à un espace topologique X une suite homologique de groupes abéliens libres ou de modules. Cette association est un invariant topologique non complet, c'est-à-dire que si deux espaces sont homéomorphes alors ils ont mêmes groupes d'homologie singulière en chaque degré mais que la réciproque est fausse. Le théorème de Stokes appliqué à des formes fermées donne des intégrales nulles. Cependant, il se fonde sur une hypothèse cruciale de compacité. En présence de trous dans la variété sous-jacente, on peut construire des formes fermées avec des intégrales de bord non nulles. Par exemple, 1-forme définie sur R \ { (0, 0) }. Vérifions sa fermeture : Pourtant sa circulation le long du cercle unité est non nulle : C'est bien le trou à l'origine qui empêche le théorème de Stokes de s'appliquer. Si on trace le cercle ailleurs dans le plan, pour qu'il n'entoure plus l'origine, la circulation de ω s'annulera. Les contours d'intégration fermés et formes différentielles fermées permettent ainsi de mesurer des caractéristiques topologiques de la variété sous-jacente. Or les contours d'intégration ont une structure algébrique de groupe abélien. On peut additionner deux contours ; cela veut dire qu'on intégrera les formes sur chacun et qu'on sommera les résultats. D'autre part, on souhaite décréter nuls les contours qui intègrent à 0 toutes les formes fermées ; par le théorème de Stokes, ce sont tous les contours qui enferment un compact. Ces contours dits bords forment un sous-groupe, par lequel on peut quotienter pour obtenir les informations topologiques recherchées : les différentes façons d'intégrer les formes différentielles fermées. L'homologie singulière abstrait cette mesure algébrique des propriétés topologiques d'un espace, en se détachant des notions analytiques de variété différentielle, intégrale et forme différentielle. Avant de définir l'homologie singulière d'un espace topologique X, il est nécessaire d'introduire quelques définitions.

A Shadow Perspective on Equivariant Hochschild Homologies

Kathryn Hess Bellwald, Inbar Klang

Shadows for bicategories, defined by Ponto, provide a useful framework that generalizes classical and topological Hochschild homology. In this paper, we define Hochschild-type invariants for monoids in a symmetric monoidal, simplicial model category V, as ...

OXFORD UNIV PRESS2022

Cochains are all you need

Relative plus constructions

A Shadow Perspective on Equivariant Hochschild Homologies