Le thème central de cette thèse est la correspondance de McKay en dimension trois. Soit $X$ un schéma projectif lisse sur un corps $k$ et $G$ un groupe réductif fini. Dans un premier temps, on s'intéresse au schéma de Hilbert $G$-équivariant de $X$. On le définit dans un cadre général et on construit le morphisme de Hilbert-Chow par une méthode de linéarisation du déterminant. On étudie alors le cas particulier où le quotient $X/G$ est lisse. Dans un deuxième temps, on étudie une famille de singularités de dimension trois qui admettent deux résolutions crépantes naturelles : l'une est le schéma de Hilbert équivariant, et l'autre est le résultat d'un processus de désingularisation de singularités de points doubles. On calcule les fibres de ces deux résolutions et on conclut que le schéma de Hilbert donne une résolution plus naturelle au sens de McKay. On donne alors une interprétation de ce schéma en tant qu'espace modulaire d'une famille de fibrés vectoriels. Enfin, on s'intéresse à la catégorie dérivée équivariante. On donne une version $G$-équivariante du théorème de Be\u(\i)linson, puis on compare la catégorie dérivée $G$-équivariante de $X$ et la catégorie dérivée du quotient $X/G$ en déterminant l'image du foncteur $(\bf L)\pi^* : (\cal D)(X/G)\rightarrow (\cal D)^G(X)$.

Nous construisons l'espace de modules M_θ(X) des (G,h)-constellations θ-stables sur X pour un groupe réductif G qui agit sur un schéma affine X sur C et pour une fonction de Hilbert h: Irr G → N_0. Cet espace de modules est une généralisation commune du schéma de Hilbert invariant d'après Alexeev et Brion et de l'espace de modules des G-constellations θ-stables pour un groupe fini G introduit par Craw et Ishii. Notre construction d'un morphisme M_θ(X) → X//G fait de cet espace de modules un candidat pour une résolution des singularités du quotient X//G. De plus, nous déterminons le schéma de Hilbert invariant de la fibre en zéro de l'application moment d'une action de Sl_2 sur (C²)⁶. C'est un des premiers exemples d'un schéma de Hilbert invariant avec multiplicités. Ceci nous amène à décrire une façon générale de procéder pour effectuer de tels calculs. En outre, nous démontrons que notre schéma de Hilbert invariant est lisse et connexe : Cet exemple est donc une résolution des singularités de la réduction symplectique de l'action.

Le problème abordé dans cette thèse est celui de l'existence de métriques extrémales. Si (M, J, g) est une variété kahlérienne compacte, une métrique extrémale est une métrique kählérienne dont la norme L2 de la courbure scalaire est minimale pour les métriques représentant la même classe de Kähler. On propose de nouvelles constructions de métriques extrémales utilisant des méthodes perturbatives. Dans un premier temps, on montre que si (M, J, g) est une surface orbifold extrémale qui ne possède que des singularités isolées de type Hirzebruch-Jung, alors une résolution de (M, J) admet une métrique extrémale. On donne des applications de ce résultat sur l'existence de métriques extrémales sur les éclatements de surfaces réglées paraboliques. Dans une seconde partie, on etudie la stabilié des métriques extrémales sous déformations complexes. Ceci est un travail réalisé en collaboration avec Yann Rollin et Santiago Simanca. On donne un critère suffisant pour assurer la stabilité d'une métrique extrémale lors d'une déformation complexe munie d'une action holomorphe d'un groupe compact. On généralise ainsi des résultats de S.Simanca et C.Lebrun. Ceci nous permet également de retrouver un résultat de S.Donaldson, a savoir une métrique Kähler-Einstein sur une déformation de la variété de Mukai et Umemura.