Wiki. “无穷小景” [无穷小景]
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 空间
对于开集 $$ 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 空间