$V$-filtrations in positive characteristic and test modules

Abstract

Let $R$ be a ring essentially of finite type over an $F$-finite field. Given an ideal $\mathfrak{a}$ and a principal Cartier module $M$ we introduce the notion of a $V$-filtration of $M$ along $\mathfrak{a}$. If $M$ is $F$-regular then this coincides with the test module filtration. We also show that the associated graded induces a functor $G{r}^{[0,1]}$ from Cartier crystals to Cartier crystals supported on $V(\mathfrak{a})$. This functor commutes with finite pushforwards for principal ideals and with pullbacks along essentially étale morphisms. We also derive corresponding transformation rules for test modules generalizing previous results by Schwede and Tucker in the étale case (cf. arXiv:1003.4333). If $\mathfrak{a}=(f)$ defines a smooth hypersurface and $R$ is in addition regular then for a Cartier crystal corresponding to a locally constant sheaf on $\Spec R_{\acute{e}t}$ the functor $G{r}^{[0,1]}$ corresponds, up to a shift, to $i^{!}$, where $i: V(\mathfrak{a}) \to \Spec R$ is the closed immersion.

arXiv comment33 pages, v2: Proposition 5.11 was false and has been removed (changed Remark 7.4 accordingly and added Remark 5.10). Main results remain unchanged v3: Shortened some proofs, changes in exposition; final version