[論文レビュー] Fonctions constructibles et intégration motivique I

Raf Cluckers, François Loeser|ArXiv.org|Mar 22, 2004

Mathematics and Applications被引用数 7

ひとこと要約

本稿は、構成可能モチーフ的関数の直接的画像形式を導入し、変数変換定理が保証された非常に一般化されたモチーフ的積分の枠組みを可能にする。相対的設定への拡張により、幾何的およびp進積分への応用を含む相対的モチーフ的積分理論を確立する。

ABSTRACT

We introduce a direct image formalism for constructible motivic functions. One deduces a very general version of motivic integration for which a change of variables theorem is proved. These constructions are generalized to the relative framework, in which we develop a relative version of motivic integration.

研究の動機と目的

• デネフ＝パスク論理の文脈において、構成可能モチーフ的関数の直接的画像形式を構築すること。
• 厳密な変数変換定理を備えた、モチーフ的積分の一般化されたバージョンを確立すること。
• 理論を相対的枠組みに拡張し、相対的モチーフ的積分を可能にすること。
• モチーフ的積分、幾何的積分、p進積分の間の接続の基盤を構築すること。
• 相対的設定における押し出し操作を用いて、可積分関数とそのモチーフ的積分を定義し、特徴づけること。

提案手法

• 値域体、残留体、値群の3つのソートを持つデネフ＝パスク言語 ${\mathscr{L}}_{\rm DP}$ を使用する。
• $k((t))$ および $k$ を係数とする ${\mathscr{L}}_{\rm DP}$ 内の一次式による、${\rm Def}_k$ 圏における定義可能部分代入を定義する。
• 基底 $S$ 上の構成可能モチーフ的関数のためのグロテンディーク環 $K_0({\rm RDef}_S)$ 及びその正のバージョン $SK_0({\rm RDef}_S)$ を導入する。
• ${\rm Def}_S$ 内の準同型に対して押し出し函手 $f_!$ を構成し、公理 (A0)–(A8) を満たし、モチーフ的積分と整合するようにする。
• パラメータ空間 $\Lambda$ におけるファイバー次元で重み付けられた半群 $C_+(S\to\Lambda)$ を用いて、相対的モチーフ的積分を定義する。
• 相対的押し出し $f_{!\Lambda}$ を定義し、関数 $\varphi$ の $\Lambda$ におけるファイバーごとの押し出しとして、モチーフ的積分 $\mu_\Lambda(\varphi)$ を定義する。

実験結果

リサーチクエスチョン

• RQ1 構成可能モチーフ的関数の直接的画像形式を、変数変換定理を満たすようにどのように構築できるか？
• RQ2 モチーフ的関数が基底スキームまたは部分代入上で可積分であるための条件は何か？
• RQ3 パラメータが基底空間 $\Lambda$ 上を変動する相対的設定において、どのようにモチーフ的積分を一般化できるか？
• RQ4 この相対的モチーフ的積分と古典的なモチーフ的積分またはp進積分との正確な関係は何か？
• RQ5 ${\rm ord}{\rm jac}f$ やヤコビアン行列式といった導来不変量は、モチーフ的積分の変換においてどのように現れるか？

主な発見

• 直接的画像形式を用いて、モチーフ的積分の一般化された変数変換定理が確立された。
• 押し出し $f_!$ は公理 (A0)–(A8) を満たし、モチーフ的積分と整合性を保つ。
• $S = h[0,0,0]$ の場合、可積分関数の空間 ${\rm I}C_+(S)$ は $SK_0({\rm RDef}_k) \otimes_{{\mathbf{N}}[{ olimits}{\mathbf{L}}-1]} A_+$ に同型であり、モチーフ的積分環の明示的実現が得られた。
• 相対的モチーフ的積分 $\mu_\Lambda(\varphi)$ は適切に定義されており、任意の点 $\lambda \in \Lambda$ に対して、ファイバーごとのモチーフ的積分 $i_\lambda^*(\mu_\Lambda(\varphi))$ に等しい。
• 関数 $\varphi \in C_+(Z\to\Lambda)$ が ${\rm I}_\Lambda C_+(Z\to\Lambda)$ に属するための必要十分条件は、各ファイバー $Z_\lambda$ への制限が可積分であることである。
• 本研究は、先行研究（例えば、デネフ＝ローザー、コンツェビッチ）のモチーフ的積分およびp進積分を一般化しており、詳細は [1] に譲られる。