Comparing the sheaves of overconvergent isocrystals
type: Item
instance of: scholarly article
title: Comparing the sheaves of overconvergent isocrystals
zbMATH Open document ID: 1165.14305
author: Daniel Caro
published in: Rendiconti del Seminario Matematico della Università di Padova
publication date: 2009-07-25T00:00:00Z
full work available at URL: https://eudml.org/doc/108663
full work available at URL: RSMUP 2005 114 131 0.pdf
review text: Summary: This article fits within the general program of defining a good category of \(p\)-adic coefficients, a program started by Berthelot, who introduced the notion of arithmetic \(\mathcal D\)-modules [cf. for example \textit{P. Berthelot}, Astérisque No. 279, 1--80 (2002; Zbl 1098.14010)]. The author aims to prove in a series of papers that certain categories of \(\mathcal D\)-modules (the holonomic or overholonomic ones) are stable under five of Grothendieck's six operations. The article under review is part of that series. Let \(\mathfrak{X}\) be a smooth formal scheme, \(\text{sp}\) the specialization map, \(Z\) a divisor on the special fiber \(X\) of \(\mathfrak{X}\), \(E\) an isocrystal on \(X\setminus Z\) overconvergent along \(Z\), \(E^\vee\) its dual and \(\mathbb{D}_Z^\dagger\) the \(\mathcal D\)-module dual. The main result is that there is an isomorphism compatible with the Frobenius map: \[ \mathbb{D}_Z^\dagger(\mathcal O_{\mathfrak{X}} ({}^\dagger Z)_{\mathbb{Q}}) \otimes_{\mathcal O_{\mathfrak{X}} ({}^\dagger Z)_{\mathbb{Q}}} \text{sp}_*(E^\vee) \simeq\mathbb{D}_Z^\dagger(\text{sp}_*(E)). \] This result, which gives a \(\mathcal{D}\)-module theoretical interpretation of the dual of an overconvergent isocrystal, is a \(p\)-adic analogue of a characteristic zero result of Berthelot.
reviewed by: Laurent Berger
Mathematics Subject Classification ID: 14F10
Mathematics Subject Classification ID: 14F30
Mathematics Subject Classification ID: 32C38
zbMATH DE Number: 5586890
MaRDI profile type: Publication
cites work: De Rham cohomology of differential modules on algebraic varieties
cites work: Q3209229
cites work: ${\scr D}$-modules arithmétiques. I. Opérateurs différentiels de niveau fini
cites work: ${\cal D}$-modules arithmétiques. II: Descente par Frobenius
cites work: Q4539739
cites work: Devissage of the \(F\)-complexes of arithmetic \(\mathcal D\)-modules in overconvergent \(F\)-isocrystals
cites work: Fonctions L associées aux $\mathcal{D}$-modules arithmétiques. Cas des courbes
cites work: Differential coherence of unit-root \(F\)-isocrystals
cites work: Overcoherent arithmetic \(\mathcal D\)-modules. Application to \(L\)-functions.
cites work: Transversal crystals of finite level
cites work: Weak Formal Schemes
cites work: Q3349024
cites work: Finiteness of the homological dimension of weakly complete algebras of differential operator with overconvergent coefficients
cites work: Un théorème de comparaison entre les faisceaux d’opérateurs différentiels de Berthelot et de Mebkhout-Narváez-Macarro
cites work: Q2546548
cites work: Seminar of algebraic geometry du Bois-Marie 1963--1964. Topos theory and étale cohomology of schemes (SGA 4). Vol. 2: Exp. V--VIII
cites work: Morphisms of \(F\)-isocrystals and the finite monodromy theorem for unit-root \(F\)-isocrystals.
cites work: Dualité locale et holonomie pour les ${\cal D}$-modules arithmétiques
cites work: Q3155002
Recommended article: A Lefschetz theorem for overconvergent isocrystals with Frobenius structure
Recommended article: Comparison between overconvergent de Rham-Witt and crystalline cohomology for projective and smooth varieties
Recommended article: Overholonomicity of overconvergent \(F\)-isocrystals over smooth varieties
Recommended article: Finiteness theorems for the cohomology of an overconvergent isocrystal on a curve
Recommended article: Semistable sheaves and comparison isomorphisms in the semistable case
Recommended article: Q4876828
Recommended article: Coherence of certain overconvergent isocrystals without Frobenius structures on curves
Recommended article: The monodromy groups of lisse sheaves and overconvergent \(F\)-isocrystals
Recommended article: Convergent isocrystals on simply connected varieties
Recommended article: Q3639498
description: scientific article; zbMATH DE number 5586890