[论文解读] 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$-点上的平展开拓扑，推广了经典的拓扑（如扎里斯基拓扑、欧氏拓扑和 $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$-点上的典范拓扑，称为平展开拓扑，该拓扑推广了扎里斯基拓扑、实拓扑和 $p$-进拓扑等经典拓扑。
• 建立平展开拓扑的拓扑性质与基域 $K$ 的代数性质（特别是大域性质）之间的精确对应关系。
• 通过证明大域上的稳定域必为可分闭域，解决大域情形下的模型论稳定域猜想。
• 阐明大域性质在模型论中良态性（tameness）中的作用，尤其与稳定性及可定义集的关系。

提出的方法

• 将 $V(K)$ 上的平展开拓扑定义为由 $K$-代数簇之间的平展态射 $X \to V$ 的像生成的拓扑。
• 证明平展像的集合构成一个拓扑的基，并且这一族拓扑满足系统拓扑的公理（连续性、开/闭嵌入）。
• 证明当 $K$ 为可分闭域时，平展开拓扑与扎里斯基拓扑一致；当 $K$ 为实闭域时，与序拓扑一致；当 $K$ 为 $p$-进或赫斯曼域时，与赋值拓扑一致。
• 利用 $t$-赫斯曼性的概念，刻画平展开拓扑何时可由域拓扑导出。
• 应用模型论工具，包括伪有限计数测度和通用类型，分析有限域的超积中的可定义集。
• 利用在稳定域中，平展开拓扑是豪斯多夫且在仿射变换下不变的事实，若该拓扑为离散，则导出矛盾，从而证明非离散性要求大域性质。

实验结果

研究问题

• RQ1 在什么条件下，$V(K)$ 上的平展开拓扑不是离散的？这又对域 $K$ 本身意味着什么？
• RQ2 平展开拓扑与扎里斯基拓扑、序拓扑或赋值拓扑等经典拓扑有何关系？
• RQ3 平展开拓扑能否用于刻画模型论意义上的良态域，特别是稳定域？
• RQ4 大域性质与 $\mathbb{A}^1(K)$ 上平展开拓扑的非离散性之间是否存在联系？
• RQ5 在稳定域上，若假设其为大域，平展开拓扑是否强制该域为可分闭域？

主要发现

• 当且仅当 $K$ 为大域时，$\mathbb{A}^1(K)$ 上的平展开拓扑是非离散的。
• 当 $K$ 为可分闭域时，平展开拓扑与扎里斯基拓扑一致；当 $K$ 为实闭域时，与序拓扑一致；当 $K$ 为 $p$-进或赫斯曼域时，与赋值拓扑一致。
• 大稳定域必为可分闭域，从而在大域假设下解决了稳定域猜想。
• 若 $K$ 为稳定域，则 $K$ 上的平展开拓扑是豪斯多夫的，且在仿射变换下不变。
• 在稳定域中，若平展开拓扑为离散，则每个单点集均为开集，此时该域不能是大域。
• 在有限域的超积中，伪有限测度表明：满足对所有 $\beta \in U_1$ 有 $\alpha - \beta \in P$ 的 $\alpha$ 的集合测度为零，从而 $U_0 \times U_1$ 不包含于差为平方的集合 $E$ 中。