Hostname: page-component-78c5997874-v9fdk Total loading time: 0 Render date: 2024-11-06T04:19:36.336Z Has data issue: false hasContentIssue false

THE ANALOGUE OF BÜCHI'S PROBLEM FOR RATIONAL FUNCTIONS

Published online by Cambridge University Press:  04 January 2007

THANASES PHEIDAS
Affiliation:
Department of Mathematics, University of Crete, 71409 Heraklion, [email protected]
XAVIER VIDAUX
Affiliation:
Universidad de Concepción, Facultad de Ciencias Físicas y Matemáticas, Departamento de Matemática, Casilla 160-C, Concepción, [email protected]
Get access

Abstract

Büchi's problem asked whether there exists an integer $M$ such that the surface defined by a system of equations of the form

$$x_{n}^2+x_{n-2}^2=2x_{n-1}^2+2,\quad n=2,\dotsc, M-1,$$

has no integer points other than those that satisfy $\pm x_n=\pm x_0+n$ (the $\pm$ signs are independent). If answered positively, it would imply that there is no algorithm which decides, given an arbitrary system $Q=(q_1,\dotsc,q_r)$ of integral quadratic forms and an arbitrary $r$-tuple $B=(b_1,\dotsc,b_r)$ of integers, whether $Q$ represents $B$ (see T. Pheidas and X. Vidaux, Fund. Math. 185 (2005) 171–194). Thus it would imply the following strengthening of the negative answer to Hilbert's tenth problem: the positive-existential theory of the rational integers in the language of addition and a predicate for the property ‘$x$ is a square’ would be undecidable. Despite some progress, including a conditional positive answer (depending on conjectures of Lang), Büchi's problem remains open.

In this paper we prove the following:

  1. an analogue of Büchi's problem in rings of polynomials of characteristic either 0 or $p\geq17$ and for fields of rational functions of characteristic 0; and

  2. an analogue of Büchi's problem in fields of rational functions of characteristic $p\geq19$, but only for sequences that satisfy a certain additional hypothesis.

As a consequence we prove the following result in logic.

Let $F$ be a field of characteristic either 0 or at least 17 and let $t$ be a variable. Let $L_{t}$ be the first order language which contains symbols for 0 and 1, a symbol for addition, a symbol for the property ‘$x$ is a square’ and symbols for multiplication by each element of the image of $\mathbb{Z}[t]$ in $F[t]$. Let $R$ be a subring of $F(t)$, containing the natural image of $\mathbb{Z}[t]$ in $F(t)$. Assume that one of the following is true:

  1. $R\subset F[t]$;

  2. the characteristic of $F$ is either 0 or $p\geq19$.

Then multiplication is positive-existentially definable over the ring $R$, in the language $L_t$. Hence the positive-existential theory of $R$ in $L_{t}$ is decidable if and only if the positive-existential ring-theory of $R$ in the language of rings, augmented by a constant-symbol for $t$, is decidable.

Keywords

Type
Notes and Papers
Copyright
The London Mathematical Society 2006

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)