[논문 리뷰] Definable retractions over complete fields with separated power series

Krzysztof Jan Nowak|arXiv (Cornell University)|2019. 01. 01.

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

한 줄 요약

이 논문은 분리된 멱급수를 가진 완비 비아르키메데스 체에서 임의의 닫힌 정의 가능한 부분집합 위로의 정의 가능한 재취향이 존재함을 증명하며, 임bedded 정규화, 값매김 체의 존재기호 제거, 준유리적 부분도메인과 같은 도구들을 사용한다. 핵심 결과는 Denef–Pas 언어 프레임워크 내에서 티에츠–우리소른 및 두군지 확장 정리의 비아르키메데스 정의 가능한 해석이다.

ABSTRACT

Let $K$ be a complete non-Archimedean field $K$ with separated power series, treated in the analytic Denef--Pas language. We prove the existence of definable retractions onto an arbitrary closed definable subset of $K^{n}$, whereby definable non-Archimedean versions of the extension theorems by Tietze--Urysohn and Dugundji follow directly. We reduce the problem to the case of a simple normal crossing divisor, relying on our closedness theorem and desingularization of terms. The latter result is established by means of the following tools: elimination of valued field quantifiers (due to Cluckers--Lipshitz--Robinson), embedded resolution of singularities by blowing up (due to Bierstone--Milman or Temkin), the technique of quasi-rational subdomains (due to Lipshitz--Robinson) and our closedness theorem.

연구 동기 및 목표

• 분리된 멱급수를 가진 완비 비아르키메데스 체에서 임의의 닫힌 정의 가능한 부분집합 위로의 정의 가능한 재취향을 확립한다.
• 고전적인 티에츠–우리소른 및 두군지 확장 정리의 비아르키메데스 정의 가능한 해석을 제공한다.
• 정규화와 닫힘 정리들을 통해 일반적인 재취향 문제를 단순 정규 교차 분할의 경우로 환원한다.
• 값매김 체의 존재기호 제거 및 해석적 닫힘 정리와 같은 모델 이론적 도구를 비아르키메데스 기하학에 적용한다.

제안 방법

• 닫힘 정리와 항목의 정규화를 통해 재취향 문제를 단순 정규 교차 분할의 경우로 환원한다.
• 준콤팩트 리지드 아핀 기하공간에서의 붙이기 작용을 통한 임베디드 정규화를 적용한다.
• 준유리적 부분도메인을 활용하여 정의 가능한 집합과 그 위상적 구조를 제어한다.
• Denef–Pas 언어에서 값매김 체의 존재기호 제거를 적용하여 정의 가능한 조건을 단순화한다.
• 준유리적 부분도메인의 닫힌 덮개 위에서의 귀납적 접합을 통한 재취향의 구성.
• 해석적 닫힘 정리를 활용하여 해석이 정규화된 구조가 값매김에 의해 유도된 표준 위상과 호환됨을 보장한다.

실험 결과

연구 질문

• RQ1 분리된 멱급수를 가진 완비 비아르키메데스 체에서 임의의 닫힌 정의 가능한 부분집합 위로 정의 가능한 재취향이 존재할 수 있는가?
• RQ2 티에츠–우리소른 및 두군지 확장 정리는 어떤 식으로 정의 가능한 비아르키메데스적 맥락에서 일반화될 수 있는가?
• RQ3 단순 정규 교차 분할은 일반적인 재취향 문제를 다룰 수 있는 경우로 환원하는 데 어떤 역할을 하는가?
• RQ4 존재기호 제거 및 닫힘 정리와 같은 모델 이론적 도구들이 기하학적 정규화 기법과 어떻게 상호작용하는가?
• RQ5 이러한 체 위의 단위 볼과 사영 공간의 곱에서 정의 가능한 재취향은 어느 정도로 구성될 수 있는가?

주요 결과

• Corollary 1.2에 따르면, $K^n$의 임의의 닫힌 $ι$-정의 가능한 부분집합 $A$에서 $A$로의 $ι$-정의 가능한 재취향이 존재한다.
• $(K^\circ)^N$, $(K^{\circ\circ})^N$, $\mathbb{P}^n(K)$ 및 그들의 곱에서 닫힌 정의 가능한 부분집합 위로의 정의 가능한 재취향의 존재가 입증된다.
• 임베디드 정규화와 닫힘 정리를 통해 재취향 문제는 단순 정규 교차 분할의 경우로 환원된다.
• 부분다양체 $Z$와 정규화 분할이 동시에 단순 정규 교차 구성으로 형성되는 한, 환경 공간이 닫힌 부분다양체 $Z$의 여집합이어도 정의 가능한 재취향이 존재한다.
• 재취향의 구성은 준유리적 부분도메인의 닫힌 덮개 위에서 귀납적으로 이루어지며, 호환성은 위상 동형사상과 정의 가능한 사상에 의해 보장된다.
• 후속 연구 [13]에서 보듯이, 결과는 일반적인 헨젤리언 값매김 체에 분석 구조를 가미한 경우에도 확장되며, 광범위한 적용 가능성을 확인한다.