This research was supported in part by NSF grant INT-0203119 and by grant MŠMT ME 603 .
<ph f="cmbx">Symmetrization of Brace Algebras</ph>

Marilyn Daily

Tom Lada

Max-Planck-Institute for Gravitational Physics, D-14476 Golm, Germany E-mail address : Marilyn.Daily@aei.mpg.de Department of Mathematics, North Carolina State University, Raleigh NC 27695 E-mail address : lada@math.ncsu.edu

1 Introduction

Brace algebras were first studied in the context of multilinear operations on the Hochschild complex of an associative algebra [3, 2, 1] . Symmetric brace algebras, in which the brace operations possess the property of graded symmetry, were subsequently introduced in [5] . Just as one may construct L ∞   algebra structures by anti (skew) symmetrizing A ∞   algebra structures [4] , we show in this note that the symmetrization of a brace algebra structure yields a symmetric brace algebra structure. We prove in Section  5 that f < g 1 , . . . , g n > : = ∑ σ ∈ S n ε ( σ ) f { g σ ( 1 ) , . . . , g σ ( n ) }   where 〈 , 〉   and { , }   denote symmetric and non symmetric braces respectively.
The motivating example of a brace algebra is ⊕ k ≥ 1 H o m ( V ⊗ k , V )   , and the fundamental example of a symmetric brace algebra is the subspace of anti symmetric maps, ⊕ k ≥ 1 H o m ( V ⊗ k , V ) a s   .
In Section  6 , we show that these algebras are related by ∑ σ ∈ S n ε ( σ ) a s ( f { g σ ( 1 ) , . . . , g σ ( n ) } ) = a s ( f ) < a s ( g 1 ) , . . . , a s ( g n ) > ,   where a s ( f ) ( v 1 , . . . , v k ) : = ∑ σ ∈ S k ( − 1 ) σ ε ( σ ) f ( v σ ( 1 ) , . . . , v σ ( k ) )   and ε ( σ )   is just the Koszul sign of the permutation.
In Sections  2 and  3 , we review the definitions and fundamental examples of brace algebras and symmetric brace algebras respectively. Section  4 contains a collection of technical lemmas that are needed to prove the main theorems in the final two sections.

2 Brace Algebras

Definition 1. A brace structure on a graded vector space consists of a collection of degree 0 multilinear braces x , x 1 , . . . , x n ↦ x { x 1 , . . . x n }   which satisfy the identity, x { } = x   , and in which x { x 1 , . . . , x n } { y 1 , . . . , y r }   is equal to ∑ ε ⋅ x { y 1 , . . . , y i 1 , x 1 { y i 1 + 1 , . . . , y j 1 } , y j 1 + 1 , . . . , y i n , x n { y i n + 1 , . . . , y j n } , y j n + 1 , . . . , y r } .   In the above formula, the sum is over all sequences 0 ≤ i 1 ≤ j 1 ≤ . . . ≤ i n ≤ j n ≤ r   , and ε   is the Koszul sign of the permutation which maps ( x 1 , . . . , x n , y 1 , . . . , y r )   to ( y 1 , . . . , y i 1 , x 1 , y i 1 + 1 , . . . , y j 1 , y j 1 + 1 , . . . , y i n , x n , y i n + 1 , . . . , y j n , y j n + 1 , . . . , y r ) .  
The motivating example for a brace algebra structure is the space H o m ( V ⊗ N , V )   with the natural brace operation of degree − n   given by the composition f { g 1 , . . . , g n } = ∑ k 0 + ⋅ ⋅ ⋅ + k n = N − n f ( 1 ⊗ k 0 ⊗ g 1 ⊗ 1 ⊗ k 1 ⊗ ⋅ ⋅ ⋅ ⊗ g n ⊗ 1 ⊗ k n ) ,   where f ∈ H o m ( V ⊗ N , V )   . This operation arises from the endomorphism operad of V   considered in [1] . This operation was also utilized in the context of the Hochschild complex of the associative algebra V   in [3] and [2] . After a regrading, this example may be regarded as a special case of the following
Example 2. Let V   be a graded vector space and consider the graded vector space B * ( V )   where B s ( V ) : = ⊕ p − k + 1 = s H o m ( V ⊗ k , V ) p   and where H o m ( V ⊗ k , V ) p   denotes the space of k   -multilinear maps of degree p   . Given f ∈ H o m ( V ⊗ N , V ) p   and g i ∈ H o m ( V ⊗ a i , V ) q i   , define f { g 1 , . . . , g n } ∈ H o m ( V ⊗ r , V ) p + q 1 + ⋅ ⋅ ⋅ + q n   where r = a 1 + ⋅ ⋅ ⋅ + a n + N − n   by f { g 1 , . . . , g n } = ∑ k 0 + ⋅ ⋅ ⋅ + k n = N − n ( − 1 ) β f ( 1 ⊗ k 0 ⊗ g 1 ⊗ 1 ⊗ k 1 ⊗ ⋅ ⋅ ⋅ ⊗ 1 ⊗ k n − 1 ⊗ g n ⊗ 1 ⊗ k n ) ,   where β = ∑ j < i [ a i − 1 ] [ k j + a j ] + ∑ i ( N − i ) q i + ∑ j < i q i a j .  
Remark 3. In Example  2 , suppose that there exists a collection of maps μ k ∈ H o m ( V ⊗ k , V ) k − 2 ∈ B − 1 ( V ) .   If we let μ = μ 1 + μ 2 + . . .   , then an A ∞   algebra structure on V   may be described by the brace relation μ { μ } = 0   [5] .

