[論文レビュー] Additive invariants in o-minimal valued fields

Yimu Yin|arXiv (Cornell University)|Jun 30, 2013

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

ひとこと要約

本稿は、多項式有界 T-凸付値体における Hrushovski-Kazhdan 方式のモチビック積分を構築し、VF-ソートおよび RV-ソートにおける定義可能集合の Grothendieck 半環間の標準的ホモモルフィズムを確立する。定義可能連続関数のための有理的トポロジカル zeta 関数を構成し、オーミナル設定へのモチビック積分の一般化を、Milnor ファイバーへの特殊化および Y に関する生成関数の有理性結果によって行う。

ABSTRACT

We develop a theory of Hrushovski-Kazhdan style motivic integration for certain type of non-archimedean o-minimal fields, namely polynomial-bounded T-convex valued fields. The structure of valued fields is expressed through a two-sorted first-order language L_TRV. We establish canonical homomorphisms between the Grothendieck semirings of various categories of definable sets that are associated with the VF-sort and the RV-sort of L_TRV. The groupifications of some of these homomorphisms may be described explicitly and are understood as generalized Euler characteristics. In the end, following the Hrushovski-Loeser method, we construct topological zeta functions associated with (germs of) definable continuous functions in an arbitrary polynomial-bounded o-minimal field and show that they are rational. The overall construction is closely modeled on that of the original Hrushovski-Kazhdan construction, as reproduced in the series of papers by the present author.

研究の動機と目的

• Hrushovski-Kazhdan のモチビック積分を、特に多項式有界 T-凸体であるオーミナル付値体へ拡張すること。
• VF-ソートおよび RV-ソートにおける定義可能集合の Grothendieck 半環間の標準的ホモモルフィズムを定義すること。
• 定義可能連続関数の芽に対するトポロジカル zeta 関数を構成し、その有理性を証明すること。
• Grothendieck 半環の群化を用いて、オーミナル設定におけるオイラー特性不変量を一般化すること。
• Hrushovski-Loeser の手法をモデルとし、非アルキメデス的オーミナル構造へ適応すること。

提案手法

• VF-ソート（付値体）および RV-ソート（付値群の商）を形式化するための二ソート第一階論理言語 LTRV を用いる。
• 定義可能写像としての同型写像を備えた、定義可能集合のカテゴリ VF* および RV[*] を定義し、RV[*] においては環境次元で階層化する。
• すべての同型類を特別な双対写像を介してカバーする、RV[*] から VF* へのリフト写像 L を構成する。
• K+VF* から K+RV[*]/Isp への標準的ホモモルフィズムを確立し、これが同型であることを示す。
• 一般化されたオイラー特性 em および R-ホモモルフィズムを用いて、Y に関する生成関数としてモチビック zeta 関数を定義する。
• zeta 関数の有理性を証明するため、幾何的級数のハダマール積への分解と、付値群における区間像への線形性を用いる。

実験結果

リサーチクエスチョン

• RQ1 モチビック積分は、特に多項式有界 T-凸体であるオーミナル付値体へ拡張可能か？
• RQ2 この設定において、一般化されたオイラー特性のような加法的不変量はどのように定義可能か？
• RQ3 定義可能関数に関連するトポロジカル zeta 関数は、この文脈で有理的か？
• RQ4 特別な双対写像およびリフト写像は、Grothendieck 半環間の標準的ホモモルフィズムを構成する上で果たす役割は何か？
• RQ5 Milnor ファイバーおよびその形式的弧の厚さは、オーミナル構造におけるモチビック zeta 関数とどのように関係するか？

主な発見

• モチビック zeta 関数 Z±f(Y) は有理的であり、分母が 1 − (−X)^a Y^b（b ≥ 1）の形を取る。
• zeta 関数は Y → ∞ のとき極限 e±f ∈ ℤ をとるが、これは R-ホモモルフィズムを介して e±f X^n = −R ∫ Z±[fM] を満たす。
• Z±f(Y) の有理性は、[U] および [I] における幾何的級数のハダマール積への分解から従い、[U] ∈ vol RES[k] および [I] ∈ vol Γdb[l] を満たす。
• 系列 Z±(U)(Y) は [U]/[A!]^k ∑( [1]/[A!] )^{nq} Y^{np} の形の幾何的級数であり、これは有理的である。
• 系列 Z±(I)(Y) は、付値群の開区間における χΓ(σ⁻¹_I(β)) = d の定数性と線形性により有理的である。
• Z±(U)(Y) の T→∞ における極限は −[U]/[A!]^k であり、Z±(I)(Y) の極限は −d ([T]/[A!])^l である。これにより収束性および有理的構造が確認される。