On logarithmic extension of overconvergent isocrystals (Q993357)

The paper, together with its follow-up paper [Math. Z. 269, No. 1--2, 59--82 (2011; Zbl 1268.14018)] provides a \(p\)-adic analogue of the following classical result of [\textit{P. Deligne}, Equations différentielles à points singuliers réguliers. Lecture Notes in Mathematics. 163. Berlin-Heidelberg-New York: Springer-Verlag. (1970; Zbl 0244.14004)]: Let \(\bar X\) be a smooth complex algebraic variety, \(Z\subseteq \bar X\) a divisor with normal crossings, \(E\) a vector bundle with an integrable connection on \(X:=\bar X - Z\). Then (1) \(E\) extends to a vector bundle with a connection with logarithmic poles on \(\bar X\) if and only if \(E\) has regular singularities, (2) \(E\) has regular singularities if and only if for any locally closed smooth curve \(C\) in \(X\), \(E|_C\) has regular singularities. In the setting of the two papers, the field of complex numbers is replaced by a characteristic \(p\) field \(k\), vector bundles with an integrable connection -- by overconvergent isocrystals, regular singularities -- by ``\(\Sigma\)-unipotent monodromy'' (Definition 3.9), connection with logarithmic poles -- by isocrystals on the log convergent site of \((\bar X, X)\) with ``exponents in \(\Sigma\)'' (Definition 3.7). Under this dictionary, Theorem 3.16 of the paper under review provides an analogue of (1) -- in fact an equivalence of the two aforementioned categories induced by restriction -- and Theorem 0.1 of the companion paper gives an analogue of (2). Here \(\Sigma\) is a collection of sets of \(p\)-adic integers assigned to the irreducible components of \(Z\) with non-integer, non-\(p\)-adically Liouville differences. In the case of unipotent monodromy, this result has been previously obtained by \textit{K. S. Kedlaya} [Compos. Math. 143, No. 5, 1164--1212 (2007; Zbl 1144.14012)] and the proof of the main result follows Kedlaya's strategy.