1 problem

Coherent completeness and formal functions conjecture. The stack $[X/G]$ is cohomologically proper over $A^G$, and the pair $([X/G],\mathcal{G}_x)$ is coherently complete and satis…