[論文レビュー] Motivic functions, integrability, and uniform in p bounds for orbital integrals

Raf Cluckers, Julia Gordon+1 more|arXiv (Cornell University)|Sep 3, 2013

Advanced Algebra and Geometry参考文献 24被引用数 3

ひとこと要約

本稿は、モチーフ的積分と Denef-Pas 言語における定義可能関数を用いて、非分岐再帰的代数群上の球的ヘッケ関数の軌道積分に対して、$ p $-進で一様な $ p $-進境界を確立する。十分に大きな残留体の特徴値に対して、軌道積分は残留体のサイズのべき乗と半単純元の双対体積の積で抑えられ、定数は根系にのみ依存する。これにより、$ p $-進体全体にわたる一様な調和解析が可能になる。

ABSTRACT

This is a short announcement and summary of the results of arxiv:1111.7057, arxiv.org:1111.4405, and Appendix B to arxiv:1208.1945. In particular, we emphasize the exposition of the ideas related to model theory and motivic integration, and simplify the definitions, to make these results easily accessible to non-model theorists.

研究の動機と目的

• 非分岐再帰的 $ p $-進群上の球的ヘッケ関数の軌道積分について、残留体の特徴値 $ p $ にわたる一様な境界を確立すること。
• 軌道積分や関連する調和解析的対象（例：ハリシュ・チャンドラの特徴）が論理的枠組みにおいて定義可能であることを示し、局所体間での移行を可能にすること。
• 定義可能関数と加法的特徴を組み合わせて構成されるモチーフ的指数関数が、積分に関して閉じていることを証明し、これにより $ p $-進体全体にわたるキーモデルの調和解析的対象を一様に捉えること。
• 特徴値 0 から正の特徴値への移行原理を用いて結果を拡張し、$ p $ にわたる一様性を保証すること。

提案手法

• 非アーチメデス的局所体すべてにわたる一様な関数と集合の定義を、Denef-Pas 言語を用いて、値体、残留体、値群の種類に分離して行う。
• Denef-Pas 言語における定義可能関数から構成されるモチーフ的（指数的）関数を定義し、加法的特徴をその構成要素として含む。
• モチーフ的積分を用いて、モチーフ的関数の積分が再びモチーフ的であることを示し、積分に関する閉包性と体間の移行性を実現する。
• 移行原理を活用して、特徴値 0 の結果を正の特徴値にまで拡張し、特に軌道積分に対して有効にすること。
• 模擬指数写像と局所的特徴展開を用いて、軌道積分とハリシュ・チャンドラ特徴、不変分布の関係を確立する。
• 定義可能集合および関数の理論を活用して、$ p $ に依存しない一様な境界を証明する。

実験結果

リサーチクエスチョン

• RQ1 非分岐再帰的 $ p $-進群上の球的ヘッケ関数の軌道積分について、$ p $ にわたる一様な境界を確立できるか？
• RQ2 軌道積分、ハリシュ・チャンドラ特徴、不変分布といった調和解析の主要対象は、Denef-Pas のような論理的言語を用いて、体に依存しない方法で定義可能か？
• RQ3 モチーフ的積分は、特徴値 0 から正の特徴値 $ p $ への結果の移行にどの程度活用できるか？
• RQ4 一様な境界における定数が群の根系にどのように依存するか？
• RQ5 モチーフ的関数の理論は、すべての $ p $-進体にわたる軌道積分の解析的性質を一様に捉えることができるか？

主な発見

• 任意の非分岐根系 $ \xi $ に対して、$ \xi $ のみに依存する正の定数 $ M>0 $、$ a_\xi $、$ b_\xi $ が存在し、すべての非アーチメデス的局所体 $ F $ について、残留体の特徴値 $ \geq M $ ならば、すべての $ \|\lambda\| \leq \kappa $ および $ \mathbf{G}(F) $ 内の半単純元 $ \gamma $ に対して、軌道積分 $ \mathrm{O}_\gamma(\tau_\lambda^G) $ は不等式 $ |\mathrm{O}_\gamma(\tau_\lambda^G)| \leq q_F^{a_\xi + b_\xi \kappa} D^G(\gamma)^{-1/2} $ を満たす。
• 境界は $ p $ にわたる一様性を持つ。定数は、特定の体や $ p $ に依存せず、根系にのみ依存する。
• 十分に大きな残留体の特徴値に対して、模擬指数写像の存在のもとで、適応的表現のハリシュ・チャンドラ特徴は「よい関数」（モチーフ的関数のクラス）として示される。
• 共役に関して有界な台を持つ不変分布のフーリエ変換は、原点近傍でよい関数によって表現される。
• 結果はグローバル体へ拡張可能である。すべての場所 $ v $ のうち、有限個を除き、$ \mathbf{G} $ が $ \mathbf{F}_v $ 上で同じ境界を満たす。定数はグローバル整数的モデルにのみ依存する。
• モチーフ的指数関数の理論は積分に関して閉じており、これらの関数は $ p $-進体全体にわたる軌道積分および関連対象の解析的構造を一様に捉えている。