Abstract:In this paper, we study questions of definability and decidability for infinite algebraic extensions ${\bf K}$ of $\mathbb{F}_p(t)$ and their subrings of $\mathcal{S}$-integral functions. We focus on fields ${\bf K}$ satisfying a local property which we call $q$-boundedness. This can be considered a function field analogue of prior work of the first author which considered algebraic extensions of $\mathbb{Q}$. One simple consequence of our work states that if ${\bf K}$ is a $q$-bounded Galois extension of $\mathbb{F}_p(t)$, then the integral closure $\mathcal{O}_{\bf K}$ of $\mathbb{F}_p[t]$ inside ${\bf K}$ is first-order definable in ${\bf K}$. Under the additional assumption that the constant subfield of ${\bf K}$ is infinite, it follows that both $\mathcal{O}_{\bf K}$ and ${\bf K}$ have undecidable first-order theories. Our primary tools are norm equations and the Hasse Norm Principle, in the spirit of Rumely. Our paper has an intersection with a recent arXiv preprint by Martínez-Ranero, Salcedo, and Utreras, although our definability results are more extensive and undecidability results are much stronger.

Existential definability and diophantine stability

Definability and decidability for rings of integers in totally imaginary fields

Existential rank and essential dimension of diophantine sets

Uniform existential definitions of valuations in function fields in one variable

A topological approach to undefinability in algebraic extensions of $\mathbb{Q}$

Defining $\mathbb Z$ using unit groups

First-order definability of Darmon points in number fields

First-order definitions of rings of integral functions over algebraic extensions of function fields and undecidability

Universally defining subrings in function fields

The Steinitz Realization Problem

Alienation of the quadratic, exponential and d'Alembert functional equations

Stability of ideal lattices from quadratic number fields

Quadratic Diophantine equations, the Heisenberg group and formal languages

Generic Stability of Linear Algebraic Groups over ℂ[[t]]

Descent of the Definition Field of a Tower of Function Fields and Applications

The Frobenius problem over number fields with a real embedding

Nondefinability results with entire functions of finite order in polynomially bounded o-minimal structures

An algebraic approach to MSO-definability on countable linear orderings

Arithmetic representations of fundamental groups II: finiteness

An analogue of a conjecture of Rasmussen and Tamagawa for abelian varieties over function fields

Existential closedness of $\overline{\mathbb{Q}}$ as a globally valued field via Arakelov geometry