## Hilbert’s Tenth Problem and Mazur’s Conjecture for large subrings of $\mathbb {Q}$

HTML articles powered by AMS MathViewer

- by Bjorn Poonen PDF
- J. Amer. Math. Soc.
**16**(2003), 981-990 Request permission

## Abstract:

We give the first examples of infinite sets of primes $S$ such that Hilbert’s Tenth Problem over $\mathbb {Z}[S^{-1}]$ has a negative answer. In fact, we can take $S$ to be a density 1 set of primes. We show also that for some such $S$ there is a punctured elliptic curve $E’$ over $\mathbb {Z}[S^{-1}]$ such that the topological closure of $E’(\mathbb {Z}[S^{-1}])$ in $E’(\mathbb {R})$ has infinitely many connected components.## References

- Mohamed Ayad,
*Points $S$-entiers des courbes elliptiques*, Manuscripta Math.**76**(1992), no. 3-4, 305–324 (French). MR**1185022**, DOI 10.1007/BF02567763 - 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 - Jan Denef, Leonard Lipshitz, Thanases Pheidas, and Jan Van Geel (eds.),
*Hilbert’s tenth problem: relations with arithmetic and algebraic geometry*, Contemporary Mathematics, vol. 270, American Mathematical Society, Providence, RI, 2000. Papers from the workshop held at Ghent University, Ghent, November 2–5, 1999. MR**1802007**, DOI 10.1090/conm/270 - Martin Davis, Hilary Putnam, and Julia Robinson,
*The decision problem for exponential diophantine equations*, Ann. of Math. (2)**74**(1961), 425–436. MR**133227**, DOI 10.2307/1970289
[Eve02]everest2002 Graham Everest, - Ju. V. Matijasevič,
*The Diophantineness of enumerable sets*, Dokl. Akad. Nauk SSSR**191**(1970), 279–282 (Russian). MR**0258744** - Barry Mazur,
*The topology of rational points*, Experiment. Math.**1**(1992), no. 1, 35–45. MR**1181085** - 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** - Jean-Pierre Serre,
*Propriétés galoisiennes des points d’ordre fini des courbes elliptiques*, Invent. Math.**15**(1972), no. 4, 259–331 (French). MR**387283**, DOI 10.1007/BF01405086 - J.-P. Serre,
*A course in arithmetic*, Graduate Texts in Mathematics, No. 7, Springer-Verlag, New York-Heidelberg, 1973. Translated from the French. MR**0344216** - 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** - Jean-Pierre Serre,
*Lectures on the Mordell-Weil theorem*, 3rd ed., Aspects of Mathematics, Friedr. Vieweg & Sohn, Braunschweig, 1997. Translated from the French and edited by Martin Brown from notes by Michel Waldschmidt; With a foreword by Brown and Serre. MR**1757192**, DOI 10.1007/978-3-663-10632-6 - 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,
*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**
[Shl03]shlapentokh2003 Alexandra Shlapentokh, - Joseph H. Silverman,
*Wieferich’s criterion and the $abc$-conjecture*, J. Number Theory**30**(1988), no. 2, 226–237. MR**961918**, DOI 10.1016/0022-314X(88)90019-4 - Joseph H. Silverman,
*The arithmetic of elliptic curves*, Graduate Texts in Mathematics, vol. 106, Springer-Verlag, New York, 1992. Corrected reprint of the 1986 original. MR**1329092** - Sam Perlis,
*Maximal orders in rational cyclic algebras of composite degree*, Trans. Amer. Math. Soc.**46**(1939), 82–96. MR**15**, DOI 10.1090/S0002-9947-1939-0000015-X - Garrett Birkhoff and Morgan Ward,
*A characterization of Boolean algebras*, Ann. of Math. (2)**40**(1939), 609–610. MR**9**, DOI 10.2307/1968945

*Zsigmondy’s theorem for elliptic curves*, preprint, 11 October 2002. [KR92]kim-roush1992b Ki Hang Kim and Fred W. Roush,

*An approach to rational Diophantine undecidability*, Proceedings of Asian Mathematical Conference, 1990 (Hong Kong, 1990) (River Edge, NJ), World Sci. Publishing, 1992, pp. 242–248.

*A ring version of Mazur’s conjecture on topology of rational points*, Internat. Math. Res. Notices (2003), no. 7, 411–422.

## Additional Information

**Bjorn Poonen**- Affiliation: Department of Mathematics, University of California, Berkeley, California 94720-3840
- MR Author ID: 250625
- ORCID: 0000-0002-8593-2792
- Email: poonen@math.berkeley.edu
- Received by editor(s): December 8, 2002
- Published electronically: July 8, 2003
- Additional Notes: This research was supported by NSF grant DMS-0301280 and a Packard Fellowship.
- © Copyright 2003 American Mathematical Society
- Journal: J. Amer. Math. Soc.
**16**(2003), 981-990 - MSC (2000): Primary 11U05; Secondary 11G05
- DOI: https://doi.org/10.1090/S0894-0347-03-00433-8
- MathSciNet review: 1992832