[論文レビュー] Generalized Euler characteristic in power-bounded T-convex valued fields

Yimu Yin|arXiv (Cornell University)|Sep 25, 2015

Advanced Topology and Set Theory参考文献 13被引用数 4

ひとこと要約

本稿は、Hrushovski-Kazhdan のモチビック積分に基づく、冪有界 T-凸付値体における定義可能集合のグローテンディーク半環の間の標準的同型を確立する。標準的同型を用いて、半環同型を介して RV-構造に modulo 合同関係 Isp を適用した一般化されたオイラー指標を構成し、これにより ℤ への二つの標準的特殊化が得られる。主な結果は、グローテンディーク半環の間の標準的同型であり、これは環同型に引き上げられ、明示的な ℤ-特殊化を備える。これにより、極小的非アルキメデス的設定におけるモチビック積分が可能になる。

ABSTRACT

We lay the groundwork in this first installment of a series of papers aimed at developing a theory of Hrushovski-Kazhdan style motivic integration for certain type of non-archimedean o-minimal fields, namely power-bounded T-convex valued fields, and closely related structures. The main result of the present paper is a canonical homomorphism between the Grothendieck semirings of certain categories of definable sets that are associated with the VF-sort and the RV-sort of the language L_TRV. Many aspects of this homomorphism can be described explicitly. Since these categories do not carry volume forms, the formal groupification of the said homomorphism is understood as a universal additive invariant or a generalized Euler characteristic. It admits, not just one, but two specializations to Z. The overall structure of the construction is modeled on that of the original Hrushovski-Kazhdan construction.

研究の動機と目的

• 非アルキメデス的極小的体、特に冪有界 T-凸付値体に対して、Hrushovski-Kazhdan 式のモチビック積分理論を構築すること。
• 言語 LT_RV の VF-ソート（付値体）と RV-ソート（無限小を除いた値群）における定義可能集合のグローテンディーク半環の間の標準的同型を構築すること。
• 体積形式が存在しない状況における普遍的な加法的不変量としての一般化されたオイラー指標を定義すること。
• 一般化されたオイラー指標が ℤ への二つの標準的特殊化を持つことを確立し、モチビック積分における算術的不変量を可能にすること。
• 極小的付値体におけるモチビック積分の基礎的枠組みを提供することにより、Hrushovski-Kazhdan の構成を非アルキメデス的設定に一般化すること。

提案手法

• 二ソート言語 LT_RV を用いて、VF-ソート（付値体）と RV-ソート（無限小を除いた値群）を形式化し、モデル理論的解析を可能にする。
• 冪有界 T-凸体における量化子除去および弱極小性（Holly 正規形）を適用し、定義可能集合を区間および円板のブール結合として記述する。
• 標準的同型 R⁺ を、グローテンディーク半環 K⁺_VF* から K⁺_RV[∗]/Isp への写像として構成する。ここで Isp は標準的縮約および特別な双対写像を用いて定義される合同関係である。
• ブローアップ技術および相対的単項双対写像を用いて、定義可能集合およびその縮約写像による像を分析し、合同関係の不変性を証明する。
• コンパクト性および定義可能双対写像の分解を用いて、同型 R⁺ が代表元の選択に依存せず、well-defined であることを保証する。
• Isp によって誘導される K_RV[∗] の中のイデアルが 1ₖ + [P] で生成されることを示し、これにより Z(2)[X] との環同型が得られる。

実験結果

リサーチクエスチョン

• RQ1 どのようにして、R((t^ℚ)) のような非アルキメデス的極小的体に、モチビック積分理論を非アルキメデス的極小的設定に拡張できるか？
• RQ2 冪有界 T-凸付値体における定義可能集合の構造はどのようなものか？ そして、積分に適した正規化はどのように行えるか？
• RQ3 体積形式が存在しない状況において、一般化されたオイラー指標を普遍的な加法的不変量として定義できるか？
• RQ4 RV-ソートにおける定義可能集合の同値関係を支配する正確な合同関係 Isp は何か？
• RQ5 得られるグローテンディーク半環同型が、なぜ ℤ への二つの異なる特殊化を許容するのか？ そして、それらの算術的意味は何か？

主な発見

• K⁺_VF[∗] から K⁺_RV[≤k]/Isp への標準的同型 R⁺: K⁺_VF[∗] → K⁺_RV[≤k]/Isp が確立され、[A] が [LU] に写されるとは、[A] = [LU] であるときに限り成り立つ。
• 合同関係 Isp は、対 ([1], 1ₖ + [(RV◦◦, id)]) によって生成され、K_RV[∗] における対応するイデアルは 1ₖ + [P] で生成される。
• 同型 R⁺ は環同型 GR: K_VF[∗]/(1ₖ + [P]) → Z(2)[X] に引き上げられ、算術的内容を有するモチビック構造を提供する。
• K_VF[∗] から ℤ への二つの標準的環準同型 RR_g および RR_b が構成され、一般化されたオイラー指標の二つの異なる特殊化に対応する。
• 代表元の選択に依存せず、一貫性が保証されるため、同型 R⁺_A: FN+(A) → K⁺_RV[∗]/Isp は well-defined である。
• 定理 5.42 により、任意の非空部分集合 E ⊆[n] に対して R⁺_Aa(Fa) の和が E の選択に依存しないことが確認され、モチビック積分枠組みにおける一貫性が保証される。