Algèbre de Gerstenhaber
Pour les articles homonymes, voir Algèbre (homonymie) et Gerstenhaber.
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 formalisme Batalin-Vilkovisky (en) qui permet d'étudier les champs fantômes (en) des théories de jauges lagrangiennes.
Définition modifier
On dit que est une algèbre de Gerstenhaber (graduée) lorsque :
![{\displaystyle \langle G,\wedge ,[-,-]\rangle }](https://wikimedia.org/api/rest_v1/media/math/render/svg/c0132b88e3a7d03b01d5d85e3667f85255bb2e13)
- G est un espace vectoriel -gradué, le degré d'un élément a étant noté ;
- Le « produit » est de degré 0, c'est-à-dire que pour tout couple (a, b) d'éléments de G, ;
- Le crochet de Lie est de degré -1, c'est-à-dire que pour tout couple (a, b) d'éléments de G, ;
- est une algèbre graduée commutative ;
- est une algèbre de Lie graduée (en) ;
- La « relation de Leibniz » suivante est vérifiée pour tous a, b, c éléments de G : .
![{\displaystyle [-,-]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7ba9b4dfaeae181a7a507d66e1b54fb640a7c61d)
![{\displaystyle |[a,b]|=|a|+|b|-1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bc58b1352053eefa40df0d55ff1f55e9c6264ae8)
![{\displaystyle \langle G[1],[-,-]\rangle }](https://wikimedia.org/api/rest_v1/media/math/render/svg/76156b2d8f78207e7ac0f4291211ffe8bb0a1df3)
![{\displaystyle [a,b\wedge c]=[a,b]\wedge c+(-1)^{|b|(|a|-1)}b\wedge [a,c]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/69f6d1ecdd424ed7f3093e39dbaedd3350a573cd)
Exemples modifier
- L'espace des multichamps de vecteurs, munis du produit extérieur et du crochet de Schouten-Nijenhuis (en), 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 E2-algèbre (en) est une algèbre de Gerstenhaber.
Articles connexes modifier
Références modifier
- (en) Murray Gerstenhaber, « The cohomology structure of an associative ring », Annals of Mathematics, vol. 78, , p. 267–288 (DOI 10.2307/1970343, JSTOR 1970343)
- Grégory Ginot, « Homologie et modele minimal des algebres de Gerstenhaber », Annales Mathématiques Blaise Pascal, Université Blaise-Pascal, Département de mathématiques, vol. 11, (lire en ligne)
- (en) Ping Xu, « Gerstenhaber algebras and BV-algebras in Poisson geometry », Communications in Mathematical Physics, vol. 200, no 3, , p. 545-560 (DOI 10.1007/s002200050540)
