Cohomologie cyclique

En mathématiques, la cohomologie cyclique d'une ℂ-algèbre (non nécessairement commutative), que l'on note , est la cohomologie du complexe

  • est l'espace des formes n + 1-linéaires qui vérifient la condition de cyclicité :
  • l'opérateur est l'opérateur de cobord de Hochschild qui est donné par :

Cas des petits degrés

Un 0-cocycle n'est donc rien d'autre qu'une trace. En effet, la condition de cyclicité est automatiquement vérifiée et une forme linéaire sur est un cocycle si et seulement si

En conséquence, la cohomologie de Hochschild et la cohomologie cyclique sont égales en degré 0.

Appariements

Les cocycles cycliques ont la propriété de s'apparier avec les éléments de K-théorie. Plus précisément, il existe une application qui, partant d'un cocycle cyclique et d'un élément de K-théorie de même parité, leur associe un nombre complexe. Cette application est

  • bien définie (le nombre complexe ne dépend que des classes en cohomologie cyclique et K-théorie, et non des représentants choisis)
  • linéaire en le cocycle
  • et additive en l'élément de K-théorie.

Enfin, cet appariement est donné par une formule tout à fait explicite et calculable.

Références

  • Portail des mathématiques
Cet article est issu de Wikipedia. Le texte est sous licence Creative Commons - Attribution - Partage dans les Mêmes. Des conditions supplémentaires peuvent s'appliquer aux fichiers multimédias.