The Kakeya set and maximal conjectures for algebraic varieties over finite fields

Abstract

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 {\P }^n(F)$, we establish the Kakeya maximal estimate $$\Vert \underset{\gamma \ni w}{\sup }\sum _{v\in \gamma (F)}|f(v)|{\Vert }_{{\ell }^n(W)}\le C_{n,W,d}|F{|}^{(n-1)/n}\Vert f{\Vert }_{{\ell }^n(F^n)}$$ for all functions $f:F^n\to \mathbb{R}$ and $d\ge 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.

25 pages, no figures, to appear, Mathematika. This is the final version, incorporating the referee report

Cited by in corpus (8)

• A probabilistic approach to systems of parameters and Noether normalization
• Furstenberg sets and Furstenberg schemes over finite fields
• Kakeya sets over non-archimedean local rings
• Kakeya-Type Sets in Local Fields with Finite Residue Field
• Unions of lines in F^n
• Inversion and subspaces of a finite field
• Discrete harmonic analysis associated with ultraspherical expansions
• A bound for plany Kakeya sets in ${\mathbb{F}}_q^4$ using the planebrush method