scientific article; zbMATH DE number 2127986
Let \(k\) be a perfect field of characteristic \(p\), \(K\) be the fraction field of a complete mixed characteristics discrete valuation ring with residue field \(k\), and \(X\) a smooth \(k\)-scheme of finite type. For an integer \(a \geq 1\), we denote by \(F^a \mathrm{-Isoc}(X/K)\) and \(F^a \mathrm{-Isoc}^{\dagger}(X/K)\) the categories of convergent and overconvergent \(F^a\)-isocrystals on \(X\). There is a natural forgetful functor \(j^*: F^a \mathrm{-Isoc}^{\dagger}(X/K) \rightarrow F^a \mathrm{-Isoc}(X/K)\) and the main result of this paper (theorem 1.1) is that this functor is fully faithful. This result had been conjectured by \textit{N. Tsuzuki} [Duke Math. J. 111, No.~3, 385--418 (2002; Zbl 1055.14022)] and proved, in the unit-root case, by him (ibid.) if \(X\) has a smooth compactification and by \textit{J.-Y. Etesse} [Ann. Sci. Ec. Norm. Sup., IV. Sér. 35, No.~4, 575--603 (2002; Zbl 1060.14028)] for general \(X\). The method of proof of theorem 1.1 is to reduce the result to a local assertion: a full faithfulness result for \((\sigma,\nabla)\)-modules over convergent and overconvergent rings of power series (theorem 5.1). The proof of that result uses the \(p\)-adic local monodromy theorem. The author also proves that finite projective modules over certain rings of multivariable overconvergent power series are free (theorem 6.6). The paper is very clear and its structure reflects well the different steps of the proof. For the entire collection see [Zbl 1047.14001].
- Devissage of the \(F\)-complexes of arithmetic \(\mathcal D\)-modules in overconvergent \(F\)-isocrystals
- Morphisms of F-isocrystals and the finite monodromy theorem for unit-root F-isocrystals.
- Some notes on Tsuzuki's full faithfulness conjecture
- Purity for overconvergence
- Differential coherence of unit-root \(F\)-isocrystals
- Direct images. I: Rigid analytic spaces and direct images
- Incarnations of Berthelot's conjecture
- On stability of \(\mathcal{D}\)-modules under tensor product of complex
- scientific article; zbMATH DE number 938728
- scientific article; zbMATH DE number 1270364
- Morphisms of F-isocrystals and the finite monodromy theorem for unit-root F-isocrystals.
- A variational Tate conjecture in crystalline cohomology
- Rank 2 local systems and abelian varieties
- Local acyclicity in \(p\)-adic cohomology
- Notes on isocrystals
- The \(p\)-adic monodromy group of abelian varieties over global function fields of characteristic \(p\)
- Full faithfulness theorem for torsion crystalline representations
- Devissage of the \(F\)-complexes of arithmetic \(\mathcal D\)-modules in overconvergent \(F\)-isocrystals
- Over convergent \(F\)-isocrystals and differential overcoherence
- On the compability of the Frobenius isomorphism with relative duality
- About a Tsuzuki theorem
- Full faithfulness for overconvergent F-de Rham-Witt connections
- Some notes on Tsuzuki's full faithfulness conjecture
- Arithmetic D-modules associated with overconvergent isocrystals. Smooth case
- Direct images. I: Rigid analytic spaces and direct images
- Chern classes of crystals
- Overholonomicity of overconvergent \(F\)-isocrystals over smooth varieties
- Langlands correspondence for isocrystals and the existence of crystalline companions for curves
- scientific article; zbMATH DE number 938728 (Why is no real title available?)
- The monodromy of unit-root F-isocrystals with geometric origin
- Good reduction of K3 surfaces in equicharacteristic p
- Rank 2 local systems and abelian varieties. II
- Full faithfulness without Frobenius structure and partially overconvergent isocrystals
- Cycle classes in overconvergent rigid cohomology and a semistable Lefschetz $(1,1)$ theorem
- Constancy of Newton polygons of \(F\)-isocrystals on abelian varieties and isotriviality of families of curves
- Perfect points of abelian varieties
- Parabolicity conjecture of \(F\)-isocrystals
- Specialization of Néron-Severi groups in positive characteristic
- Drinfeld's lemma for F-isocrystals, II: Tannakian approach
- Purity for overconvergence
- Drinfeld's lemma for F-isocrystals. I
- Berthelot's conjecture via homotopy theory
- Variations on a Tannakian Cebotarev density theorem
- Isogeny and overconvergence
- Iterations of symplectomorphisms and p-adic analytic actions on the Fukaya category
- The monodromy groups of lisse sheaves and overconvergent F-isocrystals
- The p-adic local monodromy theorem for fake annuli
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3154994)
