Abstract
Let F ⊆ K be number fields, and let \( \mathcal{O}_F \) and \( \mathcal{O}_K \) be their rings of integers. If there exists an elliptic curve E over F such that rk, E(F) = rk, E(K) = 1, then there exists a diophantine definition of \( \mathcal{O}_F \) over \( \mathcal{O}_K \) .
This research was supported by NSF grant DMS-9801104, and a Packard Fellowship.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
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), Amer. Math. Soc., Providence, RI, 2000, pp. 253–260.
Martin Davis, Arithmetical problems and recursively enumerable predicates, J. Symbolic Logic 18 (1953), 33–41.
J. Denef, Diophantine sets over algebraic integer rings. II, Trans. Amer. Math. Soc. 257 (1980), no. 1, 227–236.
J. Denef and L. Lipshitz, Diophantine sets over some rings of algebraic integers, J. London Math. Soc. (2) 18 (1978), no. 3, 385–391.
Jan Denef, Leonard Lipshitz, Thanases Pheidas, and Jan Van Geel (eds.), Hilbert’s tenth problem: relations with arithmetic and algebraic geometry, American Mathematical Society, Providence, RI, 2000, Papers from the workshop held at Ghent University, Ghent, November 2–5, 1999.
Martin Davis, Hilary Putnam, and Julia Robinson, The decision problem for exponential diophantine equations, Ann. of Math. (2) 74 (1961), 425–436.
Kirsten Eisenträger, Ph. D. thesis, University of California, Berkeley, in preparation.
K. H. Kim and F. W. Roush, Diophantine undecidability of C(t1,t2), J. Algebra 150 (1992), no. 1, 35–44.
Ju. V. Matijasevič, The Diophantineness of enumerable sets, Dokl. Akad. Nauk SSSR 191 (1970), 279–282.
B. Mazur, Questions of decidability and undecidability in number theory, J. Symbolic Logic 59 (1994), no. 2, 353–371.
Laurent Moret-Bailly, paper in preparation, extending results presented in a lecture 18 June 2001 at a conference in honor of Michel Raynaud in Orsay, France.
Thanases Pheidas, Hilbert’s tenth problem for a class of rings of algebraic integers, Proc. Amer. Math. Soc. 104 (1988), no. 2, 611–620.
Thanases Pheidas, Hilbert’s tenth problem for fields of rational functions over finite fields, Invent. Math. 103 (1991), no. 1, 1–8.
Thanases Pheidas, An effort to prove that the existential theory of Q is undecidable, Hilbert’s tenth problem: relations with arithmetic and algebraic geometry (Ghent, 1999), Amer. Math. Soc., Providence, RI, 2000, pp. 237–252.
Thanases Pheidas and Karim Zahidi, Undecidability of existential theories of rings and fields: a survey, Hilbert’s tenth problem: relations with arithmetic and algebraic geometry (Ghent, 1999), Amer. Math. Soc., Providence, RI, 2000, pp. 49–105.
Jean-Pierre Serre, Lectures on the Mordell-Weil theorem, third ed., Friedr. Vieweg & Sohn, Braunschweig, 1997, Translated from the French and edited by Martin Brownfrom notes by Michel Waldschmidt, With a foreword by Brown and Serre.
Alexandra Shlapentokh, Extension of Hilbert’s tenth problem to some algebraic number fields, Comm. Pure Appl. Math. 42 (1989), no. 7, 939–962.
Alexandra Shlapentokh, Hilbert’s tenth problem for rings of algebraic functions in one variable over fields of constants of positive characteristic, Trans. Amer. Math. Soc. 333 (1992), no. 1, 275–298.
Alexandra Shlapentokh, Hilbert’s tenth problem for algebraic function fields over infinite fields of constants of positive characteristic, Pacific J. Math. 193 (2000), no. 2, 463–500.
Alexandra Shlapentokh, Hilbert’s tenth problem over number fields, a survey, Hilbert’s tenth problem: relations with arithmetic and algebraic geometry (Ghent, 1999), Amer. Math. Soc., Providence, RI, 2000, pp. 107–137.
Joseph H. Silverman, The arithmetic of elliptic curves, Springer-Verlag, New York, 1992, Corrected reprint of the 1986 original.
Carlos R. Videla, Hilbert’s tenth problem for rational function fields in characteristic 2, Proc. Amer. Math. Soc. 120 (1994), no. 1, 249–253.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2002 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Poonen, B. (2002). Using Elliptic Curves of Rank One towards the Undecidability of Hilbert’s Tenth Problem over Rings of Algebraic Integers. In: Fieker, C., Kohel, D.R. (eds) Algorithmic Number Theory. ANTS 2002. Lecture Notes in Computer Science, vol 2369. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45455-1_4
Download citation
DOI: https://doi.org/10.1007/3-540-45455-1_4
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-43863-2
Online ISBN: 978-3-540-45455-7
eBook Packages: Springer Book Archive