[논문 리뷰] Model theoretic properties of metric valued fields

Yaacov, Itaï Ben|arXiv (Cornell University)|2009. 07. 27.

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

한 줄 요약

이 논문은 유계성을 다루기 위해 사영 공간을 활용해 체의 거리 값 이론을 형식화한 결과, 이 이론은 초월적 이론 MVF를 갖으며, 모델 보완인 ACMVF(대수적으로 닫힌 거리 값 체)를 갖는다. 또한 이 이론은 엄밀히 안정적이다. 추가로 실수적으로 닫힌 거리 값 체의 이론(RCMVF)은 종속적이며, 기약 제거를 갖는다. 이는 연속 논리에서 이러한 구조에 대한 완전한 모형 이론적 분류를 제공한다.

ABSTRACT

We study model theoretic properties of valued fields (equipped with a real-valued multiplicative valuation), viewed as metric structures in continuous first order logic. For technical reasons we prefer to consider not the valued field $(K,|{\\cdot}|)$ directly, but rather the associated projective spaces $K\\bP^n$, as bounded metric structures. We show that the class of (projective spaces over) metric valued fields is elementary, with theory $MVF$, and that the projective spaces $\\bP^n$ and $\\bP^m$ are bi\\"interpretable for every $n,m \\geq 1$. The theory $MVF$ admits a model completion $ACMVF$, the theory of algebraically closed metric valued fields (with a non trivial valuation). This theory is strictly stable (even up to perturbation). Similarly, we show that the theory of real closed metric valued fields, $RCMVF$, is the model companion of the theory of formally real metric valued fields, and that it is dependent.

연구 동기 및 목표

• 유계성 문제를 해결하기 위해 거리 값 체를 사영 공간을 이용해 유계된 구조로 다루는 모형 이론적 프레임워크를 개발한다.
• 거리 값 체 위의 사영 공간들의 클래스가 초월적이며, 완전한 일阶논리 이론 MVF를 갖는다.
• 모델 보완인 ACMVF(대수적으로 닫힌 거리 값 체) 이론이 MVF의 모델 보완임을 증명하고, 이 이론이 엄밀히 안정적임을 보인다.
• 실수적으로 닫힌 거리 값 체의 이론 RCMVF가 종속적이며, 기약 제거를 갖는다는 것을 확립한다.
• 다양한 차원의 사영 공간들 간의 상호해석 가능성을 보여주어, 값 체의 모형 이론을 통합한다.

제안 방법

• 거리 값 체를 그 사영 공간 $\mathbf{P}^n$ 으로 표현하여, 연속 일阶논리에서 유계된 거리 구조로 간주함으로써 유계성 문제를 다룬다.
• 무한성의 제약을 제거하기 위해, 비유계 체에서 유계된 구조를 구성하는 데 emboundment 과정을 사용하며, 이를 사영 직선 $\mathbf{P}^1$ 과 동치로 간주한다.
• 사영 공간에서의 필드 연산이 잘 정의되지 않음을 방지하기 위해, 관계적 언어를 도입하여, 주로 순서 및 순서 값 기반의 술어에 초점을 맞춘다.
• $\mathbf{P}^1$ 에서 언어 $\mathcal{L}_{o\mathbf{P}^1}$ 에서의 기약 제거를 증명하며, 실수적 닫힘의 유일성과 오르내림 시스템을 활용한다.
• 충분히 포화된 모델들이 무한한 오르내림 시스템을 갖는다는 것을 보여, 모델 완전성과 안정성을 확립한다.
• 모든 사영 공간에서 부호 및 순서 값 정보를 균일하게 기록하는 데 사용되는 기호 $\langle\!\langle \cdot \rangle\!\rangle$ 를 포함한 언어 $\mathcal{L}_{o\mathbf{P}}$ 를 정의한다.

실험 결과

연구 질문

• RQ1 사영 공간을 통해 표현된 거리 값 체의 클래스는 연속 일阶논리에서 초월적 클래스로 공리화될 수 있는가?
• RQ2 대수적으로 닫힌 거리 값 체의 이론(ACMVF)은 거리 값 체의 이론(MVF)의 모델 보완인가?
• RQ3 이론 ACMVF는 엄밀히 안정적인가? 그리고 이는 그 이론의 모형 이론적 복잡성에 어떤 의미를 갖는다?
• RQ4 실수적으로 닫힌 거리 값 체의 이론(RCMVF)은 종속적인가? 그리고 기약 제거를 갖는가?
• RQ5 모든 $n,m \geq 1$ 에 대해 사영 공간 $\mathbf{P}^n$ 과 $\mathbf{P}^m$ 은 상호해석 가능한가?

주요 결과

• 거리 값 체 위의 사영 공간들의 클래스는 초월적이며, 완전한 일阶논리 이론 MVF로 기술된다.
• MVF의 모델 보완인 이론 ACMVF는 엄밀히 안정적이며, 이는 잘 정의된 모형 이론적 구조를 의미한다.
• 이론 RCMVF는 종속적이며, 이는 트리 성질을 갖지 않음을 의미하므로, 온전한 모형 이론적 행동을 보인다.
• 언어 $\mathcal{L}_{o\mathbf{P}^1}$ 에서 $\mathbf{P}^1$ 의 이론에 대해 기약 제거가 성립하며, 이는 정의 가능한 집합들의 완전한 이해를 가능하게 한다.
• 모든 $n,m \geq 1$ 에 대해 사영 공간 $\mathbf{P}^n$ 과 $\mathbf{P}^m$ 은 상호해석 가능하며, 이는 차원 간에 균일한 모형 이론적 구조를 보여준다.
• 이론 RCMVF는 형식적으로 실수적인 거리 값 체 이론의 모델 보완이며, 언어 $\mathcal{L}_{o\mathbf{P}}$ 에서 기약 제거를 갖는다.