Test module filtrations for unit \(F\)-modules (Q517075)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Test module filtrations for unit \(F\)-modules |
scientific article |
Statements
Test module filtrations for unit \(F\)-modules (English)
0 references
16 March 2017
0 references
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.
0 references
Cartier modules
0 references
test ideals
0 references
unit \(R[F]\)-modules
0 references
\(F\)-purity
0 references
\(F\)-regularity
0 references
0 references