2 problems

Let $k$ be a perfect $\mathbf{F}_p$-algebra and let $A$ be a smooth $k$-algebra. Let … be the fully faithful embedding of Theorem. Taking…

Drinfeld's conjecture. The stack $\operatorname{BT}_{n,m}^{G,\mu}$ is algebraic, and a suitable version of contravariant Dieudonné theory yields an isomorphism