How to find groups? (and how to use them in Erdős geometry?) Authors György Elekes Mathematical Institute of Eötvös University Endre Szabó Alfréd Rényi Mathematical Institute Article

First Online: 04 October 2012 Received: 21 April 2008 Revised: 20 September 2011 DOI :
10.1007/s00493-012-2505-6

Cite this article as: Elekes, G. & Szabó, E. Combinatorica (2012) 32: 537. doi:10.1007/s00493-012-2505-6
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).

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

References [1]

P. Brass and

C. Knauer : On counting point-hyperplane incidences,

Comput. Geom. Theory Appl.
25 (

1 –

2 ) (2003), 13–20.

MathSciNet MATH CrossRef [2]

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.

MATH CrossRef [3]

Gy. Elekes : Circle grids and bipartite graphs of distances,

Combinatorica
15 (1995), 167–174.

MathSciNet MATH CrossRef [4]

Gy. Elekes : On the number of sums and products,

Acta Arithmetica
LXXXI.4 (1997), 365–367.

MathSciNet [5]

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.

[6]

P. Erdős, L. Lovász , and

K. Vesztergombi : On graphs of large distances,

Discrete and Computational Geometry
4 (1989), 541–549.

MathSciNet CrossRef [7]

Gy. Elekes, M. B. Nathanson , and

I. Z. Ruzsa : Convexity and sumsets,

Journal of Number Theory
83 (1999), 194–201.

MathSciNet CrossRef [8]

Gy. Elekes and

L. Rónyai : A combinatorial problem on polynomials and rational functions,

Journal of Combinatorial Theory, series A
89 (2000), 1–20.

MathSciNet MATH CrossRef [9]

M. Gromov : Groups of polynomial growth and expanding maps,

Publ. Math., Inst. Hautes Étud. Sci.
53 (1981), 53–78.

MathSciNet MATH CrossRef [10]

J. Harris :

Algebraic geometry: A first course , Springer-Verlag, New York, 1992.

MATH [11]

F. Hirzebruch : Singularities of algebraic surfaces and characteristic numbers,

Contemp. Math.
58 (1986), 141–155.

MathSciNet CrossRef [12]

E. Hrushovski : Contributions to stable model theory, PhD thesis , University of California, Berkeley, 1986.

[13]

N. Jacobson : Lectures in abstract algebra, III. Theory of fields and Galois theory , University Series in Higher Mathematics, Van Nostrand Reinhold Co., 1964.

[14]

J. Kollár : Rational Curves on Algebraic Varieties , Springer, Berlin, 1996.

[15]

J. Matoušek :

Lectures on Discrete Geometry , Springer-Verlag, Berlin, Heidelberg, New York, 2002.

MATH CrossRef [16]

G. Megyesi and

E. Szabó : On the tacnodes of configurations of conics in the projective plane,

Mathematische Annalen
305 (1996), 693–703.

MathSciNet MATH CrossRef [17]

A. L. Onishchik and

E. B. Vinberg :

Lie groups and algebraic groups , Springer, Berlin, 1990.

MATH CrossRef [18]

A. Pillay :

Geometric Stability Theory , volume 32 of Oxford Logic Guides, Clarendon Press, Oxford, 1996.

MATH [19]

J. Pach and

M. Sharir : On the number of incidences between points and curves,

Combinatorics, Probability and Computing
7 (1998), 121–127.

MathSciNet MATH CrossRef [20]

E. Szemerédi and

W. T. Trotter Jr. : Extremal problems in Discrete Geometry,

Combinatorica
3 (3–4) (1983), 381–392.

MathSciNet MATH CrossRef [21]

A. Weil : On algebraic groups and homogeneous spaces,

American Journal of Mathematics
77 (1955), 493–512.

MathSciNet MATH CrossRef [22]

A. Weil : On algebraic groups of transformations,

American Journal of Mathematics
77 (1955), 355–391.

MathSciNet MATH CrossRef © János Bolyai Mathematical Society and Springer-Verlag Berlin Heidelberg 2012