Cohomologie cyclique
# Cohomologie cyclique

En mathématiques, la cohomologie cyclique d'une ℂ-algèbre $A$ (non nécessairement commutative), que l'on note $HC^{*}(A)$, est la cohomologie du complexe $(C_{\lambda }^{n},b)$ où

* $C_{\lambda }^{n}$ est l'espace des formes n + 1-linéaires $\phi$ qui vérifient la condition de cyclicité :$\phi (a_{0},a_{1},\cdots ,a_{n})=(-1)^{n}\phi (a_{1},\cdots ,a_{n},a_{0})$
* l'opérateur $b:C_{\lambda }^{n}\to C_{\lambda }^{n+1}$ est l'opérateur de cobord de Hochschild qui est donné par :${\begin{aligned}(b\phi )(a^{0},\cdots ,a^{n},a^{n+1})=&\sum _{j=0}^{n}(-1)^{j}\phi (a^{0},\cdots ,a^{j}a^{j+1},\cdots ,a^{n+1})\\&+(-1)^{n+1}\phi (a^{n+1}a^{0},\cdots ,a^{n}).\end{aligned}}$

## 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 $A$ est un cocycle si et seulement si

$(b\phi )(a_{0},a_{1})=\phi (a_{0}a_{1})-\phi (a_{1}a_{0})=0$

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.

