[論文レビュー] Integration of functions of motivic exponential class, uniform in all non-archimedean local fields of characteristic zero

Raf Cluckers, Immanuel Halupczok|arXiv (Cornell University)|Oct 28, 2015

Advanced Topology and Set Theory参考文献 26被引用数 9

ひとこと要約

本稿では、任意の特徴数 0 の非アーチメデス的局所体全体にわたるモチビック積分の均一理論を確立するために、積分およびフーリエ変換に関して安定なモチビック指数関数クラスの関数を導入する。任意の分岐を扱えるデネフ＝パス型の定量化除去の精密化を用いることで、すべてのこのような体において一様な有理性結果および一様な局所的性質の記述が得られ、既存の p-進 zeta 関数および波フロント集合に関する結果が統一される。

ABSTRACT

Through a cascade of generalizations, we develop a theory of motivic integration which works uniformly in all non-archimedean local fields of characteristic zero, overcoming some of the difficulties related to ramification and small residue field characteristics. We define a class of functions, called functions of motivic exponential class, which we show to be stable under integration and under Fourier transformation, extending results and definitions from previous papers. We prove uniform results related to rationality and to various kinds of loci. A key ingredient is a refined form of Denef-Pas quantifier elimination which allows us to understand definable sets in the value group and in the valued field.

研究の動機と目的

• 特徴数 0 のすべての非アーチメデス的局所体にわたるモチビック積分の均一理論を構築し、先行研究の制限を克服すること。
• 積分およびフーリエ変換に関して安定である「モチビック指数関数クラス」と呼ばれる関数のクラスを定義し、その性質を調査すること。
• 分岐や残差体の特徴数に関する制限を排除するため、デネフ＝パス型の定量化除去を精緻化すること。
• すべてのこのような体にわたる局所 zeta 関数および波フロント集合に関する既知の有理性結果を統一的かつ一般化すること。
• モデル理論的道具を用いて、定義可能な集合および積分の幾何における均一性を提供する枠組みを構築すること。

提案手法

• 付値環および付値群に値をとる定義可能な関数に基づく、モチビック指数関数クラスの関数を導入・分析する。
• 任意の分岐が存在する場合でも、付値体および付値群の量化子を一様に除去できる、デネフ＝パス型の定量化除去の精密化を用いる。
• n-ヤコビ形式を持つセル分解定理を用い、定義可能な集合を再パrameter化することで構造的パーツに再構成し、積分に適応する。
• モデル理論的コンパクト性および再発性を用いて、補助的な種別（例：RV_n）から元の言語へ結果を転送する。
• 付値環の有限商を「オラクル」として用い、大きな残差特徴数を仮定せずに局所体のモデル理論を分析する。
• 特定の局所体に依存しない一様な枠組みを構築し、積分および局所的性質を定義可能な幾何およびプレスバッカー算術に依拠する。

実験結果

リサーチクエスチョン

• RQ1 特徴数 0 のすべての非アーチメデス的局所体にわたるモチビック積分は、分岐や残差体のサイズに関係なく均一に定義可能か？
• RQ2 この均一な設定において、モチビック指数関数クラスの関数は積分およびフーリエ変換に関して閉じているか？
• RQ3 任意の分岐を扱えるように精緻化された定量化除去結果は、依然として均一な積分理論を可能にするか？
• RQ4 局所 zeta 関数の有理性結果および波フロントのような局所的性質の有理性は、すべてのこのような体にわたってどの程度均一化可能か？
• RQ5 付値群および付値体における定義可能な集合は、どのように一様に再構成可能か、これにより積分が可能になるか？

主な発見

• モチビック指数関数クラスの関数は、積分およびフーリエ変換に関して安定であり、[10]、[11]、および[5]の結果を拡張する。
• 付値体および付値群の両方の量化子を一様に除去できる、精密化された定量化除去結果が得られ、任意の分岐が存在する場合でも完全な均一性が達成される。
• 再パラメータ化の後、付値群および付値体における定義可能な集合は、n-ヤコビ形式を持つ一様なセル分解を有する。
• 局所 zeta 関数の有理性および波フロント集合の均一性は、今やすべての特徴数 0 の非アーチメデス的局所体に適用可能な単一の枠組みの下で統一される。
• 悪い集合および積分の記述における均一性が達成され、特定の局所体の分岐や残差特徴数に依存しない。
• この枠組みにより、p-進積分およびその極の均一な取り扱いが可能となり、イグザの有理性定理および[1]の定理 E が、一つの整合的かつ包括的な設定で一般化される。