|Responsables :||Zoé Chatzidakis, Raf Cluckers|
|Email des responsables :||firstname.lastname@example.org|
Pour recevoir le programme par e-mail, écrivez à : zchatzid_at_dma.ens.fr.
|Orateur(s)||Arno Fehm - TU Dresden,|
|Titre||Axiomatizing the existential theory of F_p((t))|
|Horaire||14:15 à 15:45|
From a model theoretic point of view, local fields of positive characteristic, i.e. fields of Laurent series over finite fields, are much less well understood than their characteristic zero counterparts - the fields of real, complex and p-adic numbers. I will discuss different approaches to axiomatize and decide at least their existential theory in various languages and under various forms of resolution of singularities. From a geometric point of view, deciding the existential theory essentially means to determine algorithmically which algebraic varieties have rational points over these fields.
Joint work with Sylvy Anscombe and Philip Dittmann.
|Salle||IHP, salle 314|