Algèbre de Gerstenhaber

Modèle:Homon En mathématiques, une algèbre de Gerstenhaber est une structure algébrique qui généralise en un certain sens les algèbres de Lie et de Poisson. Elle tient son nom de Murray Gerstenhaber qui les a introduites en 1963. Formellement, c'est un espace vectoriel gradué muni de deux lois de degrés différents et de symétries opposées.

Les algèbres de Gerstenhaber exactes, aussi connues sous le nom d’algèbres de Batalin-Vilkovisky ou BV-algèbres interviennent dans le Modèle:Lien qui permet d'étudier les Modèle:Lien des théories de jauges lagrangiennes.

Définition

On dit que $⟨G,\wedge ,[-,-]⟩$ est une algèbre de Gerstenhaber (graduée) lorsque :

• G est un espace vectoriel $\mathbb{Z}$-gradué, le degré d'un élément a étant noté $|a|$ ;
• Le « produit » $\wedge$ est de degré 0, c'est-à-dire que pour tout couple (a, b) d'éléments de G, $|a\wedge b|=|a|+|b|$ ;
• Le crochet de Lie $[-,-]$ est de degré -1, c'est-à-dire que pour tout couple (a, b) d'éléments de G, $|[a,b]|=|a|+|b|-1$ ;
• $⟨G,\wedge ⟩$ est une algèbre graduée commutative ;
• $⟨G[1],[-,-]⟩$ est une Modèle:Lien ;
• La « relation de Leibniz » suivante est vérifiée pour tous a, b, c éléments de G : $[a,b\wedge c]=[a,b]\wedge c+(-1{)}^{|b|(|a|-1)}b\wedge [a,c]$.

Exemples

• L'espace $T_{\mathrm{p}\mathrm{o}\mathrm{l}\mathrm{y}}({ℝ}^d)$ des multichamps de vecteurs, munis du produit extérieur et du Modèle:Lien, forme une algèbre de Gerstenhaber.
• L'algèbre extérieure d'une algèbre de Lie est une algèbre de Gesternhaber.
• Les formes différentielles sur une variété de Poisson forment une algèbre de Gesternhaber.
• La cohomologie de Hochschild H*(A,A) d'une algèbre graduée A est une algèbre de Gerstenhaber.
• L'homologie d'une Modèle:Lien est une algèbre de Gerstenhaber.

Articles connexes

• Modèle:Lien
• Opérade

Références

• Modèle:Article
• Modèle:Article
• Modèle:Article