In this paper we study the restriction estimate for the flat disk over finite fields. Mockenhaupt and Tao initially studied this problem but their results were addressed only for dimensions n=4,6. We improve and extend their results to all dimensions n\geq 6. More precisely, we obtain the sharp L^2 \to L^r estimates, which cannot be proven by applying the usual Stein-Tomas argument over a finite field even with the optimal Fourier decay estimate on the flat disk. One of main ingredients is to discover and analyze an explicit form of the Fourier transform of the surface measure on the flat disk. In addition, based on the recent results on the restriction estimates for the paraboloids, we address improved restriction estimates for the flat disk beyond the L^2 restriction estimates.
Using Hölder’s inequality and the nesting properties of L^p-norms over finite fields, one can observe that R_V^*(p_1\to r) \le R_V^*(p_2\to r) for \ p_1\ge p_2, and R_V^*(p\to r_1)\le R_V^*(p\to r_2) for r_1\ge r_2, which will allow us to reduce the proofs of our results to certain endpoint estimates.
Let d\sigma_v denote normalized surface measure on the algebraic variety V in \mathbb F_q^\alpha, \alpha\ge 2. Suppose that for some integers 0<k, s<\alpha, it satisfies that
Then R^*_V(2\to r)\lesssim 1 whenever r\ge 2+ \frac{4(\alpha-s)}{k}.
Let \mathcal{F} be the flat disk in \mathbb F_q^n, n=2d\ge 4, defined as in (?). Then we have
One of main ingredients to deduce Theorem 1.3 is based on the explicit Fourier transform on the surface measure d\sigma of the flat disk \mathcal{F}, which will be given as Proposition 3.1. The key idea to compute it is to view the flat disk \mathcal{F} in (?) as the set of common solutions of the following two equations:
Then, adapting the argument by the discrete Fourier analysis due to Iosevich and Rudnev [IR07], we are able to relate the equations defining the flat disk to certain exponential sums, which essentially reduce to the well-understood Gauss sums.
Let \mathcal{F} be the flat disk in \mathbb F_q^{2d}.
(1) If d=2, then R^*_{\mathcal{F}}(4\to 4)\lesssim 1.
(2) If d=4, then R^*_{\mathcal{F}}\left(\frac{28}{11}\to \frac{28}{9}\right)\lesssim 1.
(3) If d=4 and q is prime, then R^*_{\mathcal{F}} \left(\frac{18}{7} \to 3\right)\lesssim 1
(4) If d=6, then R^*_{\mathcal{F}}\left(\frac{80+30\varepsilon}{34+15\epsilon}\to \frac{8}{3}+ \varepsilon \right)\lesssim 1 for all \varepsilon >0.
(5) If d\ge 8 is even, then R^*_{\mathcal{F}}\left(\frac{2d^2+2d-4}{d^2-2} \to \frac{2d+4}{d}\right)\lesssim 1.
Let \mathcal{F} be the flat disk in \mathbb F_q^{2d}.
(1) If d=3 and q\equiv 3 \pmod{4}, then R^*_{\mathcal{F}} \left( \frac{36-10\varepsilon}{13-5\varepsilon}\to \frac{18}{5}-\varepsilon \right) \lesssim 1 for some \varepsilon >0.
(2) If d=3 and q\equiv 3 \pmod{4} is prime, then R^*_{\mathcal{F}}\left(\frac{376+106\varepsilon}{135+53\varepsilon} \to \frac{188}{53}+\varepsilon \right)\lesssim 1 for all \varepsilon >0.
(3) If d\ge 3 is odd and q\equiv 1 \pmod{4}, then R^*_{\mathcal{F}}\left(\frac{2d+2}{d} \to \frac{2d+2}{d-1}\right) \lesssim 1.
(4) If d= 4\ell+1 with \ell \in \mathbb N, and q\equiv 3 \pmod{4}, then R^*_{\mathcal{F}}\left(\frac{2d+2}{d} \to \frac{2d+2}{d-1}\right) \lesssim 1.
(5) If d= 4\ell+3, with \ell \in \mathbb N, and q\equiv 3 \pmod{4}, then R^*_{\mathcal{F}}\left(\frac{2d^2+2d-4}{d^2-2} \to \frac{2d+4}{d}\right) \lesssim 1.
Theorems 1.5 and 1.6 are much weaker than the conjectured results (Conjecture 2.3) except for the first result of Theorem 1.5. We notice that one cannot settle this question by using our method in this paper. As we shall see, our results follow by applying the L^2\to L^r restriction estimate for the paraboloid in \mathbb F_q^{n/2} (see Proposition 5.1). Even using the optimal L^2\to L^r restriction estimate for the paraboloid, it fails to produce the conjectured result (see, for example, Remark 5.3). For this reason, it leaves the question of finding a new methodology to completely solve this problem. In addition, it would be interesting to extend our work to general quadratic surfaces of co-dimension bigger than one. In the Euclidean case, such problems have been extensively studied. We refer the reader to [Ch85, BL04, BLL17, LL19]. However, it seems that the Euclidean arguments do not work in the finite field case.
Throughout this paper, we will use the following notation:
For any integer \alpha\ge 1, we use \mathbf{0}\in \mathbb F_q^\alpha to denote the zero vector in \mathbb F_q^\alpha. In particular, we write 0 for \mathbf{0} when \alpha=1. We write \delta_{\mathbf{0}} for the indicator function of \{\mathbf{0}\}, namely, \delta_{\mathbf{0}}(\alpha)=1 for \alpha=\mathbf{0}, and 0 otherwise.
For a vector m in \mathbb F_q^\alpha, we write m_j to denote the j-th coordinator of m. For example, we have m=(m_1, \ldots, m_\alpha)\in \mathbb F_q^\alpha. We also define
For a simple notation, we identify a set E with the indicator function 1_E of the set E, where 1_E(x)=1 for x\in E, and 0 otherwise. For example, we write \widehat{E} for \widehat{1_E}, the Fourier transform of the indicator function 1_E.
For 1\le r\le \infty, the Hölder conjugate of r is denoted by r', namely, 1/r + 1/r'=1.
Let V be an algebraic variety in \mathbb F_q^\alpha, \alpha \ge 2, with the size |V|=q^s, 0< s< \alpha. In addition, assume that the variety V contains an affine subspace H with the size |H|=q^k, 0 <k\le s. If R^*_V(p\to r)\lesssim 1 for some 1\le p, r\le \infty, then we have
The proof of the above lemma can be found on pages 41–42 in [MT04].
Suppose that R^*_{\mathcal{F}}(p\to r)\lesssim 1 for some 1\le p,r \le \infty. Then we have
Since \mathcal{F} is contained in \mathbb F_q^n, it is not hard to see that the cardinality of \mathcal{F} is q^{n-2}. We note that when n=2d, d\ge 2, the flat disk \mathcal{F} is the set of common solutions of the following equations:
Setting H=\{{\bf 0}\}\times \mathbb F_q^{d-1}\times \{0\} \subset \mathbb F_q^d \times \mathbb F_q^{d-1} \times \mathbb F_q, it is easily seen that H satisfies that |H|=q^{d-1}=q^{\frac{n-2}{2}}, and is a subspace lying on the flat disk \mathcal{F}. Hence, invoking Lemma 2.1 with taking \alpha=n, s=n-2, and k=(n-2)/2, we obtain the required necessary conditions for the estimate R^*_{\mathcal{F}}(p\to r)\lesssim 1.
If (1/p, 1/r) is contained in the convex hull of points (0, 0) (0, \frac{n-2}{2n}), (\frac{n-2}{2n}, \frac{n-2}{2n}), and (1,0), then
Theorem 1.3 shows that the above conjecture is true when the p index is 2. Indeed, letting x=1/p, y=1/r, the line segment passing through (1, 0) and (\frac{n-2}{2n}, \frac{n-2}{2n}) is given by the equation
Hence, when x=1/p=1/2, it follows by a direct computation that y=1/r=\frac{n-2}{2n+4}, which is exactly corresponding to Theorem 1.3.
The function \chi defined by
is called the canonical additive character of \mathbb F_q. On the other hand, the multiplicative character \eta is a function from \mathbb F_q^* \to \mathbb{R}, defined by
We have
Since \eta =\overline{\eta} and \overline{\chi(t)}= \chi(-t), it is seen by a change of variables that
Hence, \mathcal{G}(\eta, \chi)^2= \eta(-1) |\mathcal{G}(\eta, \chi)|^2, so the problem is reduced to showing that |\mathcal{G}(\eta, \chi)|^2=q. Indeed, it follows that
By a change of variables, letting b=at^{-1} for any fixed t\ne 0,
By the orthogonality of \chi and \eta, we obtain the required estimate |\mathcal{G}(\eta, \chi)|^2=q, where we also used the simple fact that \eta(1)=1. This completes the proof of the lemma.
Let K(p\to r) be defined as in (?). Then we have
Let P, \mathcal{F}, and K denote the paraboloid in \mathbb F_q^d, d\ge 2, the flat disk in \mathbb F_q^{2d}, and the Kakeya operator in \mathbb F_q^d, respectively. Then, for 2\le p, r \le \infty, we have
Let m denote a vector in \mathbb F_q^{2d} with d\ge 2 an integer. For i=0, 1,2,3, 4, 5, we define \Omega_j \subset \mathbb F_q^{2d} as follows:
\Omega_0= \{\bf{0}\}
\Omega_1=\{m: m_d=0 =m_{2d}, m\ne \mathbf{0} \}
\Omega_2=\{ m: m_d=0, m_{2d}\ne 0 \}
\Omega_3=\{m: m_d\ne 0, m_{2d}=0, \delta_{\mathbf{0}} (m_{d+1}, \ldots, m_{2d-1})=0 \}
\Omega_4=\{m: m_d\ne 0, \delta_{\mathbf{0}}(m_{d+1}, \ldots, m_{2d-1}, m_{2d})=1 \}
\Omega_5=\{ m: m_d\ne 0, m_{2d}\ne 0 \}.
Let d\sigma be normalized surface measure on the flat disk \mathcal{F} in \mathbb F_q^n, n=2d\ge 4. Then, for any m=(m_1, \ldots, m_d, m_{d+1}, \ldots, m_{2d}) \in \mathbb F_q^{n}, we have
Let us fix m\in \mathbb F_q^{2d}. Since |\mathcal{F}|=q^{2d-2}, we can write by the definition of (d\sigma)^\vee that
Notice that each x\in \mathcal{F} satisfies the both equations in (1.4), so whenever we fix
the variables x_d and x_{2d} are determined as in (1.4). Thus, (d\sigma)^\vee(m) is
Rearranging the general term and using Fubini’s theorem, we are also able to write (d\sigma)^\vee(m) as
Case 1: Suppose that m_d=0 and m_{2d}=0 (in this case, m\in \Omega_0 or m\in \Omega_1). Then, we see by the orthogonality of \chi that
Hence, (d\sigma)^\vee(m)=1 for m\in \Omega_0, and (d\sigma)^\vee(m)=0 for m\in \Omega_1, as required.
Case 2: Assume that m_d=0 and m_{2d}\ne 0, which is the case when m\in \Omega_2. Then it follows by the orthogonality of \chi that
Hence, we obtain the desired estimate
Case 3: Suppose that m_d\ne 0 and m_{2d}=0, which corresponds to either m\in \Omega_3 or m\in \Omega_4. It follows that
Since m_d\ne 0, we can invoke the formula (?) to compute the product term above:
Also note by orthogonality of \chi that the sum over x_{d+1}, \ldots, x_{2d-1}\in \mathbb F_q is q^{d-1} \delta_{\mathbf{0}}( m_{d+1}, \ldots, m_{2d-1}). Then it is seen that
Thus, by the definitions of \Omega_3 and \Omega_4, it is clear that (d\sigma)^\vee(m)=0 for m\in \Omega_3, and we have
where we used the observation that \mathcal{G}^{d-1}= (\mathcal{G}^2)^{(d-1)/2} = (\eta(-1)q)^{(d-1)/2} by Lemma 2.6.
Case 4: Assume that m_d\ne 0 and m_{2d}\ne 0, which corresponds to the case when m\in \Omega_5. By the formula (?), we are able to observe that
Hence, (d\sigma)^\vee(m) becomes
Applying a change of variables by letting y_{d+i}= m_i+ m_{2d} x_{d+i} for each i=1, \ldots, d-1, this becomes
Once again we apply the formula (?), and obtain by a direct algebra that
By Lemma 2.6, notice that q^{-2d+2} \eta^{d-1}(-1) \mathcal{G}^{2d-2}=q^{1-d}. Hence, we obtain the desired estimate of (d\sigma)^\vee(m) for m\in \Omega_5. We have finished the proof of the lemma.
Let \mathcal{F} be the flat disk in \mathbb F_q^n, n=2d\ge 4. Then the restriction estimate
holds for all functions g on \mathcal{F}.
Let 1\le p_0, p_1, r_0, r_1\le \infty, ~ p_0\le p_1, and r_0 \le r_1. Suppose that T is a linear operator, and satisfies the following two estimates:
Then we have
for any 0\le \theta \le 1, where
Let P, \mathcal{F} denote the paraboloid in \mathbb F_q^d, d\ge 2, and the flat disk in \mathbb F_q^{2d}, respectively. Suppose that R^*_P(2\to r) \lesssim 1 for some \frac{2d}{d-1}\le r\le \infty. Then we have
We shall invoke the following facts:
and
The equality (Proof) is Theorem 2.8 due to Mockenhaupt and Tao, and the estimate (Proof) is Theorem 2.7, proven by Ellenberg, Oberlin, and Tao [EOT10]. The equality (Proof) is obvious as we have
Taking p=\frac{2r(d-1)}{rd-r-2} in (Proof) gives us that
Since R^*_{P}(2 \to r) \lesssim 1 with r\ge \frac{2d}{d-1} by hypothesis, to complete the proof, it is enough to show that
But this Kakeya maximal estimate follows by interpolating the estimates (Proof) and (Proof). Thus the proof is complete.
Let P be the paraboloid in \mathbb F_q^d, d\ge 2, defined as in (?). Then the following estimates hold.
R^*_P(2\to 4)\lesssim 1 for d=2.
R^*_P\left(2\to \frac{28}{9} \right)\lesssim 1 for d=4.
R^*_P(2\to 3) \lesssim 1 if d=4 and q is prime.
R^*_P\left(2\to \frac{8}{3}+\varepsilon \right)\lesssim 1 for d=6 and for all \varepsilon >0.
R^*_P\left(2\to \frac{2d+4}{d} \right)\lesssim 1 for d\ge 8 even.
The first, the third, and the fifth parts of Theorem 5.2 are sharp in the sense that each of them provides the optimal r index such that R^*_P(2\to r)\lesssim 1 (see, for example, Conjecture 1.2 in [Ko20]). Hence, the first, the third, and the fifth parts of Theorem 1.5 are the best possible results that can be obtained by applying Proposition 5.1, and new ideas are required to further improve the results.
Let P be the paraboloid in \mathbb F_q^d. Then the following statements are valid.
(1) If d=3 and q\equiv 3 \pmod{4}, then R^*_{P} \left( 2 \to \frac{18}{5}-\varepsilon \right) \lesssim 1 for some \varepsilon >0.
(2) If d=3 and q\equiv 3 \pmod{4} is prime, then R^*_{P}\left(2 \to \frac{188}{53}+\varepsilon \right)\lesssim 1 for all \varepsilon >0.
(3) If d\ge 3 is odd and q\equiv 1 \pmod{4}, then R^*_{P}\left(2 \to \frac{2d+2}{d-1}\right) \lesssim 1.
(4) If d= 4\ell+1 with \ell \in \mathbb N, and q\equiv 3 \pmod{4}, then R^*_{P}\left(2 \to \frac{2d+2}{d-1}\right) \lesssim 1.
(5) If d= 4\ell+3, with \ell \in \mathbb N, and q\equiv 3 \pmod{4}, then R^*_{P}\left(2 \to \frac{2d+4}{d}\right) \lesssim 1.
It can be seen from Conjecture 1.2 in [Ko20] that the third and the fourth parts of Theorem 5.4 are the sharp L^2\to L^r restriction estimates for the paraboloid P in \mathbb F_q^d. Hence, their corresponding parts of Theorem 1.6 are the best possible results that can be achieved by applying Proposition 5.1. On the other had, when d\ge 3 is odd and -1\in \mathbb F_q is a square number, it has been conjectured in [Ko20] that the results of Theorem 5.4 can be improved to the estimate R_P^*\left(2\to \frac{2d+2}{d-1}\right)\lesssim 1. In those cases, it may be possible to get further improvement of Theorem 1.6 by applying Proposition 5.1.
The text on this page is from arXiv:2208.07784v2 by Doowon Koh, under the licence CC BY 4.0. The corpus made these changes: it read the items out of the LaTeX source, it expanded the macros of the paper, it put each proof after its statement, and it converted the text to HTML. The formulas are the TeX of the paper, and KaTeX renders them. A formula or a reference can look different from the PDF. The page is published under CC BY 4.0.
The record of each item is in analysis/objects/2208/2208.07784.jsonl.