Diophantine Undecidability of Holomorphy Rings of Function Fields of Characteristic 0

[Indécidabilité diophantienne des anneaux d’holomorphie de corps de fonctions de caractéristique nulle]

Moret-Bailly, Laurent¹ ; Shlapentokh, Alexandra² 

¹IRMAR Université de Rennes 1 Campus de Beaulieu 35042 Rennes Cedex (France)
²East Carolina University Department of Mathematics Greenville, NC 27858 (U.S.A.)

Annales de l'Institut Fourier, Tome 59 (2009) no. 5, pp. 2103-2118

Abstract (VO)

Let $K$ be a one-variable function field over a field of constants of characteristic 0. Let $R$ be a holomorphy subring of $K$, not equal to $K$. We prove the following undecidability results for $R$: if $K$ is recursive, then Hilbert’s Tenth Problem is undecidable in $R$. In general, there exist $x_1,...,x_n\in R$ such that there is no algorithm to tell whether a polynomial equation with coefficients in $\mathbb{Q}(x_1,...,x_n)$ has solutions in $R$.

Résumé

Soit $K$ un corps de fonctions d’une variable sur un corps de caractéristique nulle. Soit $R$ un anneau d’holomorphie de $K$, distinct de $K$. Si $K$ est récursif, nous démontrons que le dixième problème de Hilbert sur $R$ est indécidable. En général, il existe $x_1,...,x_n$ dans $R$ tels qu’il n’y ait pas d’algorithme décidant si une équation polynomiale à coefficients dans $\mathbb{Q}(x_1,...,x_n)$ a une solution dans $R$.

Détail

DOI : 10.5802/aif.2484

Classification : 11U05, 03D35, 11G05
Keywords: Hilbert’s tenth problem, elliptic curves, Diophantine undecidability
Mots-clés : dixième problème de Hilbert, courbes elliptiques, indécidabilité diophantienne