Les grassmanniennes symplectiques et, plus généralement, les variétés de drapeaux symplectiques, sont les variétés de sous-espaces isotropes, respectivement de drapeaux de sous-espaces isotropes, relativement à une 2-forme antisymétrique non dégénérée. Ce sont les variétés projectives homogènes du groupe symplectique.<br />Nous étudions les grassmanniennes et les variétés de drapeaux symplectiques impaires, qui sont des objets analogues associés à une 2-forme antisymétrique générique sur un espace vectoriel complexe de dimension impaire. Ces variétés sont munies d'actions naturelles du groupe symplectique impair des transformations linéaires qui préservent la forme antisymétrique. Nous montrons que, bien que ces actions ne soient pas transitives, ces variétés partagent de nombreuses propriétés avec les variétés homogènes.<br />En particulier, nous calculons le groupe d'automorphismes des grassmanniennes symplectiques impaires et obtenons que tous ces automorphismes proviennent de l'action du groupe symplectique impair. De même, nous établissons un théorème de type Borel-Weil pour le groupe symplectique impair et explicitons le lien entre certaines classes de représentations de ce groupe construites par Proctor et par Shtepin. Nous étudions également la cohomologie équivariante de la variété des drapeaux symplectiques impairs maximaux. Nous obtenons une formule de type Chevalley-Pieri et nous donnons une présentation à la Borel de l'anneau de cohomologie équivariante. De cette dernière, nous déduisons que l'anneau de cohomologie ordinaire de la variété des drapeaux symplectiques impairs maximaux est isomorphe à l'anneau de cohomologie ordinaire de la variété de drapeaux quadratiques.

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.

Le quotient d'un espace vectoriel de dimension finie par l'action d'un sous-groupe fini d'automorphismes est une variété en général singulière. Sous bonnes hypothèses, la correspondance de McKay relie la géométrie de bonnes résolutions des singularités aux représentations du groupe. Pour le schéma de Hilbert de points sur le plan affine, nous étudions comment les différentes correspondances (McKay, McKay duale et McKay multiplicative) sont reliées les unes aux autres. A cette fin, nous calculons des formules combinatoires pour les fibrés vectoriels usuels sur le schéma de Hilbert de points sur le plan affine. Parallèlement à ces questions, nous étudions le comportement multiplicatif du théorème de Bridgeland, King \& Reid construisant la correspondance de McKay pour le schéma de Hilbert de points sur le plan affine. Dans une dernière partie, nous calculons les classes de Chern du fibré tangent au schéma de Hilbert de points sur le plan affine.

Le point de départ de cette thèse est une version instable de la conjecture de Lichtenbaum et Quillen qui dit que la cohomologie modulo 2 du classifiant des groupes linéaires définis sur Z[1/2] serait détectée par la cohomologie du classifiant du sous-groupe des matrices diagonales de ces groupes linéaires. On sait que la conjecture est vraie pour n=1, 2 et 3, mais qu'elle est fausse à partir de n=14. <br /><br />On peut montrer que si la conjecture est vraie pour n=4, alors nécessairement, il existe un certain carré cartésien en cohomologie à coefficients dans F_2 dans lequel apparaît le classifiant du groupe GL_2(Z[i,1/2]). L'espoir initial, motivé par des idées de Henn et Lannes, était que la cohomologie à coefficients dans F_2 de BGL_2(Z[i,1/2]) rendrait ce carré non cartésien, invalidant de ce fait la conjecture de Lichtenbaum et Quillen dès n=4.<br /><br />Nous avons calculé la cohomologie à coefficients dans F_2 de BGL_2(Z[i,1/2]) et montré que le carré cartésien sus-nommé est bien cartésien.<br />La conjecture a ainsi passé un test avec succès et a encore des chances d'être vraie pour n=4. En tout cas, la recherche d'un contre-exemple est plus délicate qu'on aurait pu l'espérer.<br /><br />Les moyens utilisés pour effectuer le calcul de H*(BGL_2(Z[i,1/2]),F_2) ont été la construction d'un certain espace Z sur lequel le groupe PSL_2(Z[i]) agit avec de bonnes propriétés, et le calcul de H*(BPSL_2(Z[i]),F_2) et H*(BGo,F_2) où Go est un certain sous-groupe de PSL_2(Z[i]) tel qu'on ai la décomposition en somme amalgamée PSL_2(Z[i,1/2])=PSL_2(Z[i])*_Go PSL_2(Z[i]). On obtient ensuite H*(BGL_2(Z[i,1/2]),F_2) en étudiant certains morphismes de H*(BPSL_2(Z[i]),F_2) vers H*(BGo,F_2) et plusieurs suites spectrales.

