Formal and \(p\)-adic theory of differential systems with logarithmic singularities depending upon parameters (Q1320633)

This paper presents an important step in the authors' work about the problem of comparing algebraic and rigid cohomologies. More precisely, let \(K\) be a complete nonarchimedean valued field of characteristic zero, let \(A\) be a smooth affinoid space and let \(D_ K^ s\) be the ``open'' polydisk of radius 1. The aim of the article is to compare the structure of \(D_ A^ s\)-differential modules as modules over the ring \(A\{\{x\}\}\) of global analytic functions on \(D_ A^ s\) and as modules over the ring \(A[[x ]]\) of formal power series. For that purpose, it is natural to restrict oneself to overconvergent crystals (which is equivalent to the ``convergence in the generic disk of radius 1''). A deeper restriction is to allow only logarithmic singularities along the divisor \(x_ 1\dots x_ s=0\) (for a general theory this is too restrictive). It is also natural to suppose that exponents involve no Liouville numbers. Then, under a further mild technical condition, the two structures are proven to be the same. The first (and longer) part of the article is devoted to the formal (namely over a ring of formal power series) structure theorem which is mainly due to \textit{R. Gérard} and \textit{A. H. M. Levelt} [Funkc. Ekvacioj, Ser. Int. 19, 149-173 (1976; Zbl 0342.58003)]. It is almost self-contained and purely algebraic. The second part, concerned with the analytic structure, basically uses results of the authors [Contemp. Math. 133, 1-24 (1992; Zbl 0768.12006)].