驯顺单位 F-晶体的 V-滤过

设 $X$ 是特征 $p>0$ 的代数闭域上的光滑簇，$Z$ 是 $X$ 中的光滑除子，$j:U=X\setminus Z\hookrightarrow X$ 为自然包含映射。本文提出单位 $F$-晶体上 $V$-滤过性质的一组公理化刻画，并证明该公理化确定唯一的滤过。证明表明：若 $M$ 是 $U$ 上的驯顺单位 $F$-晶体，则 $j_*M$ 上沿 $Z$ 存在这样的 $V$-滤过。其相伴分次模的零次分量被证明在 Emerton-Kisin Riemann-Hilbert 对应下即为 Grothendieck 与 Deligne 的（幺幂）邻近循环函子。文末讨论了该结果在 $\mathbb{A}^1$ 上及粘合方面的若干应用。