pith. sign in

arxiv: 2104.04339 · v4 · submitted 2021-04-09 · 🧮 math.LO · math.CO

Incidence bounds in positive characteristic via valuations and distality

Martin Bays , Jean-Fran\c{c}ois Martin This is my paper

Pith reviewed 2026-05-24 13:18 UTC · model grok-4.3

classification 🧮 math.LO math.CO
keywords distalityvalued fieldsincidence boundsSzemerédi-Trotter theoremElekes-Szabó theoremfunction fieldspositive characteristicmodel theory
0
0 comments X

The pith

Valued fields with finite residue fields have distal quantifier-free relations, which yields Szemerédi-Trotter-type incidence bounds for function fields over finite fields.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper proves that quantifier-free relations on valued fields with finite residue field are distal. A theorem of Chernikov-Galvin-Starchenko then transfers this distality into Szemerédi-Trotter-like bounds on point-curve incidences inside function fields over finite fields. The same transfer produces a version of the Elekes-Szabó theorem for these fields. The argument therefore moves incidence geometry into positive characteristic by replacing real or complex analysis with model-theoretic properties of valued fields.

Core claim

The central claim is that quantifier-free relations on valued fields with finite residue field are distal. By the Chernikov-Galvin-Starchenko theorem this distality directly supplies Szemerédi-Trotter-like incidence bounds for function fields over finite fields and, as a corollary, a version of the Elekes-Szabó theorem in the same setting.

What carries the argument

Distality of quantifier-free relations on valued fields with finite residue field, which licenses the application of combinatorial incidence theorems from model theory to the associated function fields.

If this is right

  • Szemerédi-Trotter-type incidence bounds hold for function fields over finite fields.
  • A version of the Elekes-Szabó theorem holds for function fields over finite fields.
  • Incidence geometry results that rely on distality become available in positive characteristic.
  • Model-theoretic distality serves as a bridge between valued-field structures and combinatorial bounds in algebraic geometry over finite fields.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The same valuation-plus-distality route may apply to other incidence problems whose underlying structures admit finite-residue valuations.
  • One could test whether additional model-theoretic tameness properties (beyond distality) likewise produce incidence bounds in positive characteristic.
  • The method offers a template for replacing analytic arguments with logical ones when moving combinatorial theorems across characteristics.

Load-bearing premise

The Chernikov-Galvin-Starchenko result on distal structures applies directly to the function fields over finite fields obtained from the valued fields in question.

What would settle it

An explicit configuration of points and curves in a function field over a finite field whose incidence count exceeds the bound implied by distality would falsify the claim.

read the original 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\'edi-Trotter-like incidence bounds for function fields over finite fields. We deduce a version of the Elekes-Szab\'o theorem for such fields.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 1 minor

Summary. The manuscript proves that quantifier-free relations on valued fields with finite residue field are distal. Invoking a theorem of Chernikov-Galvin-Starchenko, it obtains Szemerédi-Trotter-type incidence bounds for function fields over finite fields and deduces a version of the Elekes-Szabó theorem in this setting.

Significance. If the distality result and the subsequent application hold, the work supplies a model-theoretic route to incidence geometry over fields of positive characteristic, a setting where geometric methods often encounter additional difficulties. The explicit reduction via distality to combinatorial bounds is a concrete strength, and the focus on function fields over finite fields targets a case of independent interest.

major comments (2)
  1. [Abstract, paragraph 2] Abstract, paragraph 2: the deduction of incidence bounds for function fields over finite fields rests on the claim that the structures arising from the valued fields satisfy the hypotheses of the Chernikov-Galvin-Starchenko theorem (including the precise language, the form of the relations, and the transfer of distality). The manuscript must verify that no additional conditions on the valuation or the induced structure on the function field are required; otherwise the application does not go through directly.
  2. The central claim that distality of the quantifier-free relations yields the stated incidence bounds is load-bearing; any gap in confirming that the CGS hypotheses are met for the specific structures on function fields over finite fields would require a separate argument or additional hypotheses.
