Incidence bounds in positive characteristic via valuations and distality

Martin Bays,Jean-François Martin
2023-07-28
Abstract:We prove distality of quantifier-free relations on valued fields with finite residue field. By a result of Chernikov-Galvin-Starchenko, this yields Szemerédi-Trotter-like incidence bounds for function fields over finite fields. We deduce a version of the Elekes-Szabó theorem for such fields.
Logic,Combinatorics
What problem does this paper attempt to address?