[論文レビュー] Motivic Igusa zeta functions

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

Algebraic Geometry and Number Theory参考文献 12被引用数 84

ひとこと要約

この論文は、多様体とモチーフのグロテンディーク環を用いて定義されるモチーフ的積分を用いて、p進Igusaゼータ関数の一般化としてモチーフ的Igusaゼータ関数を導入する。埋め込み解消を用いて、これらの関数の有理型および関数方程式を確立し、特殊化によりトポロジカルゼータ関数およびp進ゼータ関数と関係づける。

ABSTRACT

We define motivic analogues of Igusa's local zeta functions. These functions take their values in a Grothendieck group of Chow motives. They specialize to p-adic Igusa local zeta functions and to the topological zeta functions we introduced several years ago. We study their basic properties, such as functional equations, and their relation with motivic nearby cycles. In particular the Hodge spectrum of a singular point of a function may be recovered from the Hodge realization of these zeta functions.

研究の動機と目的

• p進Igusaゼータ関数をモチーフ的設定に一般化する。
• チャウモチーフのグロテンディーク環を用いて、乗法的特徴の付いた写像のモチーフ的Igusa関数を定義する。
• 特異点の埋め込み解消を用いて、これらの関数の有理型を確立する。
• 特殊化により、モチーフ的Igusa関数をトポロジカルゼータ関数およびp進Igusaゼータ関数と関係づける。
• 特定の仮定（特に商のモチーフ的オイラー特徴の予想）の下で、モチーフ的Igusa関数の関数方程式を証明する。

提案手法

• 関数 $ \int_W (f^s, \alpha) $ を、$ K_0(\text{Sch}_k)[\textbf{L}^{-1}][[ \textbf{L}^{-s} ]] $ 内のべき級数として定義し、ここで $ \textbf{L} = [\mathbb{A}^1_k] $ である。
• 有限群作用を伴うスキームのための等変埋め込み解消を用いて、$ f $ のレベル集合の幾何を分析する。
• レベル集合 $ X_n $ の $ \mathcal{L}_n(\mathbb{A}^m_k) $ への像を用いた系列として、モチーフ的積分 $ \int_W (f^s, \alpha) $ を構成し、それらのモチーフ的類で重みづけを行う。
• ギレット＝スールーおよびギリエン＝ナヴァロの結果を用いて、有限群作用を伴うスキームのためのモチーフ的オイラー特徴を扱う。
• ヴィラマヨールの解消定理を用いて、等変解消および修正の存在を保証する。
• 解消の構造を用いて、モチーフ的ゼータ関数を $ \textbf{L}^{-s} $ の有理関数として表現することにより、有理型を証明する。

実験結果

リサーチクエスチョン

• RQ1 p進Igusaゼータ関数は、どのようにモチーフ的積分を用いてモチーフ的設定に一般化できるか？
• RQ2 著者が導入したモチーフ的Igusa関数とトポロジカルゼータ関数の関係は何か？
• RQ3 モチーフ的Igusa関数が関数方程式を満たす条件は何か？
• RQ4 良い還元をもつ場合、モチーフ的Igusa関数はどのようにp進Igusaゼータ関数に特殊化されるか？
• RQ5 チャウモチーフのグロテンディーク環は、これらの関数の定義および計算において果たす役割は何か？

主な発見

• 埋め込み解消を用いた定理2.2.1により、モチーフ的Igusa関数 $ \int_W (f^s, \alpha) $ は $ \textbf{L}^{-s} $ に関して有理的である。
• 自明な特徴 $ \alpha $ の場合、同次多項式 $ f $ に対して関数方程式が成り立ち、p進ゼータ関数に関する古典的結果が一般化される。
• 非自明な $ \alpha $ の場合、商のモチーフ的オイラー特徴に関する予想の下で関数方程式が成り立つが、ヴォエヴォズキーの三角圏モチーフの圏においては証明済みである。
• $ k = \mathbb{C} $ かつ $ f $ が $ \mathbb{Z}_p $ 上で良い還元をもつ場合、モチーフ的Igusa関数はp進Igusaゼータ関数に特殊化される。
• $ s \to -\infty $ の極限において、モチーフ的Igusa関数は原点における $ f $ の近傍サイクルと関係づけられ、モチーフ的積分と特異点論が結びつく。
• 滑らかな多様体 $ X $ 上の写像 $ f: X \to \mathbb{A}^1_k $ および閉部分スキーム $ W $ に対しても、等変解消技術を用いて、この構成を一般化できる。