Tout groupe constructible est algébrique (Weil – Van den Dries – Hrushovski). Pillay en 1997, puis Kowalski et Pillay en 2001, ont montré que la composante connexe de tout groupe constructible dans un corps différentiellement clos ou dans un corps avec un automorphisme générique, se plonge (à noyau fini près dans le second cas) dans un groupe algébrique. Ces démonstrations consistent à obtenir une configuration de groupe dans le pur corps algébriquement clos à partir de celle dans le corps enrichi. Pour les groupes définissables dans les corps colorés, corps algébriquement clos enrichi avec un prédicat pour un sous-groupe additif ou multiplicatif infini propre, le passage à des relations purement algébriques s’avère plus complexe dans le cas collapsé. Dans un travail commun avec Amador Martin-Pizarro et Frank Wagner, nous avons isolé des propriétés géométriques relatives à la structure de pur corps afin d’entamer une étude des groupes dans un corps enrichi. Ces propriétés nous ont en particulier permis de montrer que tout groupe simple définissable dans un corps coloré est définissablement isomorphe à un groupe algébrique.Dans cet exposé, je présenterai les outils et propriétés utilisées pour construire un groupe algébrique à partir d’un groupe définissable dans un corps enrichi. J’introduirai ensuite des notions de géométries relatives permettant de faire un lien entre le groupe donné et le groupe algébrique construit. J’expliciterai en particulier comment on retrouve ainsi les résultats de Pillay et de Kowalski-Pillay. Dans un prochain exposé (GTM du 18 mars), Amador Martin-Pizarro présentera d’autres applications.
- Séminaire Géométrie et théorie des modèles