Slavov's algebraic Kakeya lower-bound conjecture

About 12 years old · traced to

Let L(t1,t2),M(t1,t2)∈Fq0[t1,t2]L(t_1,t_2),M(t_1,t_2)\in\mathbb{F}_{q_0}[t_1,t_2] be arbitrary polynomials. Consider the map

φ:AFq03⟶AFq03,(s,t1,t2)⟼(s,st1+L(t1,t2),st2+M(t1,t2)).\varphi:\mathbb{A}^3_{\mathbb{F}_{q_0}}\longrightarrow\mathbb{A}^3_{\mathbb{F}_{q_0}},\qquad (s,t_1,t_2)\longmapsto (s,st_1+L(t_1,t_2),st_2+M(t_1,t_2)).

For each extension Fq/Fq0\mathbb{F}_q/\mathbb{F}_{q_0}, let EFqE_{\mathbb{F}_q} be the image of the induced map on Fq\mathbb{F}_q-points. Algebraic Kakeya lower-bound conjecture. One has

∣EFq∣≥q34−O(q5/2),|E_{\mathbb{F}_q}|\geq\frac{q^3}{4}-O(q^{5/2}),

where the implied constant depends only on the degrees of LL and MM. This framework seeks a uniform algebraic-geometric explanation of Kakeya lower bounds over all finite-field extensions; the conjecture is presented as an open problem, while the paper proves special cases for particular forms of the polynomials.

References

Primary source

Kaloyan Slavov, “An algebraic geometry version of the Kakeya problem”, arXiv:1410.3701 (2014).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.