$p$-Adic Weight Spectral Sequences of Strictly Semi-stable Schemes over Formal Power Series Rings via Arithmetic $\mathcal{D}$-modules

Abstract

Let $k$ be a perfect field of characteristic $p > 0$. For a strictly semi-stable scheme over $k[[t]]$, we construct the weight spectral sequence in $p$-adic cohomology using the theory of arithmetic $\mathcal{D}$-modules, whose $E_1$ terms are described by rigid cohomologies of irreducible components of the closed fiber and whose $E_\infty$ terms are conjecturally described by the (unipotent) nearby cycle of Lazda-P\'{a}l's rigid cohomology over the bounded Robba ring. We also show its functoriality by pushforward and state the conjecture of its functoriality by pullback and dual.