Bases de monômes dans les algèbres pré-Lie libres et applications

Monomial bases for free pre-Lie algebras and applications

• Auteur / Autrice : Mahdi Jasim Hasan Al-Kaabi
• Direction : Dominique Manchon, Frédéric Patras
• Type : Thèse de doctorat
• Discipline(s) : Mathématiques
• Date : Soutenance le 28/09/2015
• Etablissement(s) : Clermont-Ferrand 2
• Ecole(s) doctorale(s) : École doctorale des sciences fondamentales (Clermont-Ferrand)
• Partenaire(s) de recherche : Laboratoire : Laboratoire de mathématiques pures (Clermont-Ferrand) - Laboratoire de Mathématiques Blaise Pascal / LMBP
• Jury : Président / Présidente : Jean-Yves Thibon
• Jury : Examinateurs / Examinatrices : Dominique Manchon, Frédéric Patras, Michael Heusener
• Jury : Rapporteurs / Rapporteuses : Loïc Foissy, Jean-Christophe Novelli

Mots clés

Mots clés contrôlés

Gröbner, Bases de

Lie, Algèbres de

Mots clés libres

Algèbre pré-Lie

Algèbre de Lie

Arbres enracinés

Bases de Gröbner

Magmas

Bases de monômes

Développement de Magnus

Pre-Lie algebra

Lie algebra

Rooted trees

Gröbner bases

Magmas

Monomial bases

Magnus expansion

Résumé

Dans cette thèse, nous étudions le concept d’algèbre pré-Lie libre engendrée par un ensemble (non-vide). Nous rappelons la construction par A. Agrachev et R. Gamkrelidze des bases de monômes dans les algèbres pré-Lie libres. Nous décrivons la matrice des vecteurs d’une base de monômes en termes de la base d’arbres enracinés exposée par F. Chapoton et M. Livernet. Nous montrons que cette matrice est unipotente et trouvons une expression explicite pour les coefficients de cette matrice, en adaptant une procédure suggérée par K. Ebrahimi-Fard et D. Manchon pour l’algèbre magmatique libre. Nous construisons une structure d’algèbre pré-Lie sur l’algèbre de Lie libre L(E) engendrée par un ensemble E, donnant une présentation explicite de L(E) comme quotient de l’algèbre pré-Lie libre T(E), engendrée par les arbres enracinés (non-planaires) E-décorés, par un certain idéal I. Nous étudions les bases de Gröbner pour les algèbres de Lie libres dans une présentation à l’aide d’arbres. Nous décomposons la base d’arbres enracinés planaires E-décorés en deux parties O(J) et T(J), où J est l’idéal définissant L(E) comme quotient de l’algèbre magmatique libre engendrée par E. Ici, T(J) est l’ensemble des termes maximaux des éléments de J, et son complément O(J) définit alors une base de L(E). Nous obtenons un des résultats importants de cette thèse (Théorème 3.12) sur la description de l’ensemble O(J) en termes d’arbres. Nous décrivons des bases de monômes pour l’algèbre pré-Lie (respectivement l’algèbre de Lie libre) L(E), en utilisant les procédures de bases de Gröbner et la base de monômes pour l’algèbre pré-Lie libre obtenue dans le Chapitre 2. Enfin, nous étudions les développements de Magnus classique et pré-Lie, discutant comment nous pouvons trouver une formule de récurrence pour le cas pré-Lie qui intègre déjà l’identité pré-Lie. Nous donnons une vision combinatoire d’une méthode numérique proposée par S. Blanes, F. Casas, et J. Ros, sur une écriture du développement de Magnus classique, utilisant la structure pré-Lie de L(E).

In this thesis, we study the concept of free pre-Lie algebra generated by a (non-empty) set. We review the construction by A. Agrachev and R. Gamkrelidze of monomial bases in free pre-Lie algebras. We describe the matrix of the monomial basis vectors in terms of the rooted trees basis exhibited by F. Chapoton and M. Livernet. Also, we show that this matrix is unipotent and we find an explicit expression for its coefficients, adapting a procedure implemented for the free magmatic algebra by K. Ebrahimi-Fard and D. Manchon. We construct a pre-Lie structure on the free Lie algebra L(E) generated by a set E, giving an explicit presentation of L(E) as the quotient of the free pre-Lie algebra T(E), generated by the (non-planar) E-decorated rooted trees, by some ideal I. We study the Gröbner bases for free Lie algebras in tree version. We split the basis of E- decorated planar rooted trees into two parts O(J) and T(J), where J is the ideal defining L(E) as a quotient of the free magmatic algebra generated by E. Here T(J) is the set of maximal terms of elements of J, and its complement O(J) then defines a basis of L(E). We get one of the important results in this thesis (Theorem 3.12), on the description of the set O(J) in terms of trees. We describe monomial bases for the pre-Lie (respectively free Lie) algebra L(E), using the procedure of Gröbner bases and the monomial basis for the free pre-Lie algebra obtained in Chapter 2. Finally, we study the so-called classical and pre-Lie Magnus expansions, discussing how we can find a recursion for the pre-Lie case which already incorporates the pre-Lie identity. We give a combinatorial vision of a numerical method proposed by S. Blanes, F. Casas, and J. Ros, on a writing of the classical Magnus expansion in L(E), using the pre-Lie structure.