Showing 1–15 of 15 results for author: Perez-Izquierdo, J M

Nonassociative Solomon's descent algebras

Authors: J. M. Pérez-Izquierdo

Abstract: Descent algebras of graded bialgebras were introduced by F. Patras as a generalization of Solomon's descent algebras for Coxeter groups of type $A$, i.e. symmetric groups. The universal enveloping algebra of the free Lie algebra on a countable number of generators, its descent algebra and Solomon's descent algebra, with its outer product, for symmetric groups are isomorphic to the Hopf algebra of… ▽ More Descent algebras of graded bialgebras were introduced by F. Patras as a generalization of Solomon's descent algebras for Coxeter groups of type $A$, i.e. symmetric groups. The universal enveloping algebra of the free Lie algebra on a countable number of generators, its descent algebra and Solomon's descent algebra, with its outer product, for symmetric groups are isomorphic to the Hopf algebra of noncommutative symmetric functions, a free associative algebra on a countable number of generators. In this paper we prove a similar result for universal enveloping algebras of relatively free Sabinin algebras, which makes them nonassociative analogues of the Solomon's descent algebra and of the algebra of noncommutative symmetric functions. In the absolutely free case a combinatorial setting is also presented by introducing a nonassociative lifting of the Malvenuto-Reutenauer Hopf algebra of permutations and of the dual of the Hopf algebra of noncommutative quasi-symmetric functions. We prove that this lifting is a free nonassociative algebra as well as a cofree graded coassociative coalgebra which also admits an associative inner product that satisfies a Mackey type formula when restricted to its nonassociative Solomon's descent algebra. Pseudo-compositions of sets instead of pseudo-compositions of numbers is the natural language for the underlying combinatorics. △ Less

Submitted 11 December, 2018; originally announced December 2018.

Comments: 25 pages

MSC Class: 17A99

The loop of formal power series with noncommutative coefficients under substitution

Authors: José M. Pérez-Izquierdo

Abstract: The set of formal power series with coefficients in an associative but noncommutative algebra becomes a loop with the substitution product. We initiate the study of this loop by describing certain Lie and Sabinin algebras related to it. Some examples of Lie algebras satisfying the standard identities of degrees $5$ and $6$ appear naturally. The set of formal power series with coefficients in an associative but noncommutative algebra becomes a loop with the substitution product. We initiate the study of this loop by describing certain Lie and Sabinin algebras related to it. Some examples of Lie algebras satisfying the standard identities of degrees $5$ and $6$ appear naturally. △ Less

Submitted 12 March, 2018; originally announced March 2018.

Comments: 20 pages

MSC Class: 20N05; 17D99; 17B66

Hyporeductive and Pseudoreductive Hopf algebras

Authors: J. M. Pérez-Izquierdo

Abstract: In his generalization of reductive homogeneous spaces, Lev Sabinin showed that Lie's fundamental theorems hold for local analytic hyporeductive and pseudoreductive loops. We derive Sabinin's results in an algebraic context in terms of non-associative Hopf algebras that satisfy the analog of the hyporeductive and pseudoreductive identities for loops. In his generalization of reductive homogeneous spaces, Lev Sabinin showed that Lie's fundamental theorems hold for local analytic hyporeductive and pseudoreductive loops. We derive Sabinin's results in an algebraic context in terms of non-associative Hopf algebras that satisfy the analog of the hyporeductive and pseudoreductive identities for loops. △ Less

Submitted 16 February, 2017; originally announced February 2017.

Comments: 18 pages

Lie's correspondence for commutative automorphic formal loops

Authors: A. Grishkov, J. M. Pérez-Izquierdo

Abstract: We develop Lie's correspondence and an explicit Baker-Campbell-Hausdorff formula for commutative automorphic formal loops. We develop Lie's correspondence and an explicit Baker-Campbell-Hausdorff formula for commutative automorphic formal loops. △ Less

Submitted 12 December, 2016; originally announced December 2016.

Comments: 31 pages

MSC Class: 20N05; 17A40

On torsion-free nilpotent loops

Authors: J. Mostovoy, J. M. Perez-Izquierdo, I. P. Shestakov

Abstract: We show that a torsion-free nilpotent loop (that is, a loop nilpotent with respect to the dimension filtration) has a torsion-free nilpotent left multiplication group of, at most, the same class. We also prove that a free loop is residually torsion-free nilpotent and that the same holds for any free commutative loop. Although this last result is much stronger than the usual residual nilpotency of… ▽ More We show that a torsion-free nilpotent loop (that is, a loop nilpotent with respect to the dimension filtration) has a torsion-free nilpotent left multiplication group of, at most, the same class. We also prove that a free loop is residually torsion-free nilpotent and that the same holds for any free commutative loop. Although this last result is much stronger than the usual residual nilpotency of the free loop proved by Higman, it is proved, essentially, by the same method. △ Less

Submitted 21 October, 2016; originally announced October 2016.