3 Symmetric Brace Algebras

Definition 4. An n-unshuffle of N   elements is a partition ∑ i = 1 n a i = N   and a permutation γ ∈ S N   such that γ ( 1 ) < ⋅ ⋅ ⋅ < γ ( a 1 ) , γ ( 1 + a 1 ) < ⋅ ⋅ ⋅ < γ ( a 2 + a 1 ) , . . . , γ ( 1 + ∑ i = 1 n − 1 a i ) < ⋅ ⋅ ⋅ < γ ( N ) .  
Definition 5. A symmetric brace algebra is a graded vector space together with a collection of degree zero multilinear braces f < g 1 , . . . , g n >   which are graded symmetric in g 1 , . . . , g n   . In a symmetric brace algebra, it is also required that f < > = f   , and that f < g 1 , . . . , g n > < x 1 , . . . , x r >   be equal to ∑ γ is ( n + 1 ) unshuffle ε ⋅ f < g 1 < x γ ( 1 ) , . . . , x γ ( a 1 ) > , . . . , g n < x γ ( 1 + ∑ i = 1 n − 1 a i ) , . . . , x γ ( ∑ i = 1 n a i ) > , x γ ( 1 + ∑ i = 1 n a i ) , . . . , x γ ( r ) > ,   where ε   is the Koszul sign of the permutation which maps ( g 1 , . . . , g n , x 1 , . . . , x r )   to ( g 1 , x γ ( 1 ) , . . . , x γ ( a 1 ) , g 2 , . . . , x γ ( 1 + ∑ i = 1 n − 1 a i ) , . . . , x γ ( ∑ i = 1 n a i ) , g n , x γ ( 1 + ∑ i = 1 n a i ) , . . . , x γ ( r ) ) .  
Just as with brace algebras, the fundamental example of a symmetric brace algebra is provided by the space of antisymmetric maps of degree p   , H o m ( V ⊗ k , V ) p a s   .
To be precise, we have
Example 6. Let V   be a graded vector space and B * ( V )   be the graded vector space given by B s ( V ) = ⊕ p − k + 1 = s H o m ( V ⊗ k , V ) p a s ,   Given f ∈ H o m ( V ⊗ k , V ) p a s   and g i ∈ H o m ( V ⊗ a i , V ) q i a s   , 1 ≤ i ≤ n   , define the symmetric brace f < g 1 , . . . , g n > ( x 1 , . . . , x r ) = ( − 1 ) δ ∑ γ is an ( a 1 | a 2 | . . . | a n + 1 ) unshuffle χ ( γ ) f ( g 1 ⊗ ⋅ ⋅ ⋅ ⊗ g n ⊗ 1 ⊗ N − n ) ( x γ ( 1 ) , . . . , x γ ( r ) ) ,   where δ = ∑ i n ( N − i ) q i + ∑ j < i q i a j + ∑ j < i a i a j + ∑ i ( n − i ) a i ,   and χ   is the antisymmetric Koszul sign of the permutation γ   .
Remark 7. Suppose that in Example  6 we have maps l k ∈ H o m ( V ⊗ k , V ) k − 2 a s ∈ B − 1 ( V ) .   If we let l = l 1 + l 2 + . . .   , then an L ∞   algebra structure on V   is given by the symmetric brace relation l 〈 l 〉 = 0   .

4 Some Lemmas

Although the expressions in this paper involve many sums, permutations, and antisymmetrizations, we will be able to simplify things considerably with the help of the following lemmas. Lemma  8 provides a decomposition of a s ( f )   which will be useful later.
Lemma 8. a s ( f ) = f ∘ Φ n m ∘ Ψ n ∘ Θ m ∀ f ∈ H o m ( V ⊗ n + m , V )   , where
Θ m ( y 1 , . . . , y n , z 1 , . . . z m ) = ∑ π ∈ S m χ ( π ) ( y 1 , . . . , y n , z π ( 1 ) , . . . z π ( m ) ) ,
Ψ n ( y 1 , . . . , y n , z 1 , . . . z m ) = ∑ σ ∈ S n χ ( σ ) ( y σ ( 1 ) , . . . , y σ ( n ) , z 1 , . . . z m ) ,
Φ n m ( y 1 , . . . , y n , z 1 , . . . , z m ) = ∑ k 0 + ⋅ ⋅ ⋅ + k n = m ( − 1 ) η ( z 1 , . . . , z k 0 , y 1 , z 1 + k 0 , . . . , y n , z 1 + k 0 + ⋅ ⋅ ⋅ + k n − 1 , . . . , z m ) ,
and η = ∑ i = 1 n { y i [ z 1 + ⋅ ⋅ ⋅ + z ( k 0 + k 1 + ⋅ ⋅ ⋅ + k i − 1 ) ] + ( n − i ) k i } .  
  • Proof. Since Ψ n   does all permutations of the first n   inputs, Θ m   provides all permutations of the last m   inputs, and Φ n m   distributes the last n   variables between the first m   in every possible way, the composition is clearly a sum of all permutations of the original n + m   variables. A moment's reflection also reveals that the sign of each summand in the composition is the Koszul sign together with the sign of the permutation. □
