Abstract:We develop a symmetric analog of brace algebras and discuss the relation of such algebras to $L_{\infty}$-algebras. We give an alternate proof that the category of symmetric brace algebras is isomorphic to the category of pre-Lie algebras. As an application, symmetric braces are used to describe transfers of strongly homotopy structures. We then explain how these symmetric brace algebras may be used to examine the $L_{\infty}$-algebras that result from a particular gauge theory for massless particles of high spin.
What problem does this paper attempt to address?
The problems that this paper attempts to solve mainly focus on two aspects:
1. **Development and Properties of Symmetric Brace Algebras**:
- Firstly, the paper develops the concept of symmetric brace algebras, which is a symmetric version of multilinear operations defined on the Hochschild complex. These operations have graded symmetry and provide motivating examples on the space of anti - commuting maps.
- The author explores the relationship between symmetric brace algebras and $L_\infty$-algebras, pointing out that the data of $L_\infty$-algebras can be given through the relations of symmetric brace algebras.
- The author also proves that the category of symmetric brace algebras is isomorphic to the category of pre - Lie algebras and gives a model for constructing free symmetric brace algebras.
2. **Transfers of Strongly Homotopy Structures**:
- The paper discusses how to use symmetric brace algebras to simplify the transfer formulas of strongly homotopy structures (such as $A_\infty$-structures and $L_\infty$-structures). Specifically, given chain complexes $(V,\partial_V)$ and $(W,\partial_W)$ and chain maps $f:(V,\partial_V)\to (W,\partial_W)$ and $g:(W,\partial_W)\to (V,\partial_V)$ such that $gf$ is homotopic to the identity map $1_V$ on $V$ through a chain homotopy $h$, if there is an $A_\infty$-structure or $L_\infty$-structure on $V$, then these homotopy structures can be transferred to the space $W$ using braces and symmetric braces respectively.
- The author gives specific construction methods, especially for the transfer of $L_\infty$-structures, using the $p$-kernel in symmetric brace algebras to define the transferred $L_\infty$-structure.
3. **$L_\infty$-Structures in the Gauge Theory of High - Spin Massless Particles**:
- As an application of symmetric brace algebras, the paper reviews the algebraic data generated by Berends, Burgers and van Dam in studying the gauge theory of high - spin massless particles. These data are reformulated as $L_\infty$-algebra structures on the gauge parameter space and the field space.
- The author shows how to use the language of symmetric brace algebras to analyze this $L_\infty$-structure, placing it in a broader algebraic context, which may be applicable to other similar problems.
Overall, by developing the concept of symmetric brace algebras, this paper not only provides new algebraic tools but also shows the application value of these tools in dealing with complex algebraic structures (such as $L_\infty$-algebras) and physical problems (such as the gauge theory of high - spin massless particles).