arxiv: v1 [math.ca] 15 Dec 2017

Transcription

1 arxiv:705549v [mathca] 5 Dec 07 Finite field restriction estimates for the paraboloid in high even dimensions Alex Iosevich, Doowon Koh, and Mark Lewko Abstract We prove that the finite field Fourier extension operator for the paraboloid is bounded from L L r for r d+4 in even dimensions d 8, which is the optimal L estimate For d = 6 d we obtain the optimal range r > d+4 = 8/3, apart from the endpoint For d = 4 we improve the d prior range of r > 6/5 = 3 to r 8/9 = 3, compared to the conjectured range of r 3 The key new ingredient is improved additive energy estimates for subsets of the paraboloid Introduction The Fourier restriction conjecture is one of central open problems in Euclidean harmonic analysis and lies at the crossroads of geometric measure theory, analytic number theory, arithmetic combinatorics, and dispersive PDEs, among other fields Given a surface V in R d with surface measure dσ, the conjecture seeks exponent pairs (p, r) such that one has the inequality (fdσ) L r (R d ) C f L p (V,dσ) where ( ) denotes the inverse Fourier transform We refer the reader to [, 3, 5, 6, 8, 0, ], for a more detailed discussion of this conjecture, its connections to other areas of mathematics, and partial progress In 00, Mockenhaupt and Tao [7] initiated the study of analogous Fourier restriction problems in the finite field setting Their work primarily focused on the case of the paraboloid in low dimensions Subsequently a number of authors have improved their results, extended and generalized their results to higher dimensions and more general surfaces/algebraic varieties See [7, 8, 9,, 3, 4, 5, 9] The d-dimensional finite field paraboloid is defined as P = {(x,x x) : x F d } The Fourier extension operator for P maps functions on P to functions on F d and is defined as follows (fdσ) (x) := f(ξ)e(x ξ) P The finite field restriction problem for the paraboloid seeks exponents pairs (p, r) such that one has the inequality (fdσ) L r (F d ) f L p (P,dσ) with a constant independent of the size of the finite field Here the L r (F d ) norm is with respect to the counting measure on F d and the L p (P, dσ) norm is with respect to the normalized counting ξ P 00 Mathematics Subject Classification 4B05 Key words and phrases: additive energy, exponential sums, finite field, Fourier analysis, paraboloid The second listed author was supported by Basic Science Research Program through the National Research Foundation of Korea(NRF) funded by the Ministry of Education, Science and Technology(NRF-05RAAA )

2 measure on P which assigns a mass of P to each point in P We denote the best constant such that the above inequality holds as R (p r) which allows us to abbreviate the claimed inequality for an exponent pair (p,r) as R (p r) Obstructions to inequalities R (p r) arise when the surface P F d contains large affine subspaces Indeed it was observed in [7] that the presence of an affine subspace H of dimension k (that is H = F k ) implies the following necessary conditions for R (p r) : () r d d and r p(d k) (p )(d k) Informally speaking, the restriction conjecture for the paraboloid states that the necessary conditions that arise from subspaces in this way are the only obstructions to inequalities of this form The precise statement of the conjecture is complicated by the fact that the size of the largest affine subspace depends on the arithmetic of the field, in particular if there exists an element i F such that i = For instance in the d = 3 case, one can see that P := {(x,x,x +x ) : x,x F} contains a line of the form (t,it,0) when there exists an i F such that i = The size of the maximal affine subspaces contained within a d-dimensional paraboloid is well-understood, see [, 4], and gives rise to the following end-point restriction conjectures: () if d is even, then R ( d d d+, d d ) ; ( () if d = 4l for l N, and F is not a square number, then R d +d ( ) (3) If d = 4l+ for l N, then R d d, d d ; and ( ) (4) if d 3 is odd, and F is a square number, then R d d, d d d +3, d d ) ; Recently the third author observed [4] that one could potentially create more restrictive necessary conditions if onewas able to construct certain highly overlapping packings of affine subspaces in F d In particular, the above restriction conjecture implies Dvir s theorem [4] that finite field Kakeya sets have full dimension On the other hand, positive partial results have been obtained applying ideas from incidence geometry, Kakeya sets and operators, quadratic form theory, and analytic number theory We refer the reader to [] and [4] for detailed summaries of the current best-known results in each of these cases Here we will be interested in inequalities of the form R ( r) in even dimensions It is elementary that R ( 4) for d =, see [7], which is optimal In higher dimensions the necessary conditions arising from affine subspaces suggest that one should have R ( r) for r d+4 d There has been a number of partial results to date in this direction The finite field analog of the Stein-Tomas method, as developed by Mockenhaupt and Tao [7], gives R ( d+ d ) This argument only uses the size and Fourier decay properties of the surface P, and applies in every dimension and is not sensitive to the arithmetic (such as if is a square) of the finite field In odd dimensions in which is a square, this result gives the optimal L restriction In even dimensions the Stein-Tomas result was improved by the first two authors [8] in 008 to R ( r) for r > d d, with the endpoint r = obtained in [5] The second d d+ d d+ author [] recently improved this to r > 6d+8 3d for d 6, using, in part, ideas from [3] Here we further improve these results in d 4 obtaining the optimal L based results for even d 8 In particular we prove Theorem Let P F d be the paraboloid Then it follows that for every ε > 0, ( R 8 ) for d = 4; 9

