Test module filtrations for unit F-modules

DOI10.1016/J.JALGEBRA.2016.12.030MaRDI QIDQ517075zbMATH OpenOpenAlexFDO

Publication date 16 March 2017

Published in Journal of Algebra (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1507.00944

\(F\)-purity \(F\)-regularity Cartier modules test ideals unit \(R[F\)-modules]

Characteristic (p) methods (Frobenius endomorphism) and reduction to characteristic (p); tight closure (13A35) Singularities in algebraic geometry (14B05) Differentials and other special sheaves; D-modules; Bernstein-Sato ideals and polynomials (14F10)

Abstract: We extend the notion of test module filtration introduced by Blickle for Cartier modules. We then show that this naturally defines a filtration on unit

F

-modules and prove that this filtration coincides with the notion of

V

-filtration introduced by Stadnik in the cases where he proved existence of his filtration. We also show that these filtrations do not coincide in general. Moreover, we show that for a smooth morphism

f : X o Y

test modules are preserved under

f^{!}

. We also give examples to show that this is not the case if

f

is finite flat and tamely ramified along a smooth divisor.

Review text

Let \(R\) be a smooth ring over an \(F\)-finite field of positive characteristic \(p\). The paper under review starts with a nice recollection of the theory of Cartier modules, unit \(R[F]\)-modules and Cartier crystals. The first main result exhibits that if there is a nil-isomorphism between Cartier modules \(M\) and \(N\), this nil-isomorphism induces an isomorphism between the test module filtrations \(\tau(M, f^t)\) and \(\tau(N, f^t)\) and the corresponding test module filtrations induced on the Cartier crystals: \(\tau(\mathcal{M}, f^t)\) and \(\tau(\mathcal{N}, f^t)\). Next, the author shows that if \(M\) is an \(R_f\)-module and \(j: \text{Spec } R_f \rightarrow \text{Spec } R\) is the open immersion, then there are coherent \(R\)-Cartier submodules \(N\) of \(j_*M\) for which the inclusion \(N \subseteq j_*M\) is a local nil-isomorphism and the test module filtration \(\tau(N,f^t)\) is independent of \(N\). Hence, there is a natural way to define a test module filtration on \(j_*M\). The author additionally shows that for any smooth morphism \(\phi: \text{Spec } S \rightarrow \text{Spec } R\) if \(M\) is an \(F\)-regular Cartier module then \(\phi^!M\) is \(F\)-regular from which we can conclude that for any Cartier module \(M\) and any ideal \(I \subseteq R\) then \(\phi^!(\tau(M, I^t))=\tau(\phi^!M, I^t)\). However, for the map \(j: \text{Spec } R_f \rightarrow \text{Spec } R\) and the Cartier module \(\omega_R\), \(j_*j^!\omega_R\) is shown to be \(F\)-pure and not \(F\)-regular. The author uses this to give examples of Kummer coverings for which \(F\)-regularity of \(\omega_R\) is not preserved for \(\phi^!\omega_R\). However, for finite flat surjective morphisms \(\phi: \text{Spec } S \rightarrow \text{Spec } R\) if \(\phi^!M\) is \(F\)-regular for an \(F\)-pure Cartier module \(M\), then \(M\) is \(F\)-regular. Finally, the author compares the \(V\)-filtration of \textit{T. J. Stadnik jun.} [Sel. Math., New Ser. 20, No. 3, 855--883 (2014; Zbl 1308.13008)] with the test module filtration of a unit \(F\)-crystal and concludes for \(t \geq -1\) they agree. Counterexamples are provided in the case that \(t <-1\) for a Kummer covering.

Recommendations

Cites work

Cited in

(10)

This page was built for publication: Test module filtrations for unit \(F\)-modules

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q517075)