arXiv++ Combinatorics

We show that if a collection of lines in a vector space over a finite field has "dimension" at least 2(d-1) + beta, then its union has "dimension" at least d + beta. This is the sharp estimate of its type when no structural assumptions are placed on the collection of lines. We also consider some refinements and extensions of the main result, including estimates for unions of k-planes.

Using the polynomial method of Dvir \cite{dvir}, we establish optimal estimates for Kakeya sets and Kakeya maximal functions associated to algebraic varieties $W$ over finite fields $F$. For instance, given an $n-1$-dimensional projective variety $W \subset ¶^n(F)$, we establish the Kakeya maximal estimate $$ \| \sup_{γ\ni w} \sum_{v \in γ(F)} |f(v)| \|_{\ell^n(W)} \leq C_{n,W,d} |F|^{(n-1)/n} \|f\|_{\ell^n(F^n)}$$ for all functions $f: F^n \to \R$ and $d \geq 1$, where for each $w \in W$, the supremum is over all irreducible algebraic curves in $F^n$ of degree at most $d$ that pass through $w$ but do not lie in $W$, and with $C_{n,W,d}$ depending only on $n, d$ and the degree of $W$; the special case when $W$ is the hyperplane at infinity in particular establishes the Kakeya maximal function conjecture in finite fields, which in turn strengthens the results of Dvir.