$\mathrm{Gr}_{G, \mathrm{Ran}(X)}$ is reduced
Algebraic Geometry
2021-03-23 v2
Abstract
Let be a field of characteristic zero. Fix a smooth algebraic curve and a split reductive group over . We show that the Beilinson--Drinfeld affine Grassmannian is the presheaf colimit of the reduced ind-schemes for finite sets . This implies that every map from an affine -scheme to factors through a reduced quasi-projective -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.
Cite
@article{arxiv.2011.01553,
title = {$\mathrm{Gr}_{G, \mathrm{Ran}(X)}$ is reduced},
author = {James Tao},
journal= {arXiv preprint arXiv:2011.01553},
year = {2021}
}
Comments
27 pages, LaTeX; minor improvements to exposition and terminology