Sur une anomalie du développement perturbatif de la théorie de Chern-Simons
Auteur / Autrice : | Kévin Corbineau |
Direction : | Christine Lescop |
Type : | Thèse de doctorat |
Discipline(s) : | Mathématiques |
Date : | Soutenance le 21/10/2016 |
Etablissement(s) : | Université Grenoble Alpes (ComUE) |
Ecole(s) doctorale(s) : | École doctorale mathématiques, sciences et technologies de l'information, informatique (Grenoble ; 199.-....) |
Partenaire(s) de recherche : | Laboratoire : Institut Fourier (Grenoble) |
Jury : | Président / Présidente : Gwénaël Massuyeau |
Examinateurs / Examinatrices : Louis Funar, Jean-Baptiste Meilhan | |
Rapporteurs / Rapporteuses : Thomas Fiedler, Pierre Vogel |
Mots clés
Résumé
Maxim Kontsevich a défini un invariant Z des sphères d'homologie rationnelle orientées de dimension 3 en 1992, en poursuivant l'étude initiée par Edward Witten du développement perturbatif de la théorie de Chern-Simons.L'invariant Z de Kontsevich est gradué. Il s'écrit Z=(Zn) {nin NN }, où Zn prend ses valeurs dans un espace CAn engendré par des diagrammes trivalents à 2n sommets appelésdiagrammes de Feynman-Jacobi de degré n.L'invariant Z apparait d'abord comme un invariant Z(M,tau) des sphères d'homologie rationnelle M de dimension 3 munies d'une parallélisation tau.Il est l'exponentielle d'un invariant z(M,tau)=(zn(M,tau)) {nin NN }dont la partie de degré n compte algébriquement les plongements des diagrammes de Feynman-Jacobi connexes à 2n sommets assujettis à vérifier certaines conditions.On peut associer un invariant homotopique entier p 1(tau) aux parallélisations tau des variétés orientées de dimension 3, et il existe un élément beta=(betan) {nin NN} de CAn appelé anomalie tel quezn(M,tau)-p 1(tau)betan soit indépendant de tau et noté zn(M).Z(M)=expleft((zn(M)){nin NN}right).On sait depuis l'introduction de cette constante par Greg Kuperberg et Dylan Thurston en 1999 que betan=0 si n est pair et que beta 1 neq 0.Cette thèse porte sur le calcul de la première valeur inconnue beta 3. Elle en présente des expressions très simplifiées et implémentables sur ordinateur.