No label defined (Q3154994)

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].