Introduction à la géométrie modérée


Olivier Le Gal, LAMA. 10 décembre 2009 13:30 labo 2:00:00
Abstract:

La première difficulté en géométrie réelle consiste à définir un cadre de travail. On ne peut en effet se restreindre à l'étude d'objets lisses (ce serait exclure l'ensemble pourtant simple formé par l'union de deux droites concourantes), mais les objets singuliers peuvent s'avérer trop compliqués pour être étudiés avec les outils de géométrie différentielle classiques (tout fermé de Rn est l'intersection de deux variétés lisses). Nous verrons comment les structures o-minimales répondent à cette problématique, en évitant les « monstres », tout en gardant un niveau de généralité élevé. Nous parlerons ainsi, selon ce que le temps permet, de la géométrie modérée qu'elles définissent, des pathologies qu'elles autorisent, des liens qu'elles entretiennent avec la théorie des modèles, et des questions qui s'y posent.