[論文レビュー] Motivic exponential integrals and a motivic Thom-Sebastiani Theorem

Jan Denef, François Loeser|ArXiv.org|Mar 12, 1998

Algebraic Geometry and Number Theory参考文献 7被引用数 15

ひとこと要約

本稿では、ガウス和を含むようにモチーフ的積分を拡張することで、指数関数的積分のモチーフ的枠組みを導入し、トム＝セバスティアーニの定理のモチーフ的版を可能にする。直接和としての関数のモチーフ的指数関数的積分は積に分解されることを示し、これはホッジ実現において古典的トム＝セバスティアーニの定理を導く。

ABSTRACT

We introduce motivic analogues of p-adic exponential integrals. We prove a basic multiplicativity property from which we deduce a motivic analogue of the Thom-Sebastiani Theorem. In particular, we obtain a new proof of the Thom-Sebastiani Theorem for the Hodge spectrum of (non isolated) singularities of functions.

研究の動機と目的

• p進指数関数的積分のモチーフ的類似を、モチーフ的積分とガウス和の構成を用いて開発すること。
• アンダーソンの「余剰モチーフ」にインspiredされたガウス和に関連する仮想モチーフを組み込むことで、モチーフのグローテンディーク環を拡張すること。
• モチーフ的設定において、∫exp(t(f⊕f′)) = ∫exp(tf)·∫exp(tf′) の恒等式のモチーフ的版を確立すること。
• モチーフ的ミルナー・ファイバーの近くの周期および消滅周期のモチーフ的トム＝セバスティアーニの定理を確立すること。
• モチーフ的不変量のホッジ実現により、特異点における古典的トム＝セバスティアーニの定理のホッジスペクトル分解を回復すること。

提案手法

• k((t))-体で良い還元をもつものとして、モチーフ的積分を用いてp進積分ZΦ,f,i(α)およびEΦ,f,iのモチーフ的類似を定義する。
• 乗法的キャラクターのための追加生成子を備えたチャウモチーフのグローテンディーク群を拡張することで、ガウス和g(α)の仮想モチーフを導入する。
• ガウス和係数を用いたこれらの拡張されたモチーフ的積分の線形結合として、モチーフ的指数関数的積分を構成する。
• f⊕f′のモチーフ的指数関数的積分が、fおよびf′のモチーフ的指数関数的積分の積に等しいことを証明し、古典的恒等式(1.1)を一般化する。
• モチーフ的トム＝セバスティアーニの定理を用いて、f⊕f′のモチーフ的近くの周期が、fおよびf′のモチーフ的近くの周期の積に関係することを示す。
• ホッジ実現ファンクターを適用して、モノドロミー作用のスペクトル公式を含む、古典的ホッジスペクトル分解を回復する。

実験結果

リサーチクエスチョン

• RQ1 古典的恒等式 ∫exp(t(f⊕f′)) = ∫exp(tf)·∫exp(tf′) は、モチーフ的枠組みに持ち上げられるか？
• RQ2 ガウス和は、モチーフ的積分にどのように組み込まれ、モチーフ的指数関数的積分を定義するか？
• RQ3 モチーフ的指数関数的積分は、関数の直和に対してトム＝セバスティアーニの分解を満たすか？
• RQ4 モチーフ的トム＝セバスティアーニの定理を用いて、特異点のホッジスペクトル分解を回復できるか？
• RQ5 モチーフのグローテンディーク群は、消滅周期のスペクトルデータをどのように符号化するか？

主な発見

• f⊕f′のモチーフ的指数関数的積分は、fおよびf′のモチーフ的指数関数的積分の積に同型であり、古典的恒等式(1.1)をモチーフ的設定に一般化する。
• モチーフ的トム＝セバスティアーニの定理が成り立つ：f⊕f′のモチーフ的近くの周期は、fおよびf′のモチーフ的近くの周期の積に等しい。
• f⊕f′のモチーフ的消滅周期は、fおよびf′のモチーフ的消滅周期の積に同型であり、拡張されたグローテンディーク群の要素として成り立つ。
• ホッジ実現により、モチーフ的構成は古典的トム＝セ巴斯ティアーニの定理のホッジスペクトル版を回復する：Sp(f⊕f′, (x,x′)) = Sp(f,x)·Sp(f′,x′)。
• 2つの関数の直和のホッジスペクトルは乗法的に分解され、ヴァルチェンコと斎藤の一般の場合の結果を確認する。
• この構成により、p進的およびホッジ理論的アプローチを統合する、ホッジスペクトル分解の体系的モチーフ的証明が得られる。