6533b821fe1ef96bd127c4a7
RESEARCH PRODUCT
$V$-filtrations in positive characteristic and test modules
Axel Stäblersubject
Primary 13A35 Secondary 14B05General MathematicsType (model theory)Commutative Algebra (math.AC)01 natural sciencesCombinatoricsMathematics - Algebraic GeometryMathematics::Algebraic GeometryMathematics::K-Theory and HomologyMathematics::Category Theory0103 physical sciencesFiltration (mathematics)FOS: MathematicsClosed immersionIdeal (ring theory)0101 mathematicsAlgebraic Geometry (math.AG)MathematicsRing (mathematics)FunctorMathematics::Commutative AlgebraApplied Mathematics010102 general mathematicsMathematics - Commutative AlgebraHypersurface010307 mathematical physicsConstant sheafdescription
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 $Gr^{[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 \'etale morphisms. We also derive corresponding transformation rules for test modules generalizing previous results by Schwede and Tucker in the \'etale 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 $Gr^{[0,1]}$ corresponds, up to a shift, to $i^!$, where $i: V(\mathfrak{a}) \to \Spec R$ is the closed immersion.
| year | journal | country | edition | language |
|---|---|---|---|---|
| 2013-10-31 |