minor comments (1)
  1. [Introduction] The abstract is concise but supplies no indication of the language or the precise definition of the quantifier-free relations; a brief clarification in the introduction would help readers assess the scope.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and for highlighting the need for explicit verification in the application of the Chernikov-Galvin-Starchenko theorem. We address each major comment below and will incorporate clarifications in the revised manuscript.

read point-by-point responses

  1. Referee: [Abstract, paragraph 2] Abstract, paragraph 2: the deduction of incidence bounds for function fields over finite fields rests on the claim that the structures arising from the valued fields satisfy the hypotheses of the Chernikov-Galvin-Starchenko theorem (including the precise language, the form of the relations, and the transfer of distality). The manuscript must verify that no additional conditions on the valuation or the induced structure on the function field are required; otherwise the application does not go through directly.

    Authors: The distality result is proved for quantifier-free relations in the language of valued fields (with the valuation predicate and field operations) when the residue field is finite. Function fields over finite fields carry the induced structure from an ambient valued field with finite residue field; the incidence relations remain quantifier-free in this language. The CGS theorem applies to any structure whose definable relations are distal in this sense, with no further restrictions on the valuation required beyond the finite-residue-field hypothesis already used in the distality proof. We will add an explicit paragraph (likely in Section 2 or the introduction) that lists the CGS hypotheses and confirms each is met by the structures in the paper. revision: yes

  2. Referee: The central claim that distality of the quantifier-free relations yields the stated incidence bounds is load-bearing; any gap in confirming that the CGS hypotheses are met for the specific structures on function fields over finite fields would require a separate argument or additional hypotheses.

    Authors: We agree the link is central. Because the incidence relations on the function field are precisely the quantifier-free definable sets in the valued-field language, and distality has been established for all such relations under the finite-residue-field assumption, the CGS hypotheses hold without extra conditions or a separate argument. The manuscript already contains the necessary ingredients, but the referee is correct that an explicit cross-reference would strengthen the exposition. We will insert a short verification subsection making this mapping transparent. revision: yes

Circularity Check

0 steps flagged

No circularity; internal proof plus external theorem

full rationale

The paper states it proves distality of quantifier-free relations on valued fields with finite residue field (internal step). It then applies the Chernikov-Galvin-Starchenko result (external, no author overlap) to obtain incidence bounds on function fields over finite fields, and deduces an Elekes-Szabó version. No self-citations, no fitted parameters renamed as predictions, no self-definitional steps, and no load-bearing uniqueness imported from the authors' prior work. The derivation chain does not reduce to its inputs by construction.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract-only review yields no identifiable free parameters, axioms, or invented entities; the work appears to rest on standard model-theoretic background and the cited external theorem.

pith-pipeline@v0.9.0 · 5566 in / 1161 out tokens · 29804 ms · 2026-05-24T13:18:08.659662+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

