Syntomification and crystalline local systems

Dylan Pentland

Let $p$ be a prime, and let $\mathrm{X}$ be a smooth $p$-adic formal scheme over $\mathrm{Spf}{\mathcal{O}}_K$ where $K/{\mathbf{Q}}_p$ is a finite extension. We show that reflexive s…