[論文レビュー] Zeta functions and Alexander modules

Johannes Nicaise|ArXiv.org|Apr 10, 2004

Algebraic Geometry and Number Theory被引用数 4

ひとこと要約

この論文は、エタール・コホロロジーを用いて、イグサの局所ゼータ関数およびモノドロミー予想を多変数設定に拡張し、$
\mathbb{G}_m^r$
の基本群のキャラクター多様体上にエタール・オーストリアン・モジュールを層として導入する。次に、次元2における $p$-進ゼータ関数に対して一般化されたモノドロミーおよび正則性予想を証明し、超越的コホロロジーとの比較および解体に基づく公式を通じて、極とモノドロミー固有値の間の関係を確立する。

ABSTRACT

We introduce the etale framework to study Igusa zeta functions in several variables, generalizing the machinery of vanishing cycles in the univariate case. We define the etale Alexander modules, associated to a morphism of varieties F from X to affine r-space, a geometric point of X, and an object in the derived category of constructible l-adic sheaves on the inverse image of the r-torus under F. The Alexander modules are sheaves of modules on the scheme of continuous characters of the tame fundamental group of the r-torus. We formulate Loeser's Monodromy and Holomorphy Conjectures for multivariate p-adic zeta functions, and prove them in the case where dim(X)=2, generalizing results from the univariate case. Furthermore, we prove a comparison theorem with the transcendent case, we study a formula of Denef's for the zeta function in terms of a simultaneous embedded resolution, and we generalize a result concerning the degree of the zeta function to our setting.

研究の動機と目的

• $r$ 個の多項式の $r$-重組みを含む多変数設定へのイグサの単変数 $p$-進ゼータ関数およびそのモノドロミー・ホロモルフィー予想の一般化を図ること。
• $
  \pi_1(\mathbb{G}_m^r)$
  の連続的キャラクターのスキーム上の層としてエタール・オーストリアン・モジュールを定義し、超越的オーストリアン複体の $\ell$-進類似を提供すること。
• 次元2の場合に一般化されたモノドロミーおよびホロモルフィー予想を証明し、単変数の場合の結果を拡張すること。
• オーストリアン・モジュールのエタール実現と超越的実現との間の比較を確立し、$\ell$-進コホロロジーとモノドロミー作用を結びつけること。

提案手法

• $
  \mathbb{Z}_p^n$
  上での $\ell$-進積分を用いて多変数 $p$-進ゼータ関数を導入し、イグサの単変数定義を一般化する。
• モルフィズム $F: X \to \mathbb{A}^r_k$ の近くのサイクルのコホロロジーとしてエタール・オーストリアン・モジュールを定義し、導来カテゴリ $D^b_c(F^{-1}(\mathbb{G}_m^r), \bar{\mathbb{Q}}_l)$ に値をとる。
• $\pi_1(\mathbb{G}_m^r)^{\vee} \to \bar{\mathbb{Q}}_l^\times$ をパラメータとする連続的キャラクターのスキーム $\mathcal{C}(\mathbb{G}_m^r)$ を構成し、オーストリアン・モジュールがその上に層として存在する。
• 同時に埋め込み解体を用いて、デネフの公式を通じてゼータ関数を表現し、例外的除因子の幾何に関連付ける。
• サバの A'Campo 公式を多変数設定に応用し、極と例外的成分のオイラー標数との関係を確立する。
• 次元2での予想の証明は、固定された $N'$ に比例する重みベクトルを持つ成分 $\mathcal{I}$ に対して、$w_\mathcal{I} = \sum_{E_i \in \mathcal{I}} \chi(E_i^o)$ の和を解析することに依拠し、$E_j$ が $\delta$ を満たすとき、それが厳密に負であることを示す。

実験結果

リサーチクエスチョン

• RQ1 古典的なイグサのゼータ関数の単変数設定におけるモノドロミーおよびホロモルフィー予想を、多変数 $p$-進ゼータ関数にどのように一般化できるか。
• RQ2 多変数設定における超越的オーストリアン複体の正しい $\ell$-進コホロロジー的置き換えは何であるか。
• RQ3 エタール・オーストリアン・モジュールの台は、スキーム $\mathcal{C}(\mathbb{G}_m^r)$ 内の平行移動されたコトリの和集合として幾何的に記述可能か。
• RQ4 解体から得られる候補極が実際にゼータ関数の極の集合に寄与するのはどのような条件下か。
• RQ5 次元2において一般化されたモノドロミーおよびホロモルフィー予想は成り立つか。成り立つならば、解体データを用いてどのように証明できるか。

主な発見

• 次元 $X$ が2である場合、$p$-進ゼータ関数に対して一般化されたモノドロミーおよびホロモルフィー予想が証明され、単変数の場合の古典的結果が拡張された。
• エタール・オーストリアン・モジュールは、$
  \pi_1(\mathbb{G}_m^r)^{\vee}$
  の連続的キャラクターのスキーム $\mathcal{C}(\mathbb{G}_m^r)$ 上の層として定義され、超越的オーストリアン複体の $\ell$-進類似を提供する。
• 比較定理を確立した：底体が $\mathbb{C}$ のとき、エタール・オーストリアン・モジュールは超越的ものと一致し、その茎はモノドロミー作用の固有空間に対応する。
• オーストリアン・モジュールの台は、$\mathcal{C}(\mathbb{G}_m^r)$ 内の codimension 1 の平行移動されたコトリの有限個の和集合に含まれる。これは単変数の場合の一般化である。
• 誤った候補極を排除するための基準を証明した：重みベクトルが固定された $N'$ に比例する例外的除因子の集合 $\mathcal{I}$ に対して、$w_\mathcal{I} = \sum_{E_i \in \mathcal{I}} \chi(E_i^o)$ が厳密に負であれば、対応する極は現れない。
• 次元 $X = 2$ の場合、証明は、$|E_j \setminus E_j^o| \geq 3$ を満たす除因子 $E_j$ を含むすべての $\mathcal{I}$ に対して $w_\mathcal{I} < 0$ であることを示すことにより行われ、解体グラフの性質および重みベクトルに関する不等式を用いる。