On the origin of higher braces and higher-order derivations
The classical Koszul braces, sometimes also called the Koszul hierarchy, were introduced in 1985 by Koszul (Astérisque, (Numero Hors Serie):257–271, 1985). Their non-commutative counterparts came as a surprise much later, in 2013, in a preprint by Börjeson (\(A_\infty \)-algebras derived from associative algebras with a non-derivation differential, Preprint arXiv:1304.6231, 2013). In Part I we show that both braces are the twistings of the trivial \(L_\infty \)- (resp. \(A_\infty \)-) algebra by a specific automorphism of the underlying coalgebra. This gives an astonishingly simple proof of their properties. Using the twisting, we construct other surprising examples of \(A_\infty \)- and \(L_\infty \)-braces. We finish Part 1 by discussing \(C_\infty \)-braces related to Lie algebras. In Part 2 we prove that in fact all natural braces are the twistings by unique automorphisms. We also show that there is precisely one hierarchy of braces that leads to a sensible notion of higher-order derivations. Thus, the notion of higher-order derivations is independent of human choices. The results of the second part follow from the acyclicity of a certain space of natural operations.
KeywordsKoszul braces Börjeson braces Higher-order derivation
Mathematics Subject Classification (2000)13D99 55S20
- 4.Batanin, M.A., Markl, M.: Crossed interval groups and operations on the Hochschild cohomology. Preprint arXiv:0803.2249. March 2008.
- 6.Börjeson, K.: \(A_\infty \)-algebras derived from associative algebras with a non-derivation differential. Preprint arXiv:1304.6231, April 2013.
- 7.Koszul, J.-L.: Crochet de Schouten-Nijenhuis et cohomologie. Astérisque, (Numero Hors Serie), 257–271 (1985) (The mathematical heritage of Elie Cartan (Lyon, 1984)).Google Scholar
- 12.Markl, M.: Operads and PROPs. In: Handbook of Algebra, vol. 5, pp. 87–140. Elsevier/North-Holland, Amsterdam (2008).Google Scholar
- 13.Markl, M., Shnider, S., Stasheff, J.D.: Operads in algebra, topology and physics. In: Mathematical Surveys and Monographs, vol. 96. American Mathematical Society, Providence, RI (2002).Google Scholar
- 14.Reutenauer, C.: Theorem of Poincaré-Birkhoff-Witt, logarithm and symmetric group representations of degrees equal to Stirling numbers. In: Combinatoire énumérative (Montreal, Que., 1985/Quebec, Que., 1985). Lecture Notes in Mathematics, vol. 1234, pp 267–284. Springer, Berlin (1986).Google Scholar