Thèse soutenue

Dynamique topologique de groupoïdes pour l’étude des aléatorisations

FR  |  
EN
Auteur / Autrice : Jorge Muñoz Carvajal
Direction : Itaï Ben Yaacov
Type : Thèse de doctorat
Discipline(s) : Mathématiques
Date : Soutenance le 30/09/2022
Etablissement(s) : Lyon 1
Ecole(s) doctorale(s) : École doctorale InfoMaths (Lyon ; 2009-....)
Partenaire(s) de recherche : Laboratoire : Institut Camille Jordan (Rhône ; 2005-....)
Jury : Président / Présidente : Todor Tsankov
Examinateurs / Examinatrices : Itaï Ben Yaacov, Isaac Goldbring, Élisabeth Bouscaren, Tomás Ibarlucía, Françoise Point
Rapporteur / Rapporteuse : Isaac Goldbring

Résumé

FR  |  
EN

L'objectif principal de cette thèse est l'étude de la préservation des propriétés modèle-théoriques par l'aléatorisation en utilisant des méthodes dynamiques, en se basant notamment sur les travaux de T. Ibarlucía. Les aléatorisations sont des structures continues dont les éléments sont des fonctions aléatoires d'un espace de probabilité sans atomes dans une famille de structures. Étant donnée une théorie T, son aléatorisation T^R, est la théorie commune aux aléatorisations de modèles de T. La nouvelle théorie préserve plusieurs propriétés de T, parmi elles stabilité et NIP. Récemment, Ben Yaacov a montré qu'à toute théorie dénombrable, complète admettant une sorte de Skolem universelle, on peut associer un groupoïde topologique qui détermine la théorie à bi-interprétation près. On prouve que si T admet une telle sorte alors son aléatorisation aussi. Ensuite, on étudie les champs d'espaces de Banach et les actions de groupoïdes. On montre que les fonctions faiblement presque-périodiques (ou wap par leur nom en anglais) sont précisément celles provenant de représentations sur des champs d'espaces réflexifs. Finalement, on étudie l'action du groupoïde associé à une théorie sur l'espace de types partiels. On montre que les formules stables correspondent aux fonctions wap. De plus, on montre comment construire une représentation de l'aléatorisation de l'action à partir d'une représentation de l'action originale.