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

From MaRDI portal



Abstract: We generalize Illusie's result to prove the decomposition of the de Rham complex with smooth horizontal coefficients for a semistable S-morphism f:XaY which is liftable over . As an application, we prove the Koll'ar vanishing theorem in positive characteristic for a semistable S-morphism f:XaY which is liftable over , where all concerned horizontal divisors are smooth over Y.


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.











This page was built for publication: Decomposition of de Rham complexes with smooth horizontal coefficients for semistable reductions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q418448)