On \(p\)-adic differential equations on semistable varieties (Q358844): Difference between revisions

Let \((X,D)\) be a proper semistable variety over a mixed characteristic char \(V\) (that is, étale locally \(X\) is étale over \(\mathrm{Spec}(V[x_1, \ldots, x_n, y_1, \ldots, y_m]/(x_1\ldots x_r - \pi)\) with \(\pi\) the uniformizer, and with \(D\) given by \(y_1\ldots y_s = 0\)). There is a variety of notions of ''\(p\)-adic local systems'' on \(U:=X - D\) with regularity conditions along \(D\) that are considered in this paper: (1) \(\mathrm{MIC}(U_K/K)^{reg}\), the category of modules with integrable connection on \(U_K\), where \(K\) is the fraction field of \(V\), with regular singularities along \(D_K\), (2) \(\mathrm{MIC}((X_K, U_K)/K)^{lf, \Sigma}\), the category of locally free modules with integrable connection on \(X_K\) with logarithmic poles along \(D_K\) and exponents in \(\Sigma\) (see below), (3) \(I_{\text{conv}}((X_k, M_k)/(\mathrm{Spf}(V), N))^{lf, \Sigma}\), the category of locally free convergent log isocrystals on \(X_k\), where \(k\) is the residue field of \(V\), \(M\) is the log structure on \(X\) induced by \(U_K\), and \(N\) is the standard log structure on \(\mathrm{Spf}(V)\), with exponents in \(\Sigma\), (4) \(I^\dagger((X_k, U_k)/\mathrm{Spf}(V))^{\log, \Sigma}\), the category of overconvergent log isocrystals with \(\Sigma\)-unipotent monodromy along \(D_k\). In (2)-(3), \(\Sigma\) is a collection of sets of \(p\)-adic integers assigned to the irreducible components of \(D_k\) with non-integer, non-\(p\)-adically Liouville differences. The notion of \(\Sigma\)-unipotent monodromy has been defined by \textit{A. Shiho} [Math. Ann. 348, No. 2, 467--512 (2010; Zbl 1268.12005)]. The main result (Theorem 1) of the paper is the construction of a fully faithful ``algebrization'' functor \((4)\to (1)\), which is the composition of three functors \((4)\to (3)\to (2)\to (1)\). First, the author proves that the natural restriction functor \((3)\to (4)\) is an equivalence; \((4)\to (3)\) will be its inverse. This generalizes the main result of Shiho [loc.cit.] which deals with the case of good reduction. Second, she constructs the functor \((3)\to (2)\) using the infinitesimal site of the \(p\)-adic completion of \(X\). The functor \((2)\to (1)\) is the restriction functor, well-defined thanks to the theory of algebraic logarithmic extension of André and Baldassarri. A functor \((1')\to (4)\), where \((1')\) is a certain full subcategory of (1), has been defined by \textit{G. Christol} and \textit{Z. Mebkhout} [Invent. Math. 143, No. 3, 629--672 (2001; Zbl 1078.12501)], in case \(X\) is a smooth curve. Theorem 1 can be thought of as a vast generalization of this result, although the article lacks an intrinsic definition of the essential image \((1')\) of \((1)\to (4)\). The paper is well-written and recalls most of the relevant definitions rather than referring the reader to other sources, which definitely makes it easier to read.