Model-theoretic Elekes-Szabó for stable and o-minimal hypergraphs
Abstract
A theorem of Elekes and Szabó recognizes algebraic groups among certain complex algebraic varieties with maximal size intersections with finite grids. We establish a generalization to relations of any arity and dimension, definable in: 1) stable structures with distal expansions (includes algebraically and differentially closed fields of characteristic $0$); and 2) $o$-minimal expansions of groups. Our methods provide explicit bounds on the power saving exponent in the non-group case. Ingredients of the proof include: a higher arity generalization of the abelian group configuration theorem in stable structures, along with a purely combinatorial variant characterizing Latin hypercubes that arise from abelian groups; and Zarankiewicz-style bounds for hypergraphs definable in distal structures.
- Publication:
-
arXiv e-prints
- Pub Date:
- April 2021
- DOI:
- 10.48550/arXiv.2104.02235
- arXiv:
- arXiv:2104.02235
- Bibcode:
- 2021arXiv210402235C
- Keywords:
-
- Mathematics - Logic;
- Mathematics - Algebraic Geometry;
- Mathematics - Combinatorics;
- Mathematics - Group Theory;
- 03C45;
- 52C10
- E-Print:
- 78 pages