The sharp LpL4L^p\to L^4 extension conjecture for odd-dimensional spheres

Let SjFqdS_j\subset\mathbb F_q^d be a sphere of nonzero radius jj. Odd-dimensional sphere extension conjecture. The following estimates should hold:

  1. If d=4k+1d=4k+1, kNk\in\mathbb N, and jj is nonsquare, then
RSj(4d+43d+14)1.R^*_{S_j}\left(\frac{4d+4}{3d+1}\to 4\right)\ll 1.
  1. If d=4k1d=4k-1, kNk\in\mathbb N, q1(mod4)q\equiv 1\pmod 4, and jj is nonsquare, the same estimate holds.

  2. If d=4k1d=4k-1, kNk\in\mathbb N, q3(mod4)q\equiv 3\pmod 4, and jj is square, the same estimate holds.

In each case the estimate is expected to be sharp for the LpL4L^p\to L^4 extension problem. The conjecture is motivated by the affine-subspace dimensions on spheres and is compared with known paraboloid results; only partial evidence is given.

Sources & referencesView supporting material

Primary source

Doowon Koh, Thang Pham and Le Anh Vinh, “Extension theorems and a connection to the Erdős-Falconer distance problem over finite fields”, arXiv:1809.08699 (2020).

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.