Homotopy G-algebras and moduli space operad

Murray Gerstenhaber and Alexander A. Voronov

arXiv: hep-th/9409063v2 · PDF · 22 September 2024
Categories: hep-th, dg-ga, math.AT, math.DG, math.QA
Journal: Internat. Math. Res. Notices (1995), no. 3, 141-153
DOI: 10.1155/S1073792895000110
Licence: CC BY 4.0 The site shows the text.

Abstract

This paper emphasizes the ubiquitous role of moduli spaces of algebraic curves in associative algebra and algebraic topology. The main results are: (1) the space of an operad with multiplication is a homotopy Gerstenhaber (i.e., homotopy graded Poisson) algebra; (2) the singular cochain complex is naturally an operad; (3) the operad of decorated moduli spaces acts naturally on the de Rham complex \Omega^\bullet X of a Kähler manifold X, thereby yielding the most general type of homotopy G-algebra structure on \Omega^\bullet X.

Items 22

Conjecture

Conjecture Conjecture (Deligne)

AXH8

The Hochschild cochain complex has a natural structure of an algebra over a chain operad of the little squares operad.

Acknowledgment

Acknowledgment Acknowledgment

I7JX

We thank J. Stasheff for helpful comments on an early version of the manuscript. The second author would like to thank M. Kontsevich and Yu. I. Manin for many useful discussions. He is also grateful to the hospitality of the Max-Planck-Institut für Mathematik in Bonn, where this paper was completed.

Remark

Remark Remark

OYNH

The desuspension grading and sign are motivated by the example \mathcal{E}nd_{V[1]} of the endomorphism operad of the desuspension V[1], where the vector space V is regarded as a graded vector space concentrated in degree 0.

In this case, the sign (-1)^\varepsilon is picked up by rearranging the sequence of letters x\{ x_1, \dots, x_n\} (v_1, \dots, v_m), where v_1, \dots, v_m \in V[1], m is such that x\{ x_1, \dots, x_n\} \in \operatorname{Hom} (V[1]^{\otimes m}, V[1]), into the sequence

\gamma (x ; v_1, \dots , v_{i_1}, x_1 (v_{i_1+1}, \dots), \dots, v_{i_n}, x_n (v_{i_n+1}, \dots), \dots, v_m)

in accordance with the usual sign convention.

Remark

Remark Remark

F4SX

The identity for m=n=1 implies that the degree -1 bracket

[x,y] := x \circ y - (-1)^{|x| |y|} y \circ x

defines the structure of a graded Lie algebra on \mathcal O.

Definition

Definition 1

1CS9

A brace algebra is a graded vector space with a collection of braces x\{x_1, \dots, x_n\} of degree -n satisfying the identities (?).

Used by Proposition 1, Definition 2, Remark Remark, Theorem 3, Theorem 7, Lemma 8, Lemma 9

Proposition

Proposition 1

R1H7

For every operad \mathcal O of vector spaces, the braces (?) define the natural structure of a brace algebra on the underlying graded vector space \mathcal O.

Uses Definition 1

Proposition

Proposition 2

50BJ

A multiplication on an operad is equivalent to a morphism \mathcal{A} s \to \mathcal O of operads, where \mathcal{A} s is the associative operad, cf. [gk].
If V is an algebra over an operad with multiplication, then V is naturally an associative algebra.
The product

x \cdot y := (-1)^{\deg{x}} m \{x,y\}

of degree 0 and the differential

dx := [m, x] = m \circ x - (-1)^{\abs{x}} x \circ m, \qquad d^2 =0, \quad \deg d =1,

define the structure of a differential graded (DG) associative algebra on \mathcal O.

Used by Proof

Definition

Definition 2

CH4B

A homotopy G- algebra is a brace algebra V = \bigoplus_n V^n provided with a differential d of degree one and a dot product x y of degree 0 making V into a DG associative algebra. The dot product must satisfy the following compatibility identities:

