Date/heure
16 décembre 2013
14:00 - 17:30
Oratrice ou orateur
Chloé Perin
Catégorie d'évènement Séminaire de géométrie complexe
Résumé
La théorie des modèle est l’étude des formules du premier-ordre sur une structure. Dans le cas des groupes, on peut penser à ces formules comme à des équations généralisées. Ces formules permettent alors d’exprimer certaines propriétés du groupe (l’abélianité par exemple) ou de ses éléments, alors que d’autre ne peuvent pas être exprimées. On peut par exemple se demander quand deux groupes non isomorphes satisfont les mêmes formules du premier ordre: le problème de Tarski consiste à déterminer si les groupes libres de rang distinct peuvent être distingués par des formules du premier ordre. Au début des années 2000, Sela et independamment Kharlampovich et Miasnikov ont montré que cela n’est pas possible. Les techniques de Sela, très géométriques, ont permis de montrer de nombreux autres résultats sur la théorie des modèles des groupes libres et des groupes hyperboliques. Un resultat qui montre bien la connection de tels problèmes avec la géométrie est qu’il est également impossible de distinguer un groupe de surface hyperbolique d’un groupe libre par des formules du premier ordre. A travers des exemples, j’essaierai de montrer comment les techniques de théorie géométrique des groupes peuvent permettre d’attaquer de telles questions.