Séminaires : Géométrie et Théorie des Modèles

Equipe(s) : lm,
Responsables :Zoé Chatzidakis, Raf Cluckers, Silvain Rideau.
Email des responsables : zoe.chatzidakis@imj-prg.fr
Salle :
Adresse :ENS
Description

http://gtm.imj-prg.fr/

 

Pour recevoir le programme par e-mail, écrivez à : zchatzid_at_dma.ens.fr.Retour ligne automatique
Pour les personnes ne connaissant pas du tout de théorie des modèles, des notes introduisant les notions de base (formules, ensembles définissables, théorème de compacité, etc.) sont disponibles ici : http://www.logique.jussieu.fr/~zoe/papiers/MTluminy.dvi. Ces personnes peuvent aussi consulter les premiers chapitres du livre Model Theory and Algebraic Geometry, E. Bouscaren ed., Springer Verlag, Lecture Notes in Mathematics 1696, Berlin 1998.Retour ligne automatique
Les notes de quelques-uns des exposés sont disponibles.


Orateur(s) Konstantinos Kartas - Oxford,
Titre Decidability via the tilting correspondence
Date21/01/2022
Horaire15:30 à 17:15
Diffusion
RésumeWe discuss new decidability and undecidability results for mixed characteristic henselian fields, whose proof goes via reduction to positive characteristic. The reduction uses extensively the theory of perfectoid fields and also the earlier Krasner-Kazhdan-Deligne principle. Our main results will be:
(1) A relative decidability theorem for perfectoid fields. Using this, we obtain decidability of certain tame fields of mixed characteristic.
(2) An undecidability result for the asymptotic theory of all finite extensions of ℚ_p (fixed p) with cross-section.
We will also discuss a tentative step towards understanding the underlying model theory of arithmetic phenomena in this area, by presenting a model-theoretic way of seeing the Fontaine-Wintenberger theorem.
Salle
AdresseENS
© IMJ-PRG