The analytic topology suffices for the B_{\mathrm{dR}}^+-Grassmannian

arXiv2303.11710MaRDI QIDQ6509258FDOQ6509258

Authors: Kęstutis Česnavičius, Alex Youcis 

Abstract: The $B_{mathrmdR}^{+}$-affine Grassmannian was introduced by Scholze in the context of the geometric local Langlands program in mixed characteristic and is the Fargues-Fontaine curve analogue of the equal characteristic Beilinson-Drinfeld affine Grassmannian. For a reductive group $G$, it is defined as the '{e}tale (equivalently, $v$-) sheafification of the presheaf quotient $LG/L^{+}G$ of the $B_{mathrmdR}$-loop group $LG$ by the $B_{mathrmdR}^{+}$-loop subgroup $L^{+}G$. We combine algebraization and approximation techniques with the known cases of the Grothendieck-Serre conjecture to show that the analytic topology suffices for this sheafification, more precisely, that the $B_{mathrmdR}^{+}$-affine Grassmannian agrees with the analytic sheafification of the aforementioned presheaf quotient $LG/L^{+}G$.

Mathematics Subject Classification ID

Grassmannians, Schubert varieties, flag manifolds (14M15) Group schemes (14L15) Perfectoid spaces and mixed characteristic (14G45)

This page was built for publication: The analytic topology suffices for the $B_{\mathrm{dR}}^+$-Grassmannian

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6509258)