[論文レビュー] Coefficients of the poles of local zeta functions and their applications to oscillating integrals

Toshihisa Okada, Kiyoshi Takeuchi|ArXiv.org|Mar 25, 2009

Analytic Number Theory Research参考文献 14被引用数 3

ひとこと要約

本稿では、孤立特異点をもつ実解析的関数に関連する局所ゼータ関数の極の係数を、分布のmeromorphicな拡張を用いて正確に計算する新規な手法を提案する。これらの係数について明示的な公式を導出し、振動積分に応用することで、ガンマ関数と複素位相を含む、漸近展開の主要係数の閉形式を得る。

ABSTRACT

We introduce a new method which enables us to calculate the coefficients of the poles of local zeta functions very precisely and prove some explicit formulas. Some vanishing theorems for the candidate poles of local zeta functions will be also given. Moreover we apply our method to oscillating integrals and obtain an explicit formula for the coefficients of their asymptotic expansions.

研究の動機と目的

• 一般設定において、極の係数を正確に計算する手法を開発すること。
• 局所ゼータ関数のローラン展開における極の係数について明示的な公式を提供すること。
• これらの結果を振動積分に応用し、その漸近展開における主要係数の明示的公式を導出すること。
• テスト関数のjet構造に基づいて、漸近展開における係数の消滅定理を確立すること。
• 複素解析および特異点の解消を用いて、ゼータ関数の極の係数と振動積分の係数を結びつけること。

提案手法

• 複素パrameter $ \tau $ に関する分布 $ |x_{1+}^{l_1\tau + m_1} \times \text{...} \times x_{n+}^{l_n\tau + m_n}| $ のmeromorphicな拡張を用い、極の係数の精密な解析を可能にする。
• ニュートン多角形 $ \Gamma_+(f) $ の双対ファン $ \tau_0 $ の滑らかな分割 $ \tau $ を用いた特異点の解消を採用し、特に $ \sigma \in \Sigma $ のコーンに注目する。
• 重要な不変量を定義する：$ l(a^i(\sigma)) = \min_{\alpha \in \Gamma_+(f)} \langle a^i(\sigma), \alpha \rangle \in \mathbb{Z}_+ $ および $ |a^i(\sigma)| = \sum_j a^i(\sigma)_j $ であり、これらは候補となる極を特徴付けるために用いられる。
• 候補となる極 $ -\lambda_j $ が集合 $ K^i(\sigma) $ に属するようなコーンの集合 $ \Sigma_j^{(k)} $ を導入し、極の位数の分類を可能にする。
• 各 $ \sigma $ に対して $ \nu(\sigma)_i \in \mathbb{Z}_+ $ を定義し、$ \lambda_j = \frac{|a^i(\sigma)| + \nu(\sigma)_i}{l(a^i(\sigma))} $ を満たすようにする。これはローラン係数の計算に不可欠である。
• 分布の微分と $ \varphi $ の 0 におけるテイラー展開を組み合わせ、$ \partial^{\mu(\sigma,\alpha)} |f_\sigma|^{-\lambda_j}(0) $ を用いて、係数を明示的に表現する。

実験結果

リサーチクエスチョン

• RQ1 一般設定において、局所ゼータ関数の極の係数をどの程度正確に計算できるか。
• RQ2 振動積分の漸近展開における係数の消滅を保証する条件は何か。
• RQ3 関数 $ I_f(\varphi)(t) $ の漸近展開における主要係数 $ c_{j,n}(\varphi) $ の明示的公式は何か。
• RQ4 ゼータ関数の極の係数と振動積分の係数の関係は何か。
• RQ5 最も深い極 $ \lambda = -\lambda_j $ が、漸近展開に対数項をもたらす条件は何か。

主な発見

• 局所ゼータ関数 $ Z_f^{\pm}(\varphi) $ の最も深い極 $ \lambda = -\lambda_j $ の係数 $ a_{j,n}^{\pm}(\varphi) $ は、$ \sigma \in \Sigma_j^{(n)} $ に関する和として与えられ、$ c_{\pm}(\sigma) $、多変数階乗 $ \mu(\sigma,\alpha) $、および $ |f_\sigma|^{-\lambda_j} $ の 0 における微分を含む。
• $ \lambda_j $ が整数でないとき、$ a_{j,n}^{\pm}(\varphi) = b_{j,n}^{\pm}(\varphi) $ が成り立ち、ゼータ関数と振動積分の係数の間の直接的な関係が確立される。
• 関数 $ I_f(\varphi)(t) $ の漸近展開における主要係数 $ c_{j,n}(\varphi) $ は、$ \frac{\Gamma(\lambda_j)}{(n-1)!} \left( e^{\frac{\pi i}{2}\lambda_j} b^+_{j,n}(\varphi) + e^{-\frac{\pi i}{2}\lambda_j} b^-_{j,n}(\varphi) \right) $ として明示的に与えられ、振動積分とゼータ関数の係数を結びつける。
• 消滅定理が証明された：$ \varphi $ の 0 におけるジェットが特定の多変数インデックス集合 $ \Delta_{j,k} $ を避けるとき、$ c_{j,k}(\varphi) = \cdots = c_{j,k_j}(\varphi) = 0 $ が成り立つ。これは係数の消滅に関する基準を提供する。
• $ b_{j,n}^{\pm}(\varphi) $ の公式は、$ \sigma \in \Sigma_j^{(n)} $ に関する和として与えられ、各項は $ \prod_{i=1}^n \frac{1}{l(a^i(\sigma)) \mu(\sigma,\alpha)_i!} $ で重み付けされ、$ |f_\sigma|^{-\lambda_j} $ の $ \mu(\sigma,\alpha) $ 階微分の 0 における値を含む。
• $ \sigma \in \Sigma^{(n)}_j $ に対して、恒等式 $ c_+(\sigma) + c_-(\sigma) = \prod_{i=1}^n \{1 + (-1)^{\nu(\sigma)_i}\} $ が成り立ち、符号依存係数が極構造と結びつく。