A Non-associative Baker-Campbell-Hausdorff formula

Authors: J. Mostovoy, J. M. Perez-Izquierdo, I. P. Shestakov

Abstract: We address the problem of constructing the non-associative version of the Dynkin form of the Baker-Campbell-Hausdorff formula; that is, expressing $\log (\exp (x)\exp(y))$, where $x$ and $y$ are non-associative variables, in terms of the Shestakov-Umirbaev primitive operations. In particular, we obtain a recursive expression for the Magnus expansion of the Baker-Campbell-Hausdorff series and an ex… ▽ More We address the problem of constructing the non-associative version of the Dynkin form of the Baker-Campbell-Hausdorff formula; that is, expressing $\log (\exp (x)\exp(y))$, where $x$ and $y$ are non-associative variables, in terms of the Shestakov-Umirbaev primitive operations. In particular, we obtain a recursive expression for the Magnus expansion of the Baker-Campbell-Hausdorff series and an explicit formula in degrees smaller than 5. Our main tool is a non-associative version of the Dynkin-Specht-Wever Lemma. A construction of Bernouilli numbers in terms of binary trees is also recovered. △ Less

Submitted 3 May, 2016; originally announced May 2016.

Comments: 15 pages

Co-Moufang deformations of the universal enveloping algebra of the algebra of traceless octonions

Authors: José M. Pérez-Izquierdo, I. P. Shestakov

Abstract: By means of graphical calculus we prove that, over fields of characteristic zero, any bialgebra deformation of the universal enveloping algebra of the algebra of traceless octonions satisfying the dual of the left and right Moufang identities must be coassociative and cocommutative. By means of graphical calculus we prove that, over fields of characteristic zero, any bialgebra deformation of the universal enveloping algebra of the algebra of traceless octonions satisfying the dual of the left and right Moufang identities must be coassociative and cocommutative. △ Less

Submitted 24 March, 2015; originally announced March 2015.

Comments: 18 pages

MSC Class: 17D10; 17B37

Linear representations of formal loops

Authors: S. Madariaga, José M. Pérez-Izquierdo

Abstract: A representation of an object in a category is an abelian group in the corresponding comma category. In this paper we derive the formulas describing linear representations of objects in the category of formal loops and apply them to obtain a new approach to the representation theory of formal Moufang loops and Malcev algebras based on Moufang elements. Certain 'non-associative Moufang symmetry' of… ▽ More A representation of an object in a category is an abelian group in the corresponding comma category. In this paper we derive the formulas describing linear representations of objects in the category of formal loops and apply them to obtain a new approach to the representation theory of formal Moufang loops and Malcev algebras based on Moufang elements. Certain 'non-associative Moufang symmetry' of groups is revealed. △ Less

Submitted 24 March, 2015; originally announced March 2015.

Comments: 31 pages

MSC Class: 20N05; 17D10

Nilpotent Sabinin algebras

Authors: J. Mostovoy, J. M. Perez-Izquierdo, I. P. Shestakov

Abstract: In this note we establish several basic properties of nilpotent Sabinin algebras. Namely, we show that nilpotent Sabinin algebras (1) can be integrated to produce nilpotent loops, (2) satisfy an analogue of the Ado theorem, (3) have nilpotent Lie envelopes. We also give a new set of axioms for Sabinin algebras. These axioms reflect the fact that a complementary subspace to a Lie subalgebra in a Li… ▽ More In this note we establish several basic properties of nilpotent Sabinin algebras. Namely, we show that nilpotent Sabinin algebras (1) can be integrated to produce nilpotent loops, (2) satisfy an analogue of the Ado theorem, (3) have nilpotent Lie envelopes. We also give a new set of axioms for Sabinin algebras. These axioms reflect the fact that a complementary subspace to a Lie subalgebra in a Lie algebra is a Sabinin algebra. Finally, we note that the non-associative version of the Jennings theorem produces a version of Ado theorem for loops whose commutator-associator filtration is of finite length. △ Less

Submitted 8 December, 2013; originally announced December 2013.

Comments: 17 pages, no figures

Hopf algebras in non-associative Lie theory

Authors: J. Mostovoy, J. M. Pérez-Izquierdo, I. P. Shestakov

Abstract: We review the developments in the Lie theory for non-associative products from 2000 to date and describe the current understanding of the subject in view of the recent works, many of which use non-associative Hopf algebras as the main tool. We review the developments in the Lie theory for non-associative products from 2000 to date and describe the current understanding of the subject in view of the recent works, many of which use non-associative Hopf algebras as the main tool. △ Less

Submitted 29 July, 2013; originally announced July 2013.

MSC Class: 17-02

Hopf algebras with triality

Authors: Georgia Benkart, Sara Madariaga, José M. Pérez-Izquierdo

