${\cal D}$-modules arithmétiques. II: Descente par Frobenius (Q4485883)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 1461823
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | ${\cal D}$-modules arithmétiques. II: Descente par Frobenius |
scientific article; zbMATH DE number 1461823 |
Statements
${\cal D}$-modules arithmétiques. II: Descente par Frobenius (English)
0 references
20 June 2000
0 references
\(D\)-module
0 references
\(F\)-crystal
0 references
\(p\)-curvature
0 references
adjoint operator
0 references
rings of differential operators
0 references
crystalline cohomology
0 references
niveau
0 references
Grothendieck-Hartshorne duality
0 references
Frobenius-action
0 references
0.8902821
0 references
0.8785769
0 references
0.8669662
0 references
0.86274153
0 references
0.86104465
0 references
0.8596038
0 references
0.85849655
0 references
[Part I: \textit{P. Berthelot}, Ann. Sci. Éc. Norm. Supér., IV. Sér. 29, No. 2, 185-272 (1996; Zbl 0886.14004)]. The paper under review is another step in the author's systematic study of rings of differential operators in crystalline cohomology. These are filtered by the niveau which measures what type of factorials appear in the denominator. The main result is that Frobenius raises the niveau by 1 and induces (up to that change of niveau) an equivalence of categories of \(D\)-modules. This is preceded by a comparison of left and right \(D\)-modules, which are exchanged by Grothendieck-Hartshorne duality. Finally it is shown that Frobenius commutes with the usual (``six'') operations, and applications to Frobenius-action on cohomology and \(F\)-\(D\)-modules are given.
0 references
