等变晶体上同调与基变换

给定特征为 $p>0$ 的完全域 $k$、光滑 proper $k$-概形 $Y$、$Y$ 上相对于 $W(k)$ 的晶体 $E$ 以及作用在 $Y$ 和 $E$ 上的有限群 $G$，我们证明了：若视为虚拟 $k[G]$-模，则 $E$ 的晶体上同调模 $p$ 约化等于 $E$ 的 de Rham 上同调模 $p$。在此过程中，我们证明了与 $W(k)$-模导出范畴中 $G$-等变对象相关联的虚拟 $G$-表示的基变换定理。