Abstract: In this paper we revisit and extend the constructions of Glauberman and Doro on groups with triality and Moufang loops to Hopf algebras. We prove that the universal enveloping algebra of any Lie algebra with triality is a Hopf algebra with triality. This allows us to give a new construction of the universal enveloping algebras of Malcev algebras. Our work relies on the approach of Grishkov and Zav… ▽ More In this paper we revisit and extend the constructions of Glauberman and Doro on groups with triality and Moufang loops to Hopf algebras. We prove that the universal enveloping algebra of any Lie algebra with triality is a Hopf algebra with triality. This allows us to give a new construction of the universal enveloping algebras of Malcev algebras. Our work relies on the approach of Grishkov and Zavarnitsine to groups with triality. △ Less

Submitted 21 June, 2011; originally announced June 2011.

Comments: AMS-LaTeX, 23 pages. To appear in Trans. Amer. Math. Soc

MSC Class: 16T05 (Primary) 20N05; 17D99 (Secondary)

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

Authors: J. Mostovoy, J. M. Pérez-Izquierdo

Abstract: We describe the general non-associative version of Lie theory that relates unital formal multiplications (formal loops), Sabinin algebras and non-associative bialgebras. Starting with a formal multiplication we construct a non-associative bialgebra, namely, the bialgebra of distributions with the convolution product. Considering the primitive elements in this bialgebra gives a functor from forma… ▽ More We describe the general non-associative version of Lie theory that relates unital formal multiplications (formal loops), Sabinin algebras and non-associative bialgebras. Starting with a formal multiplication we construct a non-associative 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 non-associative logarithm, and the other (due to D. Zagier) using generating functions. △ Less

Submitted 22 May, 2009; originally announced May 2009.

MSC Class: 17D99; ;22E60; 20N05.

Ideals in non-associative universal enveloping algebras of Lie triple systems

Authors: J. Mostovoy, J. M. Pérez-Izquierdo

Abstract: The notion of a non-associative universal enveloping algebra for a Lie triple system arises when Lie triple systems are considered as Bol algebras (more generally, Sabinin algebras). In this paper a new construction for these universal enveloping algebras is given, and their properties are studied. It is shown that universal enveloping algebras of Lie triple systems have surprisingly few ideal… ▽ More The notion of a non-associative universal enveloping algebra for a Lie triple system arises when Lie triple systems are considered as Bol algebras (more generally, Sabinin algebras). In this paper a new construction for these universal enveloping algebras is given, and their properties are studied. It is shown that universal enveloping algebras of Lie triple systems have surprisingly few ideals. It is conjectured, and the conjecture is verified on several examples, that the only proper ideal of the universal enveloping algebra of a simple Lie triple system is the augmentation ideal. △ Less

Submitted 9 June, 2005; originally announced June 2005.

Comments: 14 pages

MSC Class: 20N05; 17D99

Dimension filtration on loops

Authors: J. Mostovoy, J. M. Pérez-Izquierdo

Abstract: We show that the graded group associated to the dimension filtration on a loop acquires the structure of a Sabinin algebra after being tensored with a field of characteristic zero. The key to the proof is the interpretation of the primitive operations of Umirbaev and Shestakov in terms of the operations on a loop that measure the failure of the associator to be a homomorphism. We show that the graded group associated to the dimension filtration on a loop acquires the structure of a Sabinin algebra after being tensored with a field of characteristic zero. The key to the proof is the interpretation of the primitive operations of Umirbaev and Shestakov in terms of the operations on a loop that measure the failure of the associator to be a homomorphism. △ Less

Submitted 24 October, 2004; originally announced October 2004.

Comments: 8 pages

MSC Class: 20N05; 17D99

A quantum octonion algebra

Authors: Georgia Benkart, José M. Pérez-Izquierdo

Abstract: Using the natural irreducible 8-dimensional representation and the two spin representations of the quantum group $U_q$(D$_4$) of D$_4$, we construct a quantum analogue of the split octonions and study its properties. We prove that the quantum octonion algebra satisfies the q-Principle of Local Triality and has a nondegenerate bilinear form which satisfies a q-version of the composition property.… ▽ More Using the natural irreducible 8-dimensional representation and the two spin representations of the quantum group $U_q$(D$_4$) of D$_4$, we construct a quantum analogue of the split octonions and study its properties. We prove that the quantum octonion algebra satisfies the q-Principle of Local Triality and has a nondegenerate bilinear form which satisfies a q-version of the composition property. By its construction, the quantum octonion algebra is a nonassociative algebra with a Yang-Baxter operator action coming from the R-matrix of $U_q$(D$_4$). The product in the quantum octonions is a $U_q$(D$_4$)-module homomorphism. Using that, we prove identities for the quantum octonions, and as a consequence, obtain at $q = 1$ new ``representation theory'' proofs for very well-known identities satisfied by the octonions. In the process of constructing the quantum octonions we introduce an algebra which is a q-analogue of the 8-dimensional para-Hurwitz algebra. △ Less

Submitted 9 January, 1998; originally announced January 1998.

Report number: MSRI 1998-002