Métriques d'Einstein et jauge de Bianchi

Yann nous montrera comment, sur une variété à courbure négative, la recherche de métrique d'Einstein se ramène à un théorème des fonctions implicites via un choix particulier de jauge : la jauge de Bianchi. Il nous montrera aussi comment, dans le cas des métriques de Gromov-Thurston, choisir des espaces adaptés dans lesquels faire fonctionner ce théorème des fonctions implicites.