AMS :: Transactions of the American Mathematical Society, Series B

Analytic Ax-Kochen-Ersov theory with lifts of the residue field and value group
HTML articles powered by AMS MathViewer

Trans. Amer. Math. Soc. Ser. B 11 (2024), 1015-1064

DOI: https://doi.org/10.1090/btran/198

Published electronically: July 26, 2024

HTML | PDF

Abstract:

We develop an extension theory for analytic valuation rings in order to establish Ax-Kochen-Ersov (AKE) type results for these structures. New is that we can add in salient cases lifts of the residue field and the value group and show that the induced structure on the lifted residue field is just its field structure, and on the lifted value group is just its ordered abelian group structure. This restores an analogy with the nonanalytic AKE-setting that was missing in earlier treatments of analytic AKE-theory.

References

Matthias Aschenbrenner, Lou van den Dries, and Joris van der Hoeven, Asymptotic differential algebra and model theory of transseries, Annals of Mathematics Studies, vol. 195, Princeton University Press, Princeton, NJ, 2017. MR 3585498, DOI 10.1515/9781400885411
James Ax and Simon Kochen, Diophantine problems over local fields. I, Amer. J. Math. 87 (1965), 605–630. MR 184930, DOI 10.2307/2373065
James Ax and Simon Kochen, Diophantine problems over local fields. II. A complete set of axioms for $p$-adic number theory, Amer. J. Math. 87 (1965), 631–648. MR 184931, DOI 10.2307/2373066
James Ax and Simon Kochen, Diophantine problems over local fields. III. Decidable fields, Ann. of Math. (2) 83 (1966), 437–456. MR 201378, DOI 10.2307/1970476
N. Bhardwaj, The Pila-Wilkie theorem and analytic Ax-Kochen-Ersov theory, PhD diss., University of Illinois at Urbana-Champaign, 2022.
Gal Binyamini, Raf Cluckers, and Dmitry Novikov, Point counting and Wilkie’s conjecture for non-Archimedean Pfaffian and Noetherian functions, Duke Math. J. 171 (2022), no. 9, 1823–1842. MR 4484216, DOI 10.1215/00127094-2022-0013
R. Cluckers and L. Lipshitz, Fields with analytic structure, J. Eur. Math. Soc. (JEMS) 13 (2011), no. 4, 1147–1223. MR 2800487, DOI 10.4171/JEMS/278
Raf Cluckers and Leonard Lipshitz, Strictly convergent analytic structures, J. Eur. Math. Soc. (JEMS) 19 (2017), no. 1, 107–149. MR 3584560, DOI 10.4171/JEMS/662
Raf Cluckers, Leonard Lipshitz, and Zachary Robinson, Analytic cell decomposition and analytic motivic integration, Ann. Sci. École Norm. Sup. (4) 39 (2006), no. 4, 535–568 (English, with English and French summaries). MR 2290137, DOI 10.1016/j.ansens.2006.03.001
Françoise Delon, Types sur $\textbf {C}((X))$, Study Group on Stable Theories (Bruno Poizat), Second year: 1978/79 (French), Secrétariat Math., Paris, 1981, pp. Exp. No. 5, 29 (French). MR 620032
J. Denef and L. van den Dries, $p$-adic and real subanalytic sets, Ann. of Math. (2) 128 (1988), no. 1, 79–138. MR 951508, DOI 10.2307/1971463
Lou van den Dries, Analytic Ax-Kochen-Ersov theorems, Proceedings of the International Conference on Algebra, Part 3 (Novosibirsk, 1989) Contemp. Math., vol. 131, Amer. Math. Soc., Providence, RI, 1992, pp. 379–398. MR 1175894
Lou van den Dries, Lectures on the model theory of valued fields, Model theory in algebra, analysis and arithmetic, Lecture Notes in Math., vol. 2111, Springer, Heidelberg, 2014, pp. 55–157. MR 3330198, DOI 10.1007/978-3-642-54936-6_{4}
Lou van den Dries, Truncation in Hahn fields, Valuation theory in interaction, EMS Ser. Congr. Rep., Eur. Math. Soc., Zürich, 2014, pp. 579–595. MR 3329048
Lou van den Dries, Deirdre Haskell, and Dugald Macpherson, One-dimensional $p$-adic subanalytic sets, J. London Math. Soc. (2) 59 (1999), no. 1, 1–20. MR 1688485, DOI 10.1112/S0024610798006917
Ju. L. Eršov, On elementary theories of local fields, Algebra i Logika Sem. 4 (1965), no. 2, 5–30 (Russian). MR 207686
Ju. L. Eršov, On elementary theory of maximal normalized fields, Algebra i Logika Sem. 4 (1965), no. 3, 31–70 (Russian). MR 193086
Ju. L. Eršov, On the elementary theory of maximal normed fields. II, Algebra i Logika Sem. 5 (1966), no. 1, 5–40 (Russian). MR 204290
Ju. L. Eršov, On the elementary theory of maximal normed fields. III, Algebra i Logika Sem. 6 (1967), no. 3, 31–38 (Russian, with English summary). MR 223231
Jean Fresnel and Marius van der Put, Rigid analytic geometry and its applications, Progress in Mathematics, vol. 218, Birkhäuser Boston, Inc., Boston, MA, 2004. MR 2014891, DOI 10.1007/978-1-4612-0041-3
Y. Gurevich and P. H. Schmitt, The theory of ordered abelian groups does not have the independence property, Trans. Amer. Math. Soc. 284 (1984), no. 1, 171–182. MR 742419, DOI 10.1090/S0002-9947-1984-0742419-0
Franziska Jahnke and Pierre Simon, NIP henselian valued fields, Arch. Math. Logic 59 (2020), no. 1-2, 167–178. MR 4054852, DOI 10.1007/s00153-019-00685-8
Irving Kaplansky, Maximal fields with valuations, Duke Math. J. 9 (1942), 303–321. MR 6161
L. Lipshitz, Rigid subanalytic sets, Amer. J. Math. 115 (1993), no. 1, 77–108. MR 1209235, DOI 10.2307/2374723
Leonard Lipshitz and Zachary Robinson, Rings of separated power series and quasi-affinoid geometry, Astérisque 264 (2000), vi+171 (English, with English and French summaries). MR 1758887
Hideyuki Matsumura, Commutative ring theory, 2nd ed., Cambridge Studies in Advanced Mathematics, vol. 8, Cambridge University Press, Cambridge, 1989. Translated from the Japanese by M. Reid. MR 1011461
Jean-Pierre Serre, Quelques applications du théorème de densité de Chebotarev, Inst. Hautes Études Sci. Publ. Math. 54 (1981), 323–401 (French). MR 644559
Pierre Simon, A guide to NIP theories, Lecture Notes in Logic, vol. 44, Association for Symbolic Logic, Chicago, IL; Cambridge Scientific Publishers, Cambridge, 2015. MR 3560428, DOI 10.1017/CBO9781107415133