(x_1 \cdot x_2) \{ y_1, \dots, y_n\} = \sum_{k=0}^n (-1)^\varepsilon x_1 \{ y_1, \dots, y_k\} \cdot x_2 \{ y_{k+1}, \dots, y_n\},

where \varepsilon = |x_2| \sum_{p=1}^k |y_p|, and

\begin{gathered} \begin{aligned} &d ( x \{ x_1, \dots, x_{n+1}\} ) - (dx)\{x_1, \dots, x_{n+1}\} \\ &- (-1)^{|x|} \sum_{i=1}^{n+1} (-1)^{|x_1| + \dots + |x_{i-1}| } x \{ x_1, \dots, dx_i, \dots , x_{n+1}\} \end{aligned} \\ \begin{aligned} \; = \; & (-1)^{|x| |x_1|+1 } x_1 \cdot x \{ x_2, \dots, x_{n+1} \} \\ & + (-1)^{|x|} \sum_{i=1}^n (-1)^{|x_1| + \dots + |x_{i-1}| } x \{ x_1, \dots , x_i \cdot x_{i+1}, \dots , x_{n+1} \}\\ & - x \{ x_1, \dots, x_n \} \cdot x_{n+1} \end{aligned} \end{gathered}

Uses Definition 1

Remark

Remark Remark

GETZ

1. Note that every homotopy G- algebra is in particular a DG Lie algebra with respect to the commutator (Remark), which is a graded derivation of the dot product up to null-homotopy:

\begin{gathered} [x , yz] - [x,y] z - (-1)^{|x| (|y|+1)} y [x,z] \\ = (-1)^{|x|+|y|+1} (d ( x\{ y,z\} ) - (dx) \{ y, z\} \\ - (-1)^{|x|} x \{dy, z\} - (-1)^{|x|+|y|} x \{y, d z\}) . \end{gathered}

Moreover, the multiplication is always homotopy graded commutative:

xy - (-1)^{(|x|+1)(|y|+1)} yx = (-1)^{|x|} (d(x \circ y) - dx \circ y - (-1)^{|x|}x \circ dy) .

2. Since a brace algebra V with multiplication is a DG algebra, one can define its Hochschild cochain complex C^\bullet (V, V) as usual, with the differential

D f := d \circ f -(-1)^{|f|} f \circ d + m \circ f - (-1)^{|f|} f \circ m

and the cup product

f_1 \cup f_2 := (-1)^{|f_1|+1} m \{ f_1, f_2 \},

the degree |f| meaning the desuspended total degree. (Usually, the cup product has a different sign.) Then the relations (2) and (2) mean that the correspondence

\begin{aligned} V & \to C^\bullet (V, V), \\ x & \mapsto \sum_{n=0}^\infty x\{x_1, \dots, x_n\} , \end{aligned}

the summation being in fact finite, is a morphism of DG algebras.

Uses Definition 1 · Used by Proof

Theorem

Theorem 3

0QBS

A multiplication on an operad \mathcal{O} (n) defines the structure of a homotopy G- algebra on \mathcal O = \oplus \mathcal{O} (n). A multiplication on a brace algebra is equivalent to the structure of a homotopy G- algebra on it.

Uses Definition 1

Proof of Theorem 3

The differential, the dot product and the braces have already been defined. What remains is to check the compatibility identities. In view of (2) and (?), they both are particular cases of (?).

Uses Proposition 2

Corollary

Corollary 4

HWOM

The Hochschild complex C^\bullet (A, A) of an associative algebra A has a natural structure of homotopy G- algebra.

Corollary

Corollary 5

R8YI

The dot product and the bracket

[x,y] := x \circ y - (-1)^{|x| |y|} y \circ x

define the structure of a G-algebra on the Hochschild cohomology H^\bullet (A, \linebreak[0] A) of an associative algebra A.

Proof of Corollary 5

A simple computation shows that the identity (?) yields the Jacobi identity for the bracket. Equation (Remark) implies that the differential is a derivation of the bracket:

