[論文レビュー] A López-Escobar theorem for metric structures, and the topological Vaught conjecture

Samuel Coskey, Martino Lupini|arXiv (Cornell University)|May 12, 2014

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

ひとこと要約

本稿は、連続論理におけるメトリック構造へのLópez-Escobarの定理の類似を確立し、Urysohn球面上のΓ-構造空間上のΓ-不変なボレル関数が、Λ_{\omega_1\omega}文によって定義可能であることを証明する。この結果は、位相的Vaught予想のモデル理論的再定式化を提供し、IvanovおよびMajcher-Iwanowの予想を裏付ける。

ABSTRACT

We show that a version of López-Escobar's theorem holds in the setting of logic for metric structures. More precisely, let $\mathbb{U}$ denote the Urysohn sphere and let $\mathrm{Mod}(\mathcal{L},\mathbb{U})$ be the space of metric $\mathcal{L}$-structures supported on $\mathbb{U}$. Then for any $\mathrm{Iso}(\mathbb{U})$-invariant Borel function $f\colon \mathrm{Mod}(\mathcal{L}, \mathbb{U}) ightarrow \lbrack 0,1]$, there exists a sentence $ϕ$ of $\mathcal{L}_{ω_{1}ω}$ such that for all $M\in \mathrm{Mod}(\mathcal{L},\mathbb{U})$ we have $f(M)=ϕ^{M}$. At the same time we introduce a variant $\mathcal{L}_{ω_1ω}^\ast$ of $\mathcal{L}_{ω_1ω}$ in which the usual quantifiers are replaced with category quantifiers, and establish the analogous theorem for $\mathcal{L}_{ω_1ω}^\ast$. This answers a question of Ivanov and Majcher-Iwanow. We prove several consequences, for example every orbit equivalence relation of a Polish group action is Borel isomorphic to the isomorphism relation on the set of models of a given $\mathcal{L}_{ω_{1}ω}$-sentence that are supported on the Urysohn sphere. This in turn provides a model-theoretic reformulation of the topological Vaught conjecture.

研究の動機と目的

• 離散的一階論理からのLópez-Escobarの古典的定理を、メトリック構造の文脈に拡張すること。
• IvanovおよびMajcher-Iwanowが提起した、連続論理におけるLópez-Escobar風の定理の存在に関する問いに応えること。
• ポーランド群作用における軌道同値関係の\mathcal{L}_{\omega_1\omega}-文によるモデル理論的特徴づけを、Urysohn球面上で確立すること。
• 位相的Vaught予想をメトリック構造および無限限界論理の観点から再定式化すること。
• Urysohn球面上の\mathrm{Mod}(\mathcal{L},\mathbb{U})上での\mathrm{Iso}(\mathbb{U})-不変ボレル関数が、単一の\mathcal{L}_{\omega_1\omega}-文によって定義可能であることを示すこと。

提案手法

• 著者たちは、メトリック構造のモデル理論の枠組みにおいて、普遍的かつ均一なメトリック空間としてのUrysohn球面\mathbb{U}を用いる。
• 彼らは\mathbb{U}上に支持される\mathcal{L}-構造の空間\mathrm{Mod}(\mathcal{L},\mathbb{U})を定義し、\mathrm{Iso}(\mathbb{U})、すなわち\mathbb{U}の等長群の作用を備える。
• 主な技術的道具は、\mathrm{Iso}(\mathbb{U})-不変ボレル関数の値を群作用に関する上界によって実現するk個の自由変数をもつN-リプシッツ式の構成である。
• 彼らは\tau_n-関数とN-リプシッツ式を用いた近似列を用い、構造のグレーサブセットの線形結合、下界、上界を表現する。
• ボレル関数の複雑さに関する帰納法によって証明を進め、すべての関数が式の階層を通じて\mathcal{L}_{\omega_1\omega}-文によって定義可能であることを示す。
• 主な結果は、任意の\mathrm{Iso}(\mathbb{U})-不変ボレル関数f: \mathrm{Mod}(\mathcal{L},\mathbb{U}) \to [0,1]に対して、すべてのM \in \mathrm{Mod}(\mathcal{L},\mathbb{U})についてf(M) = \phi^Mを満たす文\phi \in \mathcal{L}_{\omega_1\omega}が存在することを示すことによって確立される。

実験結果

リサーチクエスチョン

• RQ1 メトリック構造および連続論理の文脈に、López-Escobar風の定理を拡張できるか。
• RQ2 Urysohn球面上の\mathcal{L}-構造空間上の任意の\mathrm{Iso}(\mathbb{U})-不変ボレル関数は、単一の\mathcal{L}_{\omega_1\omega}-文によって定義可能か。
• RQ3 位相的Vaught予想は、メトリック構造および無限限界論理の観点からモデル理論的に再定式化可能か。
• RQ4 任意のポーランド群作用の軌道同値関係は、Urysohn球面上に支持される単一の\mathcal{L}_{\omega_1\omega}-文のモデルの同型関係として実現可能か。
• RQ5 \mathrm{Iso}(\mathbb{U})-不変ボレル関数のクラスは、正確に\mathcal{L}_{\omega_1\omega}-文によって定義可能な関数のクラスに一致するか。

主な発見

• 任意の\mathrm{Iso}(\mathbb{U})-不変ボレル関数f: \mathrm{Mod}(\mathcal{L},\mathbb{U}) \to [0,1]は、各構造Mに対して、単一の文\phi \in \mathcal{L}_{\omega_1\omega}の評価\phi^Mに等しく、すなわちf(M) = \phi^Mである。
• Urysohn球面上の\mathcal{L}-構造の空間は、連続論理の文脈におけるLópez-Escobarの定理の完全な類似を備えている。
• 任意のポーランド群作用の軌道同値関係は、Urysohn球面上に支持される単一の\mathcal{L}_{\omega_1\omega}-文のモデル集合上の同型関係とボレル同型である。
• 位相的Vaught予想は、メトリック構造におけるVaught予想に同値である：\mathbb{U}上の任意の\mathcal{L}_{\omega_1\omega}-文は、非同型なモデルを高々可算個、または完全に無限個もつ。
• \mathrm{Iso}(\mathbb{U})-不変ボレル関数のクラスは、線形結合、下界、上界に関して閉じており、各関数はN-リプシッツ近似を用いた一様な構成によって\mathcal{L}_{\omega_1\omega}-式によって定義可能である。