晶体层就是 X 上的层

命题：实化 $\mathcal{F} \mapsto \mathcal{F}_{X}$ 给出等价； $\mathbf{Et}(X) \simeq \widetilde{\mathbf{Open}(X)}$

命题
依赖深度 layer 16
范畴论
层与拓扑

prop.crystalline-sheaf-equiv · 命题 · 晶体层 · espace étalé · 拓扑斯 · 拓扑空间上的层

又称Exercise 3.68·Exercise 3.69

陈述

实化 $\mathcal{F} \mapsto \mathcal{F}_{X}$ 给出 $\mathbf{Top}_{/X}$ 上的晶体层与 $X$ 上的层之间的等价；
于是 $\mathbf{Et}(X)$ （ $X$ 上的 étale 空间范畴） $\simeq$ 晶体层 $\simeq$ $X$ 上的层 —— 特别地 $\mathbf{Et}(X)$ 是拓扑斯，因为 $\mathbf{Et}(X) \simeq \widetilde{\mathbf{Open}(X)}$ 。

说明

证明的思路。 从晶体层到 $X$ 上的层是「取 $Y = X$ 那份数据」✓；反方向把 $X$ 上的层 $\mathcal{F}$ 送到 $\mathbf{Top}_{/X}$ 上的层 $\mathcal{F}_{Y} := f^{-1}\mathcal{F}$ （ $f : Y \to X$ ）✓ —— 这时过渡 $\alpha_f$ 自动是同构，所以落在晶体层里 ✓。两个方向互逆 ✓。(2) 是 (1) 加上「 $X$ 上的层范畴 $\simeq$ étale 空间范畴」这条标准等价 ✓。∎

谁指向它（入边）

定义引用 1

层 → 本页定义引用

等价的两边一边是层、一边是 étale 空间。

参考

Le Stum, An introduction to condensed mathematics, Exercise 3.68, Exercise 3.69

同一星团的其他概念 37 个

继续

在星图里打开「晶体层就是 X 上的层」　·　全部 709 个概念　·　 Markdown 原文　·　读图指南与记号表