Abstract:For any subset $Z \subseteq \mathbb{Q}$, consider the set $S_Z$ of subfields $L\subseteq \overline{\mathbb{Q}}$ which contain a co-infinite subset $C \subseteq L$ that is universally definable in $L$ such that $C \cap \mathbb{Q}=Z$. Placing a natural topology on the set $\text{Sub}(\overline{\mathbb{Q}})$ of subfields of $\overline{\mathbb{Q}}$, we show that if $Z$ is not thin in $\mathbb{Q}$, then $S_Z$ is meager in $\text{Sub}(\overline{\mathbb{Q}})$. Here, thin and meager both mean "small", in terms of arithmetic geometry and topology, respectively. For example, this implies that only a meager set of fields $L$ have the property that the ring of algebraic integers $\mathcal{O}_L$ is universally definable in $L$. The main tools are Hilbert's Irreducibility Theorem and a new normal form theorem for existential definitions. The normal form theorem, which may be of independent interest, says roughly that every $\exists$-definable subset of an algebraic extension of $\mathbb Q$ is a finite union of single points and projections of hypersurfaces defined by absolutely irreducible polynomials.

Fields of definition of abelian subvarieties

Fields of definition of singular K3 surfaces

Fields of Definition of Components of Hurwitz Spaces

On the Frobenius fields of abelian varieties over number fields

Universally defining subrings in function fields

Subfields of algebraically maximal Kaplansky fields

Abelian varieties with many endomorphisms and their absolutely simple factors

Computing base extensions of ordinary abelian varieties over finite fields

Uniform bounds for fields of definition in projective spaces

Arithmetic rank bounds for abelian varieties over function fields

Fields of moduli and the arithmetic of tame quotient singularities

Places of algebraic function fields in arbitrary characteristic

Abelian varieties over finite fields with commutative endomorphism algebra: theory and algorithms

Abelian reduction in differential-algebraic and bimeromorphic geometry

Uniform existential definitions of valuations in function fields in one variable

Fields with few small points

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

Realizing Galois representations in abelian varieties by specialization

Brauertsch fields

Freiman's $3k-4$ Theorem for Function Fields

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