Pinned distance sets, k-simplices, Wolff's exponent in finite fields and sum-product estimates

An analog of the Falconer distance problem in vector spaces over finite fields asks for the threshold α > 0 such that {pipe}Δ(E){pipe} ≳ q whenever {pipe}E{pipe} ≳ q ^α, where E ⊂ F _q ^d, the d-dimensional vector space over a finite field with q elements (not necessarily prime). Here Δ(E)={(x ₁-y ₁) ²+···+(x _d-y _d) ²: x,y ∈ E}. Iosevich and Rudnev (Trans Am Math Soc 359(12):6127-6142, 2007) established the threshold, and in Hart et al. (Trans Am Math Soc 363:3255-3275, 2011) proved that this exponent is sharp in odd dimensions. In two dimensions we improve the exponent to 4/3, consistent with the corresponding exponent in Euclidean space obtained by Wolff (Int Math Res Not 10:547-567, 1999). The pinned distance set Δ _y(E)={(x ₁-y ₁) ²+·+(x _d-y _d) ²: x ∈ E} for a pin y ∈ E has been studied in the Euclidean setting. Peres and Schlag (Duke Math J 102:193-251, 2000) showed that if the Hausdorff dimension of a set E is greater than, then the Lebesgue measure of Δ _y(E) is positive for almost every pin y. In this paper, we obtain the analogous result in the finite field setting. In addition, the same result is shown to be true for the pinned dot product set Π _y(E)={x · y: x ∈ E}. Under the additional assumption that the set E has Cartesian product structure we improve the pinned threshold for both distances and dot products to The pinned dot product result for Cartesian products implies the following sum-product result. Let A ⊂ F _q and z ∈ F _q ^*. If {pipe}A{pipe}≥ then there exists a subset E' ⊂ A × ··· × A = A ^d-1 with {pipe}E'{pipe} ≳ {pipe}A{pipe} ^d-1 such that for any a ₁,...,a _d-1) ∈ E', where a _j A = {a _ja: a ∈ A},j = 1,...,d-1. A generalization of the Falconer distance problem is to determine the minimal α > 0 such that E contains a congruent copy of a positive proportion of k-simplices whenever {pipe}E{pipe} ≳ q ^α. Here the authors improve on known results (for k > 3) using Fourier analytic methods, showing that α may be taken to be.