MODIG - Théorie des MODèles et Interactions avec la Géométrie
MODel Theory and Interactions with Geometry

Projet ANR-09-BLAN-0047

Responsable : Elisabeth Bouscaren (Orsay)
(01 Septembre 2009 - 31 août 2013. Prolongé jusqu'au 30 novembre 2013)


Présentation
Il s'agit d'un projet concernant la théorie des modèles et ses interactions avec la théorie de nombres et la géométrie algébrique. La théorie des modèles est une branche de la logique mathématique qui étudie les structures abstraites (modèles) et qui a toujours entretenu des liens étroits avec l'algèbre. Le but général de ce projet est de renforcer ces liens interdisciplinaires en France, tout en maintenant le développement parallèle des composantes “pure” et “appliquée” de la théorie des modèles. Le cadre scientifique de notre projet est celui de la théorie des modèles des corps, un domaine qui est au coeur des applications les plus sophistiquées à la géométrie Diophantienne et dans lequel la synergie entre théorie des modèles “pure” et “appliquée” est particulièrement frappante. Nous proposons trois directions de recherche principales
- théorie des modèles des corps avec opérateurs (corps différentiels, corps de différences, corps algébriquement clos valués)
- amalgames à la Hrushovski et dimension
- C-minimalité, dependance et mesures.

Partenaires du projet:

Orsay (UMR 8628) : Elisabeth Bouscaren (Responsable) ; Franck Benoist, Jean-Benoît Bost, Damian Rössler.
Paris 7 (ELM et TN, projets de l'IMJ) : Zoé Chatzidakis (Responsable) ; Daniel Bertrand, Françoise Delon, Martin Hils, Marie-Hélène Mourgues, Patrick Simonetta. Post-Doc Modig : Martin Bays (1er septembre 2010 - 31 août 2011).
Lyon I (UMR 5208) : Frank Wagner (Responsable) ; Itaï Ben Yaacov, Thomas Blossier, Amador Martin-Pizarro. Post-Doc Modig : Daniel Palacin (1er septembre 2012 - 31 août 2013).


Visiteurs prévus
Financés par MODIG
Orsay : Piotr Kowalski (Wroclaw), 3 février - 4 mars 2011. Ozlem Beyarslan, 15 juin - 15 juillet 2013; Piotr Kowalski, 15 juin - 15 juillet 2013.
Paris : Juan Diego Caycedo (Freiburg), une semaine en novembre 2010. Rahim Moosa (U. Waterloo), 12 - 25 mai 2013. Luc Bélair (UQAM), deux semaines en juin 2013.
Autres
Orsay :
Paris : Thomas Scanlon (Berkeley), 1 mois en mai-juin 2011. Deirdre Haskell, 1 mois en avril 2013.
Lyon :


Activités (voir aussi la page “Colloques” mentionnée ci-dessous)
Piotr Kowalski parlera le 7 février 2011 à 14h en salle 0D4 à Chevaleret (titre : Definable sets and transcendence) et le 17 février 2011 à 16h en salle 0C8 à Chevaleret (titre : Zariski dense formal subvarieties and Ax's theorem).
MODIG organise un colloque à Oléron : Recent Developments in Model Theory, 5 - 11 juin 2011.
Atelier à Orsay (France), Théorie des modèles des corps de différences et applications, 5-9 Décembre 2011.
Modig a subventionné la workshop Interactions of Model Theory with Number Theory and Algebraic Geometry (MPIM Bonn, 11-15 juin 2012) et l'école d'été de l'IMJ Autour des conjectures de Zilber-Pink (Jussieu, 25 juin - 5 juillet 2012).
Modig subventionnera la workshop The geometry of the Frobenius (CIRM, Luminy, 25 - 29 mars 2013).

Orsay
Séminaire d'arithmétique et de Géométrie algébrique, Mardi à 16h00, Orsay, Bât 425, Salle : 113-115.
Paris 7/Jussieu
Séminaire de théorie des nombres, Lundi à 14h. Une semaine sur deux à Sophie Germain, salle 1013; l'autre semaine à Jussieu, salle 502 couloir 15-25.
Groupe de travail différentiel, à Versailles Saint-Quentin.
Structures Algébriques ordonnées, Mardi à 14h15, Sophie Germain, salle 2017.
Théorie des Modèles et Groupes, Mardi à 11h, Sophie Germain, salle 2016.
Groupe d'études sur les problèmes diophantiens, Jeudi à 15h30, salle 15-16-4-17, Jussieu.
Séminaire mensuel Géométrie et Théorie des Modèles
Lyon
La page de l'équipe contient tous les renseignements. A noter : l'équipe organise un semestre spécial en théorie des modèles, au printemps 2011, dans le cadre du réseau doctorants MALOA.


Liens utiles : Préprints et Notes MODNET ; Colloques ; Offres d'emploi ; Réseau Européen Marie Curie de formation de doctorants MALOA