Institut de recherche mathématique avancée

Résumé : Les groupes de Galois des équations différentielles linéaires sont des groupes algébriques qui mesurent ce que l’algèbre voit de la dynamique, ce qu’elle peut dire de leurs solutions (par exemple le fait de pouvoir écrire une solution avec une formule, l’existence d’intégrales premières, etc). Leur détermination a fait l’objet de nombreux travaux dans les trente dernières années, avec notamment des contributions de l’école de Strasbourg, en particulier des travaux de Jean-Pierre Ramis et de Claudine Mitschi. Dans les 10 dernières années, nous avons développé avec de nombreux co-auteurs des méthodes de détermination des groupes de Galois différentiels en rendant effectives des théories de "formes réduites” de Kolchin et Kovacic. L’exposé présentera les groupes de Galois différentiels à travers quelques exemples signifiants puis les grandes idées de nos méthodes de formes réduites (classifications d’algèbres de Lie, invariants, décompositions de modules différentiels, etc). L’exposé ne supposera pas de connaissances au delà de la licence.

Résumé : In this talk we focus our attention on compactly supported Hamiltonian diffeomorphisms of the plane. To each pair of distinct fixed points we can associate an integer, the linking number of the pair. Moreover, we can describe the dynamics of the diffeomorphism itself via the Morse complex of a generating function. This Morse complex is classically known to be filtered by action. In this talk we are going to show how we can equip its tensor power with a secondary filtration which keeps track of the linking numbers of pairs of orbits. The proof relies on foundational work on twist maps carried out by Patrice Le Calvez in the '90s, and on uniqueness properties of generating functions. Moreover, we are going to explain how using this language one may provide a finite-dimensional proof of Hofer-lower semicontinuity of the topological entropy, first proved by Alves and Meiwes. One can define a similar filtration on Floer complexes using intersection products of pseudo-holomorphic cylinders as defined by Siefring: if time permits, we are going to provide a sketch of this construction.

Résumé : Titre: Pléthysme pour les opérades colorées et les prop(érade)s Résumé : Une opérade est une suite symétrique (ou espèce) munie d’une structure de monoïde pour le produit de composition. En caractéristique nulle, la donnée d’une suite symétrique est équivalente à celle de son caractère, qui est une fonction symétrique ; le pléthysme de deux fonctions symétriques correspond alors au produit de composition des suites symétriques associées. Dans cet exposé, j’expliquerai comment définir des analogues du pléthysme pour différentes décatégorifications de structures opéradiques : les opérades colorées, les props et les propérades. Ces analogues admettent une description calculable et permettent, entre autres, de déterminer la décomposition en facteurs irréductibles de l’homologie stable tordue des groupes d’automorphismes de groupes libres, ainsi que de la cohomologie d’Albanese des groupes d’automorphismes IA. (Travail en collaboration avec Erik Lindell.)