How to find groups? (and how to use them in Erdős geometry?)
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 . 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).
Mathematics Subject Classification (2000)05A16 14N10
Unable to display preview. Download preview PDF.
- 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.Google Scholar
- E. Hrushovski: Contributions to stable model theory, PhD thesis, University of California, Berkeley, 1986.Google Scholar
- N. Jacobson: Lectures in abstract algebra, III. Theory of fields and Galois theory, University Series in Higher Mathematics, Van Nostrand Reinhold Co., 1964.Google Scholar
- J. Kollár: Rational Curves on Algebraic Varieties, Springer, Berlin, 1996.Google Scholar