First-order definability of Campana Points and Darmon Points in algebraic function fields in one variable over number fields

Abstract

We give first-order definitions of Campana and Darmon points in algebraic function fields in one variable over number fields. These sets are geometric generalizations of $n$-full integers (integers whose nonzero valuations are at least $n$) and perfect $n$th powers, respectively, to more general algebraic varieties. For this we exploit the theory of quadratic Pfister forms, which were used by Becher, Daans & Dittmann to extend to the case of algebraic function fields in one variable the methods used by Koenigsmann when proving that $\mathbb{Z}$ is universally defined in $\mathbb{Q}$. These methods had already been generalized to arbitrary global fields by Park (2013) and Eisentr\"ager & Morrison (2018), and the author had already exploited these methods to find first-order definitions of Campana points (2024) and Darmon points (2024, with Handley) in the context of number fields. With the newly expanded version of these methods, we now transfer those results to the new context of algebraic function fields in one variable over number fields.