| Résume | I will introduce a framework for stating and deriving the purely formal content of Lie theory. It extends the classical Mal'cev-Lazard-Quillen correspondence for nilpotent or pro-nilpotent objects.
I will then give some details on the combinatorial results underlying the justification that the correspondence applies to algebras and groups of generalised formal series and certain algebras and groups of linear maps between those. This is based on joint work with Lothar Sebastian Krapp, Salma Kuhlmann, Daniel Panazzolo and Michele Serra.I will introduce a framework for stating and deriving the purely formal content of Lie theory. It extends the classical Mal'cev-Lazard-Quillen correspondence for nilpotent or pro-nilpotent objects. I will then give some details on the combinatorial results underlying the justification that the correspondence applies to algebras and groups of generalised formal series and certain algebras and groups of linear maps between those. This is based on joint work with Lothar Sebastian Krapp, Salma Kuhlmann, Daniel Panazzolo and Michele Serra. |
