b956e5b640e20290.tex
1: \begin{abstract}
2: 	In this follow-up paper we show that smooth Hodge-proper stacks over $\mc O_K$ are $\mbb Q_p$-locally acyclic: namely the natural map between \'etale $\mbb Q_p$-cohomology of the algebraic and Raynaud generic fibers is an equivalence. This establishes the $\mbb Q_p$-case of general conjectures made in \cite{KubrakPrikhodko_pHodge}. As a corollary, we get that if a smooth Artin stack over $K$ has a smooth Hodge-proper model over $\mc O_K$, its $\mbb Q_p$-\'etale cohomology is a crystalline Galois representation.
3: 	 We then also establish a truncated version of the above results in more general setting of smooth $d$-de Rham-proper stacks over $\mc O_K$: here we only require first $d$ de Rham cohomology groups be finitely-generated over $\mc O_K$. As an application, we deduce a certain purity-type statement for \'etale $\mbb Q_p$-cohomology of Raynaud generic fiber, as well as crystallinity of a first several \'etale cohomology groups in the presence of a Cohen--Macauley model over $\mc O_K$ in the schematic setting.
4: \end{abstract}
5: