On Diophantine definability and decidability in some infinite totally real extensions of ℚ

Shlapentokh, Alexandra

doi:10.1090/S0002-9947-03-03343-9

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.