La direction principale de mes recherches est la théorie des algèbres de Lie de dimension infinie d'un point de vue homologique. Une idée clé en manipulant des algèbres de Lie de dimension infinie est de les munir d'une topologie naturelle afin d'apprivoiser la théorie. Par exemple, soit g une algèbre de Lie topologique et m une algèbre de Lie topologique abélienne, et considérons les classes d'équivalence de suites exactes 0 -> m -> e -> g -> 0. Ici, l'exactitude de la suite est entendue comme exactitude d'une suite d'algèbres de Lie discrètes. Du point de vue des algèbres de Lie topologiques, il y a donc des extensions non triviales qui ne sont que des extensions d'espaces vectoriels topologiques (au cas où g et m sont effectivement de dimension infinie), il y a des extensions d'algèbres de Lie topologiques qui sont scindées en tant que suite d'espaces vectoriels topologiques, et il y a des extensions qui mélangent les deux phénomènes. Afin d'exclure le premier type d'extensions et de se concentrer sur le deuxième, on se restreint à des extensions qui sont topologiquement scindées. Cette restriction se reflète au niveau des cochaînes en ne considérant que des cochaînes continues. En effet, en prenant un scindage de la suite, on peut écrire e = g + m en tant qu'espaces vectoriels topologiques, et le crochet devient alors [(x,a),(y,b)] = ([x,y],-x b + y a + alpha(x,y)). La continuité du crochet et de la section sigma : g -> e impliquent que alpha : g x g -> m est un 2-cocycle continu sur g à valeurs dans m. Comme illustré dans le paragraphe précédent, l'analyse fonctionnelle entre dans notre étude d'une façon assez algébrique. En fait, nous sommes amenés à travailler avec des espaces vectoriels topologiques de Fréchet, puisque beaucoup d'algèbres de Lie de dimension infinie apparaissent comme espaces de sections d'un fibré vectoriel sur une variété. Les algèbres de Lie auxquelles nous nous intéressons sont des algèbres de Lie de champs de vecteurs sur une variété ou des produits tensoriels A x k d'une algèbre de Lie k par une algèbre associative commutative unitaire A; le produit tensoriel est ensuite regardé comme algèbre de Lie sur le corps de base. On appellera ces algèbres de Lie algèbres de courants. Pendant ma thèse et directement après celle-ci, j'ai travaillé sur la cohomologie continue des algèbres de Lie de champs de vecteurs, qu'on appelle aussi cohomologie de Gelfand-Fuks. La différence avec la cohomologie discrète ou algébrique est que les cochaînes sont supposées être continues par rapport à une topologie fixée sur l'algèbre de Lie et sur le module. Je crois que malgré le fait que ce sujet existe depuis plus de trente ans et que la question fondamentale, à savoir la conjecture de Bott, a été résolue il y a trente ans, il reste des questions ouvertes. Par exemple, celles sur des critères clairs pour la dégénérescence des suites spectrales de Gelfand-Fuks, le calcul explicite d'exemples, des formules explicites pour les cocycles, ou des résultats analogues pour des cohomologies différentes comme par exemple la cohomologie de Leibniz. De plus, je pense que le sujet n'est pas bien illustré dans des livres; par exemple, aucun livre sur le sujet n'explique comment l'annulation des classes de Pontryagin de la variété facilite la calcul, bien que ceci soit bien connu des experts du sujet. Des modèles, au sens de la théorie d'homotopie rationnelle, existent pour la cohomologie de Gelfand-Fuks, mais dans aucun livre, on n'explique comment les calculer explicitement, à partir d'exemples concrets comme dans un article de Félix et Thomas. Dans mes recherches, j'applique des méthodes et outils connus en théorie de Gelfand-Fuks aussi à d'autres algèbres de Lie ou à d'autres cohomologies, et cela pour illustrer l'universalité des outils en vue d'obtenir de nouveaux résultats. Il est important d'être conscient des limites de la théorie de Gelfand-Fuks pour des algèbres de Lie de dimension infinie purement algébriques. En effet, toute topologie sur l'algèbre de Lie des dérivations de l'algèbre des polynômes de Laurent K[X,X^{-1}] semble artificielle, mais nous ne connaissons pas de calcul de la cohomologie algébrique de cette algèbre de Lie. Or, sa cohomologie continue munie de la topologie de sous-algèbre de Lie de l'algèbre de Lie des champs de vecteurs différentiables sur le cercle est bien connue. Suite à une question de la part de Jean-Louis Loday pendant ma thèse, je me suis intéressé à l'interprétation de la 3-cohomologie d'une algèbre de Lie en tant que (classes d'équivalence) de modules croisés. Un module croisé est un homomorphisme d'algèbres de Lie mu : m -> n avec une action compatible de n sur m par dérivations. Mon point de vue est qu'on peut assez facilement construire de tels modules croisés pour des classes de cohomologie données. Cette construction permet de mieux comprendre leur lien avec d'autres classes. Le point de vue plus traditionnel est de voir des modules croisés comme obstructions contre l'existence d'extensions. La géométrie entre en scène quand ce cadre algébrique est appliqué à des algébroides de Lie et des groupoides de Lie. C'est à travers ces objets que les classes d'obstruction de Neeb sont liées à des gerbes sur la variété. La compréhension approfondie de la relation entre des modules croisés de groupoides de Lie et des gerbes est encore en chantier. Ensemble avec Karl-Hermann Neeb, nous étudions l'algèbre homologique et la théorie de Lie des algèbres de courants holomorphes, i.e. des algèbres de Lie qui sont espaces de sections holomorphes de fibrés triviaux en algèbres de Lie sur des variétés complexes. Plus précisément, nous déterminons leurs extensions centrales universelles dans le cas où l'algèbre de Lie fibre est simple, nous calculons la deuxième cohomologie continue pour une algèbre fibre quelconque, et nous adressons la question de savoir si le groupe topologique des applications holomorphes d'une variété complexe à valeurs dans un groupe de Lie porte une structure de groupe de Lie Fréchet. Plus récemment, je me suis intéressé aux déformations d'algèbres de Lie de dimension infinie. D'abord, j'établie un lien entre déformations d'algèbres de Krichever-Novikov et le champs algébrique des modules des courbes. Notre point de vue est que ce lien se comprend facilement en introduisant un champ des déformations d'algèbres de Lie. Nous montrons que le champ des modules admet un morphisme naturel dans la champ des déformations. Il s'avère que ce morphisme est presque un monomorphisme, grâce à la théorie de Pursell-Shanks qui caractérise une variété par son algèbre de Lie des champs de vecteurs. Ensemble avec Alice Fialowski, nous étudions les déformations des algèbres de Lie filiformes de dimension infinie m_0 et m_2. Le phénomène nouveau intéressant est que, malgré que la cohomologie adjointe est de dimension infinie, il n'y a qu'un nombre finie de vraies déformations, i.e. de déformations non obstruites, en chaque poids l <= 1 fixé.
| Identifer | oai:union.ndltd.org:CCSD/oai:tel.archives-ouvertes.fr:tel-00397780 |
| Date | 23 November 2007 |
| Creators | Wagemann, Friedrich |
| Publisher | Université de Nantes |
| Source Sets | CCSD theses-EN-ligne, France |
| Language | French |
| Detected Language | French |
| Type | habilitation ࠤiriger des recherches |
Page generated in 0.002 seconds