[论文解读] Exodromy

Clark Barwick, Saul Glasman+1 more|arXiv (Cornell University)|Jul 9, 2018

Algebraic Geometry and Number Theory被引用 6

一句话总结

本文引入了外旋同构等价性，为拟紧、拟分离概形 𝑋 的几何点范畴 Gal(𝑋) 建立了自然的 profinite 拓扑，并证明了 Gal(𝑋) 的表示与系数取值于 profinite 环或 𝐐̂ℓ 的代数扩张的可构造层之间的等价性。其核心贡献是一项重构定理，表明特征为 0 的有限生成域上的正规概形完全由其 Gal(𝑋) 范畴及其伽罗瓦作用决定，通过高阶拓扑斯理论与 pyknotic/condensed 形式化方法，将单值化推广至平展设定。

ABSTRACT

Let $X$ be a quasicompact quasiseparated scheme. Write $\operatorname{Gal}(X)$ for the category whose objects are geometric points of $X$ and whose morphisms are specializations in the étale topology. We define a natural profinite topology on the category $\operatorname{Gal}(X)$ that globalizes the topologies of the absolute Galois groups of the residue fields of the points of $X$. One of the main results of this book is that $\operatorname{Gal}(X)$ variant of MacPherson's exit-path category suitable for the étale topology: we construct an equivalence between representations of $\operatorname{Gal}(X)$ and constructible sheaves on $X$. We show that this 'exodromy equivalence' holds with nonabelian coefficients and with finite abelian coefficients. More generally, by using the pyknotic/condensed formalism, we extend this equivalence to coefficients in the category of modules over profinite rings and algebraic extensions of $\mathbf{Q}_{\ell}$. As an 'exit-path category', the topological category $\operatorname{Gal}(X)$ also gives rise to a new, concrete description of the étale homotopy type of $X$. We also prove a higher categorical form of Hochster Duality, which reconstructs the entire étale topos of a quasicompact and quasiseparated scheme from the topological category $\operatorname{Gal}(X)$. Appealing to Voevodsky's proof of a conjecture of Grothendieck, we prove the following reconstruction theorem for normal varieties over a finitely generated field $k$ of characteristic $0$: the functor $X\mapsto\operatorname{Gal}(X)$ from normal $ k $-varieties to topological categories with an action of $\operatorname{G}_{k}$ and equivariant functors that preserve minimal objects is fully faithful.

研究动机与目标

• 通过平展拓扑推广单值化从拓扑空间到概形的设定。
• 在范畴 Gal(𝑋) 上定义一个全局化的 profinite 拓扑，以统一局部伽罗瓦群的 profinite 结构。
• 在非交换与有限阿贝尔系数下，建立 Gal(𝑋) 表示与可构造层之间的外旋同构等价性。
• 通过 pyknotic/condensed 形式化将此等价性推广至 profinite 环与 𝐐̂ℓ 的代数扩张上的模系数。
• 从 Gal(𝑋) 重构 𝑋 的平展同伦型与整个平展拓扑斯，并证明 Hochster 对偶性的一种高阶范畴形式。

提出的方法

• 将 Gal(𝑋) 定义为 𝑋 的几何点范畴，其态射由平展拓扑中的特化关系给出。
• 为 Gal(𝑋) 赋予一个自然的 profinite 拓扑，该拓扑细化了剩余域伽罗瓦群的 profinite 结构。
• 构造连续表示的 Gal(𝑋) 与 𝑋 上可构造层之间的等价关系，适用于非交换与有限阿贝尔系数。
• 利用 pyknotic/condensed 形式化将外旋同构等价性推广至 profinite 环与 𝐐̂ℓ 的代数扩张上的模系数。
• 证明 𝑋 的平展同伦型作为 Gal(𝑋) 的形状被实现，且整个平展拓扑斯可从 Gal(𝑋) 通过 Hochster 对偶性重构。
• 应用 Voevodsky 对 Grothendieck 猜想的证明，表明映射 𝑋↦Gal(𝑋) 在特征为 0 的有限生成域上的正规 𝑘-概形范畴中是全粹的。

实验结果

研究问题

• RQ1 能否在赋予 profinite 拓扑的几何点范畴上，将经典单值化等价性（局部系统与基本群表示之间）推广至概形的平展设定？
• RQ2 外旋同构等价性如何超越阿贝尔系数，推广至非交换与 profinite 系数系统？
• RQ3 范畴 Gal(𝑋) 在多大程度上编码了概形 𝑋 的平展同伦型与整个平展拓扑斯？
• RQ4 能否从带有伽罗瓦作用的 Gal(𝑋) 范畴重构特征为 0 的有限生成域上正规概形的平展拓扑斯？
• RQ5 伽罗瓦作用在几何纤维上的作用与概形的分层同伦型之间存在何种精确关系？

主要发现

• 外旋同构等价性对非交换系数成立，建立了 Gal(𝑋) 的连续表示与 𝑋 上可构造层之间的自然等价。
• 通过 pyknotic/condensed 形式化，该等价性可推广至 profinite 环上的模系数与 𝐐̂ℓ 的代数扩张系数。
• 𝑋 的平展同伦型被实现为拓扑范畴 Gal(𝑋) 的形状，提供了新的具体描述。
• 通过高阶范畴形式的 Hochster 对偶性，可从 Gal(𝑋) 重构拟紧、拟分离概形的整个平展拓扑斯。
• 对于特征为 0 的有限生成域上的正规 𝑘-概形，映射 𝑋↦Gal(𝑋) 是全粹的，其取值于带有连续 𝐺𝑘-作用并保持极小对象的拓扑范畴范畴。
• 在 𝑘 上亏格为 𝑔 的曲线 𝐶 可从其带有 𝐺𝑘-作用的 profinite 分层空间 ̂𝐶𝑔 重构，且 𝐶 的 𝑘′-点与 Gal(𝑘′⊗𝑘𝑘)-点在 Gal(𝐶𝑘) 上存在自然双射。