| Résume | Dans cet exposé, nous essayerons d'expliquer l'utilisation de la théorie des modèles des groupes de rang fini et de la notion d'orthogonalité dans les preuves modèles théoriques de la conjecture de Mordell-Lang pour les corps de fonction, à la fois dans la preuve originelle de Hrushovski et dans des travaux plus récents sur le sujet (en commun avec Franck Benoist et Anand Pillay). Nous parlerons en particulier de l'utilisation du “Théorème du Socle” dans ces preuves.
In this talk, we will try to explain the use of the model-theory of finite rank groups and of the notion of orthogonality in the model theoretic proofs of the Mordell-Lang Conjecture for function fields, in Hrushovski's original proof as well as in other more recent work (joint with Franck Benoist and Anand PIllay). In particular we will talk about the use of the “Socle Theorem” in these proofs.
[Début de l'exposé à 14h15] |