Co-Moufang Deformations of the Universal Enveloping Algebra of the Algebra of Traceless Octonions

Pérez-Izquierdo, José M.; Shestakov, I. P.

doi:10.1007/s10468-015-9539-6

Cited by 2 publications

(1 citation statement)

References 21 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…[29] [49], and therefore can be used to encode the structure of coloops in a category pC, >, Iq. In the context of non-associative algebras they have been used in [40] to code deformations of the enveloping algebra of a Malcev algebra, seen as the infinitesimal structure of a Moufang loop.…”

Section: Proof 1 the Loop Diffpaq Is Right Alternative If And Only If...mentioning

confidence: 99%

Loop of formal diffeomorphisms and Faà di Bruno coloop bialgebra

Frabetti

Shestakov

2019

Advances in Mathematics

Self Cite

View full text Add to dashboard Cite

We consider a generalization of (pro)algebraic loops defined on general categories of algebras and the dual notion of a coloop bialgebra suitable to represent them as functors. We prove that the natural loop of formal diffeomorphisms with associative coefficients is proalgebraic, and we give the closed formulas of the codivisions on its coloop bialgebra. This result provides a generalization of the Lagrange inversion formula to series with non-commutative coefficients, and a loop-theoretic explanation to the existence of the non-commutative Faà di Bruno Hopf algebra. MSC: 20N05, 14L17, 18D35, 16T30Inv qnd Diff and which turn out to be extremely efficient in handling the combinatorial content of renormalization procedures [6,7,8,47,43].The toy model φ 3 theory used by Connes-Kreimer is a scalar field theory and leads to the commutative algebra A " C of amplitudes. However, interesting physical situations involve noncommutative algebras. In fact, Feynman amplitudes are complex numbers for single scalar fields, the coupling constants and the renormalization factors, but they are 4ˆ4 complex matrices for the fermionic or bosonic fields, and may be represented by higher order matrices for theories involving several interacting fields. In this case, forcing the final counterterms to be scalar, as imposed by the fact that the renormalization factors act on the (scalar) Lagrangian, prevents us from describing the renormalization in a functorial way, as shown by the results in [48], where the Hopf algebra does not represent a functorial group on A " M 4 pCq. In order to preserve this functoriality, there is a need to understand Dyson's formulas for sets of series InvpAq and DiffpAq also when A is not a commutative algebra. This is the motivation for the present work.

show abstract

Section: Proof 1 the Loop Diffpaq Is Right Alternative If And Only If...mentioning

confidence: 99%