2 problems

Let $K$ be a finite extension of $\mathbb Q_p$, let $\mathcal O_K$ be its ring of integers, and let $\mathpzc X$ be a smooth formally proper Artin stack over $\mathcal O_K$. Let…

Formal GAGA conjecture. If $\mathscr{X}$ has affine diagonal, then the completion functor is an equivalence of categories.