Last year I surveyed the known lower bounds for incidence problems in the plane (click here for the previous post in the series). I now return to this series of posts to survey the lower bounds that are known in higher dimensions.
From what is already known about incidences with curves in , it seems likely that the maximum number of incidences is usually obtained when the points and curves lie in a constant-degree two-dimensional surface. For example, Guth and Katz proved that the maximum number of point-line incidences in is obtained when the points and lines are in a common plane. While incidences with general curves are not fully understood even in the plane, various recent results hint that this is also the case for general curves in (for example, see here and here).
Due to the above, incidences with curves in are usually studied with a restriction on the number of curves that can be contained in various types of constant-degree surfaces; another reason for studying such restrictions is that they arise from interesting problems. For example, Guth and Katz proved the following theorem.
Theorem 1. Let be a set of points and let be a set of lines, both in , such that every plane contains lines of . Then
Currently, all of the known lower bounds for incidences with curves in are simple extensions of the planar bounds that we studied in the previous posts. In the current post we only present one such bound. Specifically, we extend Elekes’ planar construction to show that Theorem 1 is tight. The following posts will focus on the more challenging issues that arise for incidences with higher-dimensional objects.
Claim 1. Consider integers and that satisfy and . Then there exist a set of points and a set of lines, both in , such that every plane contains lines of and
Proof. Set and , and let
For our set of lines, we take
First, notice that we indeed have
For any line and , there exists a unique point in that is incident to and whose -coordinate is . That is, every line of is incident to exactly points of . Thus, we have
It remains to verify that every plane contains lines of . We first consider a plane that is defined by an equation of the form (that is, a plane that contains lines that are parallel to the -axis). Such a plane contains exactly the lines that have and in their definition in . There are such lines.
Next, consider a plane that is not defined by an equation of the form . In this case, for every choice of , the plane intersects in a unique line. That is, for every choice of as in the definition of , there is at most one line of with these parameters that is contained in . Thus, contains lines of .