[論文レビュー] Integration in algebraically closed valued fields

Yimu Yin|arXiv (Cornell University)|Sep 2, 2008

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

ひとこと要約

本稿は、特徴数 0 の代数的に閉じた付値体における Hrushovski と Kazhdan のモチビック積分理論の第3および最終段階を完了する。体積形式を備えた定義可能集合のグローテンディーク半環から RV-ソートへの準同型 L の核を、吹き上げ（blowups）と特別な双対写像を用いて標準的に記述する。主な貢献は、定義可能集合の幾何学的文脈において、Fubini の定理と変数変換の公式がモチビック設定で成り立つことを証明することであり、定義可能集合上での積分がwell-definedかつ不変であることを保証する。

ABSTRACT

The first two steps of the construction of motivic integration in the fundamental work of Hrushovski and Kazhdan have been presented in arXiv:1006.2467v1. In this paper we present the final third step. As in arXiv:1006.2467v1, we limit our attention to the theory of algebraically closed valued fields of pure characteristic 0 expanded by a (VF, Γ)-generated substructure S in the language L_{RV}. A canonical description of the kernel of the lifting map is obtained.

研究の動機と目的

• 代数的に閉じた付値体におけるモチビック積分の構成を完了し、RV-ソートから VF-ソートへの準同型 L の核を特定すること。
• 体積形式を備えた定義可能集合のグローテンディーク半環における半群合同関係 µIsp の標準的記述を提供すること。
• 代数的に閉じた付値体上の定義可能集合の文脈において、モチビック積分の Fubini の定理と変数変換の公式を確立すること。
• 数値的値が存在しない状況においても、定義可能双対写像に関して不変であることを保証し、モチビック積分が well-defined であることを確保すること。
• 核の構造と体積形式の積分における振る舞いを形式化することで、将来の計算的応用を容易にすること。

提案手法

• 一階述語論理と LRV 言語における定義可能集合の枠組みを用い、ACVFS(0,0) における定義可能部分集合の構造をタイプと虚数的パラメータを用いて分析する。
• C-最小性と定義可能双対写像の文脈において Fubini 型の定理を取り扱うための技術的道具として 2-セルの概念を導入する。
• RV-ソートにおける吹き上げを適用し、µRV[∗] 内の二つの対象が VF-ソートにおける同型な持ち上げを誘導するための条件を特徴づけ、L の核を同定する。
• 加法的平行移動の合成からなる特別な双対写像を用い、測度を保ち、異なるソート間での可積分性を維持する上で不可欠な役割を果たす。
• 体積形式を備えた VF-集合のグローテンディーク半環から、RV-半環の µIsp による商への標準的準同型 Z+ を構成する。
• ヤコビアン変換を用いてモチビック設定における変数変換を定義し、体積形式の持ち上げにおける誘導同型を介して、定義可能双対写像に関して不変であることを示す。

実験結果

リサーチクエスチョン

• RQ1 体積形式を備えた RV-集合のグローテンディーク半環から VF-集合のそれへの準同型 L の核の正確な構造は何か？
• RQ2 位相的収束が存在しない状況において、定義可能性とモデル理論的道具にのみ依存して、どのように Fubini の定理をモチビック積分に対して確立できるか？
• RQ3 RV-ソートにおける吹き上げは、準同型写像 L による定義可能集合の同値類を特徴づける上で果たす役割は何か？
• RQ4 体積形式が関与する状況において、定義可能双対写像によって写像先の空間が変形されたとき、変数変換の公式はどのようにモチビック積分で保たれるか？
• RQ5 モチビック積分のグローテンディーク環の代数的構造は何か？ また、それは RV-ソートの階数付き構造とどのように関係するか？

主な発見

• 準同型 L の核は、グレーディング付きグローテンディーク環におけるペア ([1]1, [RV>1]1) によって生成される半群合同関係 µIsp として標準的に記述される。
• Fubini の定理はモチビック積分に対して成り立つ：同じ定義可能集合の任意の二つの射影に関する反復積分は、グローテンディーク環内で同一の結果を与える。
• 変数変換の公式はモチビック設定で有効である：関数の積分はヤコビアンを介して定義可能双対写像によって正しく変換され、モチビック値が保存される。
• 体積形式が吹き上げと特別な双対写像によって誘導される同型に関して整合的であるため、関数の代表元の選び方に依存せず、モチビック積分は well-defined である。
• K+ µVF から K+ µRV / µIsp への標準的同型 Z+ は、群化の後に環同型を誘導し、完全なモチビック積分理論を確立する。
• グローテンディーク環 K µRV 内のイデアル I は同次的であり、要素 [1]1 − [RV>1]1 によって生成されることが確認され、核の代数的構造が裏付けられる。