Mes travaux de recherches concernent les différentes théories cohomologiques associées aux actions de groupes de Lie compacts sur des variétés différentiables: cohomologie équivariante, K-théorie équivariante, et la théorie des opérateurs transversalement elliptiques. Ils se situent au carrefour entre la géométrie symplectique et la théorie des représentations. Le fil conducteur de ma recherche a été le programme de (\it localisation non-abélienne) de Witten. Dans ce mémoire, je rappelle les techniques mises en oeuvre pour réaliser ce programme, et les résultats qui en découlent.

Un groupe de Lie est dit symplectique s'il est muni d'une forme symplectique invariante à gauche . Ces groupes sont naturellement munis d'une structure affine associée à la forme symplectique. \\<br />Dans cette thèse d'une part nous déterminons les groupes de Lie symplectiques connexes et simplement connexes de dimension $4$ et $6$ et d'autre part nous étudions une famille infinie de groupes symplectiques dans lesquels la forme symplectique est "invariantement" exacte.<br />Dans tous ces cas nous nous intéressons à l'existence de sous-groupes lagrangiens et parfois des sous-groupes lagrangiens transverses pour mettre en évidence des structures symplectiques affines invariantes à gauche.<br />La structure de ces groupes est étudiée à l'aide de l'application moment.

Ce travail concerne la réalisation concrète en calcul formel d'algorithmes abstraits issus de publications récentes. Il comporte deux parties distinctes mais cependant issues du m(ê)me monde : l'action d'un groupe de Lie, sur une variété ou un espace vectoriel. La première partie traite de l'implémentation de la réduction d'un graphe de Goresky-Kottwitz-MacPherson. Ce graphe est l'analogue combinatoire d'une variété symplectique compacte connexe soumise à une action hamiltonienne d'un tore compact. La seconde partie est consacrée à l'implémentation du calcul de deux coefficients intervenant lors de l'action d'un groupe de Lie semi-simple complexe sur un espace vectoriel de dimension finie : la multiplicité d'un poids dans une représentation irréductible de dimension finie (nombre de Kostka) et les coefficients de décomposition du produit tensoriel de deux représentations irréductibles de dimension finie (coefficients de Littlewood-Richardson).

Soit Γ un sous-groupe fini de SU2(ℂ). Alors le quotient ℂ2/Γ peut être plongé dans ℂ3 sous la forme d'une surface munie d'une singularité isolée. Le quotient ℂ2/Γ est appelé singularité de Klein, d'après F. Klein qui fut le premier à les décrire en 1884. A travers leurs résolutions minimales, ces singularités ont un lien étroit avec les diagrammes de Dynkin simplement lacés de types Ar, Dr et Er. Dans les années 1970, E. Brieskorn et P. Slodowy ont tiré profit de cette connection pour décrire les résolutions et les déformations de ces singularités à l'aide de la théorie de Lie. En 1998 P. Slodowy et H. Cassens ont construit les déformations semiuniverselles des ℂ2/Γ à l'aide de la théorie des carquois ainsi que des travaux de P.B. Kronheimer en géométrie symplectique datant de 1989. En théorie de Lie, la classification des algèbres de Lie simples divisent ces dernières en deux classes: les algèbres de Lie de types Ar, Dr et Er qui sont simplement lacées, et celles de types Br, Cr, F4 et G2 appelées non-homogènes. A l'aide d'un second sous-groupe fini Γ' de SU2(ℂ) tel que Γ ⊲ Γ', P. Slodowy a étendu en 1978 la notion de singularité de Klein aux algèbres de Lie non-homogènes en ajoutant à ℂ2/Γ le groupe d'automorphismes Ω= Γ'/Γ du diagramme de Dynkin associé à la singularité. L'objectif de cette thèse est de généraliser la construction de H. Cassens et P. Slodowy à ces singularités de types Br, Cr, F4 et G2. Il en résultera des constructions explicites des déformations semiuniverselles de types inhomogènes sur les fibres desquelles le groupe Ω agit. Le passage au quotient d'une telle application révèle alors une déformation d'une singularité de type ℂ2/Γ' / Let Γ be a finite subgroup of SU2(ℂ). Then the quotient ℂ2/Γ can be embedded in ℂ3 as a surface with an isolated singularity. The quotient ℂ2/Γ is called a Kleinian singularity, after F. Klein who studied them first in 1884. Through their minimal resolutions, these singularities have a deep connection with simply-laced Dynkin diagrams of types Ar, Dr and Er. In the 1970's E. Brieskorn and P. Slodowy took advantage of this connection to describe the resolutions and deformations of these singularities in terms of Lie theory. In 1998 P. Slodowy and H. Cassens constructed the semiuniversal deformations of the Kleinian singularities using quiver theory and work from 1989 by P.B. Kronheimer on symplectic geometry. In Lie theory, the classification of simple Lie algebras allows for a separation in two classes: those simply-laced of types Ar, Dr and Er, and those of types Br, Cr, F4 and G2 called inhomogeneous. With the use of a second finite subgroup Γ’ of SU2(ℂ) such that Γ ⊲ Γ’, P. Slodowy extended in 1978 the definition of a Kleinian singularity to the inhomogeneous types by adding to ℂ2/Γ the group of automorphisms Ω= Γ’/Γ of the Dynkin diagram associated to the singularity. The purpose of this thesis is to generalize H. Cassens' and P. Slodowy's construction to the singularities of types Br, Cr, F4 and G2. It will lead to explicit semiuniversal deformations of inhomogeneous types on the fibers of which the group Ω acts. By quotienting such a map we obtain a deformation of a singularity ℂ2/Γ’