Soutenances de thèses :
Le 16 février 2018 à 14:30 - salle de conférence, bat. 9
Présentée par Baldare Alexandre - IMAG
Théorie de l'indice pour les familles d'opérateurs G-transversalement elliptiques
Composition du jury
M. Moulay Tahar BENAMEUR, Université de Montpellier, Directeur de these
M. Paul-Emile PARADAN, Université de Montpellier, Examinateur
M. Georges SKANDALIS, Université Paris Diderot, Examinateur
M. Paolo PIAZZA, Sapienza Universita di Roma, Examinateur
M. Michael PUSCHNIGG, Université Aix-Marseille II, Rapporteur
M. Michel HILSUM, UMR7586 Institut de mathématiques de Jussieu - Paris Rive Gauche (IMJ-PRG), Rapporteur
Résumé :
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.