V-filtrations in positive characteristic and test modules

الأصل · EN

Let R be a ring essentially of finite type over an F-finite field. Given an ideal a and a principal Cartier module M we introduce the notion of a V-filtration of M along a. If M is F-regular then this coincides with the test module filtration. We also show that the associated graded induces a functor Gr[⁰,¹] from Cartier crystals to Cartier crystals supported on V(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 a = (f) defines a smooth hypersurface and R is in addition regular then for a Cartier crystal corresponding to a locally constant sheaf on Ret the functor Gr[⁰,¹] corresponds, up to a shift, to i!, where i: V(a) → R is the closed immersion.