[論文レビュー] When is the Fourier transform of an elementary function elementary?

Pavel Etingof, David Kazhdan+1 more|arXiv (Cornell University)|Mar 2, 2000

Mathematical Dynamics and Fractals参考文献 8被引用数 5

ひとこと要約

この論文は、位相関数と多項式の乗法的特徴の積として定義される初等関数のフーリエ変換が、いつ初等的であるかを調査する。定性的位相近似を用いて、この現象が、フーリエ変換の位相関数が元の位相関数のレジェンドル変換であるときに限り成立することを示し、前単調ベクトル空間およびセベリ多様体を通じて調和解析と代数幾何学の深い関係を確立する。主な結果は、局所体上での同次的3次形式である位相関数についてのこのような関数の分類である。

ABSTRACT

Let V be a finite dimensional vector space over a local field. Let us say that a complex function on V is elementary if it is a product of the additive character of a rational function Q on V and multiplicative characters of polynomials on V. In this paper we study when the Fourier transform of an elementary function is elementary. If Q has a nonzero Hessian, a necessary condition for this is that the Legendre transform Q_* of Q is rational. The basic example is a nondegenerate quadratic form. We study such functions Q, give examples, and find all of them such that both Q and Q_* are of the form f(x)/t, where f is a cubic form in many variables (the simplest case after quadratic forms). It turns out that this classification is closely related to Zak's classification of Severi varieties. The second half of the paper is devoted to finding and classifying elementary functions with elementary Fourier transforms when Q is a fixed function with rational Q_*. We consider the simplest case when Q is a monomial, and classify combinations of multiplicative characters that can arise. The answer (for real and complex fields) is given in terms of exact covering systems. We also describe examples related to prehomogeneous vector spaces. Finally, we consider examples over p-adic fields, and in particular give a local proof of an integral formula of D.K. that could previously be proved only by a global method.

研究の動機と目的

• 局所体上のベクトル空間における初等関数のフーリエ変換が、いつ初等的であるかを特定すること。
• 初等関数のフーリエ変換が初等的であるための必要十分条件を、アーキメデス的および非アーキメデス的設定において確立すること。
• 両方の関数が f(x)/t の形（f は同次的3次多項式）をとるような位相関数を分類すること。
• 有限次拡大のノルムの単項式への一般化を実施すること。
• 分布の恒等式およびガンマ関数の恒等式を通じて、代数的幾何的積分論の予想的枠組みに結果を結びつけること。

提案手法

• 形式的定性的位相法を適用して、必要条件を導出：変換後の位相関数は元の位相関数のレジェンドル変換でなければならない。
• 半古典的条件を用いて、初等関数のフーリエ変換が初等的である状況を特徴づける。
• f が同次的3次多項式で t が追加変数である形の位相関数 Q = f(x)/t を分類し、それが3次度の正則前単調ベクトル空間の相対不変量に対応することを示す。
• ザークのセベリ多様体分類定理を活用して、このような3次位相関数の分類を証明する。
• 任意の局所体 F における単項式型初等関数のフーリエ変換の明示的公式を導出する。
• F の有限次拡大のノルムを含む分布に対し、結果を一般化し、特に前単調ベクトル空間の文脈で考察する。

実験結果

リサーチクエスチョン

• RQ1 非退化な位相関数を持つ初等関数のフーリエ変換が、いつ初等的であるか？
• RQ2 フーリエ変換の位相関数が、元の位相関数のレジェンドル変換に対応するのはいつか？
• RQ3 どの同次的3次多項式が、Q = f(x)/t の形の位相関数を生成し、かつ Q とそのフーリエ変換の位相関数 Q* が両方とも同じ形をとるか？
• RQ4 任意の局所体上での、単項式または有限次拡大のノルムを含む初等関数のフーリエ変換を、どのように明示的に計算できるか？
• RQ5 弱い意味でも強くも成り立つフーリエ変換恒等式の背後にある、局所L関数とガンマ因子の恒等式は何か？

主な発見

• 位相関数 Q を持つ初等関数のフーリエ変換が初等的であるのは、変換後の位相関数 Q* が Q のレジェンドル変換である場合に限る。この条件は「半古典的条件」と呼ばれる。
• f が同次的3次多項式である形の位相関数 Q = f(x)/t について、Q と Q* が両方ともこの形をとるための条件は、f が3次度の正則前単調ベクトル空間の相対不変量である場合に限り成立し、このようなケースはちょうど7つ存在する。
• このような3次位相関数の分類は、ザークのセベリ多様体分類定理に依拠しており、調和解析と代数幾何学の深い関係を確立する。
• 任意の局所体 F に対して、単項式型初等関数のフーリエ変換の明示的公式が得られ、弱い意味で有効であり、特定の状況では強い収束に拡張可能である。
• F ⊕ E 上の分布 φ_E に関する恒等式 (1.2) は、立方乗の特徴とノルムを含むが、弱い意味での恒等式ではなく、原点における局所定数性の直接的検証により、強い意味でも成立することが示された。
• 巡回的および非アーベル的拡大について、ガンマ関数の恒等式および分布レベルのフーリエ変換恒等式が確立され、既知の結果が一般化され、代数的幾何的積分論の予想的枠組みを支持する。