Hilbert's Tenth Problem for function fields of varieties over C

Kirsten Eisentraeger

DOI: https://doi.org/10.48550/arXiv.math/0609540

2006-09-20

Abstract:Let K be the function field of a variety of dimension at least 2 over an algebraically closed field of characteristic zero. Then Hilbert's Tenth Problem for K is undecidable. This generalizes the result by Kim and Roush from 1992 that Hilbert's Tenth Problem for the purely transcendental function field C(t_1,t_2) is undecidable.

Number Theory

What problem does this paper attempt to address?

The problem that this paper attempts to solve is the undecidability of Hilbert's Tenth Problem (HTP) in specific function fields. Specifically, the author Kirsten Eisenträger studied Hilbert's Tenth Problem in the function fields of high - dimensional varieties over an algebraically closed field of characteristic zero.

### Problem Background

The original form of Hilbert's Tenth Problem was: Given a polynomial equation \( f(x_1,\ldots,x_n) = 0 \) with integer coefficients, does there exist an algorithm to determine whether the equation has integer solutions? Matijasevič [Mat70] proved that for the ring of integers \( \mathbb{Z} \), such an algorithm does not exist, that is, Hilbert's Tenth Problem is undecidable.

### Core Contribution of the Paper

In this paper, Eisenträger proved that for the function field \( K \) of a variety over an algebraically closed field of characteristic zero, if the dimension of the variety \( \geq 2 \), then Hilbert's Tenth Problem is undecidable. This generalizes the result of Kim and Roush [KR92] in 1992, who proved that Hilbert's Tenth Problem on the purely transcendental function field \( \mathbb{C}(t_1,t_2) \) is undecidable.

### Main Results

The main results of the paper can be summarized in the following two theorems:

1. **Theorem 1.1**:
Let \( K \) be the function field of a surface over an algebraically closed field \( k \) of characteristic zero. Then Hilbert's Tenth Problem on \( K \) is undecidable.

2. **Theorem 1.2**:
Let \( K \) be the function field of a variety of dimension \( \geq 2 \) over an algebraically closed field \( k \) of characteristic zero. Then Hilbert's Tenth Problem on \( K \) is undecidable.

### Solution Method

To prove these results, Eisenträger constructed a diophantine model. The specific steps are as follows:

- **Constructing Elliptic Curves**: By Moret - Bailly's theorem [MB03], two elliptic curves \( E_1 \) and \( E_2 \) of rank one were constructed, which have generators on the function field \( K \).
- **Defining Diophantine Sets**: Using the point sets on the elliptic curves, a diophantine set \( A \) isomorphic to \( \mathbb{Z}\times\mathbb{Z} \) was defined.
- **Defining Basic Operations**: It was proved that basic operations such as addition and multiplication are existentially quantifier - definable in this diophantine model.
- **Proving Undecidability**: Through the above construction, it was finally proved that Hilbert's Tenth Problem on these function fields is undecidable.

### Summary

This paper successfully generalizes the undecidability of Hilbert's Tenth Problem to the function fields of higher - dimensional varieties by constructing an appropriate diophantine model, further deepening our understanding of this classic problem.