[論文レビュー] Motivic integration and the Grothendieck group of pseudo-finite fields

Jan Denef, François Loeser|ArXiv.org|Jul 19, 2002

Algebraic Geometry and Number Theory被引用数 13

ひとこと要約

本稿では、量化子除去とグローテンディーク環の技法を用いて、$p$-進積分が素数 $p$ に依存する仕組みを研究するために、算術的モチーフ的積分を導入する。SerreのPoincaré系列 $P_p(T)$ が、$ℝ$ 上のモチーフのグローテンディーク環における標準的な有理型べき級数 $P(T)$ の特殊化であることを証明する。その係数は、十分大きな $p$ に対して $ℝ_p$ 上の点数による写像を経由する。これにより、モデル理論、$p$-進積分、代数幾何学の間に深い結びつきが確立される。

ABSTRACT

We survey our recent work on an extension of the theory of motivic integration, called arithmetic motivic integration. We developed this theory to understand how p-adic integrals of a very general type depend on p.

研究の動機と目的

• $p$-進積分が素数 $p$ にどのように依存するかを、モデル理論的技法を用いて理解すること。
• 特に数論やラングランズ・プログラムにおける $p$-進積分を含めた算術的設定へのモチーフ的積分の拡張すること。
• 各大きな素数 $p$ に対して、$ℝ$ 上のモチーフのグローテンディーク環における標準的な有理型べき級数 $P(T)$ が存在し、その特殊化が $P_p(T)$ を回復することを確立すること。
• $p$-進空間内の定義可能集合のモチーフ的体積が、$ℝ_p$ 上の点数による計数によって $p$-進測度に特殊化されることを示すこと。

提案手法

• $p$-進体の言語における論理的論式に変換するため、擬有限体における量化子除去（Ax-Kochen-Ersov を通して）を用いて、$p$-進積分を価値体上の論理的論式に変換する。
• 価値体の言語における定義可能部分割り当てを用いて、算術的モチーフ的体積を定義し、特異点の解消と変数変換を活用する。
• $\u211d$ 上のモチーフのグローテンディーク環に $\u211d$ をテンソル積したものへの、擬有限体のグローテンディーク環から canonical な準同型を構成する。
• 特異点の解消上のモチーフ的体積を計算するために、モチーフ的積分における変数変換公式を適用する。
• Ax-Kochen-Ersov の原理を用いて、モチーフ的体積が論理的論式の選択に依存せず、定義可能集合にのみ依存することを保証する。
• グローテンディーク環の係数に点数計数作用素 $N_p$ を適用することで、モチーフ的不変量を $p$-進測度に特殊化する。

実験結果

リサーチクエスチョン

• RQ1 $N_{p,n}$ が代数的多様体の $\mathbb{Z}/p^{n+1}\mathbb{Z}$-点を数えるとき、SerreのPoincaré系列 $P_p(T) = \sum_n N_{p,n} T^n$ は素数 $p$ にどのように依存するか。
• RQ2 $P_p(T)$ の有理型が、$ℝ$ 上のモチーフのグローテンディーク環における単一のモチーフ的対象によって説明可能か。
• RQ3 各大きな素数 $p$ に対して、$ℝ_p$ 上の点数による計数によって $P_p(T)$ を回復することができる、標準的なモチーフ的べき級数 $P(T)$ が存在するか。
• RQ4 算術的モチーフ的積分は、モデル理論的道具を用いて、異なる素数における $p$-進積分の研究を統一可能か。
• RQ5 定義可能集合が $p$-進多様体に含まれる場合、モチーフ的体積と $p$-進測度の正確な関係は何か。

主な発見

• $p$-進体のグローテンディーク環のモチーフのグローテンディーク環 $\mathrm{K}_0^{\text{mot}}(\mathrm{Var}_{\mathbb{Q}}) \otimes \mathbb{Q}[[T]]$ に属する標準的な有理型べき級数 $P(T)$ が存在し、十分大きなすべての素数 $p$ に対して、$P_p(T)$ は $P(T)$ の各係数に点数計数作用素 $N_p$ を適用することで得られる。
• $p$-進整数環上の定義可能集合 $A \subset X(\mathbb{Z}_p)$ のモチーフ的体積 $\nu(h_A)$ は、モチーフのグローテンディーク環の局所化 $\overline{\mathcal{M}}_{\text{loc}}$ においてwell-definedであり、$A$ を定義する論理的論式の選択に依存しない。
• $\sum_n \nu(h_n) T^n$ は有理型であり、分母が $1 - \mathbf{L}^{-a} T^b$ の形の因数の積である。ここで $a,b \in \mathbb{N}$、$b \neq 0$、$\mathbf{L}$ はアフィン直線の類である。
• 十分大きな $p$ に対して、$N_p(\nu(h_A))$ は $A_p \subset X(\mathbb{Z}_p)$ の $p$-進測度に等しくなり、モチーフ的積分と $p$-進積分の間に標準的な結びつきが確立される。
• $p$-進積分のモチーフ的体積は、特異点の解消とモチーフ的設定における変数変換を用いて計算可能であり、関連する生成関数の有理型をもたらす。
• オルビタル積分を含む任意の $p$-進積分へ一般化可能であり、これらは $p$-進空間内の定義可能集合の測度として表現可能である。