\mathrm{Gr}_{G, \mathrm{Ran}(X)} is reduced

MaRDI QIDQ6352886zbMATH OpenFDO

Authors James Tao

Publication date 3 November 2020

Mathematics Subject Classification ID

Geometric Langlands program (algebro-geometric aspects) (14D24) Grassmannians, Schubert varieties, flag manifolds (14M15)

Abstract: Let $k$ be a field of characteristic zero. Fix a smooth algebraic curve $X$ and a split reductive group $G$ over $k$. We show that the Beilinson--Drinfeld affine Grassmannian $mathrm{Gr}_{G,mathrmRan(X)}$ is the presheaf colimit of the reduced ind-schemes $(mathrm{Gr}_{G,X^I}{)}^{mathrmred}$ for finite sets $I$. This implies that every map from an affine $k$-scheme to $mathrm{Gr}_{G,mathrmRan(X)}$ factors through a reduced quasi-projective $k$-scheme. In the course of the proof, we generalize the notion of 'reduction of a scheme' to apply to any presheaf, and we show that this notion is well-behaved on any pseudo-ind-scheme which admits a colimit presentation whose indexing category satisfies the amalgamation property.

This page was built for publication: $\mathrm{Gr}_{G, \mathrm{Ran}(X)}$ is reduced

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