On relative and overconvergent de Rham-Witt cohomology for log schemes (Q2277903): Difference between revisions

For a scheme \(X\) over a field of characteristic \(p\), \textit{L. Illusie} [Ann. Sci. Éc. Norm. Supér. (4) 12, 501--661 (1979; Zbl 0436.14007)] defined the so called de Rham Witt complex, a sheaf complex on \(X\), functorial in \(X\), which, if \(X\) is smooth and the base is perfect, computes the crystalline cohomology of \(X\) as its hypercohomology. Illusie's construction has subsequently been generalized into various directions; in particular, \textit{A. Langer} and \textit{T. Zink} [J. Inst. Math. Jussieu 3, No. 2, 231--314 (2004; Zbl 1100.14506)] constructed a relative de Rham Witt complex for morphisms \(X\to S\) where \(p\) is nilpotent on the \({\mathbb Z}_{(p)}\)-scheme \(S\). In the present paper, this is generalized to fine log schemes \(X\) over fine log schemes \(S\) over \({\mathbb Z}_{(p)}\). Following the approach of Langer and Zink, the (log) de Rham Witt complex is constructed as the initial object of a certain category of log \(F-V\)-complexes. It is then shown that its hypercohomology computes the relative log crystalline cohomology of \(X\to S\) in cases where \(X/S\) is a relative semistable log scheme, or where \(X/S\) is a log scheme associated with a smooth scheme with a normal crossings divisor. Next, in these situations, generalizing constructions of \textit{A. Mokrane} [Duke Math. J. 72, No. 2, 301--337 (1993; Zbl 0834.14010)] and \textit{C. Nakayama} [Am. J. Math. 122, No. 4, 721--733 (2000; Zbl 1033.14012)], a weight spectral sequence for the crystalline cohomology is constructed. It is shown to degenerate modulo torsion at \(E_2\) when the base scheme is the spectrum of a (not necessarily perfect) field. As already indicated, the approach taken here is inspired by the one suggested by Langer and Zink and thus differs from e.g. the one taken by \textit{O. Hyodo} and \textit{K. Kato} [in: Périodes \(p\)-adiques. Séminaire du Bures-sur-Yvette, France, 1988. Paris: Société Mathématique de France. 221--268 (1994; Zbl 0852.14004)] (resp. by Mokrane for the spectral sequence) in a more restricted log scheme setting. The key technical ingredient is the identification of a certain explicit bases of the (log) de Rham Witt complex in certain explicit cases; its elements are called log basic Witt differentials. Finally, overconvergent de Rham Witt complexes for log schemes are introduced, generalizing the overconvergent de Rham Witt complexes for usual schemes introduced by Davis, Langer and Zink [\textit{C. Davis} et al., Ann. Sci. Éc. Norm. Supér. (4) 44, No. 2, 197--262 (2011; Zbl 1236.14025)]. More precisely, for a log scheme \(X\) arising from a smooth scheme together with a normal crossings divisor \(D\), an overconvergent de Rham Witt complex is constructed. It is shown that its hypercohomology computes the rigid cohomology of the open complement \(X-D\).