Decomposition of de Rham complexes with smooth horizontal coefficients for semistable reductions (Q418448)

A classical result of \textit{P. Deligne} and \textit{L. Illusie} [Invent. Math. 89, 247--270 (1987; Zbl 0632.14017)] says that if \(S\) is a characteristic \(p>0\) scheme, \(Y/S\) is a smooth \(S\)-scheme \(p>0\), of relative dimension less than \(p\) and liftable mod \(p^2\), then the de Rham complex of \(Y/S\) is quasi-isomorphic to the direct sum of its cohomology sheaves. In [Duke Math. J. 60, No. 1, 139--185 (1990; Zbl 0708.14014)], \textit{L. Illusie} generalized this to the case of de Rham complexes with coefficients in Gauss-Manin systems: if \(f:X\to Y\) is a semistable \(S\)-morphism, we get a module with logarithmic integrable connection \(H = \bigoplus_i R^i f_* \Omega^\bullet_{X/Y}\) (where \(Y\) and \(X\) are to be treated as logarithmic schemes with the compactifying log structures given by \(E\) and its preimage, respectively), and a version of the decomposition theorem holds for \(H\). In the paper under review this is generalized further to the case when the log structure on \(X\) has some horizontal components (Theorem 5.9). This allows the author to show a version of the Kollár vanishing theorem in positive characteristic (Theorem 6.3). The method of proof follows closely that of Illusie in op.cit.