20 extracted references · 20 canonical work pages

  1. [1]

    Matthias Aschenbrenner, Artem Chernikov, Allen Gehret, and Martin Ziegler, Distality in valued fields and related structures, arXiv:2008.09889

    work page arXiv 2008

  2. [2]

    Martin Bays and Emmanuel Breuillard, Projective geometries arising from E lekes- S zab \'o problems , arXiv:1806.03422

    work page arXiv

  3. [3]

    Bourgain, N

    J. Bourgain, N. Katz, and T. Tao, A sum-product estimate in finite fields, and applications, Geom. Funct. Anal. 14 (2004), no. 1, 27--57. 2053599

    work page 2004

  4. [4]

    (N.S.) 26 (2020), no

    Artem Chernikov, David Galvin, and Sergei Starchenko, Cutting lemma and Z arankiewicz's problem in distal structures , Selecta Math. (N.S.) 26 (2020), no. 2, Paper No. 25, 27. 4079189

    work page 2020

  5. [5]

    Artem Chernikov, Ya'acov Peterzil, and Sergei Starchenko, Model-theoretic E lekes- S zab \'o for stable and o-minimal hypergraphs , Forthcoming

    work page

  6. [6]

    Artem Chernikov and Pierre Simon, Externally definable sets and dependent pairs II , Trans. Amer. Math. Soc. 367 (2015), no. 7, 5217--5235. 3335415

    work page 2015

  7. [8]

    , Model-theoretic E lekes- S zab \'o in the strongly minimal case , arXiv:1801.09301

    work page arXiv

  8. [9]

    Evans and Ehud Hrushovski, Projective planes in algebraically closed fields, Proc

    David M. Evans and Ehud Hrushovski, Projective planes in algebraically closed fields, Proc. London Math. Soc. (3) 62 (1991), no. 1, 1--24. 1078211

    work page 1991

  9. [10]

    Engler and Alexander Prestel, Valued fields, Springer Monographs in Mathematics, Springer-Verlag, Berlin, 2005

    Antonio J. Engler and Alexander Prestel, Valued fields, Springer Monographs in Mathematics, Springer-Verlag, Berlin, 2005. MR2183496 (2007a:12005)

    work page 2005

  10. [11]

    orgy Elekes and Endre Szab\'o, How to find groups? (and how to use them in E rd\

    Gy\"orgy Elekes and Endre Szab\'o, How to find groups? (and how to use them in E rd\"os geometry?) , Combinatorica 32 (2012), no. 5, 537--571. 3004808

    work page 2012

  11. [12]

    Jacob Fox, J\'anos Pach, Adam Sheffer, Andrew Suk, and Joshua Zahl, A semi-algebraic version of Z arankiewicz's problem , J. Eur. Math. Soc. (JEMS) 19 (2017), no. 6, 1785--1810. 3646875

    work page 2017

  12. [13]

    Holly, Canonical forms for definable subsets of algebraically closed and real closed valued fields, J

    Jan E. Holly, Canonical forms for definable subsets of algebraically closed and real closed valued fields, J. Symbolic Logic 60 (1995), no. 3, 843--860. 1348997

    work page 1995

  13. [14]

    Ehud Hrushovski, On pseudo-finite dimensions, Notre Dame J. Form. Log. 54 (2013), no. 3-4, 463--495. 3091666

    work page 2013

  14. [15]

    1, 141--153

    Itay Kaplan, Thomas Scanlon, and Frank O Wagner, Artin- S chreier extensions in NIP and simple fields , Israel Journal of Mathematics 185 (2011), no. 1, 141--153

    work page 2011

  15. [16]

    211, Springer-Verlag, New York, 2002

    Serge Lang, Algebra, third ed., Graduate Texts in Mathematics, vol. 211, Springer-Verlag, New York, 2002. MR1878556 (2003e:00003)

    work page 2002

  16. [17]

    Sophie Stevens and Frank de Zeeuw, An improved point-line incidence bound over arbitrary fields, Bull. Lond. Math. Soc. 49 (2017), no. 5, 842--858. 3742451

    work page 2017

  17. [18]

    Pierre Simon, Type decomposition in NIP theories , J. Eur. Math. Soc. (JEMS) 22 (2020), no. 2, 455--476. 4049222

    work page 2020

  18. [19]

    105, Cambridge University Press, Cambridge, 2006

    Terence Tao and Van Vu, Additive combinatorics, Cambridge Studies in Advanced Mathematics, vol. 105, Cambridge University Press, Cambridge, 2006. 2289012

    work page 2006

  19. [20]

    40, Association for Symbolic Logic, La Jolla, CA; Cambridge University Press, Cambridge, 2012

    Katrin Tent and Martin Ziegler, A course in model theory, Lecture Notes in Logic, vol. 40, Association for Symbolic Logic, La Jolla, CA; Cambridge University Press, Cambridge, 2012. 2908005

    work page 2012

  20. [21]

    1103, Springer, Berlin, 1984, pp

    Volker Weispfenning, Quantifier elimination and decision procedures for valued fields, Models and sets ( A achen, 1983), Lecture Notes in Math., vol. 1103, Springer, Berlin, 1984, pp. 419--472. 775704

    work page 1983