[論文レビュー] Correspondences between model theory and Banach space theory

Karim Khanaki|arXiv (Cornell University)|Dec 29, 2015

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

ひとこと要約

この論文は、モデル理論的分類的概念（安定性、NIP、NSOP）と古典的バナッハ空間の性質（弱収縮性、ロゼンタール、弱列完全性）の間の深い対応関係を確立する。公式 $\phi(x,y)$ に対して自然に関連するバナッハ空間 $V$ を定義し、$\phi$ が安定（それぞれ NIP、NSOP）であることと、$V$ が弱収縮的（それぞれロゼンタール、弱列完全）であることの必要十分条件であることを証明する。これにより、ラマヌジャン理論を用いたモデル理論的証明が得られ、エーベルライン–シュムリアンの定理が再証明される。

ABSTRACT

In \cite{K3} we pointed out the correspondence between a result of Shelah in model theory, i.e. a theory is unstable if and only if it has IP or SOP, and the well known compactness theorem of Eberlein and Šmulian in functional analysis. In this paper, we relate a {\em natural} Banach space $V$ to a formula $ϕ(x,y)$, and show that $ϕ$ is stable (resp NIP, NSOP) if and only if $V$ is reflexive (resp Rosenthal, weakly sequentially complete) Banach space. Also, we present a proof of the Eberlein-Šmulian theorem by a model theoretic approach using Ramsey theorems which is illustrative to show some correspondences between model theory and Banach space theory.

研究の動機と目的

• モデル理論的分類（安定性、NIP、NSOP）とバナッハ空間の性質（弱収縮性、ロゼンタール、弱列完全性）との間の体系的対応を確立すること。
• ラマヌジャン定理と型の定義可能性を用いた、エーベルライン–シュムリアンの定理のモデル理論的証明を提供すること。
• モデル理論の技法が、特に弱コンパクト性と列的前コンパクト性の分野において、古典的関数解析に新たな知見をもたらすことを示すこと。
• 分類の構造的類似性とバナッハ空間の幾何的構造との間のより深い類似性を特定することで、今後の学際的研究の基盤を築くこと。

提案手法

• 一階構造における公式 $\phi(x,y)$ に対して自然に関連するバナッハ空間 $V$ を構成すること。
• 特にラマヌジャンの定理の強い形を用いたラマヌジャン的議論により、エーベルライン–シュムリアンの定理における (i) ⇒ (ii) の含意を証明すること。
• グロテンディークの $C(X)$ における前コンパクト性の基準を適用し、逐次的極限の反復によるコンパクト性の特徴づけを行うこと。
• 型の定義可能性と組合せ論的補題を用いて、含意 (iii) ⇒ (i) を証明し、可算的前コンパクト性と列的前コンパクト性を結びつけること。
• アンジェリック空間の概念とティコノフの定理を用いて、$C(X)$ の前コンパクト部分集合が列的前コンパクトであることを示すこと。
• コンパクトハウスドルフ空間 $X$ に対して $C(X)$ がアンジェリックであるという事実を活用し、前コンパクト集合の閉包が列の極限の集合に一致することを保証すること。

実験結果

リサーチクエスチョン

• RQ1 モデル理論における公式 $\phi(x,y)$ が弱収縮的バナッハ空間に対応する条件は何か？
• RQ2 モデル理論的性質である NIP は、バナッハ空間におけるロゼンタール性とどのように関係するか？
• RQ3 エーベルライン–シュムリアンの定理は、ラマヌジャン理論などのモデル理論的道具を用いて再証明可能か？
• RQ4 モデル理論における NSOP 性質とバナッハ空間における弱列完全性との正確な対応関係は何か？
• RQ5 モデル理論における分類は、バナッハ空間における幾何的構造までどの程度まで模倣可能か？

主な発見

• 公式 $\phi(x,y)$ が安定であることと、関連するバナッハ空間 $V$ が弱収縮的であることとは同値である。
• 公式 $\phi(x,y)$ が NIP を持つことと、関連するバナッハ空間 $V$ がロゼンタール空間であることとは同値である。
• 公式 $\phi(x,y)$ が NSOP を持つことと、関連するバナッハ空間 $V$ が弱列完全であることとは同値である。
• エーベルライン–シュムリアンの定理が、ラマヌジャン定理と型の定義可能性に基づくモデル理論的アプローチによって再証明された。
• コンパクトハウスドルフ空間 $X$ に対して $C(X)$ はアンジェリックであり、これはすべての前コンパクト部分集合が列的前コンパクトであることを意味し、エーベルライン–シュムリアンの同値性を支持する。
• モデル理論的性質とバナッハ空間の性質との間の対応関係は、従来認識されていたよりも深い構造的同型性を示しており、学際的研究の新たな道筋を示唆している。