[Paper Review] Symmetrization of Brace Algebras

Marilyn Daily, Lada, Tom|ArXiv.org|Mar 22, 2005

Algebraic structures and combinatorial models3 references3 citations

TL;DR

This paper demonstrates that symmetrizing a brace algebra structure yields a symmetric brace algebra structure, and proves that the symmetrization of the natural brace operation on $\bigoplus_{k\geq 1} \mathrm{Hom}(V^{\otimes k}, V)$ coincides with the natural symmetric brace structure on the subspace of antisymmetric maps. The key result establishes a precise algebraic correspondence between $A_\infty$-algebras and $L_\infty$-algebras via antisymmetrization.

ABSTRACT

We show that the symmetrization of a brace algebra structure yields the structure of a symmetric brace algebra.

Motivation & Objective

• To establish a general construction that transforms a brace algebra into a symmetric brace algebra via symmetrization.
• To show that the symmetrization of the standard brace structure on $\bigoplus_{k\geq 1} \mathrm{Hom}(V^{\otimes k}, V)$ matches the natural symmetric brace structure on the space of antisymmetric multilinear maps.
• To provide an algebraic foundation for the known correspondence between $A_\infty$-algebras and $L_\infty$-algebras through antisymmetrization.
• To formalize the relationship between non-symmetric and symmetric brace operations using Koszul signs and permutation signs in multilinear compositions.

Proposed method

• Define symmetrization of a brace algebra using signed permutations: $ f\langle g_1,\dots,g_n\rangle := \sum_{\sigma \in S_n} \epsilon(\sigma) f\{g_{\sigma(1)},\dots,g_{\sigma(n)}\} $, where $\epsilon(\sigma)$ is the Koszul sign.
• Prove that the symmetrized operation satisfies the axioms of a symmetric brace algebra, including graded symmetry and the generalized associativity condition involving unshuffles.
• Use technical lemmas on Koszul signs and permutation signs to verify that the symmetrized operation preserves the algebraic structure under composition.
• Apply the symmetrization to the natural brace structure on $\mathrm{Hom}(V^{\otimes k}, V)$, showing it maps to the symmetric brace structure on $\mathrm{Hom}(V^{\otimes k}, V)^{as}$, the space of antisymmetric maps.
• Establish a precise identity: $ \sum_{\sigma \in S_n} \epsilon(\sigma) \, \mathrm{as}(f\{g_{\sigma(1)},\dots,g_{\sigma(n)}\}) = \mathrm{as}(f)\langle \mathrm{as}(g_1),\dots,\mathrm{as}(g_n)\rangle $, where $\mathrm{as}(f)$ is the antisymmetrization of $f$.
• Verify the equality of signs in the symmetrized composition by computing the total sign modulo 2, using detailed sign analysis from permutation decompositions and Koszul conventions.

Experimental results

Research questions

• RQ1 Does the symmetrization of a brace algebra structure yield a symmetric brace algebra structure?
• RQ2 Is the symmetrization of the standard brace operation on $\bigoplus_{k\geq 1} \mathrm{Hom}(V^{\otimes k}, V)$ isomorphic to the natural symmetric brace structure on the subspace of antisymmetric maps?
• RQ3 How do the Koszul signs and permutation signs interact in the symmetrized composition of multilinear maps?
• RQ4 Can the antisymmetrization of an $A_\infty$-algebra structure be shown to satisfy the $L_\infty$-algebra relations via this symmetrization process?
• RQ5 What is the precise sign congruence condition that ensures the symmetrized operation satisfies the symmetric brace identity?

Key findings

• The symmetrization of a brace algebra structure produces a symmetric brace algebra structure, confirming that the symmetrized operation satisfies the required graded symmetry and composition axioms.
• The symmetrization of the natural brace operation on $\bigoplus_{k\geq 1} \mathrm{Hom}(V^{\otimes k}, V)$ coincides exactly with the natural symmetric brace structure on $\bigoplus_{k\geq 1} \mathrm{Hom}(V^{\otimes k}, V)^{as}$, the space of antisymmetric multilinear maps.
• The key identity $ \sum_{\sigma \in S_n} \epsilon(\sigma) \, \mathrm{as}(f\{g_{\sigma(1)},\dots,g_{\sigma(n)}\}) = \mathrm{as}(f)\langle \mathrm{as}(g_1),\dots,\mathrm{as}(g_n)\rangle $ holds, establishing a canonical isomorphism between the symmetrized brace and symmetric brace constructions.
• The proof relies on a detailed sign computation modulo 2, showing that the total sign in the symmetrized composition matches the required Koszul sign for symmetric brace operations.
• The result provides a direct algebraic justification for the well-known fact that antisymmetrization of an $A_\infty$-algebra yields an $L_\infty$-algebra, as a corollary of Theorem 3.1 in [4].
• The symmetrization process preserves the algebraic structure under composition, and the sign congruence condition reduces to $ \sum_i \left\{ (n-1)(a_{\sigma(i)} + a_i) + (N-1)(q_{\sigma(i)} + q_i) \right\} \equiv 0 \pmod{2} $, which holds due to symmetry in indices and degrees.