[論文レビュー] Fourier transform of the additive group in algebraically closed valued fields

Yimu Yin|arXiv (Cornell University)|Mar 6, 2009

Advanced Algebra and Geometry参考文献 12被引用数 5

ひとこと要約

この論文は、代数的に閉じた付値体（ACVF）におけるHrushovski-Kazhdanのモチビック積分を、同一の加法的特徴（tautological additive character）を導入することで拡張し、指数関数的積分を含める。これにより、モチビック枠組み内でのフーリエ変換および分布の定義が可能となり、定義可能集合とRV-sort構造を用いて拡張されたGrothendieck環に基づく、古典的調和解析と完全に並列なフーリエ変換およびワイエル表現の理論が構築される。

ABSTRACT

We continue the study of the Hrushovski-Kazhdan integration theory and consider exponential integrals. The Grothendieck ring is enlarged via a tautological additive character and hence can receive such integrals. We then define the Fourier transform in our integration theory and establish some fundamental properties of it. Thereafter a basic theory of distributions is also developed. We construct the Weil representations in the end as an application. The results are completely parallel to the classical ones.

研究の動機と目的

• 代数的に閉じた付値体（ACVF）におけるモチビック積分を、形式 ∫∫ f(x,y)exp(g(x,y)) dx dy のパラメータ付き指数関数的積分へ拡張すること。
• 指数関数的積分をモチビック枠組みに組み込むために、同一の加法的特徴を用いてGrothendieck環を拡張すること。
• この拡張されたモチビック積分理論におけるフーリエ変換を定義し、古典的調和解析に類似した基本的性質を確立すること。
• モチビック設定内での定義可能分布の理論を構築すること。
• SL₂のワイエル表現を応用として構成し、古典的表現理論と完全に並列な構成を示すこと。

提案手法

• ACVFにおけるRV-sort構造を用いて同一の加法的特徴を導入し、指数関数的積分を含むようにGrothendieck環を拡張する。
• VFとRVのsort間のHrushovski-Kazhdanの標準的準同型を用い、特別な双対写像を介して対象を持ち上げる。
• 定義可能集合とVFおよびRVのsortにおける体積形式を用いて、加法的特徴を含む関数の可積分性と積分を定義する。
• RV-sort言語における量化子除去とo-最小性を用いて、定義可能な分割を構成し、関数の挙動を制御する。
• 特別な双対写像と切断（csn: Γ → K×）を用いた変数変換公式を適用し、異なるポリディスク間の体積を関連付ける。
• RV-sortにおけるポリディスクの双対性の性質とモチビックフーリエ変換を用いて、SL₂のワイエル表現を構成する。

実験結果

リサーチクエスチョン

• RQ1 代数的に閉じた付値体上でのモチビック積分に指数関数的積分をどのように組み込むことができるか？
• RQ2 モチビック設定におけるフーリエ変換の適切な定義は何か？ その基本的性質は何か？
• RQ3 どのようにしてモチビック枠組み内での定義可能分布の理論を構築できるか？
• RQ4 古典的調和解析の結果（例：ワイエル表現）が、どの程度モチビック設定へと持ち上げられるか？
• RQ5 特別な双対写像とRV-sort構造は、モチビック積分における一貫性と計算可能性を保つために果たす役割は何か？

主な発見

• フーリエ変換はモチビック設定において適切に定義されており、双対性やユニタリティといった古典的フーリエ変換と類似した性質を満たす。
• ポリディスクの体積とそのη-双対体積は、vol(b) · vol(bι(η)) = 1 を満たし、両者とも完成化されたGrothendieck環 ˆKR の単元であることが示される。
• モチビックフーリエ変換は定義可能集合の構造を保ち、RV-sort言語のo-最小性および量化子除去の性質を尊重する。
• SL₂のワイエル表現はモチビック的に構成され、構成法が古典的ケースと完全に並列である。
• 定義可能積分の幾何的性質とモデル理論的道具の使用により、古典的病理（例：Fubiniの失敗）を回避する。
• 任意の定義可能関数 f: VFⁿ → P(VFᵐ) はほとんど everywhere で局所定数関数であることが証明され、理論の安定性を支える重要な技術的結果である。