Lemma  9 states that if we sum over all (signed) ( a 1 | . . . | a n )   unshuffles, and then sum over all (signed) permutations of the a i   variables in each piece, then this is equivalent to just summing over all signed permutations of the original a 1 + ⋅ ⋅ ⋅ + a n   variables.
Lemma 9. If N = a 1 + ⋅ ⋅ ⋅ + a n   , then ∑ π ∈ S N χ ( π ) ( x π ( 1 ) , . . . , x π ( N ) )   is equal to ∑ γ is ( a 1 | . . . | a n ) unshuffle χ ( γ ) ∑ π 1 ∈ S a 1 χ ( π 1 ) . . . ∑ π a n ∈ S a n χ ( π n ) ( x γ ( π ( 1 ) ) , . . . , x γ ( π 1 ( a 1 ) ) , x γ ( π 2 ( 1 ) + a 1 ) , . . . , x γ ( π n ( a n ) + ∑ i = 1 n − 1 a i ) ) .  
  • Proof. Clearly, the right hand side is the sum of distinct permutations of the x   terms with the correct sign. Furthermore, since there are N ! ( a 1 ) ! . . . ( a n ) !   unshuffles γ   and ( a i ) !   permutations π i   , there are N !   summands in the right hand side, which agrees with the number of summands on the left hand side. □
