Hilbert's Tenth Problem for function fields of varieties over number fields and p-adic fields

Kirsten Eisentraeger

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

2006-10-04

Abstract:Let k be a subfield of a p-adic field of odd residue characteristic, and let L be the function field of a variety of dimension n >= 1 over k. Then Hilbert's Tenth Problem for L is undecidable. In particular, Hilbert's Tenth Problem for function fields of varieties over number fields of dimension >= 1 is undecidable.

Number Theory

What problem does this paper attempt to address?

This paper attempts to solve the undecidability of Hilbert's Tenth Problem (HTP) in specific function fields. Specifically, the author Kirsten Eisenträger studied the following problem:

Let \(k\) be a sub - field of a \(p\)-adic number field with odd - characteristic residue, and \(L\) be the function field of an algebraic variety of dimension \(n\geq1\) over \(k\). Then for \(L\), Hilbert's Tenth Problem is undecidable. In particular, for the function fields of algebraic varieties over number fields of dimension \(\geq1\), Hilbert's Tenth Problem is also undecidable.

### Main contributions
1. **Generalize existing results**: The author generalizes the results of Kim and Roush on rational function fields to rational function fields of finite extensions.
2. **Construct Diophantine models**: Prove the undecidability of Hilbert's Tenth Problem by constructing Diophantine models of integer addition and multiplication.
3. **Use elliptic curves**: Use the set of rational points on an elliptic curve of rank one as a Diophantine set \(S\), and establish a bijective relationship from the set of integers \(\mathbb{Z}\) to \(S\).

### Overview of the paper structure
- **Introduction**: Introduces the historical background of Hilbert's Tenth Problem and its research progress on different rings.
- **Preliminaries**: Includes the basic concepts of Diophantine equations, the definition of algebraic function fields, etc.
- **Main theorem**: Proves that under specific conditions, Hilbert's Tenth Problem is undecidable.
- **Technical details**: Describes in detail how to construct elliptic curves and how to use these curves to prove the main theorem.

### Core conclusion
Through the study of polynomial equations on a specific function field \(L\), it is proved that when \(L\) is the function field of an algebraic variety of dimension \(n\geq1\) over \(k\), there is no algorithm that can determine whether a given polynomial equation has a solution. This conclusion further expands our understanding of Hilbert's Tenth Problem and provides a new perspective for research in related fields.

If you have more specific questions or need further explanation, please let me know!