[論文レビュー] Monodromy and the Lefschetz fixed point formula

Ehud Hrushovski, François Loeser|arXiv (Cornell University)|Nov 8, 2011

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

ひとこと要約

本稿は特異点の解消を回避して、エタールコhomologyとモチビック積分を用いて、ミルナー層上のモノドロミー作用のレフシェッツ不動点公式の幾何的証明を提示する。モチビックミルナー層のコンパクト台付きオイラー特徴量がモノドロミー作用のレフシェッツ数に等しいことを示し、デリーニュの消失結果を系として回復する。

ABSTRACT

We give a new proof - not using resolution of singularities - of a formula of Denef and the second author expressing the Lefschetz number of iterates of the monodromy of a function on a smooth complex algebraic variety in terms of the Euler characteristic of a space of truncated arcs. Our proof uses l-adic cohomology of non-archimedean spaces, motivic integration and the Lefschetz fixed point formula for finite order automorphisms. We also consider a generalization due to Nicaise and Sebag and at the end of the paper we discuss connections with the motivic Serre invariant and the motivic Milnor fiber.

研究の動機と目的

• 特異点の解消に依存せずに、モノドロミーのレフシェッツ数と弧空間のオイラー特徴量の関係を示す定理1.1.1の幾何的証明を提供すること。
• モチビック積分およびエタールコhomologyを用いて、トポロジカルミルナー層とモチビックミルナー層の間の比較を確立すること。
• モチビックミルナー層のコンパクト台付きオイラー特徴量がモノドロミー作用のレフシェッツ数に等しいことを示すこと。
• ACVF(0,0)におけるモチビック積分の枠組みを拡張し、特異点の幾何的不変量とモノドロミックデータの関係を明らかにすること。
• ホッジ＝スティンブリッヒスペクトルおよび他の不変量が、局所化されたグロテンディーク環におけるモチビックミルナー層から回復可能であることを示すこと。

提案手法

• ベルコヴィッチの比較定理を用いて、解析的ミルナー層のエタールℓ-adicコホモロジーとトポロジカルミルナー層の特異コホモロジーを関連付ける。
• 代数的に閉じた付値体（ACVF(0,0)）におけるモチビック積分を用い、定義可能集合のグロテンディーク環の元としてモチビックミルナー層を定義する。
• VF-sortのグロテンディーク環とRV-sortのグロテンディーク環の商との同型を用いて、値群と残渣体のデータに基づいて定義可能集合を分析する。
• モチビック積分における変数変換公式を用い、$f$-値が$t^m$に等しい$m$階のジェットでパrametrizedされた弧空間$\mathcal{X}_{m,x}$のオイラー特徴量を計算する。
• 生成関数$Z(\Delta, \ell)$における極限処理を適用し、レフシェッツ数$\Lambda(M_x^m)$の和とモチビックミルナー層のオイラー特徴量を関連付ける。
• モノドロミーの準単位的性を用いて生成関数を書き直し、等式$\chi_c(\mathcal{S}_{f,x}) = \Lambda(M_x^{m_0}) = \chi_c(F_x)$を導出する。

実験結果

リサーチクエスチョン

• RQ1 ミルナー層上のモノドロミー作用のレフシェッツ不動点公式は、特異点の解消を用いずに証明可能か？
• RQ2 弧空間$\mathcal{X}_{m,x}$のオイラー特徴量とモノドロミー作用のレフシェッツ数の間にはどのような関係があるか？
• RQ3 コホモロジーデータの観点から、モチビックミルナー層とトポロジカルミルナー層の間の明確な関係は何か？
• RQ4 局所化されたグロテンディーク環におけるモチビックミルナー層からホッジ＝スティンブリッヒスペクトルを回復可能か？
• RQ5 ACVF(0,0)におけるモチビック積分は、特異点の幾何的不変量を確立するために果たす役割は何か？

主な発見

• 本稿は、特異点の解消を用いずに、定理1.1.1の幾何的証明を確立し、$\chi_c(\mathcal{X}_{m,x}) = \Lambda(M_x^m)$を示した。
• モチビックミルナー層$\mathcal{S}_{f,x}$のコンパクト台付きオイラー特徴量が、ある$m_0$に対してレフシェッツ数$\Lambda(M_x^{m_0})$に等しく、これは$\chi_c(F_x)$に等しいことを証明した。
• 値群における有界な定義可能集合$\Delta$に対して、$\lim_{T\to\infty} Z(\Delta, \ell)(T) = -\chi(\Delta)$が成り立つことが示され、生成関数の収束を裏付ける。
• 局所化されたグロテンディーク環$K^{\hat{\mu}}(\mathrm{Var}_F)_{\mathrm{loc}}$におけるモチビックミルナー層の像が$\Theta(\Upsilon(\int([\mathcal{X}_x])))$に等しいことが示され、モチビック積分とモノドロミックデータの関連が明確になった。
• ホッジ＝デリーニュ多項式およびコンパクト台付きオイラー特徴量は、局所化準同型を通じて因数分解可能であり、$\chi_c(F_x)$がモチビック層から回復可能であることを可能にした。
• モノドロミーの準単位的性を用いた生成関数の極限を介して、等式$\chi_c(\mathcal{S}_{f,x}) = \chi_c(F_x)$が確立された。