[논문 리뷰] When does NIP transfer from fields to henselian expansions?

Franziska Jahnke|arXiv (Cornell University)|2016. 07. 11.

Advanced Topology and Set Theory참고 문헌 7인용 수 5

한 줄 요약

이 논문은 필드의 헨젤 확장으로부터 NIP(의존) 성질이 언제 전이되는지를 조사한다. 필드 $K$가 NIP이고, 그 위에 헨젤 비율 $v$가 주어져 있을 때, 잔여체가 분리적으로 닫혀 있지 않다면, 유도된 값매김 필드 $(K,v)$ 는 값매김 링에 대한 술어를 추가한 링 언어에서 NIP임을 보여준다. 핵심 결과는 Shelah 확장에서의 정의 가능성과 Kaplansky 필드에 대한 전이 정리들을 통해 이러한 NIP 전이가 성립한다는 것이다.

ABSTRACT

Let $K$ be an NIP field and let $v$ be a henselian valuation on $K$. We ask whether $(K,v)$ is NIP as a valued field. By a result of Shelah, we know that if $v$ is externally definable, then $(K,v)$ is NIP. Using the definability of the canonical $p$-henselian valuation, we show that whenever the residue field of $v$ is not separably closed, then $v$ is externally definable. In the case of separably closed residue field, we show that $(K,v)$ is NIP as a pure valued field.

연구 동기 및 목표

• 필드 $K$ 에서의 NIP 성질이 그의 헨젤 확장 $(K,v)$ 로 언제 전이되는지를 결정하는 것.
• NIP 필드 $K$ 위에 헨젤 비율 $v$ 가 존재할 때, 값매김 링 술어를 추가한 링 언어에서 $(K,v)$ 가 NIP가 되는지 조사하는 것.
• 표준 전이가 실패하는 경우, 잔여체 $Kv$ 가 분리적으로 닫혀 있을 때, 순수 값매김 필드 언어로 제한하여 문제를 해결하는 것.
• 잔여체 $Kv$ 가 분리적으로 닫혀 있지 않은 경우, 캐논칼 $p$-헨젤 비율이 Shelah 확장에서 정의 가능하다는 것을 증명하는 것.
• 안정된 통합 조건 하에서 두 NIP 비율의 병합이 NIP 구조를 유도한다는 것을 보여주는 것.

제안 방법

• 잔여체가 분리적으로 닫혀 있지 않은 경우, 헨젤 비율의 정의 가능성을 확립하기 위해 Shelah 확장 $K^{\mathrm{Sh}}$ 를 사용하는 것.
• 캐논칼 $p$-헨젤 비율의 정의 가능성을 활용하여 $v$ 가 $K^{\mathrm{Sh}}$ 에서 외부적으로 정의 가능하다는 것을 보이는 것.
• 분리적으로 대수적으로 최대인 Kaplansky 필드에 대한 [JS19] 및 [AJ19a]의 전이 정리를 적용하여, 잔여체에서 값매김 필드로의 NIP 전이를 수행하는 것.
• 비율 $v$ 를 두 개의 NIP 비율의 병합 $v = \bar{v} \circ w$ 로 분해하여 안정성과 정의 가능성 논증을 적용하는 것.
• 동차수 0 헨젤 필드와 무분할 헨젤 필드에서 잔여체의 안정적 통합 성질을 활용하여 병합에 의한 NIP 유지 여부를 분석하는 것.
• Scanlon의 논증을 변형하여, NIP 필드 위에 비완전한 잔여체를 갖는 임의의 비율이 $\mathcal{L}_{\mathrm{ring}}$-정의 가능하다는 것을 보이는 것.

실험 결과

연구 질문

• RQ1 NIP 필드 $K$ 에서 헨젤 비율 $v$ 가 존재할 때, 값매김 링 술어를 추가한 링 언어에서 $(K,v)$ 가 NIP가 되기 위한 조건은 무엇인가?
• RQ2 잔여체가 분리적으로 닫혀 있지 않은 경우, 캐논칼 $p$-헨젤 비율이 Shelah 확장에서 정의 가능할까?
• RQ3 잔여체가 분리적으로 닫혀 있는 경우, 잔여체에서 값매김 필드로의 NIP 전이가 가능할까?
• RQ4 두 개의 NIP 헨젤 비율의 병합이 NIP 구조를 유도할까?
• RQ5 순서가 있는 NIP 필드에서, 임의의 볼록 값매김 링은 순서 필드의 Shelah 확장에서 정의 가능할까?

주요 결과

• 필드 $K$ 가 NIP이고, $K$ 위에 헨젤 비율 $v$ 가 존재하며, $Kv$ 가 분리적으로 닫혀 있지 않다면, $v$ 는 Shelah 확장 $K^{\mathrm{Sh}}$ 에서 정의 가능하므로, $(K,v)$ 는 $\mathcal{L} \cup \{\mathcal{O}\}$ 에서 NIP이다.
• 잔여체 $Kv$ 가 분리적으로 닫혀 있는 경우, 비율이 Shelah 확장에서 정의 가능하지 않더라도, $(K,v)$ 는 순수 값매김 필드로서 여전히 NIP이다.
• 잔여체 $Kv$ 가 분리적으로 닫혀 있지 않은 경우, 캐논칼 $p$-헨젤 비율은 $K^{\mathrm{Sh}}$ 에서 정의 가능하며, 이는 $v$ 의 외부 정의 가능성으로 이어진다.
• 임의의 NIP 필드 $K$ 에서 비자명한 헨젤 비율이 존재할 때, $Kv$ 가 분리적으로 닫혀 있지 않은 한, $(K,v)$ 는 $\mathcal{L} \cup \{\mathcal{O}\}$ 에서 NIP가 되는 비자명한 헨젤 비율 $v$ 가 존재한다.
• 순서가 있는 NIP 필드의 경우, 임의의 볼록 값매김 링은 순서 필드의 Shelah 확장에서 정의 가능하므로, $(K,v)$ 는 $\mathcal{L} \cup \{\mathcal{O}\}$ 에서 NIP이다.
• 더러운 비율의 잔여체가 안정적으로 통합되어 있을 때, 두 개의 헨젤 NIP 비율의 병합은 NIP가 된다. 이는 분리적으로 대수적으로 최대인 Kaplansky 필드와 무분할 헨젤 필드에서 성립한다.