Representation of squares by monic second degree polynomials in the field of 𝑝-adic meromorphic functions

Pasten, Hector

doi:10.1090/S0002-9947-2011-05530-3

Representation of squares by monic second degree polynomials in the field of $p$-adic meromorphic functions
HTML articles powered by AMS MathViewer

by Hector Pasten PDF

Trans. Amer. Math. Soc. 364 (2012), 417-446 Request permission

Abstract:

We prove a result on the representation of squares by monic second degree polynomials in the field of $p$-adic meromorphic functions in order to solve positively Büchi’s $n$ squares problem in this field. Using this result, we prove the non-existence of an algorithm to decide whether a system of diagonal quadratic forms over $\mathbb {Z}[z]$ represents or not in the ring of $p$-adic entire functions (in the variable $z$) a given vector of polynomials in $\mathbb {Z}[z]$, and a similar result for $p$-adic meromorphic functions when the systems allow vanishing conditions on the unknowns. This improves the known negative answers for the analogue of Hilbert’s Tenth Problem for these structures. We also improve some results by Vojta concerning the case of complex meromorphic functions, the case of function fields and finally the case of number fields, and we show an intimate relation of the latter with Bombieri’s Conjecture for surfaces over number fields.

References

D. Allison, On square values of quadratics, Math. Proc. Cambridge Philos. Soc. 99 (1986), no. 3, 381–383. MR 830351, DOI 10.1017/S030500410006432X
Vladimir G. Berkovich, Spectral theory and analytic geometry over non-Archimedean fields, Mathematical Surveys and Monographs, vol. 33, American Mathematical Society, Providence, RI, 1990. MR 1070709, DOI 10.1090/surv/033
J. Browkin and J. Brzeziński, On sequences of squares with constant second differences, Canad. Math. Bull. 49 (2006), no. 4, 481–491. MR 2269761, DOI 10.4153/CMB-2006-047-9
William Cherry and Zhuan Ye, Non-Archimedean Nevanlinna theory in several variables and the non-Archimedean Nevanlinna inverse problem, Trans. Amer. Math. Soc. 349 (1997), no. 12, 5043–5071. MR 1407485, DOI 10.1090/S0002-9947-97-01874-6
René Cori and Daniel Lascar, Mathematical logic, Oxford University Press, Oxford, 2000. A course with exercises. Part I; Propositional calculus, Boolean algebras, predicate calculus; Translated from the 1993 French original by Donald H. Pelletier; With a foreword to the original French edition by Jean-Louis Krivine and a foreword to the English edition by Wilfrid Hodges. MR 1812156
Martin Davis, Hilbert’s tenth problem is unsolvable, Amer. Math. Monthly 80 (1973), 233–269. MR 317916, DOI 10.2307/2318447
J. Denef, The Diophantine problem for polynomial rings and fields of rational functions, Trans. Amer. Math. Soc. 242 , posted on (1978), 391–399. MR 0491583, DOI 10.1090/S0002-9947-1978-0491583-7
D. Hensley, Sequences of squares with second difference of two and a problem of logic, unpublished (1980-1983).
Pei-Chu Hu and Chung-Chun Yang, Meromorphic functions over non-Archimedean fields, Mathematics and its Applications, vol. 522, Kluwer Academic Publishers, Dordrecht, 2000. MR 1794326, DOI 10.1007/978-94-015-9415-8
L. Lipshitz, Quadratic forms, the five square problem, and diophantine equations, The Collected Works of J. Richard Büchi (S. MacLane and Dirk Siefkes, eds.) Springer, 677-680, (1990).
Leonard Lipshitz and Thanases Pheidas, An analogue of Hilbert’s tenth problem for $p$-adic entire functions, J. Symbolic Logic 60 (1995), no. 4, 1301–1309. MR 1367211, DOI 10.2307/2275889
Y. Matiyasevic, Enumerable sets are diophantine, Dokladii Akademii Nauk SSSR, 191 (1970), 279-282; English translation. Soviet Mathematics Doklady 11, 354-358 (1970).
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
Charles F. Osgood, A number theoretic-differential equations approach to generalizing Nevanlinna theory, Indian J. Math. 23 (1981), no. 1-3, 1–15. MR 722894
H. Pasten, T. Pheidas, and X. Vidaux, A survey on Büchi’s problem: new presentations and open problems, to appear in the Proceedings of the workshop, New methods in the Hilbert tenth problem, Hausdorff Institute of Mathematics, Bonn, Germany (2010).
Thanases Pheidas and Xavier Vidaux, The analogue of Büchi’s problem for rational functions, J. London Math. Soc. (2) 74 (2006), no. 3, 545–565. MR 2286432, DOI 10.1112/S0024610706023283
—, Corrigendum : The analogue of Büchi’s problem for rational functions, to appear in J. London Math. Soc. (2010).
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) Contemp. Math., vol. 270, Amer. Math. Soc., Providence, RI, 2000, pp. 49–105. MR 1802009, DOI 10.1090/conm/270/04369
R. G. E. Pinch, Squares in quadratic progression, Math. Comp. 60 (1993), no. 202, 841–845. MR 1181330, DOI 10.1090/S0025-5718-1993-1181330-X
B. Poonen, Hilbert’s Tenth Problem over rings of number-theoretic interest, downloadable from http://math.mit.edu/$\sim$poonen/papers/aws2003.pdf
Alain M. Robert, A course in $p$-adic analysis, Graduate Texts in Mathematics, vol. 198, Springer-Verlag, New York, 2000. MR 1760253, DOI 10.1007/978-1-4757-3254-2
Min Ru, A note on $p$-adic Nevanlinna theory, Proc. Amer. Math. Soc. 129 (2001), no. 5, 1263–1269. MR 1712881, DOI 10.1090/S0002-9939-00-05680-X
Alexandra Shlapentokh, Hilbert’s tenth problem, New Mathematical Monographs, vol. 7, Cambridge University Press, Cambridge, 2007. Diophantine classes and extensions to global fields. MR 2297245
A. Shlapentokh and X. Vidaux The analogue of Büchi’s problem for function fields, preprint.
X. Vidaux, An analogue of Hilbert’s 10th problem for fields of meromorphic functions over non-Archimedean valued fields, J. Number Theory 101 (2003), no. 1, 48–73. MR 1979652, DOI 10.1016/S0022-314X(03)00016-7
Paul Vojta, Diophantine approximations and value distribution theory, Lecture Notes in Mathematics, vol. 1239, Springer-Verlag, Berlin, 1987. MR 883451, DOI 10.1007/BFb0072989
Paul Vojta, Diagonal quadratic forms and Hilbert’s tenth problem, Hilbert’s tenth problem: relations with arithmetic and algebraic geometry (Ghent, 1999) Contemp. Math., vol. 270, Amer. Math. Soc., Providence, RI, 2000, pp. 261–274. MR 1802018, DOI 10.1090/conm/270/04378
—, Diophantine Approximation and Nevanlinna Theory, available online http://math.berkeley.edu/$\sim$vojta/cime/cime.pdf