TY - JOUR
T1 - When is the Fourier transform of an elementary function elementary?
AU - Etingof, Pavel
AU - Kazhdan, David
AU - Polishchuk, Alexander
PY - 2002
Y1 - 2002
N2 - Let F be a local field, ψ a nontrivial unitary additive character of F, and V a finite dimensional vector space over F. Let us say that a complex function on V is elementary if it has the form g(x) = Cψ(Q(x)) ∏j=1k χj(Pj(x)), x ∈ V, where C ∈ ℂ, Q is a rational function (the phase function), Pj are polynomials, and χj multi-plicative characters of F. For generic Xj, this function canonically extends to a distribution on V (if char(F)=0). Occasionally, the Fourier transform of an elementary function is also an elementary function (the basic example is the Gaussian integral: k = 0, Q is a nondegenerate quadratic form). It is interesting to determine when exactly this happens. This question is the main subject of our study. In the first part of this paper we show that for F = ℝ or ℂ, if the Fourier transform of an elementary function g ≠ 0 with phase function -Q such that det d2Q ≠ 0 is another elementary function g* with phase function Q*, then Q* is the Legendre transform of Q (the "semiclassical condition"). We study properties and examples of phase functions satisfying this condition, and give a classification of phase functions such that both Q and Q* are of the form f(x)/t, where f is a homogeneous cubic polynomial and t is an additional variable (this is one of the simplest possible situations). Unexpectedly, the proof uses Zak's classification theorem for Severi varieties. In the second part of the paper we give a necessary and sufficient condition for an elementary function to have an elementary Fourier transform (in an appropriate "weak" sense) and explicit formulas for such Fourier transforms in the case when Q and Pj are monomials, over any local field F. We also describe a generalization of these results to the case of monomials of norms of finite extensions of F. Finally, we generalize some of the above results (including Fourier integration formulas) to the case when F = ℂ and Q comes from a prehomogeneous vector space.
AB - Let F be a local field, ψ a nontrivial unitary additive character of F, and V a finite dimensional vector space over F. Let us say that a complex function on V is elementary if it has the form g(x) = Cψ(Q(x)) ∏j=1k χj(Pj(x)), x ∈ V, where C ∈ ℂ, Q is a rational function (the phase function), Pj are polynomials, and χj multi-plicative characters of F. For generic Xj, this function canonically extends to a distribution on V (if char(F)=0). Occasionally, the Fourier transform of an elementary function is also an elementary function (the basic example is the Gaussian integral: k = 0, Q is a nondegenerate quadratic form). It is interesting to determine when exactly this happens. This question is the main subject of our study. In the first part of this paper we show that for F = ℝ or ℂ, if the Fourier transform of an elementary function g ≠ 0 with phase function -Q such that det d2Q ≠ 0 is another elementary function g* with phase function Q*, then Q* is the Legendre transform of Q (the "semiclassical condition"). We study properties and examples of phase functions satisfying this condition, and give a classification of phase functions such that both Q and Q* are of the form f(x)/t, where f is a homogeneous cubic polynomial and t is an additional variable (this is one of the simplest possible situations). Unexpectedly, the proof uses Zak's classification theorem for Severi varieties. In the second part of the paper we give a necessary and sufficient condition for an elementary function to have an elementary Fourier transform (in an appropriate "weak" sense) and explicit formulas for such Fourier transforms in the case when Q and Pj are monomials, over any local field F. We also describe a generalization of these results to the case of monomials of norms of finite extensions of F. Finally, we generalize some of the above results (including Fourier integration formulas) to the case when F = ℂ and Q comes from a prehomogeneous vector space.
KW - Covering system
KW - Fourier transform
KW - Local field
KW - Stationary phase
KW - Γ-function
UR - http://www.scopus.com/inward/record.url?scp=36248932238&partnerID=8YFLogxK
U2 - 10.1007/s00029-002-8101-7
DO - 10.1007/s00029-002-8101-7
M3 - ???researchoutput.researchoutputtypes.contributiontojournal.article???
AN - SCOPUS:36248932238
SN - 1022-1824
VL - 8
SP - 27
EP - 66
JO - Selecta Mathematica, New Series
JF - Selecta Mathematica, New Series
IS - 1
ER -