[論文レビュー] Relative motives and the theory of pseudo-finite fields

Johannes Nicaise|arXiv (Cornell University)|Mar 9, 2004

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

ひとこと要約

本稿は、特徴値がゼロの体 $k$ 上の基底多様体 $S$ の上での相対的設定に、モチーフ的積分を一般化する。$S$ 上の擬有限体のグローテンディーク環から、$S$ 上の構成可能で有効なチャウモチーフのグローテンディーク環と $\mathbb{Q}$ のテンソル積へのモチーフ的実現写像を構成する。主な貢献は、ガロア式を用いた相対的量子化除去の幾何的証明であり、パラメータ付き算術的積分のモチーフ的実現を可能にする。

ABSTRACT

We generalize the motivic incarnation morphism from the theory of arithmetic integration to the relative case, where we work over a base variety S over a field k of characteristic zero. We develop a theory of constructible effective Chow motives over S, and we show how to associate a motive to any S-variety. We give a geometric proof of relative quantifier elimination for pseudo-finite fields, and we construct a morphism from the Grothendieck ring of the theory of pseudo-finite fields over S, to the tensor product of Q with the Grothendieck ring of constructible effective Chow motives. This morphism yields a motivic realization for the parametrized arithmetic motivic integrals of Cluckers-Loeser. Finally, we define relative arc and jet spaces, and the three relative motivic generating series.

研究の動機と目的

• 特徴値がゼロの体 $k$ 上の基底多様体 $S$ を用いて、パラメータが $S$ に符号化される相対的状況におけるモチーフ的積分の拡張。
• $S$ 上の構成可能で有効なチャウモチーフの理論の構築により、パラメータ付き算術的積分のモチーフ的実現を可能にする。
• 擬有限体の理論における $S$ 上の環の式に対する相対的量子化除去の幾何的証明を、ガロア式を用いて行う。
• $S$ 上の擬有限体のグローテンディーク環から、$S$ 上のモチーフのグローテンディーク環と $\mathbb{Q}$ のテンソル積への写像を構成し、パラメータ付き算術的積分のモチーフ的実現を達成する。
• 相対的アーク空間およびジェット空間を定義し、三つのモチーフ的ポincare級数（幾何的、算術的、イグザ）を相対的設定で構成する。

提案手法

• 基底多様体 $S$ を有限な細分に分け、それぞれが滑らかで、既約かつ局所的閉部分集合となるように、$S$ 上の構成可能で有効なチャウモチーフの圏 $CMot_S$ を、その直和極限として構成する。
• 構成可能特異点の解消と分解可能な完全なブローアップ列を用いて、$K_0(Var_S) \to K_0(CMot_S)$ へのモチーフ的チャーン指標 $\chi_c$ の一般化を行い、その像を $K_0^{mot}(Var_S)$ と表記する。
• $G$-作用を伴う構成可能モチーフのホモトピー圏における帰納と制限の函手を導入し、$X/G$ のモチーフが $X$ のモチーフの $G$-不変部分の等しいことを、特性分解を用いて証明する。
• ガロア式を用いて、相対的量子化除去を純粋に幾何学的に証明する：$S$ 上の任意の環の式は、擬有限体上では、量子化のないガロア式に同値である。
• 相対的アーク空間およびジェット空間 $\mathcal{L}_n(X/S)$ を定義し、三つのモチーフ的ポincare級数（幾何的、算術的、イグザ）を、$K_0(Var_S)$ や $K_0^{mot}(Var_S)\otimes\mathbb{Q}$ を係数に持つように構成する。
• 三つのポincare級数すべてに対して、基底変換の性質を確立し、$W \to S$ における写像の引き戻しと整合的であることを示す。

実験結果

リサーチクエスチョン

• RQ1 モチーフ的積分を、体 $k$ の上ではなく、基底多様体 $S$ の上での相対的設定に一般化する方法は何か？
• RQ2 $S$ 上の擬有限体の理論における定義可能集合の幾何的構造は何か？ そして、ガロア的幾何学を用いて、量子化除去を証明できるか？
• RQ3 モチーフ的実現写像 $\chi_{(c)}: K_0(PFF_S) \to K_0^{mot}(Var_S)\otimes\mathbb{Q}$ を構成できるか？ そして、パラメータ付き算術的積分の観点から、これは何を表すか？
• RQ4 $S$ 上での相対的アーク空間およびジェット空間はどのように振る舞うか？ また、関連するモチーフ的ポincare級数の性質は何か？
• RQ5 $X \to S$ のファイバー上でのジェットの持ち上げ性質は一様か？ そして、これはポincare級数の収束性と基底変換にどのように影響するか？

主な発見

• 相対的量子化除去の幾何的証明が確立された：$S$ 上の任意の環の式は、擬有限体上では、量子化のないガロア式に同値であり、その同値性は $S$ の $M$-値点における定義可能な双対写像によって定義される。
• $\chi_c: K_0(Var_S) \to K_0(CMot_S)$ が構成され、その像 $K_0^{mot}(Var_S)$ は、$S$-多様体のグローテンディーク環のモチーフ的実現を提供する。
• モチーフ的実現写像 $\chi_{(c)}: K_0(PFF_S) \to K_0^{mot}(Var_S)\otimes\mathbb{Q}$ が定義され、パラメータ付き算術的積分の明確なモチーフ的実現をもたらす。
• 相対的幾何的ポincare級数 $P_{geom}(X/S;T)$ は、定理9.7によって示される一様性のおかげで、$K_0(Var_S)[[T]]$ に一意に定義される。
• 相対的算術的ポincare級数 $P_{arith}(X/S;T)$ は、$n$-ジェットを定義する環の式 $\psi_n$ に $\chi_{(c)}$ を適用することで定義され、基底変換の性質を満たす：係数は $W \to S$ に沿って正しく引き戻される。
• 一様性の結果（定理9.7）により、任意の有限型 $S$-スキーム $X$ に対して、$n$-ジェットの切断が一様に安定化し、ある $c,e > 0$ に対して $n' = cn + e$ と表せる。この $c,e$ はファイバーに依存しない。