[論文レビュー] The étale-open topology and the stable fields conjecture

Will Johnson, Chieu-Minh Tran+2 more|arXiv (Cornell University)|Sep 4, 2020

Advanced Topology and Set Theory参考文献 15被引用数 7

ひとこと要約

この論文は、体 $K$ 上の代数的多様体の $K$-点に、Zariski、ユークリッド、$p$-進など古典的な位相を一般化するエタール開位相を導入する。エタール開位相が非離散であることは、$K$ が大きな体であることと同値であり、この性質を用いて、大きな安定体は必ず代数的閉でなければならないことを証明し、モデル理論における重要な予想を解決する。

ABSTRACT

For an arbitrary field $K$ and $K$-variety $V$, we introduce the étale-open topology on the set $V(K)$ of $K$-points of $V$. This topology agrees with the Zariski topology, Euclidean topology, or valuation topology when $K$ is separably closed, real closed, or $p$-adically closed, respectively. Topological properties of the étale-open topology corresponds to algebraic properties of $K$. For example, the étale-open topology on $\mathbb{A}^1(K)$ is not discrete if and only if $K$ is large. As an application, we show that a large stable field is separably closed.

研究の動機と目的

• 多様体の $K$-点に、Zariski や実、$p$-進など古典的位相を一般化する、新しい自然な位相であるエタール開位相を定義し、その性質を調べること。
• エタール開位相の位相的性質と、基本体 $K$ の代数的性質（特に「大きな体」であること）との間の明確な対応関係を確立すること。
• 大きな体の下で、モデル理論的安定体予想を解決するため、大きな安定体が必ず代数的閉でなければならないことを示すこと。
• 特に安定性と定義可能集合との関係において、大きな体の性質がモデル理論的「なめらかさ」に果たす役割を明確にすること。

提案手法

• $K$-代数的多様体のエタール準同型 $X \to V$ の像によって生成される位相として、$V(K)$ にエタール開位相を定義する。
• エタール像の集合が位相の基底をなすことを証明し、この位相族が位相系の公理（連続性、開／閉埋め込み）を満たすことを示す。
• $K$ が代数的閉ならばエタール開位相はZariski位相と一致し、$K$ が実閉ならば順序位相と一致し、$K$ が $p$-進的またはヘンゼル的ならば賦値位相と一致することを示す。
• t-ヘンゼル性の概念を用いて、エタール開位相が体の位相から生じる条件を特徴付ける。
• 擬有限測度と一般型を含むモデル理論的道具を用いて、有限体の超積における定義可能集合を分析する。
• 安定体ではエタール開位相がハウスドルフかつアフィン変換に関して不変であることを用い、位相が離散的であると仮定すると矛盾が生じることを示し、非離散性のためには「大きな体」であることが必要であることを証明する。

実験結果

リサーチクエスチョン

• RQ1 エタール開位相が $V(K)$ で非離散でないのはいつか？ そしてこれは体 $K$ にどのような意味を持つのか？
• RQ2 エタール開位相は、Zariski 位相、順序位相、または賦値位相といった古典的位相とどのように関係しているか？
• RQ3 エタール開位相を用いて、モデル理論的に「なめらか」な体、特に安定体を特徴づけられるか？
• RQ4 「大きな体」との関連で、$\mathbb{A}^1(K)$ におけるエタール開位相の非離散性にはどのような関係があるか？
• RQ5 安定体において、エタール開位相が非離散であると仮定した場合、その体は代数的閉でなければならないか？

主な発見

• $\mathbb{A}^1(K)$ におけるエタール開位相は、$K$ が大きな体であることと同値に非離散である。
• 体 $K$ が代数的閉ならばエタール開位相はZariski位相と一致し、$K$ が実閉ならば順序位相と一致し、$K$ が $p$-進的またはヘンゼル的ならば賦値位相と一致する。
• 大きな安定体は、必ず代数的閉でなければならない。これは、大きな体の下での安定体予想を解決する。
• 体 $K$ が安定体であれば、$K$ 上のエタール開位相はハウスドルフであり、アフィン変換に関して不変である。
• 安定体において、エタール開位相が離散的であれば、すべての単一集合が開集合であり、その体は「大きな体」ではあり得ない。
• 有限体の超積において、任意の $\beta \in U_1$ に対して $\alpha - \beta \in P$ を満たす $\alpha$ の集合は擬有限測度でゼロ測度である。これは、$U_0 \times U_1$ が、差が平方数であるようなペアの集合 $E$ に含まれないことを示唆する。