3 R ( 8 3 +ε ) for d = 6;and ( R d+4 ) for all even d 8 d The key new ingredient compared to prior work on this problem is improved estimates for the additive energy of subsets of the paraboloid of intermediate dimension See Lemma 4 below Discrete Fourier analysis We give a brief overview of the notation and the basic Fourier analytic methods that are standard in this area We refer the reader to [4, 7] for a more detailed exposition We will use F to denote a finite field and write F d for the d-dimensional vector space over F which we will endow with the counting measure dx Given a function f : F d C we will often consider levels where the value of the function is proportional in size to a given value In particular we write f(x) λ to indicate that λ/ f(x) λ Given x F d we will let x denote the first d coordinates of x and x d the d-th coordinate or, in other words, x = (x,x d ) This allows us to parameterize the d-dimensional paraboloid as P := {(x,x x) : x F d } We let e( ) denote a nontrivial additive character on F and recall the orthogonality relation F { d 0 if ξ (0,,0), e(ξ x) = δ(ξ) =: if ξ = (0,,0) x F d Given a complex-valued function f : F d C we define its Fourier transform as f(ξ) = x F d f(x)e( x ξ) We will write F d for the dual space of Fd and endow it with the normalized counting measurewhich assigns a mass of F d to each point The inverse Fourier transform of a function g : F d C is then given by: g (x) = F d ξ F d g(ξ)e(ξ x) For a function f : F d C we write f L p (F d ) = ( x F d f(x) p) /p and for g : F d C we write g L p (F d ) = ( F d x F d f(x) p) /p We will also work with functions defined on a surface S F d in which case we define the surface measure dσ to the measure that assigns mass S to each element of S, so that g L p (F d,dσ) = ( S x S f(x) p) /p With these conventions, Parseval s theorem states f L (F d ) = f L (F d) and f,g F d = f,ĝ where the first inner product is taken with respect to the counting measure and the second the normalized counting measure on F d From Parseval and duality it easily follows that the extension inequalities we seek to prove have equivalent restriction formulations That is to say the following two inequalities are equivalent: () (fdσ) L r (F d ) R (p r) f L p (P,dσ) (3) ĝ L p (P,dσ) R (p r) g L r (F d ) As usual r and p denote the conjugate exponents of r and p respectively (ie = p + p ) We define convolution on F n as f g(x) = y F d f(y)g(x y), and on Fn as f g (ξ) = 3 F d

4 F d ζ F d f (ζ)g (ξ ζ) We will be interested in upper bounds on the quantity ĝ L (S,dσ) := ( S ξ S ĝ(ξ) ) From Parseval s theorem, we have that (4) ĝ,g = g,g (dσ) F d Letting dσ denote the surface measure on the d-dimensional paraboloid and G(t) := s F e(ts ) t 0 denote the classical Gauss sum, an easy computation (see (8) in [7]) gives us that (5) (dσ) (x) = F d e(x ξ) = ξ P F d e ( x x 4x d )G(x d ) d if x d 0 0 if x d = 0, x 0 if x = 0, where it is well-known (see (9) in [7]) that G(t) = F for t 0 It follows that (dσ) (x) F d for x 0 Combining (5) with (4) one has that (6) ĝ L (P,dσ) = g,g (dσ) F d g L (F d ) + g L (F d ) F d 4 Interpolating this estimate with the following consequence of Parseval (7) ĝ L (P,dσ) F g L (F d ) yields the finite field Stein-Tomas estimate ĝ L (P,dσ) g L d+ d+3 (F d ) We refer the reader to [7] for details Another standard application (see [4] Lemma 6) of (6) is the following epsilon removal lemma: Lemma Assume that for every ǫ > 0 one has a constant c(ǫ) such that the following inequality holds then for every p < p 0, we have the estimate ĝ L (P,dσ) c(ǫ) F ǫ g L p 0(F d ) ĝ L (P,dσ) g L p (F d ) Restriction estimates from additive energy estimates We start by recalling the Mockenhaupt-Tao machine which allows one to relate the quantity ĝ L (P,dσ) to the additive energy of the support of certain level sets of g : F d C This same argument essentially appears, albeit in different notation, as Lemma 8 in [4] or Lemma 36 in [] (and is implicit in [7]), but we sketch it below for the sake of completeness Given a function g : F d C we will denote its support by G To help ease notation, we will also use G to refer to the characteristic function of G Moreover we define G z : F d {0,} by G z (x) = G(x,z) Finally we define G z : P {0,} by G z (x,x x) = G z (x) (and 0 for x / P) With this notation we have the following Lemma Let g : F d C such that g on its support We then have ĝ L (P,dσ) supp(g) + supp(g) 3 8 F d 4 4 ( (G z dσ) L 4 (F d ) z F )

5 Proof (Sketch) From (5) we may write (dσ) (x) = δ(x)+k(x) with ( ) x x K(x) := F d e G(x d ) d 4x d for x d 0 and 0 otherwise Using (4) we have g L (S,dσ) = g,g (dσ) F d g L (F d ) + g L 4/3 (F d ) g K L 4 (F d ) Evaluation of the first two norms above, using the fact that g, reduces to the lemma to the claim g K L 4 (F d ) F d z F (G zdσ) L 4 (F d ) By the triangle inequality this reduces to theclaim G z K L 4 (F d ) F d (G z dσ) L 4 (F d ) Sinceconvolution commutes with translations, it suffices to establish this for z = 0 We compute: G z K(x) 4 = F d 4 Gz (y)e((x y) (x y)/( 4x d )) x F d x F d x d F y F d x d 0 Expanding (x y) (x y)/( 4x d ) = (x x x y +y y)/( 4x d ) and performing the change of variables t = /( 4x d ) and u = x/(x d ) we have (x y) (x y)/( 4x d ) = u u/(4t)+u y +ty y With this change of variables, the left-hand side above is equal to F d ( u u ) u F e Gz (y)e(u y +ty y) 4t d y F d t F t 0 = F d u F d t F P Gz (y)e(u y +ty y) y F d t 0 F d (G z dσ) (x) 4 x F d Taking fourth roots completes the proof The usefulness of Lemma follows from the fact that the L 4 norm of the extension operator applied to the slices of g, that is (G z dσ) L 4 (F d ), has a combinatorial interpretation In particular if G z is majorized by the characteristic function of a subset of S P, then direct computation (see Corollary 5 in [4]) shows ( S dσ) L 4 (F d ) = F 4 3d 4 (Λ(S)) 4, where Λ(S) := a,b,c,d S a+b=c+d denotes the additive energy of the set of S The new ingredient in the current work is the following estimate for the additive energy of a subset of the paraboloid, which will be proven in the next section: Lemma Let P F d be the paraboloid If d 4 is even and E P, then we have Λ(E) = F E 3 + F d E x,y,z,w E x+y=z+w Assuming this lemma and inserting it into the conclusion of Lemma we obtain, identifying sets with their characteristic functions, that 5 4 4

6 Lemma 3 Let g : F d C such that g on its support G F d Then ĝ L (P,dσ) G + G 3 4 F d 8 + F 6 d 6 G 5 8 Proof Starting from Lemma and inserting the energy estimate from Lemma 4 we have: ( ) ĝ L (P,dσ) G + G 3 8 F d 4 (G z dσ) L 4 (F d ) G 3 d 4 3d + G 8 F 4 F 8 G + G 3 8 F d 4 F 4 3d 8 ( F 4 z F z F ( F 4 F 4 G z z F G z 3 d 4 + F 8 )3 4 G z z F + F d 8 F ) ( G z G + G 3 4 F d 8 + F 6 d 6 G 5 8 z F ) Combining the dominate terms from Lemma 3, (7) and (6) we obtain the following: Lemma 4 Let d 4 is even If g : F d C such that g on its support G, then F G for F d+ G F d ĝ L (P,dσ) F d+6 6 G 5 8 for F 3d+ 6 G F d+ G + F d+ 4 G for G F 3d+ 3 Proof of the Theorem We now deduce Theorem using Lemma 4 We proceed in the dual/restriction (see (3)) form For even d 8 it suffices to show ĝ L (P,dσ) for all g : F d C with d+4 (3) g(x) d+4 = x F d Inthecased = 6itsufficestoshow ĝ L (P,dσ) log F forallg : F 6 Csuchthat x F 6 g(x) 8 5 = using the epsilon-removal/lemma Let g i denote the level set of g where the function is of size i In other words, g i = {x:g(x) i } From (3), one has that supp(g i ) id+4 d+4 Our goal is to bound ĝ L (P,dσ) We proceed as follows: id+4 d+4 F 3d+ 6 i ĝ i L (P,dσ)+ ĝ L (P,dσ) 3log F i=0 F 3d+ 6 id+4 d+4 F d+ = I +II +III i ĝ i L (P,dσ) i ĝ i L (P,dσ)+ 6 F d+ id+4 d+4 F d Applying Lemma 4 with the estimate supp(g i ) id+4 d+4 we have that I i ĝ i L (P,dσ) i id+4 d d+8 + F 4 i id+4 d+4 + id+4 d+4 F 3d+ 6 id+4 d+4 F 3d+ 6 6 i ĝ i L (P,dσ) id+4 d+4 F 3d+ 6 F 6 d d+4

7 If d = 6 we may conclude that I log F and if d 8 and is even then I Proceeding similarly with II we have II F 6 d 6 i d 6 6 d 4d+6 F 6 id 6 6 F 3d+ 6 id+4 d+4 F d+ 0 i F From this we may conclude that for d = 6 one has II log F and if d 8 is even then II Finally, for III we have III F id+4 d+8 i F i 4 d+8 F F F d+ id+4 d+4 F d F d+ id+4 d+4 F d So III for all d This completes the proof for d 6 We next consider the case d = 4 Proceeding as above we set p = 8 9, assume x F d g(x) p =, and note that supp(g i ) ip We then may decompose We estimate I ip F 7 3 ip F 7 3 i ĝ i L (P,dσ) + II III This completes the proof ĝ L (P,dσ) F 7 3 ip F 3 3log F i=0 i ĝ i L (P,dσ) i ĝ i L (P,dσ) + = I +II +III ( ) i g i + i F 3 4 gi F 7 3 ip F 3 F 3 ip F 4 i F 8 g i 5 8 F i g i ip F 7 3 F 7 3 ip F 3 F 3 ip F 4 4 Additive Energy Estimates F 3 ip F 4 i ĝ i L (P,dσ) ( i ip + F 3 4 i ip) F 8 i 5ip 8 F i ip In this section, we complete the proof of the theorem by verifying the additive energy estimate stated above, namely Lemma 4 Let P F d be the d-dimensional paraboloid If d 4 is even and E P, then we have Λ(E) = F E 3 + F d E x,y,z,w E x+y=z+w The proof of this result will be Fourier analytic and has similarities to arguments used previously in [8, 9, ] As above, we will parameterize elements of x P as x = (x,x x) and use x to denote the projection of x onto F d Similarly if E P we will denote the set obtained by projecting the elements of E onto F d as E 7

8 We start by decomposing the sum defining the additive energy into two components These components will be distinguished based on the relationship of certain pairs of points to j-spheres We define a j-sphere S j in F d as S j := {x F d : x x = j} We will discuss certain properties of these spheres below We may now start the proof of Lemma 4 Let E P F d Λ(E) = x,y,z,w E x+y=z+w = x,y,z E x z+y P, z y S 0 x,y,z E x z+y P + x,y,z E x z+y P, z y/ S 0 := M +M The proof will be completed by boundingm and M These will be considered in the following two subsections, respectively 4 Bounding M We start by estimating M := = E E(y)E(z)S 0 (z y) x,y,z E y,z F d z y S 0 x,y,z E x z+y P, z y S 0 We will proceed by expanding the characteristic function of S 0 in a Fourier series S 0 (α) = m F d S 0(m)e( m α) This gives us that M E y,z F d E(y)E(z) = E F d m F d S 0 m F d S 0 (m) E (m) (4) = E F d S 0(0) E (0) + E F d (m)e( m (z y)) m F d m 0 S 0(m) E (m) Thefunction S0 (m) can beexplicitly evaluated in termsof Gauss andkloosterman sums Denoting F to be the set of non-zero elements of F, e( ) a nontrivial additive character, and η the multiplicative quadratic character on F We then define the Gauss sum G(η) := s F η(s)e(s) and twisted Kloosterman sum TK(a,b) := s F η(s)e(as+bs ) It is well known (see, for example, [6, 0]) that: (4) G(η) = F and TK(a,b) F Moreover, the inverse Fourier transform of the n-dimensional j-sphere, S j, is explicitly calculated (see, for example, Lemma 4 in [9]), as follows: Sj (α) := F n e(α ξ) ξ S j 8

9 (43) = F δ(α) + F n η n ( )G n (η) ( η n (r)e r F Estimating the inner exponential sums using (4) gives the following jr + α α 4r Lemma 4 Let S 0 = {x F n : x x = 0} be the 0-sphere in F n If n 3 is odd, then we have S 0 (α) F (n+) for α 0 and S 0 (0) F If n 4 is even, then we have S 0 (α) F n for α 0 and S 0 (0) F ApplyingLemma4to(4)forodddimensions(sincediseven)andtheidentity m F d E (m) = F (d ) E we have that ( M E F d F F E ) (d ) + E F d F d/ F (d ) E This completes the estimate of M 4 Bounding M We start by estimating (44) M := F E 3 + F d E x,y,z E x z+y P, z y/ S 0 = y E x,z E x z+y P, z y/ S 0 Next we will perform a Galilean transformation which will allow us to simplify the inner sum Given y = (y,y d ) P we define the Galilean transformation G y : P P by G y (z,z d ) = (z y, z d z y +y y) The following two properties of G y make it useful Lemma 43 Let x,z,y P we have that x z +y P if and only if G y (x) G y (z) P z y / S 0 if and only if G y (z) / S 0 {0} Proof The first claim can be verified by directly computing and comparing the algebraic equations implied by each side of the equivalence This is done in detail in the proof of Lemma 44 of [4] The second claim follows immediately from the definition of G y (z) We will also need the following elementary fact Lemma 44 Let S 0 denote the n-dimensional 0-sphere and x,y F n \S 0 Then x = y if and x only if x x = y y y Proof Clearly x = y implies x x x = y y y Letting t := y y x x 0 we have that y = tx This implies Conversely, suppose that x x x = y x x x = y y y = tx t (x x) which, in turn, implies t = and thus x = y which completes the proof 9 ) y y for x,y Fn \S 0

10 Applying the Lemma 43 to (44) we see that M = y E x,z E x z+y P, z y/ S 0 = y E G y (x),g y (z) G y (E) G y (x) G y (z) P, G y (z)/ S 0 {0} For each fixed y E, let G y (E) = E y and E y \(S 0 {0}) := Ey It follows that M = y E a E y,b E y a b P E max y E a E y,b E y a b P The desired bound on M is now reduced to the following lemma Lemma 45 Let S 0 denote the 0-sphere in F d If A P and B P \(S 0 {0}), we have F A B + F d A B x A,y B x y P Proof Observing that x y P for x A P and y B P \(S 0 {0}) if and only if x y = y y 0 It follows that = = x A,y B x y P x A,y B x y=y y 0 x A,y B x y y y = Using Lemma 44, we can replace B with B := { y y y : y B} and we can write = = x A,y B x y P x A,y B x y y y = a A,b B a b= We will estimate this quantity using Fourier analysis Note that B = B = B By the orthogonality relation of the nontrivial additive character e( ) of F, it follows that = F e(s(a b )) a A,b B s F a A,b B a b= = F A B + F := F A B +R a A,b B s 0 e(s(a b )) Estimating R by applying the Cauchy-Schwarz inequality in the variable b, and completing the sum over b B to all of F d, we see that R F B e(s(a b )) b F d a A,s 0 = F B e(s s) e((sa s a ) b) a,a A,s,s 0 b F d 0

11 By the orthogonality relation of e( ), we have R F d 3 B e(s s) = F d 3 B a,a A,s,s 0 sa=s a a A, s 0 + F d 3 B F d A B + F d 3 B Letting u = s and v = s s, it follows that R F d A B + F d 3 B = F d A B F d 3 B a,a A,s,s 0 s s,sa=s a a,a A,s,s 0 s s,sa=s a e a,a F d,u 0,v 0, va=a a F d,v 0, e (s ( s )) s (s ( s s )) A(a)A(a )e(u( v)) A(a)A(va) F d A B Thus, R F d A B which completes the proof References J Bourgain, Besicovitch-type maximal operators and applications to Fourier analysis, Geom and Funct Anal (99), J Bourgain and L Guth, Bounds on oscillatory integral operators based on multilinear estimates, Geometric And Functional Analysis (0), 6, J Bennett, ACarbery, and T Tao, On the multilinear restriction and Kakeya conjecture, Acta Math, 96 (006), Z Dvir, On the size of Kakeya sets in finite fields, J Amer Math Soc (009), L Guth, A restriction estimate using polynomial partitioning, J Amer Math Soc 9 (06), no, L Guth, Restriction estimates using polynomial partitioning II, preprint (06), arxiv: A Iosevich and D Koh, Extension theorems for the Fourier transform associated with non-degenerate quadratic surfaces in vector spaces over finite fields, Illinois J of Mathematics, 5 (008), no, A Iosevich and D Koh, Extension theorems for paraboloids in the finite field setting, Math Z 66 (00), A Iosevich and D Koh, Extension theorems for spheres in the finite field setting, Forum Math (00), no3, H Iwaniec and E Kowalski, Analytic number theory, AMS Colloquium Publications, 53, (004) A Iosevich and M Rudnev, Erdös distance problem in vector spaces over finite fields, Trans Amer Math Soc 359 (007), D Koh, Conjecture and improved extension theorems for paraboloids in the finite field setting, preprint (06), arxiv: M Lewko, New restriction estimates for the 3-d paraboloid over finite fields, Adv Math 70 (05), no, M Lewko, Finite field restriction estimates based on Kakeya maximal operator estimates, JEMS, to appear 5 A Lewko and M Lewko, Endpoint restriction estimates for the paraboloid over finite fields, Proc Amer Math Soc 40 (0), R Lidl and H Niederreiter, Finite fields, Cambridge University Press, (997) 7 G Mockenhaupt, and T Tao, Restriction and Kakeya phenomena for finite fields, Duke Math J (004),, EM Stein, Some problems in harmonic analysis, Harmonic analysis in Euclidean spaces (Proc Sympos Pure Math, Williams Coll, Williamstown, Mass, 978), Part, pp A Stevens and F Zeeuw, An improved point-line incidence bound over arbitrary fields, preprint (06), arxiv: T Tao, A sharp bilinear restriction estimate for paraboloids, Geom Funct Anal 3 (003),

12 T Tao, Some recent progress on the restriction conjecture, Fourier analysis and convexity, 7-43, Appl Numer Harmon Anal, Birkhäuser Boston, Boston, MA, (004) Department of Mathematics, University of Rochester, Rochester, NY USA address: Department of Mathematics, Chungbuk National University, Cheongju, Chungbuk 8644 Korea address: New York, NY USA address: