2 problems

Let $X$ be a noetherian excellent $p$-adic formal scheme, and write $\operatorname{WCart}_X^{\mathrm{HT}}$ for its derived Hodge–Tate stack, namely the Hodge–Tate locus in…

Let $R$ be a $p$-complete noetherian regular local ring with perfect residue field. Let $G$ be the group scheme identified in the source with the Hodge–Tate stack presentation…