Abstract
We show a transfer principle for the property that all types realised in a given elementary extension are definable. It can be written as follows: a Henselian valued field is stably embedded in an elementary extension if and only if its value group is stably embedded in its corresponding extension, its residue field is stably embedded in its corresponding extension, and the extension of valued fields satisfies a certain algebraic condition. We show for instance that all types over the Hahn field \(\mathbb {R}((\mathbb {Z}))\) are definable. Similarly, all types over the quotient field of the Witt ring \(W(\mathbb {F}_p^{\text {alg}})\) are definable. This extends a work of Cubides and Delon and of Cubides and Ye.
Similar content being viewed by others
Notes
The existence of such compatible angular components follows from the traditional proof of existence of a section of the valuation \({{\,\textrm{RV}\,}}_L \rightarrow \Gamma \): a partial section \(s_A:A\rightarrow {{\,\textrm{RV}\,}}_K\) where A is a pure subgroup of \(\Gamma _K\) can be extended by \(\aleph _1\)-saturation and Zorn Lemma to a full section \(s_K:\Gamma _K \rightarrow {{\,\textrm{RV}\,}}_K\) of the valuation in \({{\,\textrm{RV}\,}}_k\). As \(\Gamma _K\) is a pure subgroup of \(\Gamma _L\), this map can be again extended to a section \(s_L:\Gamma _L\rightarrow {{\,\textrm{RV}\,}}_L\). This section gives then an angular component compatible with the subfield K.
Thanks to the anonymous referee for pointing out this useful remark.
To see this, we must show that the compositions of the interpretation \(\Delta : k^n \rightarrow W_n(k)\) (which identify an element \(a\in W_n\) with its Teichmüller vector \((a_1,\cdots ,a_n)\) ) and \(\chi _{n,1}:W_n(k) \rightarrow k, a\mapsto a_1\) are definable functions. The function \(\chi _{n,1} \circ \Delta \) is the projection to the first coordinate and the graph of the function \(\Delta \circ \chi _{n,1}: W_n(k)^n \rightarrow W_n(k), (a^1, \dots , a^n) \mapsto (\chi _{n,1}(a^1),\dots , \chi _{n,1}(a^n))\) is clearly definable using [23, Fact 1.61].
References
Anscombe, S., Jahnke, F.: The model theory of Cohen rings. Confluentes Math. 14(2), 1–28 (2022)
Aschenbrenner, M., Chernikov, A., Gehret, A., Ziegler, M.: Distality in valued fields and related structures. Trans. Am. Math. Soc. 375(7), 4641–4710 (2022)
Basarab, S.A.: Relative elimination of quantifiers for Henselian valued fields. Ann. Pure Appl. Logic 53(1), 51–74 (1991)
Baur, W.: Die Theorie der Paare reell abgeschlossener Körper. In: Logic and Algorithmic (Zurich, 1980), volume 30 of Monograph Enseign. Mathematics, pp. 25–34. Univ. Genève, Geneva (1982)
Bélair, L.: Types dans les corps valués munis d’applications coefficients. Ill. J. Math. 43(2), 410–425 (1999)
Chernikov, A., Simon, P.: Henselian valued fields and inp-minimality. J. Symb. Log. 84(4), 1510–1526 (2019)
Cubides Kovacsics, P., Delon, F.: Definable types in algebraically closed valued fields. MLQ Math. Log. Q. 62(1–2), 35–45 (2016)
Cubides Kovacsics, P., Ye, J.: Pro-definability of spaces of definable types. Proc. Am. Math. Soc. Ser. B 8, 173–188 (2021)
Delon, F.: Types sur \({\bf C}((X))\). In: Study Group on Stable Theories (Bruno Poizat), Second year: 1978/79 (French), pages Exp. No. 5, 29. Secrétariat Mathematics, Paris (1981)
Delon, F.: Extensions séparées et immédiates de corps valués. J. Symb. Logic 53(2), 421–428 (1988)
Dries, L.: Tarski’s problem and pfaffian functions. Stud. Logic Found. Math. 120, 12 (1986)
Flenner, J.: Relative decidability and definability in Henselian valued fields. J. Symb. Logic 76(4), 1240–1260 (2011)
Halevi, Y., Hasson, A.: Eliminating field quantifiers in strongly dependent Henselian fields. Proc. Am. Math. Soc. 147(5), 2213–2230 (2019)
Hils, M., Kamensky, M., Rideau, S.: Imaginaries in separably closed valued fields. Proc. Lond. Math. Soc. 116(6), 1457–1488 (2018)
Hodges, W.: Model Theory. Encyclopedia of Mathematics and its Applications, vol. 42. Cambridge University Press, Cambridge (1993)
Kuhlmann, F.V.: Quantifier elimination for henselian fields relative to additive and multiplicative congruences. Israel J. Math. 85(1), 277–306 (1994)
Marker, D., Steinhorn, C.I.: Definable types in O-minimal theories. J. Symb. Logic 59(1), 185–198 (1994)
Poizat, B.: A course in model theory. In: An Introduction to Contemporary Mathematical Logic (Translated from the French by Moses Klein and revised by the author). Springer, New York (2000)
Rideau, S.: Élimination dans les corps valués. PhD thesis, Université Paris-Sud (2014)
Rideau, S.: Some properties of analytic difference valued fields. J. Inst. Math. Jussieu 16(3), 447–499 (2017)
Serre, J.P.: Corps locaux. Hermann, Actualités scientifiques et industrielles (1980)
Tent, K., Ziegler, M.: A Course in Model Theory. Lecture Notes in Logic, vol. 40. Cambridge University Press, Cambridge (2012)
Touchard, P.: Burden in Henselian valued fields. Ann. Pure Appl. Logic 174(10), 103318 (2023)
Acknowledgements
I deeply thank my PhD advisor Martin Hils for his support and his guidance. Many thanks to Pablo Cubides Kovacsics for his enlightenment of his work in [7]. In particular, my gratitude to both of them for sharing with me their ideas which led to the proof of Proposition 2.4 and motivated the writing of this paper. I thank Artem Chernikov and Martin Ziegler for sharing their results in [2]. Many thanks to Martin Bays and Allen Gehret, whose discussions have been very helpful. Finally, I thank the anonymous referee for their careful proofreading and useful comments, which have greatly improved the quality of this paper.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
The author was funded by the Deutsche Forschungsgemeinschaft (DFG, German Research Foundation) through SFB 878 and under Germany ’s Excellence Strategy - EXC 2044 - 390685587, Mathematics Münster: Dynamics - Geometry - Structure. This research has been also supported by the DAAD through the ‘Kurzstipendien für Doktoranden 2020/21’ programme, by Mathematisches Forschungsinstitut Oberwolfach in 2020 through the “Oberwolfach Leibniz Fellows” program - Project-ID2043r, and by the University of Campania ‘Luigi Vanvitelli’ in the framework of V:ALERE 2019 (GoAL project).
Rights and permissions
Springer Nature or its licensor (e.g. a society or other partner) holds exclusive rights to this article under a publishing agreement with the author(s) or other rightsholder(s); author self-archiving of the accepted manuscript version of this article is solely governed by the terms of such publishing agreement and applicable law.
About this article
Cite this article
Touchard, P. Stably embedded submodels of Henselian valued fields. Arch. Math. Logic 63, 279–315 (2024). https://doi.org/10.1007/s00153-023-00894-2
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00153-023-00894-2