Formal multiplications, bialgebras of distributions and non-associative Lie theory

  1. Mostovoy, J. 1
  2. Pérez-Izquierdo, J.M. 2
  1. 1 Instituto Politécnico Nacional
    info

    Instituto Politécnico Nacional

    Ciudad de México, México

    ROR https://ror.org/059sp8j34

  2. 2 Universidad de La Rioja
    info

    Universidad de La Rioja

    Logroño, España

    ROR https://ror.org/0553yr311

Aldizkaria:
Transformation Groups

ISSN: 1083-4362

Argitalpen urtea: 2010

Alea: 15

Zenbakia: 3

Orrialdeak: 625-653

Mota: Artikulua

beta Ver similares en nube de resultados
DOI: 10.1007/S00031-010-9106-5 SCOPUS: 2-s2.0-77956421671 WoS: WOS:000285585000006 arXiv: 0905.3604 GOOGLE SCHOLAR lock_openSarbide irekia editor

Beste argitalpen batzuk: Transformation Groups

Gordailu instituzionala: lockSarbide irekia Editor

Laburpena

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. © 2010 Springer Science+Business Media, LLC.