[論文レビュー] Non-archimedean tame topology and stably dominated types

Ehud Hrushovski, François Loeser|arXiv (Cornell University)|Sep 1, 2010

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-および g-開集合と連続性条件から導かれる位相を備えた、多様体 V 上の安定的に支配される型のプロ定義可能集合 bV を定義する。
• bV から定義可能スケルトンへのプロ定義可能な強い変形リトラクションを構成し、そのスケルトンが o-極小的であり、値群上の折れ線的空間と位相的に同型であることを示す。
• ACVF（代数的に閉じた付値体）の理論と安定的支配を用いて、型とその標準的拡張を分析する。
• 曲線および相対的 P1 における変形リトラクションを通じた相対的ホモトピー構成を用い、bV 上のグローバルホモトピーにまで到達する。
• v-および g-位相におけるホモトピーの連続性を活用し、特殊化および擬似ガロア被覆に基づく基準を用いる。
• ガロア下降と函子的基底変換を用いて、代数閉包上の強いつながれ安定的に支配される型の G-軌道とベルコヴィッチ点との間に、自然な双対写像を確立する。

実験結果

リサーチクエスチョン

• RQ1 滑らかさの仮定がなくても、安定的に支配される型のモデル理論的構成がベルコヴィッチ解析化のための位相的置換を提供できるか？
• RQ2 多様体 V 上の安定的に支配される型の空間は、有限単体複体に強い変形リトラクションを持つか？
• RQ3 代数的族を動くとき、ベルコヴィッチ空間 V^an のホモトピー型はどのように変化し、有限個の値に限られることを示せるか？
• RQ4 ベルコヴィッチ点とラティス完備化上のガロア軌道の間の安定的に支配される型の正確な関係は何か？
• RQ5 v-および g-位相を用いて、型の空間上のホモトピーの連続性を確立できるか？

主な発見

• 任意の非アルキメデス体上の準射影的多様体 V に対して、ベルコヴィッチ解析化 V^an は有限単体複体にリトラクトされ、V が特異的であっても局所的に可縮可能であることが示された。
• 安定的に支配される型の空間 bV は、定義可能スケルトンへのプロ定義可能な強い変形リトラクションを持つ。このスケルトンは o-極小的であり、値群上の折れ線的空間と位相的に同型である。
• V が代数的族を動くとき、V^an のホモトピー型は有限個の値に限られ、これは変形リトラクションの有限対1性と定義可能コンパクト性によって確立された。
• 代数閉包上の安定的に支配される型の空間とベルコヴィッチ空間との間に、自然な G-可換な位相同型が存在し、アブヒャンカラ点と強いつながれ安定的に支配される型のガロア軌道との間の双対写像を誘導する。
• 定理 11.1.1 で構成されたホモトピーは F-定義可能であり、bV(F) 上に制限され、任意のアブヒャンカラ点が強くその上にリトラクトされるような近傍の基底を持つことを示唆する。
• 空間 bV は定義可能コンパクトであり、v-および g-位相と整合する良い計量構造を備えており、経路とホモトピーの解析が可能である。