Jeudi 10h00-12h00, 6214 AA si possible (5ième étage sinon).
L'idée sera de poursuivre sur deux thèmes qui ont déjà été abordés : la théorie des champs et la quantification. Je tenterai donc d'expliquer ce qu'est une théorie quantique des champs. Actuellement, les théories des champs étudiées par les physiciens leur permettent de faire des prédictions qui montrent un accord spectaculaire avec le résultat des expériences. Pourtant, les méthodes utilisées par les physiciens sont encore loin de posséder une formalisation mathématique rigoureuse. En fait, un des problèmes du millénaire est la formulation rigoureuse de la théorie de Yang-Mills quantique et la preuve de certaines propriétés. Mais avant de se lancer aveuglément dans les intégrales de Feynman, on se doit de répondre à la question : qu'est-ce qu'une théorie des champs quantiques ? Une réponse possible à cette question est donnée par les axiomes de Garding-Wightman, et le but de la présentation sera d'expliquer le formalisme mathématique et la justification physique de ces axiomes.