Monomial bases for free pre-Lie algebras and applications - Thèses Université Clermont Auvergne Accéder directement au contenu
Thèse Année : 2015

Monomial bases for free pre-Lie algebras and applications

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

Résumé

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.
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).
Fichier principal
Vignette du fichier
AL_KAABI_2015CLF22599.pdf (982.04 Ko) Télécharger le fichier
Origine : Version validée par le jury (STAR)

Dates et versions

tel-01248249 , version 1 (04-01-2016)

Identifiants

  • HAL Id : tel-01248249 , version 1

Citer

Mahdi Jasim Hasan Al-Kaabi. Monomial bases for free pre-Lie algebras and applications. General Mathematics [math.GM]. Université Blaise Pascal - Clermont-Ferrand II, 2015. English. ⟨NNT : 2015CLF22599⟩. ⟨tel-01248249⟩
298 Consultations
425 Téléchargements

Partager

Gmail Facebook X LinkedIn More