Abstract
Geometric questions which involve Euclidean distances often lead to polynomial relations of type F(x, y, z)=0 for some F ∈ ℝ[x, y, z]. Several problems of Combinatorial Geometry can be reduced to studying such polynomials which have many zeroes on n×n×n Cartesian products. The special case when the relation F = 0 can be re-written as z = f(x, y), for a polynomial or rational function f ∈ ℝ(x, y), was considered in [8]. Our main goal is to extend the results found there to full generality (and also to show some geometric applications, e.g. one on “circle grids”).
The main result of our paper concerns low-degree algebraic sets F which contain “too many” points of a (large) n×n×n Cartesian product. Then we can conclude that, in a neighborhood of almost any point, the set F must have a very special (and very simple) form. More precisely, then either F is a cylinder over some curve, or we find a group behind the scene: F must be the image of the graph of the multiplication function of an appropriate algebraic group (see Theorem 3 for the 3D special case and Theorem 27 in full generality).
Similar content being viewed by others
References
P. Brass and C. Knauer: On counting point-hyperplane incidences, Comput. Geom. Theory Appl. 25(1–2) (2003), 13–20.
B. Chazelle, H. Edelsbrunner, L. Guibas, and M. Sharir: A singly-exponential stratification scheme for real semi-algebraic varieties and its applications, Theoretical Computer Science 84 (1991), 77–105.
Gy. Elekes: Circle grids and bipartite graphs of distances, Combinatorica 15 (1995), 167–174.
Gy. Elekes: On the number of sums and products, Acta Arithmetica LXXXI.4 (1997), 365–367.
Gy. Elekes. Sums versus products in number theory, algebra and Erdős geometry, Paul Erdős and his mathematics, II (Budapest, 1999), Bolyai Soc. Math. Stud. 11, János Bolyai Math. Soc., Budapest, 2002, 241–290.
P. Erdős, L. Lovász, and K. Vesztergombi: On graphs of large distances, Discrete and Computational Geometry 4 (1989), 541–549.
Gy. Elekes, M. B. Nathanson, and I. Z. Ruzsa: Convexity and sumsets, Journal of Number Theory 83 (1999), 194–201.
Gy. Elekes and L. Rónyai: A combinatorial problem on polynomials and rational functions, Journal of Combinatorial Theory, series A 89 (2000), 1–20.
M. Gromov: Groups of polynomial growth and expanding maps, Publ. Math., Inst. Hautes Étud. Sci. 53 (1981), 53–78.
J. Harris: Algebraic geometry: A first course, Springer-Verlag, New York, 1992.
F. Hirzebruch: Singularities of algebraic surfaces and characteristic numbers, Contemp. Math. 58 (1986), 141–155.
E. Hrushovski: Contributions to stable model theory, PhD thesis, University of California, Berkeley, 1986.
N. Jacobson: Lectures in abstract algebra, III. Theory of fields and Galois theory, University Series in Higher Mathematics, Van Nostrand Reinhold Co., 1964.
J. Kollár: Rational Curves on Algebraic Varieties, Springer, Berlin, 1996.
J. Matoušek: Lectures on Discrete Geometry, Springer-Verlag, Berlin, Heidelberg, New York, 2002.
G. Megyesi and E. Szabó: On the tacnodes of configurations of conics in the projective plane, Mathematische Annalen 305 (1996), 693–703.
A. L. Onishchik and E. B. Vinberg: Lie groups and algebraic groups, Springer, Berlin, 1990.
A. Pillay: Geometric Stability Theory, volume 32 of Oxford Logic Guides, Clarendon Press, Oxford, 1996.
J. Pach and M. Sharir: On the number of incidences between points and curves, Combinatorics, Probability and Computing 7 (1998), 121–127.
E. Szemerédi and W. T. Trotter Jr.: Extremal problems in Discrete Geometry, Combinatorica 3(3–4) (1983), 381–392.
A. Weil: On algebraic groups and homogeneous spaces, American Journal of Mathematics 77 (1955), 493–512.
A. Weil: On algebraic groups of transformations, American Journal of Mathematics 77 (1955), 355–391.
Author information
Authors and Affiliations
Corresponding author
Additional information
Dedicated to the memory of Paul Erdős.
Research partially supported by OTKA grants T 42750 and T 47056
Research partially supported by OTKA grants K84233 and NK81203
Rights and permissions
About this article
Cite this article
Elekes, G., Szabó, E. How to find groups? (and how to use them in Erdős geometry?). Combinatorica 32, 537–571 (2012). https://doi.org/10.1007/s00493-012-2505-6
Received:
Revised:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00493-012-2505-6