[論文レビュー] Rationalite des series de Poincare et des fonctions Zeta motiviques

Julien Sebag|arXiv (Cornell University)|Dec 2, 2002

Algebraic Geometry and Number Theory参考文献 13被引用数 5

ひとこと要約

本稿は、特異的 $k[[t]$-多様体に対して、特異点の埋め込み解消（弱ネロンモデル経由）、モデル理論における量化記号の除去、およびモチーフ的積分を用いて、特性 0 の体 $k$ 上のモチーフ的ポincare系列およびモチーフ的イグザ・ゼータ関数の有理型を確立する。主な結果は、最小限の仮定の下での一般化された有理型の証明であり、Du Sautoy と Loeser の予想を解決する。

ABSTRACT

If k is a field of characteristic 0, we prove that the motivic Poincare serie and the motivic Zeta functions associated to a k[[t]]-variety, flat and purely dimensional, are rational.

研究の動機と目的

• 滑らかでない場合にも、モチーフ的積分およびゼータ関数理論を特異的 $k[[t]$-多様体へ拡張すること。
• 特異的場合におけるモチーフ的ポincare系列およびイグザ・ゼータ関数の有理型という未解決問題を解消すること。
• モチーフ的積分技術に必要な滑らかさ条件を回復するために、弱ネロンモデル解消を導入・利用すること。
• 形式的スキーム上のモチーフ的積分とグリーンバーグ変換との整合性を確立すること。
• 量化記号の除去を用いて、モチーフ的積分における可測集合のモデル理論的基盤を提供すること。

提案手法

• 文献[26]の枠組みを用いて、$k[[t]]$ 上の形式的スキームへのモチーフ的積分の適応。
• ヒロナカの埋め込み解消定理を応用し、特異的 $k[[t]$-多様体の弱ネロンモデル解消を構成する。
• 特に文献[5]の定理2.1における量化記号の除去を活用し、モチーフ的文脈における定義可能集合を分析する。
• 弧層を形式的スキームに同定するためのグリーンバーグ変換に依存し、形式的モデル上での積分を可能にする。
• 変数変換公式をモチーフ的積分に適用し、有理型を正則交差除部分超曲面の場合に還元する。
• 半代数的集合がモチーフ的意味で可測であることを確立し、積分可能性を保証する。

実験結果

リサーチクエスチョン

• RQ1 特性 0 の体上の特異的 $k[[t]$-多様体に対して、モチーフ的ポincare系列は有理型か？
• RQ2 モチーフ的積分を用いて、特異的場合におけるモチーフ的イグザ・ゼータ関数の有理型を示せるか？
• RQ3 弱ネロンモデル解消は、モチーフ的積分における滑らか解消の代替として有効か？
• RQ4 特に量化記号の除去を用いたモデル理論的技法により、モチーフ的生成系列の有理型を証明できるか？
• RQ5 形式的スキーム上のモチーフ的積分枠組みは、代数的 $k[[t]$-多様体に関する既存理論と整合性を持つか？

主な発見

• 特性 0 の体 $k$ 上の有限型 $k[[t]$-多様体の任意のモチーフ的ポincare系列は有理型である。
• このような多様体に付随するモチーフ的イグザ・ゼータ関数についても、有理型である。
• 弱ネロンモデル解消の存在により、モチーフ的積分に必要な滑らかさ条件が特異的状況でも回復される。
• 変数変換公式を用いて、正則交差除部分超曲面の場合に還元することで、有理型結果が証明される。
• この枠組みは[19]における Looijenga の理論と整合性があり、$\mathbf{G}_{m,k}^\ell$ 上の非自明なモチーフ的ゼータ関数へも拡張可能である。
• 本稿は、Du Sautoy と Loeser の予想（[12]の注記3.11）を、明示的な有理型生成系列の構成により確認する。