3 problems

Drinfeld's extension conjecture. The isomorphism between these restrictions extends to an isomorphism over the whole $\operatorname{Disp}_1^G$.

Comparison-isomorphism conjecture. The morphism $\Upsilon^{\mathrm{sm}}$ is an isomorphism.

Bültel–Pappas conjecture. The functor