Gerstenhaber algebra

Gerstenhaber algebra

In mathematics and theoretical physics, a Gerstenhaber algebra (sometimes called an antibracket algebra or braid algebra) is an algebraic structure discovered by Gerstenhaber (1963) that combines the structures of a supercommutative ring and a graded Lie superalgebra. It is used in the Batalin-Vilkovisky formalism.

Definition

A Gerstenhaber algebra is a differential graded commutative algebra with a Lie bracket of degree 1 satisfying the Poisson identity. Everything is understood to satisfy the usual superalgebra sign conventions. More precisely, the algebra has two products, one written as ordinary multiplication and one written as [,] , and a Z-grading (sometimes called ghost number). The degree of an element "a" is denoted by |"a"|. These satisfy the identities
*|"ab"| = |"a"| + |"b"| (The product has degree 0)
*| ["a","b"] | = |"a"| + |"b"| - 1 (The Lie bracket has degree -1)
*("ab")"c" = "a"("bc"), "ab" = (−1)|"a"||"b"|"ba" (the product is associative and (super) commutative)
* ["a","bc"] = ["a","b"] "c" + (−1)|"a"|(|"b"|-1)"b" ["a","c"] (Poisson identity)
* ["a","b"] = −(−1)(|"a"|-1)(|"b"|-1) ["b","a"] (Antisymmetry of Lie bracket)
* ["a","b"] ,"c"] = ["a", ["b","c"] −(−1)(|"a"|-1)(|"b"|-1) ["b", ["a","c"] (Jacobi identity for Lie bracket)

Gerstenhaber algebras differ from Poisson superalgebras in that the Lie bracket has degree -1 rather than degree 0.

Examples

*Gerstenhaber showed that the Hochschild cohomology H*("A","A") of a graded algebra "A" is a Gerstenhaber algebra.
*A Batalin-Vilkovisky algebra has an underlying Gerstenhaber algebra if one forgets its second order differential operator.
*The exterior algebra of a Lie algebra is a Gerstenhaber algebra.
*The differential forms on a Poisson manifold form a Gerstenhaber algebra.
*The multivector fields on a manifold form a Gerstenhaber algebra using the Schouten-Nijenhuis bracket

References

*Gerstenhaber, Murray [http://links.jstor.org/sici?sici=0003-486X%28196309%292%3A78%3A2%3C267%3ATCSOAA%3E2.0.CO%3B2-I "The cohomology structure of an associative ring."] Ann. of Math. (2), vol. 78 (1963), 267-288. MathSciNet|id=0161898
*E. Getzler "Batalin-Vilkovisky algebras and two-dimensional topological field theories" DOI|10.1007/BF02102639 Commun. Math. Phys., vol. 159, no. 2 (1994), 265-285.

*springer|id=p/p110170|title=Poisson algebra|author=Y. Kosmann-Schwarzbach


Wikimedia Foundation. 2010.

Игры ⚽ Нужна курсовая?

Look at other dictionaries:

  • Murray Gerstenhaber — (born June 5, 1927) is an American mathematician, professor of mathematics at the University of Pennsylvania, best known for his contributions to theoretical physics with his discovery of Gerstenhaber algebra. About Gesternhaber was born in… …   Wikipedia

  • Braid algebra — A braid algebra can be: *A Gerstenhaber algebra (also called an antibracket algebra). *An algebra related to the braid group …   Wikipedia

  • Graded Lie algebra — In mathematics, a graded Lie algebra is a Lie algebra endowed with a gradation which is compatible with the Lie bracket. In other words, a graded Lie algebra is a Lie algebra which is also a nonassociative graded algebra under the bracket… …   Wikipedia

  • Leibniz algebra — In mathematics, a (left) Leibniz algebra (sometimes called a Loday algebra) is a module A over a commutative ring or field R with a bilinear product [,] such that [ a , [ b , c ] = [ a , b ] , c ] + [ b , [ a , c ] . In other words, left… …   Wikipedia

  • Schouten-Nijenhuis bracket — In differential geometry, the Schouten Nijenhuis bracket, also known as the Schouten bracket, is a type of graded Lie bracket defined on multivector fields on a smooth manifold extending the Lie bracket of vector fields. There are two different… …   Wikipedia

  • Schouten–Nijenhuis bracket — In differential geometry, the Schouten–Nijenhuis bracket, also known as the Schouten bracket, is a type of graded Lie bracket defined on multivector fields on a smooth manifold extending the Lie bracket of vector fields. There are two different… …   Wikipedia

  • Batalin-Vilkovisky formalism — In theoretical physics, Batalin Vilkovisky (BV) formalism was developed as a method for determining the ghost structure for theories, such as gravity and supergravity, whose Hamiltonian formalism has constraints not related to a Lie algebra… …   Wikipedia

  • List of mathematics articles (G) — NOTOC G G₂ G delta space G networks Gδ set G structure G test G127 G2 manifold G2 structure Gabor atom Gabor filter Gabor transform Gabor Wigner transform Gabow s algorithm Gabriel graph Gabriel s Horn Gain graph Gain group Galerkin method… …   Wikipedia

  • Paire de matrices commutantes — En mathématiques, une paire de matrices commutantes est un couple (A,B) de matrices carrées à coefficients dans un corps commutatif qui commutent, c est à dire que AB = BA. L étude des paires de matrices commutantes a des aspects tout à fait… …   Wikipédia en Français

  • Paires de matrices commutantes — Paire de matrices commutantes En mathématiques, une paire de matrices commutantes est un couple (A,B) de matrices carrées à coefficients dans un corps qui commutent, c est à dire que AB = BA. L étude des paires de matrices commutantes a des… …   Wikipédia en Français

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”