Model-theoretic Elekes-Szab\'o for stable and o-minimal hypergraphs
From MaRDI portal
Publication:6364609
DOI10.1215/00127094-2023-0018arXiv2104.02235OpenAlexW3143206344MaRDI QIDQ6364609FDOQ6364609
Authors: Artem Chernikov, Ya'acov Peterzil, S. Starchenko 
Publication date: 5 April 2021
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 ); and 2) -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.
Full work available at URL: https://doi.org/10.1215/00127094-2023-0018
Classification theory, stability, and related concepts in model theory (03C45) Erd?s problems and related topics of discrete geometry (52C10)
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)