d[x, y] - [dx , y ] - (-1)^{|x|} [x , dy ] = 0.

Therefore, even before passing to cohomology, the Hochschild complex forms a DG Lie algebra with respect to the bracket and a DG associative algebra with respect to the dot product.

Thus, we will be through if we see that

(i) the two operations take cocycles into cocycles and are independent of the choice of representatives of cohomology classes,

and up to coboundaries,

(ii) the dot product is graded commutative and

(iii) the bracket is a derivation of the dot product.

It easy to observe Fact (i) from the definition of the dot product and the differential in any operad with multiplication (see (2) and (?)) and from the fact that d is a derivation of the bracket (Proof). Facts (ii) and (iii) have already been mentioned — see Equations (Remark) and (Remark).

Uses Remark Remark

Corollary

Corollary 6

3MBA

The singular cochain complex C^\bullet X of a topological space X has a natural structure of homotopy G- algebra.

Theorem

Theorem 7

36RJ

An A_\infty-multiplication on an operad \mathcal{O} (n) defines the following A_\infty version of a homotopy G- algebra on V= \mathcal O = \oplus \mathcal{O} (n). It is a brace algebra V and an A_\infty-algebra at the same time, such that the correspondence

\begin{aligned} V & \to C^\bullet (V, V), \\ x & \mapsto \sum_{n=0}^\infty x\{ \dots \}, \end{aligned}

is a morphism of A_\infty-algebras.

Uses Definition 1 · Used by Proof

Lemma

Lemma 8

YW6I

The structure of a brace algebra on a graded vector space V is equivalent to the structure of a bialgebra on the bar coalgebra \operatorname{B}V defined by a left nonincreasing product.

Uses Definition 1

Proof of Lemma 8

A product \cup on \operatorname{B}V compatible with the coproduct \Delta and satisfying \deg(x \cup y) \ge \deg x determines the braces uniquely by the formula

\begin{gathered} [x_1| \dots | x_m] \cup [y_1| \dots |y_n] \\ = \sum (-1)^\varepsilon [y_1 | \dots | y_{i_1}| x_1\{y_{i_1+1}, \dots \} | \dots | y_{i_m}| x_m\{y_{i_m+1}, \dots \} | \dots | y_{n}] , \end{gathered}

where the sign is the same as in (?). The associativity of the product is then equivalent to the relations (?).

Lemma

Lemma 9

GMA8

An A_\infty-multiplication on a brace algebra V is equivalent to the structure of a DG-bialgebra on the bar bialgebra \operatorname{B}V.

Uses Definition 1

Proof of Lemma 9

An A_\infty-multiplication m on V is equivalent to a codifferential \delta on \operatorname{B}V, as has been well-known since Stasheff [jim]. That \delta is a derivation is equivalent to the compatibility condition of Theorem 7.

Uses Theorem 7

Wish

Wish 10

A2PO

In all the examples, where a homotopy G- algebra structure occurs, e.g., the Hochschild complex or the singular cochain complex, the structure extends nontrivially to a natural structure of an algebra over the operad K_\bullet \underline{\mathcal {M}}(n).

Claim

Claim 11

CG2M

The maps (?) define a morphism of operads, that is, the structure of an algebra over the chain operad C_\bullet \underline{\mathcal {M}}(n) on the de Rham complex V = \Omega^\bullet X.

Source and licence

The text on this page is from arXiv:hep-th/9409063v2 by Murray Gerstenhaber and Alexander A. Voronov, under the licence CC BY 4.0. The corpus made these changes: it read the items out of the LaTeX source, it expanded the macros of the paper, it put each proof after its statement, and it converted the text to HTML. The formulas are the TeX of the paper, and KaTeX renders them. A formula or a reference can look different from the PDF. The page is published under CC BY 4.0.

The record of each item is in analysis/objects/9409/hep-th-9409063.jsonl.