Le problème de l'indice est de calculer l'indice d'un opérateur elliptique en termes topologiques. Ce problème fut résolu par M. Atiyah et I. Singer en 1963 dans "The index of elliptic operators on compact manifolds". Quelques années plus tard, ces auteurs ont fourni une nouvelle preuve dans "The index of elliptic operators I" permettant plusieurs généralisations et applications. La première est la prise en compte de l'action d'un groupe compact G, dans ce cadre on obtient une égalité dans l'anneau des représentations de G. Par la suite ils ont généralisé ce résultat au cadre des familles d'opérateurs elliptiques paramétrées par un espace compact dans "The index of elliptic operators IV", ici l'égalité vit dans la K-théorie de l'espace paramétrant la famille.Une autre généralisation importante est celle des opérateurs transversalement elliptiques par rapport à l'action d'un groupe G, c'est-à-dire elliptiques dans le sens transverse aux orbites de l'action d'un groupe sur une variété. Cette classe d'opérateurs a été étudié pour la première fois dans le cadre d'un opérateur P agissant sur une variété M par M. Atiyah (et I. Singer) dans "Elliptic operators and compact groups", en 1974. Dans cet article l'auteur définit une classe indice et montre qu'elle ne dépend que de la classe du symbole en K-théorie. Il montre ensuite qu'elle vérifie différents axiomes : action libre, multiplicativité et excision. Ces différents axiomes permettent alors de ramener le calcul de l'indice à un espace euclidien muni de l'action d'un tore. Par la suite, cette classe d'opérateurs a été étudier du point de vue de la K-théorie bivariante par P. Julg [1982] et plus récemment dans le cadre des actions propres sur une variété non compacte par G. Kasparov [2016].Dans cette thèse, nous nous intéressons aux familles d'opérateurs G-transversalement elliptiques. Nous définissons une classe indice en K-théorie bivariante de Kasparov. Nous vérifions qu'elle ne dépend que de la classe du symbole de la famille en K-théorie. Nous montrons que notre classe indice vérifie les propriétés d'action libre, de multiplicativité et d'excision espérées en K-théorie bivariante. Nous montrons ensuite un théorème d'induction et de compatibilité avec les applications de Gysin. Ces derniers théorèmes permettent de ramener le calcul de l'indice au cas d'une famille triviale pour l'action d'un tore comme dans le cadre d'un seul opérateur sur une variété. Nous démontrons ensuite qu'on peut associer à cette classe indice un caractère de Chern à coefficients distributionnels sur G à valeurs dans la cohomologie de de Rham de l'espace paramétrant lorsque c'est une variété. Pour ce faire, nous utilisons l'homologie locale de M. Puschnigg [2003] et une technique de M. Hilsum et G. Skandalis [1987]. Par la suite, nous nous intéressons aux formules de Berline et Vergne dans ce cadre. Avant de passer aux formules générales pour une famille d'opérateurs G-transversalment elliptiques, on commence par regarder si on obtient les mêmes formules dans le cadre elliptique. On montre alors des égalités similaires à celles obtenues par N. Berline et M. Vergne [1985] dans le cadre d'un opérateur elliptique G-invariant. Dans un dernier chapitre, on montre la formule de Berline-Vergne dans le cadre des familles d'opérateurs G-transversalement elliptiques. On utilise ici la formule de Berline-Vergne pour un opérateur G-transversalement elliptique et les différentes techniques mises en place dans les chapitres précédents. / The index problem is to calculate the index of an elliptic operator in topological terms. This problem was solved by M. Atiyah and I. Singer in 1963 in "The index of elliptic operators on compact manifolds". Few years later, these authors have given a new proof in "The index of elliptic operators I" allowing several generalizations and applications. The first is taking into account of the action of a compact group G, in this frame they obtain an equality in the ring of the representations of G. Later they generalized this result to the framework of the families of elliptic operators parameterized by a compact space in "The index of elliptic operators IV", here equality lives in the K-theory of the space of parameter.Another important generalization is the transversely elliptic operators with respect to a group action, that is to say, elliptic in the transverse direction to the orbits of a group action on a manifold. This class of operators has been studied for the first time by M. Atiyah (and I. Singer) in "Elliptic operators and compact groups", in 1974. In this article the author defines an index class and shows that it depends only on the symbol class in K-theory. Then he shows that it verifies different axioms: free action, multiplicativity and excision. These different axioms allows to reduce the calculation of the index to an Euclidean space equipped with an action of a torus. Next, this class of operators has been studied from the point of view of bivariant K-theory by P. Julg [1982] and more recently in the context of proper action on a non-compact manifolds by G. Kasparov [2016].In this thesis, we are interested in families of G-transversely elliptic operators. We define an index class in Kasparov bivariant K-theory. We verify that it depends only on the class of the symbol of the family in K-theory. We show that our index class satisfies the expected free action, multiplicativity and excision properties in bivariant K-theory. We then show a theorem of induction and compatibility with Gysin maps. These last theorems allows to reduce the calculation of the index to the case of a trivial family for the action of a torus as in the framework of a single operator on a manifold. We then prove that we can associate to this index class a Chern character with distributional coefficients on G with values ​​in the de Rham cohomology of the parameter space when it is a manifold. To do this, we use the bivariant local cyclic homology of M. Puschnigg [2003] and a technique of M. Hilsum and G. Skandalis [1987].Before treating the general framework of families of G-transversely elliptic operators, we look at the elliptic case. We show that the expected formulas are true in this context. In the last chapter, we show the Berline-Vergne formula in the context of families of G-transversely elliptic operators. We use here the Berline-Vergne formula for a G-transversely elliptic operator and the different methods used in the previous chapters.