Lemma 10. Suppose k 0 + a 1 + k 1 + ⋅ ⋅ ⋅ + a n + k n = r   , σ ∈ S n   , and π ∈ S r   . Let A = a 1 + . . . a n   , denote X i = x π ( 1 + a 1 + ⋅ ⋅ ⋅ + a i − 1 ) , . . . , x π ( a 1 + ⋅ ⋅ ⋅ + a i ) ,   and also denote X π = x π ( 1 + A ) , . . . , x π ( k 0 + A ) , X σ ( 1 ) , x π ( 1 + k 0 + A ) , . . . , X σ ( n ) , x π ( 1 + k 0 + ⋅ ⋅ ⋅ + k n − 1 + A ) , . . . , x π ( r ) .   Then we can define π ^ ∈ S r   by π ^ ( i ) = { π ( i + A − ∑ j ≤ m a σ ( j ) ) if ∑ j < m k j + ∑ j ≤ m a σ ( j ) < i ≤ ∑ j ≤ m k j + ∑ j ≤ m a σ ( j ) . π ( i − ∑ j < m k j + ∑ j < σ ( m ) a j ) if ∑ j < m k j + ∑ j < m a σ ( j ) < i ≤ ∑ j < m k j + ∑ j ≤ m a σ ( j ) .   Furthermore, given this notation,
X π = x π ^ ( 1 ) , . . . , x π ^ ( r ) and ε ( π ^ ) = ε ( π ) ( − 1 ) α 1 and χ ( π ^ ) = χ ( π ) ( − 1 ) α 2 ,
where α 1 = ∑ i < j & σ ( i ) > σ ( j ) | X σ ( i ) | | X σ ( j ) | + ∑ i = 1 n | X σ ( i ) | [ x π ( 1 + A ) + ⋅ ⋅ ⋅ + x π ( k 0 + ⋅ ⋅ ⋅ + k i − 1 + A ) ]
and α 2 = α 1 + ∑ i < j & σ ( i ) > σ ( j ) a σ ( i ) a σ ( j ) + ∑ j < i a σ ( i ) k j .
  • Proof. Careful examination of the definition of π ^   reveals that the first formula moves “free” strings of the form x π ( 1 + k 0 + ⋅ ⋅ ⋅ + k i − 1 ) , . . . , x π ( k 0 + ⋅ ⋅ ⋅ + k i )   into place (for 0 ≤ m ≤ n   ), and the second formula relocates the strings X σ ( i )   (for 1 ≤ m ≤ n   ).
    Thus X π = x π ^ ( 1 ) , . . . , x π ^ ( r )   .
    Furthermore, when x π ( 1 ) , . . . , x π ( r )   are permuted to yield x π ^ ( 1 ) , . . . , x π ^ ( r )   , the Koszul sign is ( − 1 ) α 1   , where the first sum in α 1   comes from σ   permuting the X i   strings, and the second sum comes from moving the “free” strings into place.
    Finally, the additional sums in α 2   count the transpositions, yielding the correct antisymmetric Koszul sign. □
Lemma 11. Suppose that σ ∈ S n   permutes { v 1 . . . v n }   and { w 1 . . . w n }   .
Then
( 1 ) ∑ i > j v i w j + ∑ i < j & σ ( i ) > σ ( j ) { w σ ( i ) v σ ( j ) + v σ ( i ) w σ ( j ) } + ∑ i > j v σ ( i ) w σ ( j ) ≡ 0 ( m o d 2 ) .
( 2 ) ∑ i < j & σ ( i ) > σ ( j ) { v σ ( i ) + v σ ( j ) } ≡ ∑ i ( i − 1 ) v i + ∑ i ( i − 1 ) v σ ( i ) ( m o d 2 ) .
  • Proof. To prove the first assertion, we note that ∑ i < j & σ ( i ) > σ ( j ) { v σ ( i ) w σ ( j ) + w σ ( i ) v σ ( j ) } + ∑ i > j v σ ( i ) w σ ( j ) = ∑ i < j & σ ( i ) > σ ( j ) v σ ( i ) w σ ( j ) + ∑ i > j & σ ( i ) < σ ( j ) v σ ( i ) w σ ( j ) + ∑ i > j v σ ( i ) w σ ( j ) ,   which is congruent ( m o d 2 ) to ∑ i < j & σ ( i ) > σ ( j ) v σ ( i ) w σ ( j ) + ∑ i > j & σ ( i ) > σ ( j ) v σ ( i ) w σ ( j ) = ∑ σ ( i ) > σ ( j ) v σ ( i ) w σ ( j ) = ∑ i > j v i w j .   To prove the second statement, suppose that all w i   are odd. Then ∑ i < j & σ ( i ) > σ ( j ) { v σ ( i ) + v σ ( j ) } ≡ ∑ i < j & σ ( i ) > σ ( j ) { v σ ( i ) w σ ( j ) + w σ ( i ) v σ ( j ) } ≡ ∑ i > j { v i w j + v σ ( i ) w σ ( j ) }   (by the first assertion). Since all w   -terms are odd, this is congruent to ∑ j = 1 n ∑ i = j + 1 n ( v i + v σ ( i ) ) = ∑ j ( j − 1 ) v j + ∑ j ( j − 1 ) v σ ( j ) .   □

5 Symmetrization of Brace Algebras

Given a (non-symmetric) brace structure { , }   on a graded vector space, we can define a symmetric brace structure < , >   via f < g 1 , . . . , g n > : = ∑ σ ∈ S n ε ( σ ) f { g σ ( 1 ) , . . . , g σ ( n ) } .   Clearly, this satisfies the first symmetric brace axiom, since f < > = f { } = f   .
We show in Theorem  15 that it satisfies the second symmetric brace axiom given in Definition  5 , so this does in fact induce a symmetric brace structure. First, however, we need the following two lemmas, which are analogous to Lemmas  8 and  9 .
Lemma 12. ∑ ρ ∈ S n + m ε ( ρ ) f { x ρ ( 1 ) , . . . , x ρ ( n ) } = f ~ n ∘ θ m ( x 1 , . . . , x n + m )   , where Θ m ( y 1 , . . . , y n , z 1 , . . . z m ) = ∑ π ∈ S m ε ( π ) ( y 1 , . . . , y n , z π ( 1 ) , . . . z π ( m ) )   and
f ~ n ( y 1 , . . . , y n , z 1 , . . . , z m ) = ∑ σ ∈ S n ε ( σ ) ∑ k 0 + ⋅ ⋅ ⋅ + k n = m ( − 1 ) η f { z 1 , . . . , z k 0 , y σ ( 1 ) , z 1 + k 0 , . . . , y σ ( n ) , z 1 + k 0 + ⋅ ⋅ ⋅ + k n − 1 , . . . , z m } ,  
with a Koszul sign given by η = ∑ i = 1 n y σ ( i ) [ z 1 + ⋅ ⋅ ⋅ + z ( k 0 + k 1 + ⋅ ⋅ ⋅ + k i − 1 ) ]   .
Lemma 13. If N = a 1 + ⋅ ⋅ ⋅ + a n   , then ∑ π ∈ S N ε ( π ) ( x π ( 1 ) , . . . , x π ( N ) )   is equal to ∑ γ is ( a 1 | . . . | a n ) unshuffle ε ( γ ) ∑ π 1 ∈ S a 1 ε ( π 1 ) . . . ∑ π a n ∈ S a n ε ( π n ) ( x γ ( π ( 1 ) ) , . . . , x γ ( π 1 ( a 1 ) ) , x γ ( π 2 ( 1 ) + a 1 ) , . . . , x γ ( π n ( a n ) + ∑ i = 1 n − 1 a i ) ) .  
Remark 14. Although a brace structure allows operators g   which accept an arbitrary number of inputs, it will be convenient in the proof of the following theorem to let g a   denote the restriction of g   which accepts only exactly a   inputs.
Theorem 15. Given a (non-symmetric) brace structure { , }   on a graded vector space, define < , >   via f < g 1 , . . . , g n > : = ∑ σ ∈ S n ε ( σ ) f { g σ ( 1 ) , . . . , g σ ( n ) } .   Then f < g 1 , . . . , g n > < x 1 , . . . , x r >   is equal to ∑ γ is ( n + 1 ) unshuffle ε ⋅ f < g 1 < x γ ( 1 ) , . . . , x γ ( a 1 ) > , . . . , g n < x γ ( 1 + ∑ i = 1 n − 1 a i ) , . . . , x γ ( ∑ i = 1 n a i ) > , x γ ( 1 + ∑ i = 1 n a i ) , . . . , x γ ( r ) > ,   where ε   is the Koszul sign of the permutation which maps ( g 1 , . . . , g n , x 1 , . . . , x r )   to ( g 1 , x γ ( 1 ) , . . . , x γ ( a 1 ) , g 2 , . . . , x γ ( 1 + ∑ i = 1 n − 1 a i ) , . . . , x γ ( ∑ i = 1 n a i ) , g n , x γ ( 1 + ∑ i = 1 n a i ) , . . . , x γ ( r ) ) .  
  • Proof. First, we will look at the right hand side.
    If we temporarily denote
    h k = g k < x γ ( 1 + a 1 + ⋅ ⋅ ⋅ + a k − 1 ) , . . . , x γ ( a 1 + ⋅ ⋅ ⋅ + a k ) >
    = ∑ π k ∈ S a k ε ( π k ) g k { x γ ( π k ( 1 ) + a 1 + ⋅ ⋅ ⋅ + a k − 1 ) , . . . , x γ ( π k ( a k ) + a 1 + ⋅ ⋅ ⋅ + a k − 1 ) } ,
    and denote A = ∑ i = 1 n a i   , then the right hand side is equal to ∑ a 1 + ⋅ ⋅ ⋅ + a n + 1 = r & γ is ( a 1 | . . . | a n + 1 ) unshuffle ( − 1 ) ν ε ( γ ) f < h 1 , . . . , h n , x γ ( 1 + A ) , . . . , x γ ( a n + 1 + A ) > ,   where ν = ∑ i = 2 n g i [ x γ ( 1 ) + ⋅ ⋅ ⋅ + x γ ( a 1 + ⋅ ⋅ ⋅ + a i − 1 ) ]   is a Koszul sign. After applying Lemma  12 , this is equal to ∑ a 1 + ⋅ ⋅ ⋅ + a n + 1 = r , γ is unshuffle ( − 1 ) ν ε ( γ ) f ~ n ( ∑ π n + 1 ∈ S a n + 1 ε ( π n + 1 ) ( h 1 , . . . , h n , x γ ( π n + 1 ( 1 ) + A ) , . . . , x γ ( π n + 1 ( a n + 1 ) + A ) ) ,   where f ~ n   is as defined in Lemma  12 . Now, we will pull all of the x   terms back out, in order to apply Lemma  13 . Note that the Koszul signs from this transformation merely cancel out ( − 1 ) ν   . We then have the following long formula:
    ∑ ( a i ) , γ ε ( γ ) ∑ π 1 ∈ S a 1 ε ( π 1 ) . . . ∑ π ( n + 1 ) ∈ S a n + 1 ε ( π n + 1 ) f ~ n ( g 1 a 1 , . . . , g n a n , 1 a n + 1 ) ( x γ ( π 1 ( 1 ) ) , . . . , x γ ( π 1 ( a 1 ) ) , x γ ( π 2 ( 1 ) + a 1 ) , . . . , x γ ( π n ( A ) , x γ ( π n + 1 ( 1 ) + A ) , . . . x γ ( π n + 1 ( a n + 1 ) + A ) ) .  
    Now, though, we can apply Lemma  13 , which yields the much shorter formula, ∑ ( a i ) ∑ π ∈ S r ε ( π ) f ~ n ( g 1 a 1 , . . . , g n a n , 1 a n + 1 ) ( x π ( 1 ) , . . . , x π ( r ) ) .   Before continuing, we need to pull all of the x   terms back inside. In order to make our expressions a bit shorter, let X i   denote the input to g i   . In other words, define X i = x π ( 1 + a 1 + ⋅ ⋅ ⋅ + a i − 1 ) , . . . , x π ( a 1 + ⋅ ⋅ ⋅ + a i ) f o r i ∈ { 1 . . . n } .   It will also be convenient to let | X i |   denote the sum of the degrees of the variables in X i   . When we pull the x   -terms inside and use the more concise notation just defined, the formula for the right hand side becomes ∑ ( a i ) ∑ π ∈ S r ε ( π ) ( − 1 ) ν ~ f ~ n ( g 1 ( X 1 ) , . . . , g n ( X n ) , x π ( 1 + A ) , . . . , x π ( r ) ) ,   where ν ~ = ∑ j < i g i | X j |   . After expanding f ~ n   , the right hand side is equal to
    ∑ ( a i ) ∑ π ∈ S r ε ( π ) ( − 1 ) ν ~ ∑ σ ∈ S n ε ( σ ) ∑ k 0 + ⋅ ⋅ ⋅ + k n = a n + 1 ( − 1 ) η f { x π ( 1 + A ) , . . . , x π ( k 0 + A ) , g σ ( 1 ) ( X σ ( 1 ) ) , x π ( 1 + k 0 + A ) , . . . . . . , g σ ( n ) ( X σ ( n ) ) , x π ( 1 + k 0 + ⋅ ⋅ ⋅ + k n + A ) , . . . , x π ( r ) } . Here, η = ∑ i = 1 n ( g σ ( i ) + | X σ ( i ) | ) [ x π ( 1 + A ) + ⋅ ⋅ ⋅ + x π ( k 0 + ⋅ ⋅ ⋅ + k i − 1 + A ) ] and ε ( σ ) = ( − 1 ) λ , where λ = ∑ i < j & σ ( i ) > σ ( j ) ( g σ ( i ) + | X σ ( i ) | ) ( g σ ( j ) + | X σ ( j ) | ) .  
    Now, we will look at the left hand side. f < g 1 , . . . , g n > < x 1 , . . . , x r >   is equal to ∑ σ ∈ S n ε ( σ ) f { g σ ( 1 ) , . . . , g σ ( n ) } < x 1 , . . . , x r >   , which is equal to ∑ σ ∈ S n ε ( σ ) ∑ π ∈ S r ε ( π ) f { g σ ( 1 ) , . . . , g σ ( n ) } { x π ( 1 ) , . . . , x π ( r ) } .   If we apply Definition  1 and let g i a i   denote the restriction of g i   which accepts exactly a i   inputs, then the left hand side is equal to ∑ σ ∈ S n ε ( σ ) ∑ π ∈ S r ε ( π ) ∑ k 0 + ⋅ ⋅ ⋅ + k n + a 1 + ⋅ ⋅ ⋅ + a n = r f { 1 k 0 , g σ ( 1 ) a σ ( 1 ) , 1 k 1 , . . . , g σ ( n ) a σ ( n ) , 1 k n } ( x π ( 1 ) , . . . , x π ( r ) ) .   After applying Lemma  10 , this is equal to
    ∑ σ ∈ S n ε ( σ ) ∑ ( k i , a i ) ∑ π ∈ S r ε ( π ) ( − 1 ) α 1 f { 1 k 0 , g σ ( 1 ) a σ ( 1 ) , 1 k 1 , . . . , g σ ( n ) a σ ( n ) , 1 k n } ( x π ( 1 + A ) , . . . , x π ( k 0 + A ) , X σ ( 1 ) , x π ( 1 + k 0 + A ) , . . . , X σ ( n ) , x π ( 1 + k 0 + ⋅ ⋅ ⋅ + k n + A ) , . . . , x π ( r ) ) ,  
    where α 1   is given in Lemma  10 . Finally, when the x   -terms are moved inside, the left hand side is equal to
    ∑ σ ∈ S n ε ( σ ) ∑ ( k i , a i ) ∑ π ∈ S r ε ( π ) ( − 1 ) α 1 + μ f { x π ( 1 + A ) , . . . , x π ( k 0 + A ) , g σ ( 1 ) ( X σ ( 1 ) ) , x π ( 1 + k 0 + A ) , . . . . . . , g σ ( n ) ( X σ ( n ) ) , x π ( 1 + k 0 + ⋅ ⋅ ⋅ + k n + A ) , . . . , x π ( r ) } . Here, μ = ∑ i g σ ( i ) [ x π ( 1 + A ) + ⋅ ⋅ ⋅ + x π ( k 0 + ⋅ ⋅ ⋅ + k i − 1 + A ] + ∑ j < i g σ ( i ) | X σ ( j ) | and ε ( σ ) = ( − 1 ) ζ , where ζ = ∑ i < j & σ ( i ) > σ ( j ) g σ ( i ) g σ ( j ) .  
    Now that the terms on both sides are easy to compare, it is clear that the two sides are equal if and only if ν ~ + λ + η + ζ + α 1 + μ ≡ 0 ( m o d 2 )   .
    After making the most obvious cancellations, we see that ν ~ + λ + η + ζ + α 1 + μ   is congruent to ∑ j < i g i | X j | + ∑ i < j & σ ( i ) > σ ( j ) ( g σ ( i ) | X σ ( j ) | + g σ ( j ) | X σ ( i ) | ) + ∑ j < i g σ ( i ) | X σ ( j ) | ,   which is congruent to zero ( m o d 2 )   by Lemma  11 . □

6 Symmetrization of the Brace Structure on ⊕ k ≥ 1 H o m ( V ⊗ k , V )  

In this section, we will demonstrate a nice relationship between the the brace defined in Example  2 and the symmetric brace defined in Example  6 , by showing that the symmetrization of the non symmetric brace structure on H o m ( V ⊗ k , V )   is equal to the symmetric brace of the anti-symmetrized maps. Specifically, we have
Theorem 16. ∑ σ ∈ S n ε ( σ ) a s ( f { g σ ( 1 ) , . . . , g σ ( n ) } ) = a s ( f ) < a s ( g 1 ) , . . . , a s ( g n ) > .  
  • Proof. First, we will manipulate the right hand side. Using the symmetric brace structure defined in Example  6 , a s ( f ) < a s ( g 1 ) , . . . , a s ( g n ) > ( x 1 , . . . , x r )   is equal to ( − 1 ) δ ∑ γ is an ( a 1 | a 2 | . . . | a n + 1 ) unshuffle χ ( γ ) a s ( f ) ( a s ( g 1 ) ⊗ ⋅ ⋅ ⋅ ⊗ a s ( g n ) ⊗ 1 ⊗ N − n ) ( x γ ( 1 ) , . . . , x γ ( r ) ) ,   where δ   is given in Example  6 .
    When we substitute the x   terms using the Koszul convention and suppress the tensor notation, this is equal to
    ( − 1 ) δ ∑ γ χ ( γ ) ( − 1 ) ν a s ( f ) ( h 1 , . . . , h n , x γ ( 1 + ∑ i = 1 n a i ) ) , . . . , x γ ( r ) ) , where ν = ∑ i = 2 n q i [ x γ ( 1 ) + ⋅ ⋅ ⋅ + x γ ( a 1 + ⋅ ⋅ ⋅ + a i − 1 ) ] and h k = a s ( g k ) ( x γ ( 1 + a 1 + ⋅ ⋅ ⋅ + a k − 1 ) , . . . , x γ ( a 1 + ⋅ ⋅ ⋅ + a k ) ) = ∑ π k ∈ S a k χ ( π k ) g k ( x γ ( π k ( 1 ) + a 1 + ⋅ ⋅ ⋅ + a k − 1 ) , . . . , x γ ( π k ( a k ) + a 1 + ⋅ ⋅ ⋅ + a k − 1 ) ) .  
    If we denote A = ∑ i = 1 n a i   and apply Lemma  8 , this is equal to ∑ γ χ ( γ ) ( − 1 ) δ + ν f ∘ Φ n a ∘ Ψ n ( ∑ π a n + 1 ∈ S a n + 1 χ ( π n + 1 ) ( h 1 , . . . , h n , x γ ( π a n + 1 ( 1 ) + A ) , . . . , x γ ( π a n + 1 ( a n + 1 ) + A ) ) .   Now, we will pull all of the x   terms back out, in order to apply Lemma  9 . Note that the Koszul signs from this transformation merely cancel out ( − 1 ) ν   . We then have the following long formula, which spans two lines!
    ( − 1 ) δ ∑ γ χ ( γ ) ∑ π 1 ∈ S a 1 χ ( π 1 ) . . . ∑ π ( a n + 1 ) ∈ S a n + 1 χ ( π n + 1 ) f ∘ Φ n a ∘ Ψ n ( g 1 , . . . , g n , 1 a n + 1 ) ( x γ ( π 1 ( 1 ) ) , . . . , x γ ( π 1 ( a 1 ) ) , x γ ( π 2 ( 1 ) + a 1 ) , . . . , x γ ( π a n ( A ) , x γ ( π a n + 1 ( 1 ) + A ) , . . . , x γ ( π a n + 1 ( a n + 1 ) + A ) ) .  
    Now, though, we can apply Lemma  9 , which yields the much shorter formula, ( − 1 ) δ ∑ π ∈ S r χ ( π ) f ∘ Φ n a ∘ Ψ n ( g 1 , . . . , g n , 1 a n + 1 ) ( x π ( 1 ) , . . . , x π ( r ) ) .   Before continuing, we need to pull all of the x   terms back inside. In order to make our expressions a bit shorter, let X i   denote the input to g i   , and let X n + 1   denote the free x   terms (letting a n + 1 = N − n   ). In other words, define X i = x π ( 1 + a 1 + ⋅ ⋅ ⋅ + a i − 1 ) , . . . , x π ( a 1 + ⋅ ⋅ ⋅ + a i ) .   It will also be convenient to let | X i |   denote the sum of the degrees of the variables in X i   . When we pull the x   -terms inside and use the more concise notation just defined, the formula for the right hand side becomes ( − 1 ) δ ∑ π ∈ S r χ ( π ) ( − 1 ) ν ~ f ∘ Φ n , N − n ∘ Ψ n ( g 1 ( X 1 ) , . . . , g n ( X n ) , X n + 1 ) ,   where ν ~ = ∑ j < i q i | X j |   . After expanding Ψ n   , the right hand side is equal to ( − 1 ) δ ∑ π ∈ S r χ ( π ) ( − 1 ) ν ~ f ∘ Φ n , N − n ( ∑ σ ∈ S n χ ( σ ) ( g σ ( 1 ) ( X σ ( 1 ) ) , . . . , g σ ( n ) ( X σ ( n ) ) , X n + 1 ) ) .   In the above expression, χ ( σ )   is equal to ( − 1 ) λ   , where λ = ∑ i < j ≤ n , σ ( i ) > σ ( j ) [ ( q σ ( i ) + | X σ ( i ) | ) ( q σ ( j ) + | X σ ( j ) | ) + 1 ] .   Now, if we expand Φ n , N − n   , we get
    ∑ π ∈ S r , σ ∈ S n , k 0 + ⋅ ⋅ ⋅ + k n = N − n χ ( π ) ( − 1 ) δ + ν ~ + λ + η f ( x π ( 1 + A ) , . . . , x π ( k 0 + A ) , g σ ( 1 ) ( X σ ( 1 ) ) , x π ( 1 + k 0 + A ) , . . . . . . , g σ ( n ) ( X σ ( n ) ) , x π ( 1 + k 0 + ⋅ ⋅ ⋅ + k n + A ) , . . . , x π ( r ) ) , where η = ∑ i = 1 n { ( q σ ( i ) + | X σ ( i ) | ) ( x π ( 1 + A ) + ⋅ ⋅ ⋅ + x π ( k 0 + ⋅ ⋅ ⋅ + k i − 1 + A ) ) + ( n − i ) k i } .  
    Now, we will work with the left hand side of the equation. Using the brace defined in Example  2 , ∑ σ ∈ S n ε ( σ ) a s ( f { g σ ( 1 ) , . . . , g σ ( n ) } ) ( x 1 , . . . , x r )   is equal to ∑ σ ∈ S n ɛ ( σ ) a s ( ∑ k 0 + . . . k n = N − n ( − 1 ) β f ( 1 ⊗ k 0 ⊗ g σ ( 1 ) ⊗ 1 ⊗ k 1 ⊗ ⋅ ⋅ ⋅ ⊗ 1 ⊗ k n − 1 ⊗ g σ ( n ) ⊗ 1 ⊗ k n ) ) ( x 1 , . . . , x r ) ,   where β   is given in Example  2 . Note also that the Koszul sign ε ( σ )   must be calculated using the degree of g i   as an element of the symmetric brace algebra (so | g i | = q i + a i − 1   ). Thus ε ( σ ) = ( − 1 ) ζ   , where ζ = ∑ i < j & σ ( i ) > σ ( j ) ( q σ ( i ) + a σ ( i ) − 1 ) ( q σ ( j ) + a σ ( j ) − 1 ) .   If we now antisymmetrize by taking all signed permutations of the x   's, and suppress the tensor notation, this is equal to ∑ σ ∈ S n ∑ k 0 + . . . k n = N − n ( − 1 ) β + ζ f ( 1 k 0 , g σ ( 1 ) , 1 k 1 , . . . , 1 k n − 1 , g σ ( n ) , 1 k n ) ( ∑ π ∈ S r χ ( π ) ( x π ( 1 ) , . . . , x π ( r ) ) ) .   After applying Lemma  10 , the left hand side is equal to
    ∑ π ∈ S r , σ ∈ S n , k 0 + ⋅ ⋅ ⋅ + k n = N − n ( − 1 ) β + ζ + α 2 χ ( π ) f ( 1 k 0 , g σ ( 1 ) , 1 k 1 , . . . , g σ ( n ) , 1 k n ) ( x π ( 1 + A ) , . . . , x π ( k 0 + A ) , X σ ( 1 ) ,
    x π ( 1 + k 0 + A ) , . . . , X σ ( n ) ,
    x π ( 1 + k 0 + ⋅ ⋅ ⋅ + k n + A ) , . . . , x π ( r ) ) ,
    where α 2   is given in Lemma  10 .
    Finally, when the variables are moved inside, the left hand side is equal to
    ∑ π ∈ S r , σ ∈ S n , k 0 + ⋅ ⋅ ⋅ + k n = N − n ( − 1 ) β + ζ + α + μ χ ( π ) f ( x π ( 1 + A ) , . . . , x π ( k 0 + A ) , g σ ( 1 ) ( X σ ( 1 ) ) , x π ( 1 + k 0 + A ) , . . . . . . , g σ ( n ) ( X σ ( n ) ) , x π ( 1 + k 0 + ⋅ ⋅ ⋅ + k n + A ) , . . . , x π ( r ) ) , where μ = ∑ i q σ ( i ) [ x π ( 1 + A ) + ⋅ ⋅ ⋅ + x π ( k 0 + ⋅ ⋅ ⋅ + k i − 1 + A ] + ∑ j < i q σ ( i ) | X σ ( j ) | .  
    Since the right hand side is equal to
    ∑ π ∈ S r , σ ∈ S n , k 0 + ⋅ ⋅ ⋅ + k n = N − n χ ( π ) ( − 1 ) δ + ν ~ + λ + η f ( x π ( 1 + A ) , . . . , x π ( k 0 + A ) , g σ ( 1 ) ( X σ ( 1 ) ) , x π ( 1 + k 0 + A ) , . . . . . . , g σ ( n ) ( X σ ( n ) ) , x π ( 1 + k 0 + ⋅ ⋅ ⋅ + k n + A ) , . . . , x π ( r ) ) ,  
    we see that the two sides are equal if and only if β + ζ + α 2 + μ + δ + ν ~ + λ + η ≡ 0 ( m o d 2 ) .   After cancelling the most obvious terms, β + ζ + α 2 + μ + δ + ν ~ + λ + η   is congruent to
    ∑ i ( n − i ) a σ ( i ) + ∑ i ( N − i ) q σ ( i ) + ∑ j < i q σ ( i ) a σ ( j ) + ∑ i < j & σ ( i ) > σ ( j ) [ q σ ( i ) a σ ( j ) + q σ ( i ) + a σ ( i ) q σ ( j ) + a σ ( i ) + q σ ( j ) + a σ ( j ) ] + ∑ j < i q σ ( i ) | X σ ( j ) | + ∑ i ( N − i ) q i + ∑ j < i q i a j + ∑ i ( n − i ) a i + ∑ j < i q i | X j | + ∑ i < j & σ ( i ) > σ ( j ) [ q σ ( i ) | X σ ( j ) | + | X σ ( i ) | q σ ( j ) ] .  
    After applying Lemma  11 , this is congruent to ∑ i { ( n − i ) a σ ( i ) + ( N − i ) q σ ( i ) + ( i − 1 ) [ a i + a σ ( i ) + q i + q σ ( i ) ] + ( N − i ) q i + ( n − i ) a i } ,   which is equal to ∑ i { ( n − 1 ) [ a σ ( i ) + a i ] + ( N − 1 ) [ q σ ( i ) + q i ] } ≡ 0 ( m o d 2 )   .
    □
As a corollary, we obtain Theorem 3.1 of [4] :
Corollary 17. The anti-symmetrization l : = a s ( μ )   of an A ∞   algebra structure μ   yields an L ∞   -algebra structure.
  • Proof. Given μ { μ } = 0   (recall Remarks  3 and 7 ) we have 0 = a s ( μ { μ } ) = a s ( μ ) 〈 a s ( μ ) 〉 = l 〈 l 〉 .   □

7 Acknowledgements

We would like to thank Martin Markl for providing many helpful suggestions.
The first author would also like to thank the Mathematics Institute of the Czech Academy for its hospitality during her visit to Prague in September, 2003.
References

  1. M. Gerstenhaber, A.A. Voronov. Homotopy G-algebras and moduli space operad, Intern. Math. Res. Notices 1995, 3, 141–153.
  2. E. Getzler. Cartan homotopy formulas and the Gauss-Manin connection in cyclic homology, Israel Math. Conf. Proc. 7 (1993), 65-78.
  3. T. Kadeishvili. The structure of the A( ∞   ) -algebra and the Hochschild and Harrison cohomologies, Trudi Tbiliss. Mat. Inst. Razmadze Akad. Nauk Gruzin. SSR 91 (1988), 19-27.
  4. T. Lada, M. Markl. Strongly homotopy Lie algebras, Comm. in Algebra (1995), 2147-2161.
  5. T. Lada, M. Markl. Symmetric brace algebras with applications to particles of high spin, math.QA/0307054.
  6. A. Voronov. Homotopy Gerstenhaber algebras, math./QA9908040.

Max-Planck-Institute for Gravitational Physics, D-14476 Golm, Germany E-mail address : Marilyn.Daily@aei.mpg.de Department of Mathematics, North Carolina State University, Raleigh NC 27695 E-mail address : lada@math.ncsu.edu