[論文レビュー] Hypergeometric periods for a tame polynomial

Claude Sabbah|May 18, 1998

Advanced Differential Equations and Dynamical Systems被引用数 52

ひとこと要約

本稿では、ガウス＝マニン系のフーリエ変換におけるマルドゥーブ＝カシワラフィルトレーションを用いて、$$\mathbb{C}^{n+1}$$ 上のたんすな多項式のスペクトルを確立し、超幾何的周期積分が、$$\Gamma(s + \beta)$$ 因子の積で表される行列式公式を満たすことを証明する。ここで $$\beta$$ はスペクトル指数である。この構成は、リーマン・チムブルの漸近的フィルトレーションを用いて、非孤立特異点の場合にヴァルチェンコおよびドアの結果を一般化する。

ABSTRACT

We analyse the Gauss-Manin system of differential equations---and its Fourier transform---attached to regular functions satisfying a tameness assupmption on a smooth affine variety over C (e.g. tame polynomials on C^{n+1}). We give a solution to the Birkhoff problem and prove Hodge-type results analogous to those existing for germs of isolated hypersurface singularities.

研究の動機と目的

• $$\mathbb{C}^{n+1}$$ 上のたんすな多項式に対する標準的スペクトルを定義し、孤立特異点の局所的スペクトルを、コhomologically たんすなの非孤立な場合に一般化すること。
• たんすなの正則関数のガウス＝マニン系に対するバーキョフ問題を解き、良い基底およびスペクトルデータの存在を保証すること。
• 超幾何的積分 $$\int_{\gamma} f^s \omega$$ の周期行列式が、$$\beta$$ をスペクトル指数として、$$\Gamma(s + \beta)$$ 因子の積として表されることを証明し、$$s$$ に関する周期関数を除いて成り立つこと。
• 孤立特異点の場合と類似する、ブリースコルン格子 $$G_0$$ 及びそのフーリエ変換に関するホッジ型定理を確立すること。

提案手法

• たんすなの多項式 $$f$$ のガウス＝マニン系 $$M$$ を、$$\mathbb{C}[t]\langle\partial_t\rangle$$ 上の正則 $$\mathcal{D}$$-加群として分析し、ブリースコルン格子 $$M_0$$ を $$\mathbb{C}[t]$$-自由加群として定義する。
• $$M$$ のフーリエ＝ラプラス変換 $$G$$ を、$$\mathbb{C}[\tau]\langle\partial_\tau\rangle$$ 上の $$\mathcal{D}$$-加群として考える。ここで $$\tau = \partial_t$$、$$\partial_\tau = -t$$ であり、$$G_0 = M_0$$ は $$\mathbb{C}[\theta]$$-加群として $$\theta = \tau^{-1}$$ で定義される。
• スペクトルは、ヤコビアン商 $$\mathbb{C}[x_0,\dots,x_n]/(\partial_{x_i}f)$$ に誘導される $$\tau = 0$$ におけるマルドゥーブ＝カシワラフィルトレーション $$V_\bullet G$$ のジャンプインデックスとして定義される。
• $$\tau \to 0$$ におけるリーマン・チムブル $$\delta$$ の積分 $$\int_\delta \omega e^{-\tau f}$$ の漸近的挙動を用いてフィルトレーションを定義し、通常の $$\tau \to \infty$$ における定常位相の代わりに用いる。
• 周期行列式と $$\Gamma$$-因数の積との関係を示すために、Aomoto複体 $$\mathbb{C}(s) \otimes_\mathbb{C} \Omega^\bullet[1/f]$$ が用いられる。
• フィルトレートド $$\mathcal{D}$$-加群 $$G$$ における双対性およびホッジ対称性を用いて、スペクトルが対称的であること、およびフィルトレーション $$G_\bullet \operatorname{gr}_\alpha^V G$$ が厳密であることを証明し、スペクトル分解が適切に定義されることを保証する。

実験結果

リサーチクエスチョン

• RQ1 非孤立特異点をもつたんすなの多項式に対して、孤立特異点のスペクトルに類似した標準的スペクトルを定義できるか？
• RQ2 周期行列式 $$\int_\gamma f^s \omega$$ の行列式が、$$\beta$$ をスペクトル指数として、$$\Gamma(s + \beta)$$ 項の積として因数分解されるか、$$s$$ に関する周期関数を除いて成り立つか？
• RQ3 ガウス＝マニン系のフーリエ変換におけるマルドゥーブ＝カシワラフィルトレーションが、$$\tau \to 0$$ における積分 $$\int_\delta \omega e^{-\tau f}$$ の漸近的挙動とどのように関係するか？
• RQ4 ブリースコルン格子 $$G_0$$ におけるホッジ構造は、スペクトルフィルトレーションと整合性があり、孤立した場合と同様に双対性および厳密性の性質を満たすか？
• RQ5 たんすなの関数のガウス＝マニン系に対してバーキョフ問題が解けるか？これにより、良い基底およびスペクトル分解の存在が保証されるか？

主な発見

• たんすなの多項式のスペクトルは、ヤコビアン商に誘導される $$\tau = 0$$ におけるマルドゥーブ＝カシワラフィルトレーション $$V_\bullet G$$ のジャンプインデックスとして定義され、ヴァルチェンコおよびドアの構成を一般化する。
• 超幾何的積分 $$\int_\gamma f^s \omega$$ の周期行列式が、$$\beta$$ をスペクトル指数として、$$\Gamma(s + \beta)$$ 因子の積として表されることを示し、$$s$$ に関する周期関数を除いて成り立つ。これは、ドアの予想がたんすなの場合に確認されたことを示す。
• すべての $$\alpha \in [0,1)$$ に対して、フィルトレーション $$G_\bullet \operatorname{gr}_\alpha^V G$$ は厳密である。これにより、スペクトル分解が適切に定義され、ホッジ構造と整合的であることが保証される。
• スペクトルは対称的である：$$\nu_\alpha = \nu_{1-\alpha}$$、かつ $$\nu_\beta = 0$$（$$\beta < 0$$ のとき）。これは、フィルトレートド $$\mathcal{D}$$-加群における双対性およびホッジ対称性から導かれる。
• ブリースコルン格子 $$G_0$$ は $$\mathbb{C}[\theta]$$-自由加群であり、$$G_0 / \theta G_0$$ は体積形式を除いてヤコビアン商に同型である。
• フィルトレートド $$\mathcal{D}$$-加群 $$G$$ がホッジ構造およびスペクトル構造と整合する良いフィルトレーションを備えていることを証明することで、バーキョフ問題が解決され、良い基底およびスペクトル分解の存在が保証される。