On the number of incidences between points and planes in three dimensions
Abstract
We prove an incidence theorem for points and planes in the projective space $\mathbb P^3$ over any field $\mathbb F$, whose characteristic $p\neq 2.$ An incidence is viewed as an intersection along a line of a pair of two-planes from two canonical rulings of the Klein quadric. The Klein quadric can be traversed by a generic hyperplane, yielding a line-line incidence problem in a three-quadric, the Klein image of a regular line complex. This hyperplane can be chosen so that at most two lines meet. Hence, one can apply an algebraic theorem of Guth and Katz, with a constraint involving $p$ if $p>0$. This yields a bound on the number of incidences between $m$ points and $n$ planes in $\mathbb P^3$, with $m\geq n$ as $$O\left(m\sqrt{n}+ m k\right),$$ where $k$ is the maximum number of collinear planes, provided that $n=O(p^2)$ if $p>0$. Examples show that this bound cannot be improved without additional assumptions. This gives one a vehicle to establish geometric incidence estimates when $p>0$. For a non-collinear point set $S\subseteq \mathbb F^2$ and a non-degenerate symmetric or skew-symmetric bilinear form $\omega$, the number of distinct values of $\omega$ on pairs of points of $S$ is $\Omega\left[\min\left(|S|^{\frac{2}{3}},p\right)\right]$. This is also the best known bound over $\mathbb R$, where it follows from the Szemerédi-Trotter theorem. Also, a set $S\subseteq \mathbb F^3$, not supported in a single semi-isotropic plane contains a point, from which $\Omega\left[\min\left(|S|^{\frac{1}{2}},p\right)\right]$ distinct distances to other points of $S$ are attained.
- Publication:
-
arXiv e-prints
- Pub Date:
- July 2014
- DOI:
- 10.48550/arXiv.1407.0426
- arXiv:
- arXiv:1407.0426
- Bibcode:
- 2014arXiv1407.0426R
- Keywords:
-
- Mathematics - Combinatorics;
- 68R05;
- 11B75
- E-Print:
- 25pp. A revised version: a remark, a lemma, and a theorem have been added