Wiki. “无穷小景” [无穷小景]

对于开集 $$ U\hookrightarrow X $$ 考虑无穷小嵌入 $U\hookrightarrow T$, 使得 $\mathcal O_U = \mathcal O_T\big/ \text{幂零元}$.

于是 $D$ 模可视为 $$ \mathsf{QCoh}(X_{\text{inf}}) = D\mathsf{-Mod}(X). $$

相关概念: de Rham 叠