Abstract
We describe the general nonassociative version of Lie theory that relates unital formal multiplications (formal loops), Sabinin algebras and nonassociative bialgebras.
Starting with a formal multiplication we construct a nonassociative bialgebra, namely, the bialgebra of distributions with the convolution product. Considering the primitive elements in this bialgebra gives a functor from formal loops to Sabinin algebras. We compare this functor to that of Mikheev and Sabinin and show that although the brackets given by both constructions coincide, the multioperator does not. We also show how identities in loops produce identities in bialgebras. While associativity in loops translates into associativity in algebras, other loop identities (such as the Moufang identity) produce new algebra identities. Finally, we define a class of unital formal multiplications for which Ado’s theorem holds and give examples of formal loops outside this class.
A by-product of the constructions of this paper is a new identity on Bernoulli numbers. We give two proofs: one coming from the formula for the nonassociative logarithm, and the other (due to D. Zagier) using generating functions.
Article PDF
Similar content being viewed by others
Avoid common mistakes on your manuscript.
References
E. Abe, Hopf Algebras, Cambridge Tracts in Mathematics, Vol. 74, Cambridge University Press, Cambridge, 1980.
L. Gerritzen, R. Holtkamp, Hopf co-addition for free magma algebras and the non-associative Hausdorff series, J. Algebra 265 (2003), 264–284.
А. И. Мальцев, Аналитические лупы, Матем. сб. 36(78) (1955), 569–576. (A. I. Mal’tsev, Analytic loops (in Russian), Mat. Sb. (N.S.) 36(78) (1955), 569–576.)
P. O. Miheev, L. V. Sabinin, Quasigroups and differential geometry, in: Quasigroups and Loops: Theory and Applications, Sigma Series in Pure Mathematics, Vol. 8, Heldermann, Berlin, 1990, pp. 357–430.
J. M. Pérez-Izquierdo, Algebras, hyperalgebras, nonassociative bialgebras and loops, Adv. Math. 208 (2007), 834–876.
J. M. Pérez-Izquierdo, Right ideals in non-associative universal enveloping algebras of Lie triple systems, J. Lie Theory 18 (2008), no. 2, 375–382.
J. M. Pérez-Izquierdo, I. P. Shestakov, An envelope for Malcev algebras, J. Algebra 272 (2004), 379–393.
L. V. Sabinin, Smooth Quasigroups and Loops, Mathematics and its Applications, Vol. 492, Kluwer Academic, Dordrecht, 1999.
Л. В. Сабинин, П. О. Михеев, Локальные аналитические лупы с тождеством правой альтернативности, в сб., Проблемы теории сетей и квазигрупп, КГУ, Калинин, 1985, стр. 72–75, 158. (L. V. Sabinin, P. O. Mikheev, Local analytic loops with a right alternativity identity (Russian), in: Problems of the Theory of Webs and Quasigroups, Collect. sci. Works, Kalinin Univ., Kalinin, 1985, pp. 72–75, 158.)
Л. В. Сабинин, П. О. Михеев, Об инфинитезимальной теории локальных аналитических луп, ДАН СССР 297 (1987), 801–804. Engl. transl.: L. V. Sabinin, P. O. Mikheev, On the infinitesimal theory of local analytic loops, Sov. Math., Dokl. 36 (1988), 545–548.
I. P. Shestakov, U. U. Umirbaev, Free Akivis algebras, primitive elements, and hyperalgebras, J. Algebra 250 (2002), 533–548.
Author information
Authors and Affiliations
Corresponding author
Additional information
Supported by SEP-CONACyT grant 44100. (J. Mostovoy)
Supported by the grants MTM2007-67884-C04-03, ANGI2005/05 and the SEPCONACyT grant 44100. (J. M. Pérez–Izquierdo)
Rights and permissions
About this article
Cite this article
Mostovoy, J., Pérez–Izquierdo, J.M. Formal multiplications, bialgebras of distributions and nonassociative Lie theory. Transformation Groups 15, 625–653 (2010). https://doi.org/10.1007/s00031-010-9106-5
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00031-010-9106-5