Model-theoretic Elekes-Szab\'o for stable and o-minimal hypergraphs

DOI10.1215/00127094-2023-0018MaRDI QIDQ6364609zbMATH OpenOpenAlexFDO

Authors Artem Chernikov, Ya'acov Peterzil, S. Starchenko

Publication date 5 April 2021

Full work available at URL https://doi.org/10.1215/00127094-2023-0018

Mathematics Subject Classification ID

Classification theory, stability, and related concepts in model theory (03C45) Erd?s problems and related topics of discrete geometry (52C10)

Abstract: A theorem of Elekes and Szab'{o} 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.

This page was built for publication: Model-theoretic Elekes-Szab\'o for stable and o-minimal hypergraphs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6364609)