EXTENSION THEOREMS FOR PARABOLOIDS IN THE FINITE FIELD SETTING arxiv:0805.0814v1 [math.ca] 6 May 008 ALEX IOSEVICH AND DOOWON KOH Abstract. In this paper we study the L p L r boundedness of the extension operators associated with paraboloids in vector spaces over finite fields. In higher even dimensions, we estimate the number of additive uadruples in the subset E of the paraboloids, that is the number of uadruples (x,y,z,w) E 4 with x + y = z + w. As a result, in higher even dimensions, we improve upon the standard Tomas-Stein exponents (See (1.1) below) which Mockenhaupt and Tao ([9]) obtained for the boundedness of extension operators for paraboloids by estimating the decay of the Fourier transform of measures on paraboloids. In particular, Theorem 1 below gives the sharp L p L 4 bound up to endpoints in higher even dimensions. Moreover, using the Theorem 1 and the Tomas-Stein argument, we also study the L L r estimates. In the case when 1 is not a suare number in the underlying finite field, we also study the L p L r bound in higher odd dimensions. The discrete Fourier analytic machinery and Gauss sum estimates make an important role in the proof. Contents 1. Introduction. The extension problem and statement of results 3.1. L p L 4 estimate 4.. L L r estimate 6.3. L p L r estimates in odd dimensions 7.4. Outline of this paper 7 3. The classical exponential sums 8 4. Proof of the L p L 4 estimate (Theorem 1) 9 4.1. Proof of Lemma 7 10 5. Proof of the L L r estimate (Theorem ) 1 5.1. Proof of the estimate in (5.3) 13 6. Proof of the L p L r estimates in odd dimensions (Theorem 3) 15 References 17 1
ALEX IOSEVICH AND DOOWON KOH 1. Introduction Let S be a hypersurface in R d and dσ a surface measure on S. In Euclidean space, the classical extension problems ask one to find the set of exponents p and r such that the estimate (fdσ) L r (R d ) C f L p (S,dσ) for all f L p (S,dσ) holds, where the constant C > 0 depends only on the exponents p and r, and (fdσ) denotes the inverse Fourier transform of the measure fdσ. The extension problems have received much attention in the last few decades, because they are related to many interesting problems in harmonic analysis such as kakeya problems. For a survey of the development of ideas and some recent results on the extension problem, see [13]. See also [3], [16], [11], [1], [10], [], [1], and [15], and the references therein on recent progress related to this problem. In recent years, the extension problems in the finite field setting have been studied, because the finite field case serves as a good model for the Euclidean case. See, for example, [9], [6], and [7]. Mockenhaupt and Tao ([9]) first posed the extension problems in the finite field setting for various algebraic varieties S and they obtained reasonably good results from extension problems for paraboloids in d-dimensional vector spaces over finite fields. In two dimensions, the extension problems for the parabola were completely solved by them. Moreover, they obtained the standard Tomas-Stein exponents for the L p L r boundedness of extension operators related to paraboloids in higher d-dimensional vector spaces over finite fields. In particular, they improved on the standard Tomas-Stein exponents for the paraboloids in three dimensional vector spaces overfinite fields in the case when 1 is not a suare number in the underlying finite fields. The aforementioned authors used the combinatorial methods to prove the incidence theorems between lines and points in two dimensial vector spaces over finite fields. As a result, they could improve upon the standard Tomas-Stein exponents for paraboloids in three dimensions. Here and throughout this paper, the standard Tomas-Stein exponents are defined as the exponents p 1 and r 1 such that (1.1) r d+ d 1 and r p(d+1) (p 1)(d 1), where d denotes the dimension of the vector space over the finite field. However, if 1 is a suare number or the dimension d is greater than three, the combinatorial methods may not be useful tool to prove the incidence theorems. The purpose of this paper is to significantly improve the Tomas-Stein exponents for the boundedness of extension operators associated with paraboloids in higher even dimensional vector spaces over finite fields. Moreover, our results in even dimensions hold without the assumption that 1 is not a suare number in the underlying finite field. In higher odd dimensions, we also investigate the cases when the standard Tomas-Stein exponents can be improved.
EXTENSION THEOREMS FOR PARABOLOIDS 3 In order to state our results in detail, let us review some notation and Fourier analytic machinery in the finite field setting. We denote by F a finite field with elements whose characteristic is greater than two. Let F d be a d-dimensional vector space over the finite field F. Let (F d,dx) denote a d-dimensional vector space, which we endow with the normalized counting measure dx, and (F d,dm) denotes the dual space, which we endow with the counting measure dm. For any complex-valued function f on (F d,dx),d 1, we define the Fourier transform of f by the formula f(m) = d x F d χ( x m)f(x) where χ denotes a non-trivial additive character of F, and x m is the usual dot product of x and m. Similarly, we define the inverse Fourier transform of the measure fdσ by the relation (fdσ) (m) = 1 S χ(x m)f(x) where S denotesthe number ofelements in an algebraicvarietys in (F d,dx), and dσ denotes the normalized surface measure on S. In other words, σ(x) = d S S(x). Here and throughout the paper, we identify sets with their characteristic functions. For example, we write E(x) for χ E (x). For 1 p,r <, we also define f p L p (F d,dx) = d f(x) p, x F d and x S f r L r (F d,dm) = m F d f p L p (S,dσ) = 1 S f(m) r f(x) p. x S Similarly, denote by f L the maximum value of f.. The extension problem and statement of results Let S be an algebraic variety in (F d,dx) and dσ the surface measure on S. For 1 p,r, we define R (p r) by the smallest constant such that the extension estimate (.1) (fdσ) Lr (F d,dm) R (p r) f L p (S,dσ) holds for all functions f on S. By duality, R (p r) is also given by the smallest constant such that the restriction estimate ĝ L p (S,dσ) R (p r) g L r (F d,dm)
4 ALEX IOSEVICH AND DOOWON KOH holds for all functions g on (F d,dm). In the finite field setting, the extension problem for S asks us to determine the set of exponents p and r such that R (p r) C p,r, where the constant C p,r is independent of, the size of the underlying finite field F. Using Hölder s ineuality and the nesting properties of L p -norms, we see that (.) R (p 1 r) R (p r) for p 1 p and (.3) R (p r 1 ) R (p r ) for r 1 r which will allow us to reduce the analysis below to certain endpoint estimates. We define the paraboloid S in (F d,dx) by the set (.4) S = {(x,x d ) F d : x Fd 1,x d = x x F }. Our results shall be stated in the following subsections..1. L p L 4 estimate. Theorem 1. Let S be the paraboloid in F d defined as in (.4). If d 4 is even, then we have R (p 4) 1 for all p 3d Remark 1. Recall that X Y means that there exists C > 0, independent of such that X CY, and X Y, with the controlling parameter, means that for every ε > 0 there exists C ε > 0 such that X C ε ε Y. In higher even dimensions, we claim that Theorem 1 improves the standard Tomas-Stein exponents which Mockenhaupt and Tao obtained in [9]. To see this, note that the standard Tomas-Stein exponents in (1.1) imply that R ( 4 3d 5 4) 1. Since 4 3d is less than 3d 5, the claim immediately follows from the ineuality in (.). Moreover, Theorem 1 is sharp except for the endpoint in the sense that for every ε > 0,R ( 3d ε 4) 1 fails to be true. In fact, the sharpness of Theorem 1 follows from the following necessary conditions for R (p r) 1 in even dimensions d 4: (.5) r d d 1 and r p(d+) (p 1)d. In order to prove the necessary conditions, first observe that m F d (fdσ) (m) = d S f L (S,dσ).
EXTENSION THEOREMS FOR PARABOLOIDS 5 Using this and Cauchy-Schwartz ineuality, we see that if r then d S f L (S,dσ) r (fdσ) (m) r d(r ) r. m F d It therefore follows that d S d(r ) r f L (S,dσ) (fdσ) L r (F d,dm). Choosing f such that f L (S,dσ) = 1 and using the fact that S = d 1, we see that we must have d(r ) r 1, from which the first estimate in (.5) follows. On the other hand, if the paraboloid S contains a subspace H of dimension n ( H = n ), then we can test (.1) with f eual to the characteristicfunction on the set H. As a result, we must have that (.6) H S 1 d n r ( H S 1 ) 1 p. Since H = n and S = d 1, the ineuality in (.6) implies that (.7) r p(d n) (p 1)(d n 1). However, if 1 F is a suare number, say i = 1 for some i F, then the paraboloid S contains the subspace H F d d of dimension which is given by { (s 1,is 1,...,s k,is k,...,sd,isd,0,0) : s k F, k = 1,,..., d }. Since H = d, replacing n in (.7) by d, we obtain the second estimate in (.5). Remark. In the case when d = 3 and 1 is not a suare number, Mockenhaupt and Tao ([9]) obtained an improvement of the p index of the Tomas- Stein exponent R ( 4) by showing that R ( 8 5 4) 1. However, if 1 is allowed to be a suare number, one can not expect the improvement of the p index of the Tomas-Stein exponent R (p 4) in the case when the dimension d 3 is odd. This follows from the fact that if 1 is a suare number and d is odd then the paraboloid S always contains the subspace H F d of dimension d 1, defined by { H = (s 1,is 1,...,s k,is k,...,sd 1,isd 1,0) : s k F, k = 1,,..., d 1 }.
6 ALEX IOSEVICH AND DOOWON KOH Note that H = d 1. Thus substituting n in (.7) for d 1, a necessary condition for R (p r) 1 takes the form r p(d+1) (p 1)(d 1). Note that if r = 4 then this necessary condition exactly matches the Tomas- Stein exponent in (1.1) (See Figure 1). 1/r 1/ (d 1)/d Necessary conditions (d 1)/(d+) 1/4 1 r = (p 1)(d 1) p(d+1) Tomas Stein exponents 0 0 (d 1)/d 1/ 1 1/p Figure 1. In odd dimensions d 3, the necessary conditions for R (p r) bound and the Tomas-Stein exponents... L L r estimate. Theorem. Let S be the paraboloid in F d even, then we have defined as in (.4). If d 4 is R ( r) 1 for all r d d d+ Note that the standard Tomas-Stein exponents in (1.1) yields that R ( d+ d 1 ) 1.Inhigherevendimensions,wethereforeseethatTheoremgivesan improvement of the r index of the standard Tomas-Stein exponent R ( d+ d 1 ), which is true from (.3), because the exponent d d d+ is less than (See Figure ). d+ d 1 Remark 3. Interpolating the results of Theorem 1 and Theorem and the trivial bound R (1 ) 1 together with the fact in (.), our results can be described as in Figure.
EXTENSION THEOREMS FOR PARABOLOIDS 7 1/r 1/ (d 1)/d d d+ d (d 1)/(d+) 1/4 Possible exponents Improved exponents 1 r = (p 1)d p(d+) Theorem Theorem 1 Tomas Stein exponents 0 0 (d d+)/d 1/ (3d )/ 1 1/p Figure. In even dimensions d 4, exponents for R (p r) bound..3. L p L r estimates in odd dimensions. As mentioned in Remark, in general it is impossible to improve the p index of the Tomas-Stein exponent R (p 4) in odd dimensions. However, if we assume that 1 is not a suare number in the underlying finite field F, then the improvement of the p index of the Tomas-Stein exponent R (p 4) can be obtained in odd dimensions. For example, Mockenhaupt and Tao ([9]) obtained the improvement in three dimensions (see Remark ). We shall extend their work to higher odd dimensions d 7 in the specific case. Theorem 3. Let S be the paraboloid in F d defined as before. Suppose that d 7 is odd and = p l for some odd prime p 3 (mod4). If l(d 1) is not a multiple of four then we have (.8) R (p 4) 1 for all p 3d and (.9) R ( r) 1 for all r d d d+. Remark 4. Observe that the assumptions in Theorem 3 imply that if l is an odd number, = p l for some odd prime p 3 (mod4), and d = 4k + 3 for some k N then the conclusions in Theorem 3 hold. However, since any odd power of the prime p 3 (mod4) is 3 (mod4), we need the condition that 3 (mod4) which means 1 is not a suare number in F. In conclusion, we can say that if 1 is not a suare number in F and d = 4k +3 for some k N, then the conclusions in Theorem 3 hold..4. Outline of this paper. In section 3, we shall introduce simple facts related to Gauss sums which will be used to prove our main results. The
8 ALEX IOSEVICH AND DOOWON KOH proofs of Theorem 1 and Theorem will be given in section 4 and section 5 respectively. In the last section, we shall prove Theorem 3. 3. The classical exponential sums In this section, we shall collect the well-known facts which follow from estimates of Gauss sums. Let χ be a non-trivial additive character of F and η a multiplicative character of F of order two, that is, η(ab) = η(a)η(b) and η (a) = 1 for all a,b F but η 1. For each a F, the Gauss sum G a (η,χ) is defined by G a (η,χ) = η(s)χ(as). s F The magnitude of the Gauss sum is given by the relation { 1 if a 0 G a (η,χ) = 0 if a = 0. Remark 5. Here, and throughout this paper, we denote by χ and η the canonical additive character and the uadratic character of F respectively. The following theorem tells us the explicit value of the Gauss sum G 1 (η,χ). For the nice proof, see [8]. Theorem 4. Let F be a finite field with = p l, where p is an odd prime and l N. Then we have { ( 1) l 1 1 if p = 1 (mod4) G 1 (η,χ) = ( 1) l 1 i l 1 if p = 3 (mod4). In particular, we have (3.1) χ(as ) = η(a)g 1 (η,χ) for any a 0, s F because η is the multiplicative characterof F of order two. For the nice proof for this euality and the magnitude of Gauss sums, see [8] or [5]. As the direct application of the euality in (3.1), we have the following estimate. Lemma 5. For β F k and t 0, we have ( ) β χ(tα α+β α) = χ η k (t)(g 1 (η,χ)) k, 4t α F k where, here and throughout the paper, β = β β. Proof. It follows that χ(tα α+β α) = α F k k j=1 α j F χ(tα j +β jα j ).
EXTENSION THEOREMS FOR PARABOLOIDS 9 Completing the suare in α j -variables, changing of variables, α j + βj t α j, and using the ineuality in (3.1), the proof immediately follows. We shall introduce the explicit formula of (dσ), the inverse Fourier transform of the surface measure related to the paraboloid. Lemma 6. Let S F d be the paraboloid and dσ the surface measure on S. For each m = (m,m d ) F d 1 F, we have χ( (d 1) m (dσ) 4m d )η d 1 (m d ) (G 1 (η,χ)) d 1 if m d 0 (m) = 0 if m d = 0,m 0 1 if m = (0,...,0). Proof. For each m = (m,m d ) F d, we have (dσ) (m) = 1 S χ(m x) x S = (d 1) x F d 1 χ(m d x x+m x). If m = (0,...,0), then it is obvious that (dσ) (m) = 1. If m d = 0,m 0, the orthogonality relation of the nontrivial character yields that (dσ) (m) = 0. On the other hand, if m d 0, the proof follows from Lemma 5. 4. Proof of the L p L 4 estimate (Theorem 1) Let S F d be the paraboloid defined as in (.4). Using (.) and the usual dyadic pigeonholing argument (see [4]), it is enough to show that (4.1) (Edσ) L 4 (F d,dm) E L p 0(S,dσ), for all E S, where p 0 = 3d. Expanding both sizes in (4.1), we see that ( ) 1 E p 0 E L p 0(S,dσ) = S and where Λ 4 (E) = that (Edσ) L 4 (F d,dm) = d 4 S (Λ 4(E)) 1 4 1. Since S = d 1, it therefore suffices to show x,y,z,w E :x+y=z+w (4.) Λ 4 (E) E 4 p 0 3d 4 +4 p 0 for all E S. We shall need the following estimate.
10 ALEX IOSEVICH AND DOOWON KOH Lemma 7. Let S be the paraboloid in (F d,dx) defined as before. In addition, we assume that the dimension of F d,d 4, is even. If E is any subset of S then we have Λ 4 (E) min{ E 3, 1 E 3 + d 4 E 5 + d E }. For a moment, we assume Lemma 7 which will be proved in the following subsection. We return to the proof of Theorem 1. Note that Lemma 7 implies that if d 4 is even and E is any subset of the paraboloid S, then Λ 4 (E) 1 E 3 if d+ E d 1 d 4 E 5 if d E d+ E 3 if 1 E d. Using these upper bounds of Λ 4 (E) depending on the size of the subset of S, the ineuality in (4.) follows by the direct calculation. Thus the proof of Theorem 1 is complete. 4.1. Proof of Lemma 7. ToproveLemma7, wefirstnotethatλ 4 (E) E 3 for all E S, because if we fix x,y,z E then there is at most one w with x+y = z +w. It therefore suffices to show that (4.3) Λ 4 (E) 1 E 3 + d 4 E 5 + d E, for all E S. Since the set E is a subset of the paraboloid S, we have Λ 4 (E) = 1 1. x,y,z,w E :x+y=z+w x,y,z E :x+y z S For each x,y,z E, write x+y z = (x+y z, x d +y d z d ). Then we see that x+y z S x y y z x z +z z = 0, because x,y,z are elements of the paraboloid S. It therefore follows that Λ 4 (E) δ 0 (x y y z x z +z z) x,y,z E where E = {x F d 1 : (x,x x) = x E}, and δ 0 (t) = 1 if t = 0 and 0 otherwise. It follows that Λ 4 (E) 1 χ ( s(x y y z x z +z z) ) s F x,y,z E = 1 E 3 +R(E) where R(E) = χ ( s(x y y z x z +z z) ). In order to x,y,z E 1 s 0 prove the ineuality in (4.3), it therefore suffices to show that (4.4) R(E) d E 5 + d E 4,
EXTENSION THEOREMS FOR PARABOLOIDS 11 because E = E. Let us estimate R(E). The Cauchy-Schwartz ineuality applied to the sum in the variable x yields R(E) E χ ( s(x y y z x z +z z) ). x E y,z E,s 0 Applying the Cauchy-Schwartz ineuality to the sum in the variable z and then dominating the sum over z E by the sum over z F d 1, we have R(E) E x E z F d 1 = E x EM(x) where M(x) = z F d 1 y E,s 0 y E,s 0 the ineuality in (4.4), it is enough to show that χ ( s(x y y z x z +z z) ) χ ( s(x y y z x z +z z) ) (4.5) M(x) d+ E + d E for all x E.. To prove Let us estimate the value M(x) which is written by χ ( s(x y y z x z +z z) ) χ ( s (x y y z x z +z z) ) z F d 1, s,s 0 = z F d 1, s,s 0:s=s + z F d 1, s,s 0:s s =I +II. χ ( (s s )z z +(s( y x)+s (y +x)) z ) χ ( (sy s y ) x ) χ ( (s s )z z +(s( y x)+s (y +x)) z ) χ ( (sy s y ) x ) Since s = s 0 in the term I, we have I = χ ( s( y +y ) z ) χ ( s(y y ) x ) s 0 z F d 1 = d 1 y E,s 0 1 = d 1 ( 1) E d E,
1 ALEX IOSEVICH AND DOOWON KOH where the second line follows from the orthogonality relations for the nontrivial character χ related to the variable z F d. To complete the proof, it remains to show that (4.6) II d+ E. Setting a = s,b = s s, we see that II = χ ( a(1 b)z z +a( y x+b(y +x)) z ) χ ( a(y by ) x ). z F d 1, a 0,b 0,1 Control the sum over z F d 1 given by (G 1 (η,χ)) d 1 times ([ ( y x)+b(y +x) η(1 b)η(a)χ a 0,b 0,1 by using Lemma 5 and then the term II is 4(1 b) ] ) +(y by ) x a, where we also used the fact that η d 1 = η, because d is even and η is a multiplicative character of order two. Since the sum over the variable a F is the Gauss sum, we conclude that II d 1 1 ( ) E d+ E. Thus the ineuality in (4.6) holds and the proof of Lemma 7 is complete. 5. Proof of the L L r estimate (Theorem ) In order to prove Theorem, we shall use Theorem 1 together with interpolation theorems and some specific properties of the Fourier transform of the paraboloid which were investigated by Mockenhaupt and Tao ([9]). See also [4]. By (.3), it suffices to show that R ( d d d+ ) 1 whenever d 4 is even. We shall use the Tomas-Stein argument. Let R : L p (S,dσ) L r (F d,dm) be the extension map f (fdσ), and R : L r (F d,dm) (S,dσ) be its Lp dual, the restriction map g ĝ S. Note that R Rg = (ĝdσ) = g (dσ) for all function g on F d. By the Tomas-Stein argument, it therefore suffices to show that g (dσ) L p 0(F d,dm) g L p 0(F d,dm) where p 0 = d d d+ and p 0 = d d +d. Note that g δ 0 L p 0(F d,dm) = g L p 0(F d,dm) g L p 0(F d,dm)
EXTENSION THEOREMS FOR PARABOLOIDS 13 where the last line follows from the facts that dm is the counting measure and p 0 > p 0. Thus it is enough to show that (5.1) g K L p 0(F d,dm) g L p 0(F d,dm), where K is the Bochner-Riesz kernel given by K = (dσ) δ 0. Recall that K(m) = 0 if m = (0,...,0), and K(m) = (dσ) (m) otherwise. We now claim that the following two estimates hold: (5.) g K L (F d,dm) g L (F d,dm) and (5.3) g K L4 (F d,dm) d+4 4 g L 3d (F d,dm). The ineuality in (5.) follows from elementary properties of Fourier transform. In fact, we have g K L (F d,dm) = ĝ K L (F d,dx) K L (F d,dx) g L (F d,dm). However, K(x) = dσ(x) δ 0 (x) = S(x) 1. Therefore the ineuality in (5.) holds. For a moment, we assume the ineuality in (5.3) which will be proved in the following subsection. Note that the operator g g K is selfadjoint, because K is essentially the inverse Fourier transform of real-valued function dσ. Thus the ineuality in (5.3) implies that d+4 (5.4) g K 4 g L d+(f d 4.,dm) L3(F d,dm) Interpolating (5.3) and (5.4) (with θ = 1 in the Riesz-Thorin theorem), we also see that d+4 (5.5) g K 4 g L d+1(f d,dm) L 3d 1(F d,dm). Once again interpolate (5.) and (5.5) ( with θ = 4 d in the Riesz-Thorin theorem), and then we obtain the ineuality in (5.1). Thus the proof is complete. 5.1. Proof of the estimate in (5.3). For d 4 even, we must show that g K L4 (F d,dm) d+4 4 g L 3d (F d,dm) where g is the arbitrary function on F d and K = (dσ) δ 0. Let m = (m 1,...,m d 1,m d ) F d. For each a F and the function g on F d, we define the function g a as the restriction of g to the hyperplane {m F d : m d = a}. Then it is enough to show that for each a F, the estimate (5.6) g a K L 4 (F d,dm) d +3d g a L 3d (F d,dm)
14 ALEX IOSEVICH AND DOOWON KOH holds, because the estimate (5.6) yields the following estimates: g K L 4 (F d,dm) a F g a K L 4 (F d,dm) d +3d d +3d d+ g a L 3d (F d a F,dm) a F = d+4 4 g L 3d 1(F d,dm). g a 3d L 3d (F d,dm) Without loss of generality, we may assume that a = 0, because of translation invariance. Thus it suffices to show that (5.7) g 0 K L 4 (F d,dm) d +3d g 0 L 3d (F d,dm) By Lemma 6 and the definition of K, note that ( ) K(m,m d ) = (d 1) m χ η d 1 (m d )(G 1 (η,χ)) d 1 4m d when m d 0 and K(m,0) = 0. Using this and the definition of the function g 0, the left-hand side of (5.7) is given by (5.8) d+1 ( m m g(m ) 1 4 4,0)χ, 4m d m F d 1 m d 0 m F d 1 where we used the facts that G 1 (η,χ) = 1 and η = 1 and then changing of variables, m d m d. Letting u = m m d and s = 1 4m d, we see that m m = 1 4m d 4s u u+u m +sm m. Thus the term (5.8) becomes d+1 d+1 u F d 1 (u,s) F d χ( 1 4s u u) s 0 m F d 1 (Gdσ) (u,s) 4 1 4 3d 1 4 4 g(m,0)χ((u,s) (m,m m )) = d+1 (Gdσ) L 4 (F d,dm), where the function G on the paraboloid S is defined by G(x,x x) = S g(x,0) = d 1 g(x,0).
EXTENSION THEOREMS FOR PARABOLOIDS 15 Using Theorem 1, this can be bounded by d+1 G = d +3d g 0, L 3d (S,dσ) L 3d (F,dm) where the euality follows from the observation that ( )3d G = 1 G(x) 3d L 3d (S,dσ) S x S = (d 1)(3d ) m F d 1 = (d+)(d 1) g 0. L 3d (F,dm) d 1 g(m,0) Thus the estimate in (5.7) holds and so the proof is complete. 6. Proof of the L p L r estimates in odd dimensions (Theorem 3) Let us prove the first part (.8) of Theorem 3. Using the arguments for the proof of Theorem 1, it suffices to show that (6.1) Λ 4 (E) E 4 p 0 3d 4 +4 p 0 for all E S, where p 0 = 3d and Λ 4(E) = x,y,z,w E :x+y=z+w 3d 3d 1. We shall use the following lemma. Lemma 8. Let S be the paraboloid in F d defined as before. Suppose that d is odd and = p l for some prime p = 3 (mod4). If l(d 1) is not a multiple of four and E is any subset of S, then we have Λ 4 (E) min{ E 3, 1 E 3 + d 3 4 E 5 + d E }. We assume this lemma for a moment. By Lemma 8, we see that 1 E 3 if d+1 E d 1 d 3 4 E 5 if d 1 E d+1 Λ 4 (E) d E if d E d 1 E 3 if 1 E d. Note that this estimate yields the ineuality in (6.1). Thus it is enough to show that Lemma 8 holds. Let us prove Lemma 8. Let E be a subset of the paraboloid S. Since Λ 4 (E) E 3 for each E S, it suffice to show (6.) Λ 4 (E) 1 E 3 + d 3 4 E 5 + d E for E S. Define the set E F d 1 by E = {x F d 1 : (x,x x) = x E}. Repeating the same arguments as in the proof of Lemma 7, we see that Λ 4 (E) 1 E 3 +R(E),
16 ALEX IOSEVICH AND DOOWON KOH where R(E) = x,y,z E 1 s 0 the fact that E = E, it is enough to show that As in the proof of Lemma 7, we have χ ( s(x y y z x z +z z) ). From this and R(E) d 3 E 5 + d E 4. R(E) E x EM(x), where M(x) = z F d 1 suffices to show that y E,s 0 χ ( s(x y y z x z +z z) ) M(x) d+1 E + d E for all x E. As in the proof of Lemma 7, we also see that where II = z F d 1, a 0,b 0,1 M(x) d E +II,. It therefore χ ( a(1 b)z z +a( y x+b(y +x)) z ) χ ( a(y by ) x ). Thus our final task is to show that (6.3) II d+1 E. To estimate II, calculate the sum over z F d 1 we see that the term II is given by (G 1 (η,χ)) d 1 a 0,b 0,1 by using Lemma 5 and then ([ ( y x)+b(y ] ) +x) χ +(y by ) x a, 4(1 b) where we also used the fact that η d 1 = 1, because d is odd and η is a multiplicative character of order two. Using Theorem 4 together with the assumptions of Lemma 8, we see that (G 1 (η,χ)) d 1 = d 1. Letting
Γ x (y,y,b) = EXTENSION THEOREMS FOR PARABOLOIDS 17 [ ( y x)+b(y +x) 4(1 b) II = d 1 d 1 = d 1 a 0,b 0,1 :Γ x(y,y,b) 0 a 0,b 0,1 :Γ x(y,y,b) 0 b 0,1 :Γ x(y,y,b) 0 ] +(y by ) x, it therefore follows that χ ( Γ x (y,y,b) a ) d 1 χ ( Γ x (y,y,b) a ) 1 d+1 E, wherethethirdlinefollowsfromthefactthat a F a 0,b 0,1 :Γ x(y,y,b)=0 χ(t a) = 1fort 0. Thus the ineuality in (6.3) holds and we complete the proof of the first part (.8) of Theorem 3. The proof of the second part (.9) of Theorem 3 immediately follows from the same arguments as in the proof of Theorem. 1 References [1] J. Bourgain, On the restriction and multiplier problem in R 3, Lecture notes in Mathematics, no. 1469, Springer Verlag, 1991. [] L. De Carli, A. Iosevich, Some sharp restriction theorems for homogeneous manifolds, J. Fourier Anal. Appl., 4 (1998), no. 1, 105-18. [3] C.Fefferman, Ineualities for strongly singular convolution operators, Acta Math. 14(1970),9-36. [4] B. J. Green, Restriction and Kakeya phenomena, Lecture notes (003). [5] H. Iwaniec, and E.Kowalski, Analytic Number Theory, Collouium Publications 53 (004). [6] A. Iosevich and D. Koh, Extension theorems for the Fourier transform associated with non-degenerate uadratic surfaces in vector spaces over finite fields,illinois J. of Mathematics (to appear),(007). [7] A. Iosevich and D. Koh, Extension theorems for spheres in the finite field setting, Preprint, arxiv.org, (007). [8] R. Lidl and H. Niederreiter, Finite fields, Cambridge Univ. Press (1997). [9] G. Mockenhaupt, and T. Tao,Restriction and Kakeya phenomena for finite fields, Duke Math.J.11(004), no. 1, 35 74. [10] E.M.Stein, Harmonic Analysis, Princeton University Press,(1993). [11] R.S.Strichartz, Restriction of Fourier Transform to uadratic surfaces and decay of solutions of wave euations, Duke.Math.J. 44(1977), no.3, 705-714. [1] T. Tao, The Bochner-Riesz conjecture implies the Restriction conjecture, Duke. Math. J. 96 (1999), 363-375. [13] T.Tao, Recent progress on the restriction conjecture, Fourier analysis and convexity, 17 43, Appl. Numer. Harmon. Anal., Birkhuser Boston, Boston, MA, 004. [14] A. Weil, On some exponential sums, Proc. Nat. Acad. Sci. U. S. A. 34, (1948), 04 07.
18 ALEX IOSEVICH AND DOOWON KOH [15] T. Wolff. Lecture notes on harmonic analysis. With a foreword by C. Fefferman and preface by I. Laba. Edited by I. Laba and C. Shubin. University Lecture Series, 9. American Mathematical Society, Providence, RI, 003. [16] A.Zygmund, On Fourier coefficients and transforms of functions of two variables, Studia Math. 50(1974), 189-01. Mathematics Department, 0 Mathematical Sciences Bldg, University of Missouri, Columbia, MO 6511 USA E-mail address: iosevich@math.missouri.edu Mathematics Department, 0 Mathematical Sciences Bldg, University of Missouri, Columbia, MO 6511 USA E-mail address: koh@math.missouri.edu