Infinite finitely generated fields are biinterpretable with ${\mathbb N}$
HTML articles powered by AMS MathViewer
- by Thomas Scanlon
- J. Amer. Math. Soc. 21 (2008), 893-908
- DOI: https://doi.org/10.1090/S0894-0347-08-00598-5
- Published electronically: February 6, 2008
- PDF | Request permission
Erratum: J. Amer. Math. Soc. 24 (2011), 917-917.
Abstract:
Using the work of several other mathematicians, principally the results of Poonen refining the work of Pop that algebraic independence is definable within the class of finitely generated fields and of Rumely that the ring of rational integers is uniformly interpreted in global fields, and a theorem on the definability of valuations on function fields of curves, we show that each infinite finitely generated field considered in the ring language is parametrically biinterpretable with $\mathbb {N}$. As a consequence, for any finitely generated field there is a first-order sentence in the language of rings which is true in that field but false in every other finitely generated field and, hence, Pop’s conjecture that elementarily equivalent finitely generated fields are isomorphic is true.References
- Matthias Aschenbrenner, Ideal membership in polynomial rings over the integers, J. Amer. Math. Soc. 17 (2004), no. 2, 407–441. MR 2051617, DOI 10.1090/S0894-0347-04-00451-5
- Maurice Auslander and Armand Brumer, Brauer groups of discrete valuation rings, Nederl. Akad. Wetensch. Proc. Ser. A 71=Indag. Math. 30 (1968), 286–296. MR 0228471, DOI 10.1016/S1385-7258(68)50033-7
- Jean-Louis Duret, Sur la théorie élémentaire des corps de fonctions, J. Symbolic Logic 51 (1986), no. 4, 948–956. MR 865921, DOI 10.2307/2273907
- Jean-Louis Duret, Équivalence élémentaire et isomorphisme des corps de courbe sur un corps algébriquement clos, J. Symbolic Logic 57 (1992), no. 3, 808–823 (French). MR 1187449, DOI 10.2307/2275432
- D. K. Faddeev, Simple algebras over a field of algebraic functions of one variable, Trudy Mat. Inst. Steklov. 38 (1951), 321–344 (Russian). MR 0047632
- Michael D. Fried and Moshe Jarden, Field arithmetic, 2nd ed., Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge. A Series of Modern Surveys in Mathematics [Results in Mathematics and Related Areas. 3rd Series. A Series of Modern Surveys in Mathematics], vol. 11, Springer-Verlag, Berlin, 2005. MR 2102046, DOI 10.1007/b138352
- Philippe Gille and Tamás Szamuely, Central simple algebras and Galois cohomology, Cambridge Studies in Advanced Mathematics, vol. 101, Cambridge University Press, Cambridge, 2006. MR 2266528, DOI 10.1017/CBO9780511607219
- Wilfrid Hodges, Model theory, Encyclopedia of Mathematics and its Applications, vol. 42, Cambridge University Press, Cambridge, 1993. MR 1221741, DOI 10.1017/CBO9780511551574
- Richard Kaye, Models of Peano arithmetic, Oxford Logic Guides, vol. 15, The Clarendon Press, Oxford University Press, New York, 1991. Oxford Science Publications. MR 1098499
- Anatole Khelif, Bi-interprétabilité et structures QFA: étude de groupes résolubles et des anneaux commutatifs, C. R. Math. Acad. Sci. Paris 345 (2007), no. 2, 59–61 (French, with English and French summaries). MR 2343552, DOI 10.1016/j.crma.2007.06.003
- T. Y. Lam, A first course in noncommutative rings, Graduate Texts in Mathematics, vol. 131, Springer-Verlag, New York, 1991. MR 1125071, DOI 10.1007/978-1-4684-0406-7
- Yu. V. Matiyasevich, Desyataya problema Gil′berta, Matematicheskaya Logika i Osnovaniya Matematiki [Monographs in Mathematical Logic and Foundations of Mathematics], vol. 26, VO “Nauka”, Moscow, 1993 (Russian, with Russian summary). MR 1247235
- André Nies, Describing groups, Bull. Symbolic Logic 13 (2007), no. 3, 305–339. MR 2359909, DOI 10.2178/bsl/1186666149
- Bjorn Poonen, Uniform first-order definitions in finitely generated fields, Duke Math. J. 138 (2007), no. 1, 1–22. MR 2309154, DOI 10.1215/S0012-7094-07-13811-0
- Florian Pop, Elementary equivalence versus isomorphism, Invent. Math. 150 (2002), no. 2, 385–408. MR 1933588, DOI 10.1007/s00222-002-0238-7
- Julia Robinson, The undecidability of algebraic rings and fields, Proc. Amer. Math. Soc. 10 (1959), 950–957. MR 112842, DOI 10.1090/S0002-9939-1959-0112842-7
- Raphael M. Robinson, Undecidable rings, Trans. Amer. Math. Soc. 70 (1951), 137–159. MR 41081, DOI 10.1090/S0002-9947-1951-0041081-0
- R. S. Rumely, Undecidability and definability for the theory of global fields, Trans. Amer. Math. Soc. 262 (1980), no. 1, 195–217. MR 583852, DOI 10.1090/S0002-9947-1980-0583852-6
- Jean-Pierre Serre, Local fields, Graduate Texts in Mathematics, vol. 67, Springer-Verlag, New York-Berlin, 1979. Translated from the French by Marvin Jay Greenberg. MR 554237, DOI 10.1007/978-1-4757-5673-9
Bibliographic Information
- Thomas Scanlon
- Affiliation: Department of Mathematics, University of California, Berkeley, Evans Hall, Berkeley, California 94720-3840
- MR Author ID: 626736
- ORCID: 0000-0003-2501-679X
- Email: scanlon@math.berkeley.edu
- Received by editor(s): October 4, 2006
- Published electronically: February 6, 2008
- Additional Notes: The author was partially supported by NSF CAREER grant DMS-0450010
- © Copyright 2008
American Mathematical Society
The copyright for this article reverts to public domain 28 years after publication. - Journal: J. Amer. Math. Soc. 21 (2008), 893-908
- MSC (2000): Primary 12L12; Secondary 03C60
- DOI: https://doi.org/10.1090/S0894-0347-08-00598-5
- MathSciNet review: 2393432