[论文解读] Schemes as functors on topological rings

Oliver Lorscheid, Cecília Salgado|arXiv (Cornell University)|Oct 8, 2014

Algebraic Geometry and Number Theory参考文献 4被引用 4

一句话总结

本文为任意拓扑环 $ R $ 上的任意概形 $ X $ 的 $ R $-有理点集 $ X(R) $ 引入了一种通用的、函子性的拓扑，该拓扑在不依赖有限型或分离性条件的前提下，推广了经典的强拓扑与阿代尔拓扑。核心贡献在于通过 $ X(R) $ 上诱导拓扑的函子性质，刻画了 $ R $ 的拓扑性质（如豪斯多夫性、局部性或单位群开性）；并证明了对于全球域的阿代尔环 $ \mathbf{A} $，$ X(\mathbf{A}) $ 上的精细拓扑与经典阿代尔拓扑一致。

ABSTRACT

Let $X$ be a scheme. In this text, we extend the known definitions of a topology on the set $X(R)$ of $R$-rational points from topological fields, local rings and adèle rings to any ring $R$ with a topology. This definition is functorial in both $X$ and $R$, and it does not rely on any restriction on $X$ like separability or finiteness conditions. We characterize properties of $R$, such as being a topological Hausdorff ring, a local ring or having $R^ imes$ as an open subset for which inversion is continuous, in terms of functorial properties of the topology of $X(R)$. Particular instances of this general approach yield a new characterization of adelic topologies, and a definition of topologies for higher local fields.

研究动机与目标

• 将 $ X(R) $（即概形 $ X $ 关于拓扑环 $ R $ 的 $ R $-有理点集）的拓扑定义推广至经典局部域与阿代尔环情形之外的情形。
• 消除对 $ X $ 的有限型、分离性或有限性条件的限制性假设。
• 通过 $ X(R) $ 上诱导拓扑的函子性质，刻画 $ R $ 的拓扑性质（如豪斯多夫性、局部性或单位群开性）。
• 提供一个统一的框架，能够恢复已知拓扑，包括局部域 $ k $ 上 $ X(k) $ 的强拓扑，以及全球域上 $ X(\mathbf{A}) $ 的阿代尔拓扑。
• 证明全球域的阿代尔环 $ \mathbf{A} $ 上 $ X(\mathbf{A}) $ 的精细拓扑与经典阿代尔拓扑一致。

提出的方法

• 为任意概形 $ X $ 与任意拓扑环 $ R $ 定义 $ X(R) $ 上的拓扑，利用确保在 $ X $ 与 $ R $ 上函子性的普遍性质。
• 通过使所有从 $ X $ 的仿射开子概形到 $ X(R) $ 的态射连续的最粗拓扑来构造该拓扑，推广了强拓扑的构造方法。
• 使用“精细拓扑”概念：即所有从仿射 $ k $-概形到 $ X $ 的态射在 $ X(R) $ 上诱导连续映射的最粗拓扑。
• 通过 $ S $-阿代尔拓扑与余极限结构，证明对于阿代尔环 $ \mathbf{A} $，$ X(\mathbf{A}) $ 上的精细拓扑与经典阿代尔拓扑等价。
• 通过 $ X(R) $ 上诱导拓扑的行为（特别是 $ \mathbb{G}_m(R) \to \mathbb{A}^1(R) $ 等态射的连续性与开性）刻画 $ R $ 的性质（如豪斯多夫性或单位群开性）。
• 利用在有限个位置 $ S $ 上的函子性与余极限结构，将 $ X(\mathbf{A}) $ 与 $ X_S(\mathbf{A}_S) $ 关联，并证明阿代尔开性在基变换与态射下保持不变。

实验结果

研究问题

• RQ1 能否在不假设 $ R $ 局部或豪斯多夫的前提下，将局部域 $ k $ 上 $ X(k) $ 的强拓扑推广至任意拓扑环 $ R $？
• RQ2 如何以函子性方式刻画全球域 $ \mathbf{A} $ 上 $ X(\mathbf{A}) $ 的阿代尔拓扑，而无需依赖模型概形或有限型假设？
• RQ3 $ X(R) $ 上拓扑的哪些函子性质能刻画 $ R $ 的拓扑性质（如局部环性或单位群开性）？
• RQ4 是否存在一个统一的、内在的 $ X(R) $ 拓扑定义，适用于任意概形 $ X $ 与任意拓扑环 $ R $，并能作为已知拓扑的特例恢复？
• RQ5 全球域的阿代尔环 $ \mathbf{A} $ 上 $ X(\mathbf{A}) $ 的精细拓扑是否与经典阿代尔拓扑一致？

主要发现

• 对于全球域的阿代尔环 $ \mathbf{A} $，$ X(\mathbf{A}) $ 上的精细拓扑与经典阿代尔拓扑一致，如定理 7.3 所示。
• 对 $ X(R) $ 的拓扑构造在 $ X $ 与 $ R $ 上均为函子性，且不要求 $ X $ 为有限型或 $ R $ 为局部或豪斯多夫。
• $ X(R) $ 上的拓扑具有如下性质：子集 $ W \subset X(R) $ 为开集当且仅当其在每个从仿射 $ k $-概形 $ U $ 到 $ X $ 的态射 $ \alpha: U \to X $ 下的原像在 $ U(R) $ 中为开集。
• 一个拓扑环 $ R $ 是豪斯多夫的，当且仅当对所有概形 $ X $，对角映射 $ X(R) \to X(R) \times X(R) $ 是闭的，这是豪斯多夫性质的函子性刻画。
• 一个拓扑环 $ R $ 的单位群是开的，当且仅当开嵌入 $ \mathbb{G}_m \to \mathbb{A}^1 $ 诱导出 $ R^\times \to R $ 的开映射，这是单位群开性的函子性刻画。
• 对于满足精细拓扑公理 (F6) 的局部紧致豪斯多夫环 $ R $，所有有限型 $ k $-概形 $ X $ 的 $ X(R) $ 均为局部紧致，如引理 8.1 所示。