Math 2.0

Nonassociative rings and algebras Definition

Gerstenhaber algebra

Builds on FieldGraded ringAssociative algebra

Definition

Let kk be a field. Let A=⨁n∈ℤAnA = \bigoplus_{n \in \Z} A^n be a graded associative algebra over kk that is graded commutative: ab=(−1)∣a∣∣b∣baab = (-1)^{|a||b|} ba for homogeneous a,ba, b of degrees ∣a∣,∣b∣\abs{a}, \abs{b}. A Gerstenhaber algebra is such an AA with a bilinear bracket [⋅,⋅] ⁣:Ap×Aq→Ap+q−1[\cdot, \cdot] \colon A^p \times A^q \to A^{p+q-1} such that, for homogeneous a,b,ca, b, c:

  1. [a,b]=−(−1)(∣a∣−1)(∣b∣−1)[b,a][a, b] = -(-1)^{(|a|-1)(|b|-1)} [b, a];
  2. [a,[b,c] ]=[ [a,b],c]+(−1)(∣a∣−1)(∣b∣−1)[b,[a,c] ][a, [b, c]\,] = [\,[a, b], c] + (-1)^{(|a|-1)(|b|-1)} [b, [a, c]\,];
  3. [a,bc]=[a,b] c+(−1)(∣a∣−1)∣b∣ b [a,c][a, bc] = [a, b]\, c + (-1)^{(|a|-1)|b|}\, b\, [a, c].

Remarks

Clauses 1 and 2 say that AA becomes a graded Lie algebra when each element of AnA^n is given the degree n−1n - 1. Clause 3 says that [a,⋅][a, \cdot] is a derivation of the product of degree ∣a∣−1\abs{a} - 1. Example: the polyvector fields ⨁nΓ(ΛnTM)\bigoplus_n \Gamma(\Lambda^n TM) on a smooth manifold MM, with the wedge product and the Schouten–Nijenhuis bracket. Example: Gerstenhaber proved that the Hochschild cohomology HH∙(B,B)HH^\bullet(B, B) of an associative algebra BB is a Gerstenhaber algebra, with the cup product and the Gerstenhaber bracket. Non-example: let 𝔤\mathfrak{g} have basis e,fe, f with [e,f]=f[e, f] = f, put it in degree 11 of Λ(𝔤)\Lambda(\mathfrak{g}), and set the bracket to zero on all other degrees. Then [e,e∧f]=0[e, e \wedge f] = 0, while clause 3 asks for [e,e]∧f+e∧[e,f]=e∧f≠0[e, e] \wedge f + e \wedge [e, f] = e \wedge f \ne 0, so clause 3 fails.

Reading path

To understand this page from the ground up, read these 4 pages in order. The foundations come first.

Show the path as a graph
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Associative algebra concept
  2. Field concept
  3. Graded ring concept
  4. Gerstenhaber algebra definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Gerstenhaber_algebra
About this page
TagTB3Q55Q0G4
URIm2://TB3Q55Q0G4
Kinddefinition
WritingW0 stub
MSC17B70, 16E40
DefinesGerstenhaber algebra
UsesField, Graded ring, Associative algebra

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • a source with a locator (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

No page links to this page yet.