English
An Imaginary Ax-Kochen/Ershov principle: the equicharacteristic zero case
Multi angle
Auteurs : Vicaria, Mariana (Auteur de la conférence)
CIRM (Editeur )
03C60 - Model-theoretic algebra
Ressources complémentaires :
https://webusers.imj-prg.fr/~zoe.chatzidakis/CIRM/Vicaria.pdf
CIRM (Editeur )
Loading the player...
|
Résumé :
(joint with Rideau-Kikuchi)
One of the most striking results of the model theory of henselian valued fields is the Ax-Kochen/Ershov principle, which roughly states that the first order theory of a henselian valued field that is unramified is completely determined by the first order theory of its residue field and the first order theory of its value group. Our leading question is: Can one obtain an Imaginary Ax-Kochen/Ershov principle? In previous work, I showed that the complexity of the value group requires adding the stabilizer sorts. In previous work, Hils and Rideau-Kikuchi showed that the complexity of the residue field reflects by adding the interpretable sets of the linear sorts. In this talk we present recent results on weak elimination of imaginaries that combine both strategies for a large class of henselian valued fields of equicharacteristic zero. Examples include, among others, henselian valued fields with bounded galois group and henselian valued fields whose value group has bounded regular rank (with an angular component map).
Mots-Clés : imaginaries; henselian valued fields
Codes MSC : One of the most striking results of the model theory of henselian valued fields is the Ax-Kochen/Ershov principle, which roughly states that the first order theory of a henselian valued field that is unramified is completely determined by the first order theory of its residue field and the first order theory of its value group. Our leading question is: Can one obtain an Imaginary Ax-Kochen/Ershov principle? In previous work, I showed that the complexity of the value group requires adding the stabilizer sorts. In previous work, Hils and Rideau-Kikuchi showed that the complexity of the residue field reflects by adding the interpretable sets of the linear sorts. In this talk we present recent results on weak elimination of imaginaries that combine both strategies for a large class of henselian valued fields of equicharacteristic zero. Examples include, among others, henselian valued fields with bounded galois group and henselian valued fields whose value group has bounded regular rank (with an angular component map).
Mots-Clés : imaginaries; henselian valued fields
03C60 - Model-theoretic algebra
Ressources complémentaires :
https://webusers.imj-prg.fr/~zoe.chatzidakis/CIRM/Vicaria.pdf
|
Informations sur la Vidéo
Réalisateur : Petit, JeanLangue : Anglais Date de Publication : 23/06/2023 Date de Captation : 31/05/2023 Sous Collection : Research talks Catégorie arXiv : Logic Domaine(s) : Algèbre ; Logique et Fondements Format : MP4 (.mp4) - HD Durée : 00:56:37 Audience : Chercheurs ; Etudiants Science Cycle 2 ; Doctoral Students, Post-Doctoral Students Download : https://videos.cirm-math.fr/2023_05-31_Vicaria_1.mp4 
|
Informations sur la Rencontre
Nom de la Rencontre : Model theory of valued fields / Théorie des modèles des corps valuésOrganisateurs de la Rencontre : Chatzidakis, Zoé ; Jahnke, Franziska ; Rideau-Kikuchi, Silvain Dates : 29/05/2023 - 02/06/2023 Année de la rencontre : 2023 URL de la Rencontre : https://conferences.cirm-math.fr/2761.html
Données de citation
DOI : 10.24350/CIRM.V.20053703Citer cette vidéo: Vicaria, Mariana (2023). An Imaginary Ax-Kochen/Ershov principle: the equicharacteristic zero case. CIRM. Audiovisual resource. doi:10.24350/CIRM.V.20053703 URI : http://dx.doi.org/10.24350/CIRM.V.20053703 |
Voir Aussi
- [Multi angle] Beautiful pairs revisited / Auteur de la conférence Ye, Jinhe.
- [Multi angle] Existential closedness of $\mathbb{Q}^{alg}$ as a globally valued field / Auteur de la conférence Szachniewicz, Michal.
- [Multi angle] Interpretable, definably semisimple groups in various valued fields / Auteur de la conférence Peterzil, Ya'acov.
- [Multi angle] The existential closedness problem for analytic solutions of difference equations / Auteur de la conférence Padgett, Adele.
- [Multi angle] Multi topological fields and NTP2 / Auteur de la conférence Montenegro Guzman, Samaria.
- [Multi angle] A Hasse principle over Berkovich analytic curves / Auteur de la conférence Mehmeti, Vlerë.
- [Multi angle] Definable convex and henselian valuations on ordered fields / Auteur de la conférence Krapp, Lothar Sebastian.
- [Multi angle] Beyond the Fontaine-Wintenberger theorem / Auteur de la conférence Kartas, Konstantinos.
- [Multi angle] Around NIP Noetherian domains / Auteur de la conférence Johnson, Will.
- [Multi angle] An invitation to globally valued fields / Auteur de la conférence Hrushovski, Ehud.
- [Multi angle] Lang-Weil type bounds in finite difference fields / Auteur de la conférence Hils, Martin.
- [Multi angle] Residue field domination / Auteur de la conférence Haskell, Deirdre.
- [Multi angle] Motivic integration with pseudo-finite residue field and fundamental lemma / Auteur de la conférence Forey, Arthur.
- [Multi angle] Tropical functions on skeletons / Auteur de la conférence Ducros, Antoine.
- [Multi angle] Contracting endomorphisms of valued fields / Auteur de la conférence Dor, Yuval.
- [Multi angle] Ax-Kochen-Ershov principles for finitely ramified henselian fields / Auteur de la conférence Dittmann, Philip.
- [Multi angle] Group construction in $C$-minimal structures / Auteur de la conférence Delon, Françoise.
- [Multi angle] Homology groups in algebraically closed valued fields / Auteur de la conférence Cubides Kovacsics, Pablo.
- [Multi angle] Existential uniform p-adic integration and descent for integrability and largest poles / Auteur de la conférence Cluckers, Raf.
- [Multi angle] Polynomials that vanish on many sets of codimension 2 / Auteur de la conférence Ben Yaacov, Itaï.
- [Multi angle] The model theory of Hardy fields and linear differential equations / Auteur de la conférence Aschenbrenner, Matthias.
- [Multi angle] Transfer of decidability for existential theories of (valued) fields / Auteur de la conférence Anscombe, Sylvy.
Bibliographie
- HILS, Martin et RIDEAU-KIKUCHI, Silvain. Un principe d'Ax-Kochen-Ershov imaginaire. arXiv preprint arXiv:2109.12189, 2021. - https://doi.org/10.48550/arXiv.2109.12189
- VICARÍA, Mariana. Elimination of imaginaries in C ((Γ)) $\mathbb {C}((\Gamma)) $. Journal of the London Mathematical Society, 2023. - http:// https://doi.org/10.1112/jlms.12751
Imagette Video
