[논문 리뷰] Non-archimedean tame topology and stably dominated types

Ehud Hrushovski, François Loeser|arXiv (Cornell University)|2010. 09. 01.

Advanced Topology and Set Theory참고 문헌 33인용 수 66

한 줄 요약

이 논문은 비알키메데스 기하학을 위한 모델 이론적 프레임워크를 제안하며, 안정적으로 지배되는 유형의 프로-정의 가능 공간 bV를 정의함으로써 베르코비치 해석적 구조의 온전한 위상적 대체물로 기능한다. o-최소 구조와 안정적 지배를 이용하여 bV에서 정의 가능한 뼈대 위로의 강한 변형 수축을 구축함으로써, 베르코비치 공간이 유한한 단체 복합체로 수축되며, 부드러움 조건 없이도 대수적 가닥에서 유한한 수의 호모토플 타입을 가짐을 증명한다.

ABSTRACT

Let $V$ be a quasi-projective algebraic variety over a non-archimedean valued field. We introduce topological methods into the model theory of valued fields, define an analogue $\hat {V}$ of the Berkovich analytification $V^{an}$ of $V$, and deduce several new results on Berkovich spaces from it. In particular we show that $V^{an}$ retracts to a finite simplicial complex and is locally contractible, without any smoothness assumption on $V$. When $V$ varies in an algebraic family, we show that the homotopy type of $V^{an}$ takes only a finite number of values. The space $\hat {V}$ is obtained by defining a topology on the pro-definable set of stably dominated types on $V$. The key result is the construction of a pro-definable strong retraction of $\hat {V}$ to an o-minimal subspace, the skeleton, definably homeomorphic to a space definable over the value group with its piecewise linear structure.

연구 동기 및 목표

• 비알키메데스 기하학을 위한 위상적 프레임워크를 모형 이론, 특히 안정적 지배와 정의 가능한 유형을 통해 개발하기.
• 비알키메데스 체 위의 준사영 다양체 V에 대해 안정적으로 지배되는 유형의 프로-정의 가능 공간 bV를 정의하여, 베르코비치 해석적 구조의 대체물로 기능시키기.
• 베르코비치 공간 V^an이 유한한 단체 복합체로 수축되며, V가 특이점이 있을 경우에도 국소적으로 수축 가능함을 증명하기.
• V가 대수적 가닥을 따라 변할 때 V^an의 호모토플 타입이 유한한 수의 가능성에만 의존함을 보여주기.
• 망원체 완비화 위에서 강력하게 안정적으로 지배되는 유형의 갈루아 궤도와 베르코비치 점 사이의 표준적인 위상동형을 수립하기.

제안 방법

• V 위에서 안정적으로 지배되는 유형의 프로-정의 가능 집합 bV를 정의하고, v- 및 g-열린 부분집합과 연속성 조건에서 유도된 위상을 부여하기.
• 정의 가능한 뼈대 위로의 프로-정의 가능 강한 변형 수축을 bV에서 구성하며, 이 뼈대가 o-최소이면서 값 군 위의 조각적 선형 공간과 위상동형임을 보장하기.
• ACVF(대수적으로 닫힌 체 위의 값 매기기) 이론과 안정적 지배를 이용해 유형과 그 표준 확장을 분석하기.
• 곡선과 상대적 P1에서의 상대 호모토플 구성법을 통해 변형 수축을 적용하고, 이를 bV 전체에 대한 전역적 호모토플로 확장하기.
• v- 및 g-위상에서 호모토플의 연속성을 활용하여, 전문화 및 가짜 갈루아 쌍대 덮개 기반 기준을 이용하기.
• 갈루아 수축과 함의 기반 변화의 함수적 성질을 이용해, 대수적 폐쇄 위에서 강력하게 안정적으로 지배되는 유형의 갈루아 궤도와 베르코비치 점 사이의 표준적인 전단사 사상 수립하기.

실험 결과

연구 질문

• RQ1 안정적으로 지배되는 유형의 모형 이론적 구성이 부드러움 조건 없이도 베르코비치 해석적 구조의 위상적 대체물이 될 수 있는가?
• RQ2 다양체 V 위에서 안정적으로 지배되는 유형의 공간 bV는 유한한 단체 복합체 위로 강한 변형 수축을 갖는가?
• RQ3 대수적 가닥을 따라 변할 때 베르코비치 공간 V^an의 호모토플 타입은 어떻게 변화하며, 이들이 오직 유한한 수의 값만을 가질 수 있음을 보일 수 있는가?
• RQ4 베르코비치 점과 망원체 완비화에서 갈루아 궤도의 안정적으로 지배되는 유형 사이의 정확한 관계는 무엇인가?
• RQ5 v- 및 g-위상에서 유형 공간 위에서 호모토플의 연속성을 확보할 수 있는가?

주요 결과

• 비알키메데스 체 위의 임의의 준사영 다양체 V에 대해, 그 베르코비치 해석적 구조 V^an은 유한한 단체 복합체로 수축되며, V가 특이점이 있을 경우에도 국소적으로 수축 가능하다는 것을 증명한다.
• 안정적으로 지배되는 유형의 공간 bV는 정의 가능한 뼈대 위로의 프로-정의 가능 강한 변형 수축을 가지며, 이 뼈대가 o-최소이면서 값 군 위의 조각적 선형 공간과 위상동형임을 보장한다.
• V가 대수적 가닥을 따라 변할 경우, V^an의 호모토플 타입은 오직 유한한 수의 값만을 취한다. 이는 변형 수축의 유한-일대일 성질과 정의 가능한 컴팩트성에 기반한 결과이다.
• 대수적 폐쇄 위에서 안정적으로 지배되는 유형의 공간과 베르코비치 공간 사이에 G--equivariant한 표준 위상동형이 존재하며, 이는 아브하얀카르 점과 강력하게 안정적으로 지배되는 유형의 갈루아 궤도 사이의 전단사 사상 유도한다.
• 정리 11.1.1에서 구성된 호모토플은 F-정의 가능하며, bV(F) 위로 제한되었을 때도 호모토플이 된다. 이는 임의의 아브하얀카르 점이 강력하게 그 점으로 수축되는 기저를 가짐을 의미한다.
• 공간 bV는 정의 가능 컴팩트이며, v- 및 g-위상과 호환되는 양호한 미터릭 구조를 지닌다. 이는 경로와 호모토플의 분석을 가능하게 한다.