Cup-produit

En topologie algébrique (une branche des mathématiques), le cup-produit est une opération binaire définie sur les groupes de cohomologie qui permet d'assembler des cocycles. Cette opération est graduée, associative et distributive, ce qui permet de définir l'anneau de cohomologie. Introduite à l'origine en cohomologie singulière, des constructions analogues existent pour différentes théories cohomologiques. Le cup-produit se généralise sous la forme du Modèle:Lien.

Il n'existe pas de cup-produit en homologie, mais on peut définir un cap-produit ou invoquer la dualité de Poincaré si la dimension de l'espace convient.

Définition

On donne ici la définition pour la cohomologie singulière d'un espace topologique X, à coefficients dans un anneau commutatif.

Le cup-produit est une opération

$⌣:H^p(X)\times H^q(X)\to H^{p+q}(X)$

correspondant à la composition : Modèle:Retrait associée aux complexes de chaînes de X et X × X, avec K l'application de Künneth et la diagonale Δ : X → X × X.

Le cup-produit d'une p-cochaîne c et d'une q-cochaîne d, appliqué à un (p + q)-simplexe singulier σ, est donné par :

$(c⌣d)(\sigma )=c(\sigma \circ {\iota }_{0,1,\dots ,p})\cdot d(\sigma \circ {\iota }_{p,p+1,\dots ,p+q})$

où Modèle:LangModèle:Ind désigne, pour toute partie S de {0, 1, … , p + q}, le plongement canonique du simplexe engendré par S dans le (p + q)-simplexe standard.

Pour voir que ce cup-produit de cochaînes définit un cup-produit des classes de cohomologie, il suffit de montrer que les applications de cobord vérifient : Modèle:Retrait ce qui montre que le cup-produit de deux cocycles est encore un cocycle, et que le produit d'un cocycle par un cobord est un cobord.

En cohomologie de De Rham, le cup-produit de formes différentielles est induit par le produit extérieur. En effet, la règle de Leibniz s'écrit Modèle:Retrait et l'on pose Modèle:Retrait

Propriétés

Le cup-produit vérifie l'identité suivante, qui fait de l'anneau de cohomologie un anneau gradué commutatif : Modèle:Retrait C'est une opération bilinéaire : Modèle:Retrait et associative : Modèle:Retrait

Il s'agit d'une opération naturellement fonctorielle, en ce que pour toute application continue f, Modèle:Retrait

Si XModèle:Ind et XModèle:Ind sont deux espaces topologiques, et $p_i:X_1\times X_2\to X_i$ les deux projections canoniques, on peut définir un cup-produit externe Modèle:Retrait

En théorie des nœuds, le nombre d'enlacement correspond à un cup-produit non nul dans le complément d'un nœud. D'une manière générale, les produits de Massey — Modèle:Lien d'arités supérieures — sont en lien avec les Modèle:Lien.