Wiki. “晶体景” [晶体景]

固定基概形 $S$, 理想 $I$, 除幂结构 (divided power) $\gamma$, 记 $S_0=V(I)\subset S$.

设 $X$ 为 $S_0$-概形, 定义其晶体景 $\mathrm{Crys}(X)$ 如下,

• 对象为开集 $U\subset X$ 和其到 $S$ 上的一个提升,
• 覆盖为 Zariski 覆盖.