[논문 리뷰] A López-Escobar theorem for metric structures, and the topological Vaught conjecture

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

Advanced Topology and Set Theory참고 문헌 15인용 수 4

한 줄 요약

이 논문은 연속 논리에서 메트릭 구조에 대한 López-Escobar 정리의 유사판을 수립하며, Urysohn 구면 위의 Γ-구조 공간에서 Γ-불변 Borel 함수가 항상 $\Lambda_{\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 스타일 정리의 존재성에 관한 질문에 응하는 것.
• 폴란드 군 작용에서 궤도 동치 관계를 Urysohn 구면 위의 $\mathcal{L}_{\omega_1\omega}$-문장에 의한 모델 이론적 특성화를 통해 수립하는 것.
• 위상적 Vaught 추측을 메트릭 구조와 무한항 논리의 관점에서 새로운 형태로 재구성하는 것.
• 모든 $\mathrm{Iso}(\mathbb{U})$-불변 Borel 함수 $f: \mathrm{Mod}(\mathcal{L},\mathbb{U}) \to [0,1]$ 가 단일 $\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})$-불변 Borel 함수의 값을 군 작용에 대한 최댓값을 취하는 방식으로 실현하는 $k$개의 자유 변수를 가진 $N$-Lipschitz 공식의 구성이다.
• 그들은 $\tau_n$-함수와 $N$-Lipschitz 공식을 이용한 근사 수열을 활용하여, 구조의 회색 부분집합의 선형 조합, 최솟값, 최댓값을 표현한다.
• Borel 함수의 복잡도에 대한 귀납법을 통해 증명을 진행하며, 모든 이러한 함수들이 공식의 계층을 통해 $\mathcal{L}_{\omega_1\omega}$-문장에 의해 정의 가능하다는 것을 보여준다.
• 주요 결과는 임의의 $\mathrm{Iso}(\mathbb{U})$-불변 Borel 함수 $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})$-불변 Borel 함수는 항상 단일 $\mathcal{L}_{\omega_1\omega}$-문장에 의해 정의 가능한가?
• RQ3 위상적 Vaught 추측은 메트릭 구조와 무한항 논리의 관점에서 모델이론적으로 재구성 가능한가?
• RQ4 모든 폴란드 군 작용의 궤도 동치 관계는 Urysohn 구면 위에 지지된 단일 $\mathcal{L}_{\omega_1\omega}$-문장의 모델 집합에서의 동형 관계로 표현될 수 있는가?
• RQ5 $\mathrm{Iso}(\mathbb{U})$-불변 Borel 함수의 집합은 정확히 $\mathcal{L}_{\omega_1\omega}$-문장에 의해 정의 가능한 함수들의 집합인가?

주요 결과

• 모든 $\mathrm{Iso}(\mathbb{U})$-불변 Borel 함수 $f: \mathrm{Mod}(\mathcal{L},\mathbb{U}) \to [0,1]$ 는 각 구조 $M$ 에 대해 단일 문장 $\phi \in \mathcal{L}_{\omega_1\omega}$ 의 평가값과 동일하다. 즉, $f(M) = \phi^M$ 이다.
• Urysohn 구면 위의 $\mathcal{L}$-구조 공간은 연속 논리 맥락에서 López-Escobar 정리의 완전한 유사판을 지닌다.
• 모든 폴란드 군 작용의 궤도 동치 관계는 Urysohn 구면 위에 지지된 단일 $\mathcal{L}_{\omega_1\omega}$-문장의 모델 집합에서의 동형 관계와 Borel 동형이다.
• 위상적 Vaught 추측은 메트릭 구조에 대한 Vaught 추측과 동치이다: $\mathbb{U}$ 위의 모든 $\mathcal{L}_{\omega_1\omega}$-문장은 이소모델이 가 countable하거나 perfect하게 many이다.
• $\mathrm{Iso}(\mathbb{U})$-불변 Borel 함수의 집합은 선형 조합, 최솟값, 최댓값에 대해 닫혀 있으며, 각 함수는 $N$-Lipschitz 근사의 통일된 구성 방식을 통해 $\mathcal{L}_{\omega_1\omega}$-공식에 의해 정의 가능하다.