Cette thèse étudie la catégorie dérivée du bloc principal du groupe fini GL(2,q) en caractéristique l. On dispose grâce à la théorie de Deligne-Lusztig de deux complexes Le et Ls. Si l est différent de 2 alors les l-sous-groupes de Sylow de GL(2,q) sont abéliens, je vérifie que si l divise q-1 (respectivement q+1) alors le complexe Le (respectivement Ls) induit une équivalence dérivée ``splendide'' entre la somme des blocs de défaut maximal de GL(2,q) et l'algèbre du normalisateur d'un l-sous-groupe de Sylow. Ceci vérifie la conjecture de Broué. Si l=2 et q est impair, alors les l-sous-groupes de Sylow de GL(2,q) ne sont pas abéliens. Je montre que si q est congru à 1 ou 7 modulo 8 alors il n'existe aucun sous-groupe local H de GL(2,q) tel que les blocs principaux de H et de GL(2,q) sont de même type. Si q est congru à 3 ou 5, je considère le normalisateur dans GL(2,q) d'un sous-groupe de Sylow de SL(2,q). Je montre que son bloc principal est de même type que celui de GL(2,q) puis que ces deux blocs sont reliés par une équivalence dérivée ``splendide''. J'utilise ensuite la théorie des A-infini-algèbres. A partir des complexes Le et Ls je construis une A-infini-algèbre minimale dont la catégorie dérivée est équivalente à celle du bloc principal de GL(2,q). Il s'agit donc d'une algèbre associative graduée munie d'une structure supplémentaire. Cette construction généralise la construction des équivalences splendides effectuée dans les cas où les sous-groupes de Sylow sont abéliens. Je donne une description complète des A-infini-algèbres obtenues en considérant PGL(2,q) plutôt que GL(2,q). Je montre en particulier que les applications m(n) (pour n>2) donnant la A-infini-structure supplémentaire sont nulles pour n>3.

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)$.

Cette thèse est composée de deux parties indépendantes et d'une annexe. Le thème principal de la première partie tourne autour des groupes de réflexions tandis que la deuxième partie aborde la notion de catégorie stable. L'annexe s'attarde sur les conventions de signes dans les catégories de complexes. <br /><br />Dans la première partie, on considère un groupe de réflexion G agissant sur l'espace vectoriel V dans sa représentation de réflexions. On étudie alors la composante isotypique relativement à un caractère linéaire de G de l'algèbre produit tensorielle de l'algèbre symétrique du dual de V et de l'algèbre extérieure d'une représentation de dimension finie de G. On construit une structure d'algèbre sur cette composante isotypique. On montre aussi que la structure d'algèbre construite est en fait une structure d'algèbre extérieure. On termine cette partie en illustrant ces résultats pour quelques groupes de réflexions particuliers.<br /><br />La deuxième partie est consacrée à la généralisation d'un théorème de Rickard. Lorsque M est un foncteur ayant un adjoint à droite et à gauche, on définit la notion de catégorie M-stable d'une catégorie abélienne ou triangulée. La catégorie M-stable hérite d'une structure de catégorie triangulée. Dans le cas abélien, la catégorie M-stable est aussi, de façon analogue à la catégorie stable usuelle, un quotient d'une catégorie M-dérivée.

Cette thèse explore la relation entre les catégories de modules sur les catégories différentielles graduées (abrégées DG) petites, d'une part, et les catégories triangulées bien engendrées d'autre part. Dans la première partie, on construit la catégorie dérivée $\alpha$-continue D_\alpha A d'une catégorie DG $\alpha$-cocomplète petite A, où $\alpha$ est un cardinal régulier. Cette construction jouit d'une propriété très intéressante, qui est la clef pour démontrer le théorème principal de la thèse. Les catégories D_\alpha A s'avèrent être les prototypes des catégories triangulées algébriques à engendrement $\alpha$-compact. On entend par algébrique, équivalente, en tant que catégorie triangulée à la catégorie stable d'une catégorie de Frobenius. Le résultat principal établit que les catégories algébriques bien engendrées sont précisément celles qui sont des localisations de la catégorie dérivée d'une catégorie DG petite. Ce résultat rappelle beaucoup un théorème de Gabriel et Popescu de 1964, qui caractérise les catégories abéliennes de Grothendieck comme des localisations de catégories de modules sur des anneaux. Il donne aussi une réponse positive à une question de Drinfeld qui demandait si toutes les catégories triangulées bien engendrées sont des localisations de catégories triangulées à engendrement compact, pour la classe des catégories triangulées algébriques. Dans la deuxième partie, on étudie les catégories DA et D_\alpha A en utilisant la structure projective de catégories de modèles de Quillen présente sur la catégorie des DG modules. On introduit la sous-catégorie des DG modules cofibrants homotopiquement $\alpha$-compacts et on montre que sa catégorie homotopique est précisément la catégorie dérivée $\alpha$-continue D_\alpha A. Cela nous permet de donner une deuxième preuve, complètement différente du résultat-clef de la première partie.

Ce travail peut être divisé en trois partie: 1. Théorie des groupes. Il s'agit ici d'une étude de la structure du groupe T de Thompson. On explique la notion de la mutation linéaire par morceaux et on obtient la nouvelle présentation de ce groupe en termes des génerateurs et relations. 2. Géometrie birationnelle. On étudie en détail le groupe de Cremona qui est un groupe des automorphismes birationnels du plan projectif. En particulier on s'interesse à son sous-groupe Symp des elements qui préserve le crochet de Poisson dit logarithmique, aussi bien qu'à un sous-groupe H engendré par SL(2,Z) et par les mutations. On construit des limites projectives des surfaces sur lesquelles ces groupes agissent régulièrement, et on en déduit les répresentations linéaires de ces groupes dans les limites inductives des groupes de Picard des surfaces. 3. Algèbre homologique. A partir d'une variété algébrique on construit une catégorie triangulée qui ne dépend que de sa classe birationnelle. En utilisant la technique de quotient de dg-catégories, on calcule explicitement cette catégorie pour les surfaces rationnelles. Comme consequence on obtient l'action du groupe de Cremona sur une algébre non-commutative par les automorphismes extérieures. On donne les applications de ces résultats aux formules des mutations des variables non-commutatives.