{"id":"arxiv/2607.03366","url":"https://arxiv.org/abs/2607.03366","tags":["math.CO"],"score":0,"title":"A Geometric Criterion for Degeneracy in the Elekes-Szabó Theorem","domain":"math.CO","source":"arxiv","authors":["Mehdi Makhul"],"reviews":0,"subject":"math.CO","summary":"The Elekes-Szabó theorem establishes that an irreducible algebraic hypersurface $Z(F)$ contains few grid points unless it exhibits a specific group-related structure. Identifying this structure from the polynomial $F$ is a challenging problem in combinatorial geometry. Our first main result (Theorem 2.3) provides a local geometric criterion to detect such group-related hypersurfaces. By applying this criterion, we develop a geometric framework for boundary varieties, which are defined by the vanishing of partial derivatives along $Z(F)$. In Theorem 2.4, we show that for group-related…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-07-03","reactions":{}}