On Diophantine definability and decidability in some infinite totally real extensions of $\mathbb Q$
HTML articles powered by AMS MathViewer
- by Alexandra Shlapentokh PDF
- Trans. Amer. Math. Soc. 356 (2004), 3189-3207 Request permission
Abstract:
Let $M$ be a number field, and $W_M$ a set of its non-Archimedean primes. Then let $O_{M,W_M} = \{x \in M| \operatorname {ord}_{\mathfrak {t}}x \geq 0, \forall \mathfrak {t} \not \in W_M\}$. Let $\{p_1,\ldots ,p_r\}$ be a finite set of prime numbers. Let $F_{inf}$ be the field generated by all the $p_i^{j}$-th roots of unity as $j \rightarrow \infty$ and $i=1,\ldots ,r$. Let $K_{inf}$ be the largest totally real subfield of $F_{inf}$. Then for any $\varepsilon > 0$, there exist a number field $M \subset K_{inf}$, and a set $W_M$ of non-Archimedean primes of $M$ such that $W_M$ has density greater than $1-\varepsilon$, and $\mathbb {Z}$ has a Diophantine definition over the integral closure of $O_{M,W_M}$ in $K_{inf}$.References
- J.-L. Colliot-Thélène, A. N. Skorobogatov, and Peter Swinnerton-Dyer, Double fibres and double covers: paucity of rational points, Acta Arith. 79 (1997), no. 2, 113–135. MR 1438597, DOI 10.4064/aa-79-2-113-135
- Gunther Cornelissen and Karim Zahidi, Topology of Diophantine sets: remarks on Mazur’s conjectures, Hilbert’s tenth problem: relations with arithmetic and algebraic geometry (Ghent, 1999) Contemp. Math., vol. 270, Amer. Math. Soc., Providence, RI, 2000, pp. 253–260. MR 1802017, DOI 10.1090/conm/270/04377
- Martin Davis, Hilbert’s tenth problem is unsolvable, Amer. Math. Monthly 80 (1973), 233–269. MR 317916, DOI 10.2307/2318447
- Martin Davis, Yuri Matijasevič, and Julia Robinson, Hilbert’s tenth problem: Diophantine equations: positive aspects of a negative solution, Mathematical developments arising from Hilbert problems (Proc. Sympos. Pure Math., Northern Illinois Univ., De Kalb, Ill., 1974) Amer. Math. Soc., Providence, R.I., 1976, pp. 323–378. (loose erratum). MR 0432534
- J. Denef, Hilbert’s tenth problem for quadratic rings, Proc. Amer. Math. Soc. 48 (1975), 214–220. MR 360513, DOI 10.1090/S0002-9939-1975-0360513-3
- J. Denef, Diophantine sets over algebraic integer rings. II, Trans. Amer. Math. Soc. 257 (1980), no. 1, 227–236. MR 549163, DOI 10.1090/S0002-9947-1980-0549163-X
- J. Denef and L. Lipshitz, Diophantine sets over some rings of algebraic integers, J. London Math. Soc. (2) 18 (1978), no. 3, 385–391. MR 518221, DOI 10.1112/jlms/s2-18.3.385
- B. Green, F. Pop, and P. Roquette, On Rumely’s local-global principle, Jahresber. Deutsch. Math.-Verein. 97 (1995), no. 2, 43–74. MR 1341772
- Moshe Jarden and Aharon Razon, Rumely’s local global principle for algebraic $\textrm {P}{\scr S}\textrm {C}$ fields over rings, Trans. Amer. Math. Soc. 350 (1998), no. 1, 55–85. MR 1355075, DOI 10.1090/S0002-9947-98-01630-4
- Barry Mazur, The topology of rational points, Experiment. Math. 1 (1992), no. 1, 35–45. MR 1181085
- B. Mazur, Questions of decidability and undecidability in number theory, J. Symbolic Logic 59 (1994), no. 2, 353–371. MR 1276620, DOI 10.2307/2275395
- B. Mazur, Speculations about the topology of rational points: an update, Astérisque 228 (1995), 4, 165–182. Columbia University Number Theory Seminar (New York, 1992). MR 1330932
- Andrei Suslin and Vladimir Voevodsky, Bloch-Kato conjecture and motivic cohomology with finite coefficients, The arithmetic and geometry of algebraic cycles (Banff, AB, 1998) NATO Sci. Ser. C Math. Phys. Sci., vol. 548, Kluwer Acad. Publ., Dordrecht, 2000, pp. 117–189. MR 1744945
- O. Timothy O’Meara, Introduction to quadratic forms, Classics in Mathematics, Springer-Verlag, Berlin, 2000. Reprint of the 1973 edition. MR 1754311
- Thanases Pheidas, Hilbert’s tenth problem for a class of rings of algebraic integers, Proc. Amer. Math. Soc. 104 (1988), no. 2, 611–620. MR 962837, DOI 10.1090/S0002-9939-1988-0962837-4
- Thanases Pheidas, An effort to prove that the existential theory of $\textbf {Q}$ is undecidable, Hilbert’s tenth problem: relations with arithmetic and algebraic geometry (Ghent, 1999) Contemp. Math., vol. 270, Amer. Math. Soc., Providence, RI, 2000, pp. 237–252. MR 1802016, DOI 10.1090/conm/270/04376
- Bjorn Poonen. Hilbert’s Tenth Problem and Mazur’s conjecture for large subrings of $\mathbb {Q}$. To appear.
- Bjorn Poonen. Using elliptic curves of rank one towards the undecidability of Hilbert’s Tenth Problem over rings of algebraic integers. In C. Fieker and D. Kohel, editors, Algorithmic Number Theory, volume 2369 of Lecture Notes in Computer Science, pages 33–42. Springer Verlag, 2002.
- Morgan Ward and R. P. Dilworth, The lattice theory of ova, Ann. of Math. (2) 40 (1939), 600–608. MR 11, DOI 10.2307/1968944
- 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
- Robert S. Rumely, Arithmetic over the ring of all algebraic integers, J. Reine Angew. Math. 368 (1986), 127–133. MR 850618, DOI 10.1515/crll.1986.368.127
- Harold N. Shapiro and Alexandra Shlapentokh, Diophantine relationships between algebraic number fields, Comm. Pure Appl. Math. 42 (1989), no. 8, 1113–1122. MR 1029120, DOI 10.1002/cpa.3160420805
- Alexandra Shlapentokh, Extension of Hilbert’s tenth problem to some algebraic number fields, Comm. Pure Appl. Math. 42 (1989), no. 7, 939–962. MR 1008797, DOI 10.1002/cpa.3160420703
- Alexandra Shlapentokh, Diophantine classes of holomorphy rings of global fields, J. Algebra 169 (1994), no. 1, 139–175. MR 1296586, DOI 10.1006/jabr.1994.1276
- Alexandra Shlapentokh, Diophantine definability over some rings of algebraic numbers with infinite number of primes allowed in the denominator, Invent. Math. 129 (1997), no. 3, 489–507. MR 1465332, DOI 10.1007/s002220050170
- Alexandra Shlapentokh, Defining integrality at prime sets of high density in number fields, Duke Math. J. 101 (2000), no. 1, 117–134. MR 1733734, DOI 10.1215/S0012-7094-00-10115-9
- Alexandra Shlapentokh, Hilbert’s tenth problem over number fields, a survey, Hilbert’s tenth problem: relations with arithmetic and algebraic geometry (Ghent, 1999) Contemp. Math., vol. 270, Amer. Math. Soc., Providence, RI, 2000, pp. 107–137. MR 1802010, DOI 10.1090/conm/270/04370
- Alexandra Shlapentokh, Diophantine definability and decidability in large subrings of totally real number fields and their totally complex extensions of degree 2, J. Number Theory 95 (2002), no. 2, 227–252. MR 1924099, DOI 10.1016/S0022-314X(01)92759-3
- Alexandra Shlapentokh. A ring version of Mazur’s conjecture on topology of rational points. International Mathematics Research Notices, 2003:7:411–423, 2003.
Additional Information
- Alexandra Shlapentokh
- Affiliation: Department of Mathematics, East Carolina University, Greenville, North Carolina 27858
- MR Author ID: 288363
- ORCID: 0000-0003-1990-909X
- Email: shlapentokha@mail.ecu.edu
- Received by editor(s): June 5, 2000
- Received by editor(s) in revised form: March 10, 2003
- Published electronically: November 4, 2003
- Additional Notes: The research for this paper has been partially supported by NSA grant MDA904-98-1-0510 and NSF grant DMS-9988620
- © Copyright 2003 American Mathematical Society
- Journal: Trans. Amer. Math. Soc. 356 (2004), 3189-3207
- MSC (2000): Primary 11U05, 11U09; Secondary 03C07
- DOI: https://doi.org/10.1090/S0002-9947-03-03343-9
- MathSciNet review: 2052946