Français
An Imaginary Ax-Kochen/Ershov principle: the equicharacteristic zero case
Multi angle
Authors : Vicaria, Mariana (Author of the conference)
CIRM (Publisher )
03C60 - Model-theoretic algebra
Additional resources :
https://webusers.imj-prg.fr/~zoe.chatzidakis/CIRM/Vicaria.pdf
CIRM (Publisher )
Loading the player...
|
Abstract :
(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).
Keywords : imaginaries; henselian valued fields
MSC Codes : 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).
Keywords : imaginaries; henselian valued fields
03C60 - Model-theoretic algebra
Additional resources :
https://webusers.imj-prg.fr/~zoe.chatzidakis/CIRM/Vicaria.pdf
|
Information on the Video
Film maker : Petit, JeanLanguage : English Available date : 23/06/2023 Conference Date : 31/05/2023 Subseries : Research talks arXiv category : Logic Mathematical Area(s) : Algebra ; Logic and Foundations Format : MP4 (.mp4) - HD Video Time : 00:56:37 Targeted Audience : Researchers ; Graduate Students ; Doctoral Students, Post-Doctoral Students Download : https://videos.cirm-math.fr/2023_05-31_Vicaria_1.mp4 
|
Information on the Event
Event Title : Model theory of valued fields / Théorie des modèles des corps valuésEvent Organizers : Chatzidakis, Zoé ; Jahnke, Franziska ; Rideau-Kikuchi, Silvain Dates : 29/05/2023 - 02/06/2023 Event Year : 2023 Event URL : https://conferences.cirm-math.fr/2761.html
Citation Data
DOI : 10.24350/CIRM.V.20053703Cite this video as: 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 |
See Also
- [Multi angle] Beautiful pairs revisited / Author of the conference Ye, Jinhe.
- [Multi angle] Existential closedness of $\mathbb{Q}^{alg}$ as a globally valued field / Author of the conference Szachniewicz, Michal.
- [Multi angle] Interpretable, definably semisimple groups in various valued fields / Author of the conference Peterzil, Ya'acov.
- [Multi angle] The existential closedness problem for analytic solutions of difference equations / Author of the conference Padgett, Adele.
- [Multi angle] Multi topological fields and NTP2 / Author of the conference Montenegro Guzman, Samaria.
- [Multi angle] A Hasse principle over Berkovich analytic curves / Author of the conference Mehmeti, Vlerë.
- [Multi angle] Definable convex and henselian valuations on ordered fields / Author of the conference Krapp, Lothar Sebastian.
- [Multi angle] Beyond the Fontaine-Wintenberger theorem / Author of the conference Kartas, Konstantinos.
- [Multi angle] Around NIP Noetherian domains / Author of the conference Johnson, Will.
- [Multi angle] An invitation to globally valued fields / Author of the conference Hrushovski, Ehud.
- [Multi angle] Lang-Weil type bounds in finite difference fields / Author of the conference Hils, Martin.
- [Multi angle] Residue field domination / Author of the conference Haskell, Deirdre.
- [Multi angle] Motivic integration with pseudo-finite residue field and fundamental lemma / Author of the conference Forey, Arthur.
- [Multi angle] Tropical functions on skeletons / Author of the conference Ducros, Antoine.
- [Multi angle] Contracting endomorphisms of valued fields / Author of the conference Dor, Yuval.
- [Multi angle] Ax-Kochen-Ershov principles for finitely ramified henselian fields / Author of the conference Dittmann, Philip.
- [Multi angle] Group construction in $C$-minimal structures / Author of the conference Delon, Françoise.
- [Multi angle] Homology groups in algebraically closed valued fields / Author of the conference Cubides Kovacsics, Pablo.
- [Multi angle] Existential uniform p-adic integration and descent for integrability and largest poles / Author of the conference Cluckers, Raf.
- [Multi angle] Polynomials that vanish on many sets of codimension 2 / Author of the conference Ben Yaacov, Itaï.
- [Multi angle] The model theory of Hardy fields and linear differential equations / Author of the conference Aschenbrenner, Matthias.
- [Multi angle] Transfer of decidability for existential theories of (valued) fields / Author of the conference Anscombe, Sylvy.
Bibliography
- 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
