Dans cette thèse, nous avons étudié quelques aspects fondamentaux de la gravitation quantique à boucles (Loop Quantum Gravity ou LQG). Tout d'abord, nous avons discuté le choix de la représentation polymère dans ce programme de quantification de la relativité générale. Pour cela, nous avons considéré la corde bosonique comme modèle-jouet sur lequel on peut tester les méthodes de quantification de la LQG. Dans cette optique, nous avons introduit et étudié une formulation originale de la corde bosonique, dite corde algébrique. Ensuite, nous nous sommes intéressé au problème important du choix de la jauge temporelle en LQG. Ce choix permet de passer d'un groupe de jauge non-compact (le groupe de Lorentz) à un groupe de jauge compact (le groupe des rotations) et ainsi d'obtenir un spectre discret des opérateurs de géométrie. Nous avons montré qu'il est possible de ne pas faire le choix de la jauge temporelle, de pouvoir quantifier malgré tout la théorie et de retrouver un spectre discret des opérateurs de géométrie même avec un groupe de jauge non-compact. Enfin, nous nous sommes attaché à comprendre le lien entre les approches canonique et covariante afin de tester la validité du nouveau modèle de mousse de spins introduit par Engle, Peireira, Rovelli et Livine (EPRL). / No summary available

L’objet de cette thèse est l’étude du modèle plat, l’ingrédient principal du programme de quantification de la gravité par les mousses de spins, avec un accent particulier sur ses divergences. Outre une introduction personnelle au problème de la gravité quantique, le manuscrit se compose de deux parties. Dans la première, nous obtenons une formule exacte pour le comptage de puissances des divergences de bulles dans le modèle plat, notamment grâce à des outils de théorie de jauge discrète et de cohomologie tordue. Dans la seconde partie, nous considérons le problème de la limite continue des mousses de spins, tant du point de vue des théories de jauge sur réseau que du point de vue de la group field theory. Nous avançons en particulier une nouvelle preuve de la sommabilité de Borel du modèle de Boulatov-Freidel-Louapre, permettant un contrôle accru du comportement d’échelle dans la limite de grands spins. Nous concluons par une discussion prospective du programme de renormalisation pour les mousses de spins. / In this thesis we study the flat model, the main buidling block for the spinfoam ap- proach to quantum gravity, with an emphasis on its divergences. Besides a personal introduction to the problem of quantum gravity, the manuscript consists in two part. In the first one, we establish an exact powercounting formula for the bubble divergences of the flat model, using tools from discrete gauge theory and twisted cohomology. In the second one, we address the issue of spinfoam continuum limit, both from the lattice field theory and the group field theory perspectives. In particular, we put forward a new proof of the Borel summability of the Boulatov-Freidel-Louapre model, with an improved control over the large-spin scaling behaviour. We conclude with an outlook of the renormalization program in spinfoam quantum gravity.

L'objet de cette thèse est l'étude du modèle plat, l'ingrédient principal du programme de quantification de la gravité par les mousses de spins, avec un accent particulier sur ses divergences. Outre une introduction personnelle au problème de la gravité quantique, le manuscrit se compose de deux parties. Dans la première, nous obtenons une formule exacte pour le comptage de puissances des divergences de bulles dans le modèle plat, notamment grâce à des outils de théorie de jauge discrète et de cohomologie tordue. Dans la seconde partie, nous considérons le problème de la limite continue des mousses de spins, tant du point de vue des théorie de jauge sur réseau que du point de vue de la "group field theory". Nous avançons en particulier une nouvelle preuve de la sommabilité de Borel du modèle de Boulatov-Freidel-Louapre, permettant un contrôle accru du comportement d'échelle dans la limite de grands spins. Nous concluons par une discussion prospective du programme de renormalisation pour les mousses de spins.

La gravité quantique à boucles est une théorie candidate à la description unifiée de la relativité générale et de la mécanique quantique à l'échelle de Planck. Cette théorie peut être formulée de deux manières. L'approche canonique, d'une part, cherche à résoudre l'équation de Wheeler--DeWitt et à définir les états physiques. L'approche par les écumes de spins, d'autre part, a pour but de calculer les amplitudes de transition de la gravité quantique via une intégrale de chemin covariante. Ces deux approches s'appuient sur a même structure d'espace de Hilbert, mais la question de leur correspondance exacte reste un important problème ouvert à ce jour. Dans ce travail de thèse, nous présentons quatre résultats en rapport avec ces deux approches. Après un premier chapitre introductif, le second chapitre concerne l'étude de la théorie classique. Historiquement, l'introduction des variables d'Ashtekar complexes (self-duales) dans la formulation hamiltonienne de la relativité générale fut motivée par l'obtention d'une contrainte scalaire polynomiale. Cette simplification drastique est à la base du programme de la gravité quantique à boucles. Pour un certain nombre de raisons techniques, ces variables complexes furent ensuite abandonnées au profit des variables d'Ashtekar-Barbero, pour lesquelles le groupe de jauge est SU(2). Avec ce choix de variables réelles, la contrainte hamiltonienne n'est malheureusement plus polynomiale. La formulation en terme des variables SU(2) réelles peut être obtenue à partir de l'action de Holst, qui contient le paramètre dit de Barbero-Immirzi comme constante de couplage additionnelle. Dans un premier temps, nous allons utiliser les variables d'Ashtekar complexes pour effectuer l'analyse canonique de l'action de Holst avec un paramètre de Barbero-Immirzi réel. Les contraintes qui découlent de cette analyse canonique dépendent de ce paramètre libre, et ont l'avantage d'être polynomiales. Afin de garantir que la métrique soit une quantité réelle, un ensemble de contraintes de réalité doivent être imposées. Il s'avère que ces conditions de réalité correspondent aux contraintes de simplicité linéaires utilisées pour la construction des modèles d'écumes de spins. Ces contraintes sont préservées par l'évolution hamiltonienne si et seulement si la connexion est sans torsion. Cette condition sur l'absence de torsion est en fait une contrainte secondaire de l'analyse canonique. La second chapitre concerne également la théorie classique, mais s'intéresse à sa discrétisation en terme des variables de premier ordre dites holonomie-flux. L'espace des phases qui résulte de cette construction possède une structure non-linéaire. Le formalisme des twisteurs permet d'accommoder cette non-linéarité en travaillant sur un espace des phases linéaire paramétré par les coordonnées canoniques de Darboux. Ce formalisme fut introduit par Freidel et Speziale, mais uniquement dans le cas des variables SU(2) d'Ashtekar-Barbero. Nous généralisons ce résultat au cas du groupe de Lorentz. Nous étudions ensuite la dynamique en terme d'écumes de spins obtenue à partir de ces variables, et développons une nouvelle formulation hamiltonienne de la gravité discrétisée. Ce nouveau formalisme est obtenu en écrivant l'action de la théorie continue sur une discrétisation simpliciale de l'espace-temps fixée. L'action discrète ainsi obtenue est la somme de l'analogue en terme de spineurs d'une action topologique de type BF et des contraintes de réalité qui garantissent l'existence d'une métrique réelle. Cette action est polynomiale en terme des spineurs, ce qui permet de procéder à sa quantification canonique de manière relativement aisée. Le dernier chapitre s'intéresse à la théorie quantique obtenue suivant cette procédure. Les amplitudes de transition reproduisent celles du modèle d'écume de spins EPRL (Engle Pereira Rovelli Livine). Ce résultat est intéressant car il démontre que la formulation de la gravité quantique en termes d'écumes de spins peut être obtenue à partir d'une action classique écrite en terme de spineurs.