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

Abstract

We prove a result on the representation of squares by monic second degree polynomials in the field ofpp-adic meromorphic functions in order to solve positively Büchi’snnsquares problem in this field. Using this result, we prove the non-existence of an algorithm to decide whether a system of diagonal quadratic forms overZ[z]\mathbb {Z}[z]represents or not in the ring ofpp-adic entire functions (in the variablezz) a given vector of polynomials inZ[z]\mathbb {Z}[z], and a similar result forpp-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.