[論文レビュー] A note on motivic integration in mixed characteristic

Johannes Nicaise, Julien Sebag|ArXiv.org|Dec 24, 2009

Algebraic Geometry and Number Theory参考文献 8被引用数 9

ひとこと要約

本稿では、普遍的に位相同型な多様体の類を商することで修正された、多様体のグローテンディーク環 $K_0\langle\mathrm{Var}_F\rangle$ を導入する。標準的な実現写像（例えば、エタール、ポincare、ガロア）がこの環を通じて因数分解されることを証明し、混合特徴類数におけるモチーフ的積分の正しい値環であることを示す。主な貢献は、混合特徴類数における形式的スキームおよび剛体多様体に対するモチーフ的積分の変数変換定理を、標準的なグローテンディーク環の代わりにこの修正版に置き換えることで、基礎的な欠陥を是正することにある。

ABSTRACT

We introduce a quotient of the Grothendieck ring of varieties by identifying classes of universally homeomorphic varieties. We show that the standard realization morphisms factor through this quotient, and we argue that it is the correct value ring for the theory of motivic integration on formal schemes and rigid varieties in mixed characteristic. The present note is an excerpt of a detailed survey paper which will be published in the proceedings of the conference "Motivic integration and its interactions with model theory and non-archimedean geometry" (ICMS, 2008).

研究の動機と目的

• 形式的スキームおよび剛体多様体の混合特徴類数におけるモチーフ的積分の基礎的問題を解決すること。標準的なグローテンディーク環では普遍的に位相同型な多様体を正しく扱えない。
• 文献[11, 8.0.5]で指摘された、混合特徴類数におけるモチーフ的積分の変数変換定理の証明におけるギャップを解消すること。
• 標準的な実現写像（エタール、ポincare、ガロア）が修正グローテンディーク環を通じて因数分解されることを確立し、それが正しい値環としての使用を正当化すること。
• 混合特徴類数におけるモチーフ的積分に関するすべての関連文献において、標準的なグローテンディーク環を修正版に置き換える体系的な是正を提供すること。

提案手法

• 普遍的に位相同型な $F$-多様体の類を同一視することで、$K_0\langle\mathrm{Var}_F\rangle$ を $K_0(\mathrm{Var}_F)$ の商として定義する。
• 特徴類数が0のとき、写像 $K_0(\mathrm{Var}_F) \to K_0\langle\mathrm{Var}_F\rangle$ が同型であることを証明し、その場合の構造が保存されることを示す。
• 自然な写像 $K_0\langle\mathrm{Var}_F\rangle \to K_0(\mathrm{ACF}_F)$ が同型であることを示し、$F$ 上の代数閉体の理論と修正環を結ぶ。
• すべての標準的実現写像（点数え、エタール、ポincare、ガロア）が $K_0\langle\mathrm{Var}_F\rangle$ を通じて因数分解されることを示し、既存の不変量と整合性を保つ。
• 文献[11, 8.0.5]における変数変換定理の是正として、モチーフ的積分およびセール不変量の定義において $K_0(\mathrm{Var}_k)$ を $K_0\langle\mathrm{Var}_k\rangle$ に置き換える。
• 混合特徴類数の文脈において、$\mathcal{M}_S$ を $\mathcal{M}_S^{\mathrm{mod}}$ に、$K_0(\mathrm{Var}_S)$ を $K_0\langle\mathrm{Var}_S\rangle$ に置き換える文献の是正リストを提供する。

実験結果

リサーチクエスチョン

• RQ1 標準的な多様体のグローテンディーク環は、混合特徴類数における普遍的に位相同型な写像のもとでモチーフ的不変量を正しく捉えているか？
• RQ2 形式的スキームにおける混合特徴類数のモチーフ的積分の変数変換定理は、値環を修正することで是正可能か？
• RQ3 標準的な実現写像（例えば、$\ell$-進オイラー次元、ポincare多項式）は、グローテンディーク環において普遍的に位相同型な多様体の類を区別できるか？
• RQ4 修正グローテンディーク環 $K_0\langle\mathrm{Var}_F\rangle$ は、混合特徴類数における形式的スキームおよび剛体多様体のモチーフ的積分の正しい値環か？
• RQ5 値環を $K_0\langle\mathrm{Var}_k\rangle$ に置き換えた場合、モチーフ的セール不変量とモチーフ的積分はwell-definedか？

主な発見

• 修正グローテンディーク環 $K_0\langle\mathrm{Var}_F\rangle$ は $K_0(\mathrm{ACF}_F)$ に同型であり、$F$ 上の代数閉体のモデル理論と自然なリンクを提供する。
• すべての標準的実現写像（点数え、エタール、ポincare、ガロア）が $K_0\langle\mathrm{Var}_F\rangle$ を通じて因数分解され、既知の不変量と整合性を保つ。
• 特徴類数が0のとき、写像 $K_0(\mathrm{Var}_F) \to K_0\langle\mathrm{Var}_F\rangle$ は同型である。これは、修正環がその場合に標準的環と一致することを確認する。
• 文献[11, 8.0.5]における変数変換定理は、値環 $K_0(\mathrm{Var}_k)$ を $K_0\langle\mathrm{Var}_k\rangle$ に置き換えることで是正され、混合特徴類数における基礎的欠陥が解消された。
• モチーフ的セール不変量 $S(X)$ は $K_0\langle\mathrm{Var}_k\rangle / (\widetilde{\mathbb{L}}_k - 1)$ においてwell-definedであり、混合特徴類数における弱ネロンモデルの選択に依存しない。
• 混合特徴類数におけるモチーフ的積分のすべての応用例（例えば、[8]、[9]、[10]、[6]、[7]）は、標準的グローテンディーク環を修正版に置き換えることで是正可能であり、実現写像に依存する結果に影響を与えない。