[论文解读] The adic tame site

Katharina Hübner|arXiv (Cornell University)|Jan 15, 2018

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

一句话总结

本文为任意的酉空间 $Z$ 引入了其酉站点 $Z_t$，构建了一个新的上同调框架，该框架推广了酉基本群与平展上同调。它在特征 $p > 0$ 下，对 $ {Spa}(X,S)$ 的酉站点上的 $ {Z}/p {Z}$-层建立了上同调纯度，从而导出正则概形的同伦不变性。该构造在混合特征情形下统一了酉基本群与上同调性质。

ABSTRACT

For every adic space $Z$ we construct a site $Z_t$, the tame site of $Z$. For a scheme $X$ over a base scheme $S$ we obtain a tame site by associating with $X/S$ an adic space $ extit{Spa}(X,S)$ and considering the tame site $ extit{Spa}(X,S)_t$. We compare the cohomology of the tame site with \'etale cohomology and show that the fundamental group of the tame site coincides with the curve-tame fundamental group. Finally, for a regular scheme $X$ over a base scheme $S$ of characteristic $p > 0$ we prove a cohomological purity theorem for the constant sheaf $\mathbb{Z}/p\mathbb{Z}$ on $ extit{Spa}(X,S)_t$. As a corollary we obtain homotopy invariance for the the tame site of $ extit{Spa}(X,S)$.

研究动机与目标

• 为酉空间 $Z$ 定义一个新的上同调站点，即酉站点 $Z_t$，以推广酉基本群。
• 将酉站点的上同调与平展上同调联系起来，并建立基础性的比较关系。
• 在特征 $p > 0$ 下，对正则概形 $X$ 超过基概形 $S$ 的 $ {Spa}(X,S)$ 的酉站点上的常层 $ {Z}/p {Z}$ 证明一个上同调纯度定理。
• 从纯度结果推导出酉站点的同伦不变性。

提出的方法

• 通过将酉态射推广到酉设定，为任意酉空间 $Z$ 构造其酉站点 $Z_t$。
• 为一个关于基 $S$ 的概形 $X$ 关联一个酉空间 $ {Spa}(X,S)$，然后将 $ {Spa}(X,S)_t$ 定义为该酉空间的酉站点。
• 在酉空间的背景下，通过比较定理将酉站点的上同调与平展上同调进行比较。
• 利用完美oid空间与pro-平展拓扑的理论分析酉站点并建立纯度。
• 将纯度定理应用于推导出当 $X$ 在特征 $p > 0$ 下关于 $S$ 正则时，$ {Spa}(X,S)$ 的酉站点的同伦不变性。
• 证明酉站点的基本群与曲线-酉基本群一致，从而连接了拓扑不变量与上同调不变量。

实验结果

研究问题

• RQ1 如何为酉空间定义一个推广经典酉基本群的酉站点？
• RQ2 在酉设定下，酉站点的上同调与平展上同调之间有何关系？
• RQ3 当 $X$ 在特征 $p > 0$ 下关于 $S$ 正则时，$ {Spa}(X,S)$ 的酉站点上的常层 $ {Z}/p {Z}$ 是否满足上同调纯度定理？
• RQ4 能否从酉站点设定下的纯度结果推导出同伦不变性？
• RQ5 酉站点的基本群与曲线-酉基本群之间有何关系？

主要发现

• 酉站点 $ {Spa}(X,S)_t$ 的基本群同构于曲线-酉基本群，从而建立了其拓扑表征。
• 对于在特征 $p > 0$ 下关于基概形 $S$ 正则的概形 $X$，酉站点 $ {Spa}(X,S)_t$ 对常层 $ {Z}/p {Z}$ 满足上同调纯度。
• 纯度结果意味着酉站点的上同调在仿射直线丛下保持不变，从而导致 $ {Spa}(X,S)_t$ 的同伦不变性。
• 证明了酉站点的上同调可与平展上同调进行比较，尤其在酉空间的背景下。
• 通过 $ {Spa}(X,S)$ 构造酉站点，为代数几何中的概形理论与酉空间理论之间架起了桥梁。
• 本文建立了一个新的上同调框架，统一了正特征下酉基本群与层论不变量。