Book contents
- Frontmatter
- Contents
- Acknowledgements
- 1 Introduction
- 2 Diophantine classes: definitions and basic facts
- 3 Diophantine equivalence and Diophantine decidability
- 4 Integrality at finitely many primes and divisibility of order at infinitely many primes
- 5 Bound equations for number fields and their consequences
- 6 Units of rings of W-integers of norm 1
- 7 Diophantine classes over number fields
- 8 Diophantine undecidability of function fields
- 9 Bounds for function fields
- 10 Diophantine classes over function fields
- 11 Mazur's conjectures and their consequences
- 12 Results of Poonen
- 13 Beyond global fields
- Appendix A Recursion (computability) theory
- Appendix B Number theory
- References
- Index
10 - Diophantine classes over function fields
Published online by Cambridge University Press: 14 October 2009
- Frontmatter
- Contents
- Acknowledgements
- 1 Introduction
- 2 Diophantine classes: definitions and basic facts
- 3 Diophantine equivalence and Diophantine decidability
- 4 Integrality at finitely many primes and divisibility of order at infinitely many primes
- 5 Bound equations for number fields and their consequences
- 6 Units of rings of W-integers of norm 1
- 7 Diophantine classes over number fields
- 8 Diophantine undecidability of function fields
- 9 Bounds for function fields
- 10 Diophantine classes over function fields
- 11 Mazur's conjectures and their consequences
- 12 Results of Poonen
- 13 Beyond global fields
- Appendix A Recursion (computability) theory
- Appendix B Number theory
- References
- Index
Summary
Having resolved the issues of Diophantine decidability over global function fields, we turn our attention to Diophantine definability over these fields. Our goal for this chapter is to produce vertical and horizontal definability results for “large” rings of functions, as we did for “large” number rings. The original results discussed in this chapter can be found in [93], [100] and [103].
We start with a function field version of the weak vertical method.
The weak vertical method revisited
In this section we revisit the weak vertical method and adjust it for function fields. As will be seen below, very little “adjusting” will be required.
Theorem 10.1.1. The weak vertical method for function fieldsLet K/L be a finite separable extension of function fields over finite fields of constants and let KN be the normal closure of K over L. Let {ω1 = 1, …, ωK} be a basis of K over L. Let Z ∈ K. Further, let V be a finite set of primes of K satisfying the following conditions.
Each prime of V is unramified over L and is the only K-factor of the prime below it in L.
Z is integral at all the primes of V.
For each p ∈ V there exists b(p) ∈ CL (the constant field of L) such that
{ω1, …, ωk} is a local integral basis with respect to every prime of V.
| V |> ka (Ω)HKN (Z), where a(Ω) is a constant defined as in Lemma 9.1.3.
- Type
- Chapter
- Information
- Hilbert's Tenth ProblemDiophantine Classes and Extensions to Global Fields, pp. 166 - 179Publisher: Cambridge University PressPrint publication year: 2006