Cut-by-curves criterion for the overconvergence of \(p\)-adic differential equations (Q981665)

Let \(K\) be a complete non Archimedean valuation field of mixed characteristic \((0,p)\), with ring of integers \({\mathcal O}_K\) and residue field \(k\). Assume we are given an open immersion \({\mathcal X}\to\overline {\mathcal X}\) of \(p\)-adic formal schemes separated and smooth over \(\text{Spf}({\mathcal O}_K)\) such that the complement is a relative simple normal crossing divisor, and let \({X}\to\overline {X}\) be the special fibre of \({\mathcal X}\to\overline {\mathcal X}\). Along with this we have an admissible open immersion \({\mathcal X}_K\to\overline {\mathcal X}_K\) of associated rigid analytic spaces over \(K\) and an open immersion \(]\overline {X}-X[_{\overline {\mathcal X}}\to \overline {\mathcal X}_K\) from the tubular neighborhood of \(\overline {X}-X\) in \(\overline {\mathcal X}_K\). A strict neighborhood of \({\mathcal X}_K\) in \(\overline {\mathcal X}_K\) is an admissible open subset \({\mathfrak U}\) in \(\overline {\mathcal X}_K\) containing \({\mathcal X}_K\) such that \(\{{\mathfrak U},]\overline {X}-X[_{\overline {\mathcal X}}\}\) is an admissible covering of \(\overline {\mathcal X}_K\). \textbf{Theorem:} Assume that \(k\) is uncountable. Let \((E,\nabla)\) be a locally free (of finite rank) module with integrable connection on a strict neighborhood of \({\mathcal X}_K\) in \(\overline {\mathcal X}_K\). Then the following are equivalent: (1) \((E,\nabla)\) is overconvergent, i.e. it is induced from a overconvergent isocrystal on \((\overline {X},X)/K\). (2) For any strict locally closed immersion \(i: ({\mathcal Y},\overline {\mathcal Y})\to({\mathcal X},\overline {\mathcal X})\) with \(\text{dim}(\overline {\mathcal Y})=1\), the pullback of \((E,\nabla)\) to \(({\mathcal Y}\to\overline {\mathcal Y})\) is overconvergent. Here, of course, \(({\mathcal Y},\overline {\mathcal Y})\) is another pair like the \(({\mathcal X},\overline {\mathcal X})\) desribed above. The proof that (1) implies (2) is easy. The proof for the converse uses Kedlaya's result on étale covers of smooth \(k\)-varieties and the notion of intrinsic generic radius of convergence of modules with integrable connection on polyannuli due to Kedlaya and Xiao. The second main theorem of the paper is an algebraic variant of the above theorem, where now the embedding \({\mathcal X}\to\overline {\mathcal X}\) is replaced by an embedding of smooth schemes over \(\text{Spec}({\mathcal O}_K)\).