Projectivity of the Witt vector affine Grassmannian (Q2407535)

The authors prove that for a perfect field \(k\) of characteristic \(p > 0\), the Witt vector affine Grassmannian \[ \mathrm{GL}_n(W(k)[1/p])/\mathrm{GL}_n(W(k)) \] (analogous to the affine Grassmannian \(\mathrm{GL}_n(k(\!(t)\!))/\mathrm{GL}_n(k[\![t]\!])\) and classifying \(W(k)\)-lattices in \(W(k)[1/p]^n\), which is represented by an ind-projective ind-scheme) is representable by an inductive limit of the perfection of projective varieties \(\mathrm{Gr}^{W \mathrm{aff}, [a,b]}\) over \(\mathbb{F}_p\) for all integers \(a \leq b\) (the functor sending a perfect \(\mathbb{F}_p\)-algebra \(R\) to \(W(R)\)-lattices inside \(W(R)[1/p]^n\) between \(p^aW(R)^n\) and \(p^bW(R)^n\)) by constructing an ample line bundle, which improves independently previous results of \textit{X. Zhu} [Ann. Math. (2) 185, No. 2, 403--492 (2017; Zbl 1390.14072)] who showed that it is represented by the perfection of a proper algebraic space over \(\mathbb{F}_p\). Note that the ring of Witt vectors is not well-behaved for non-perfect \(\mathbb{F}_p\)-algebras; for example, it can have \(p\)-torsion. The article also contains basic results on the perfection functor.