English

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

Algebraic Geometry 2021-03-23 v2

Abstract

Let kk be a field of characteristic zero. Fix a smooth algebraic curve XX and a split reductive group GG over kk. We show that the Beilinson--Drinfeld affine Grassmannian GrG,Ran(X)\mathrm{Gr}_{G, \mathrm{Ran}(X)} is the presheaf colimit of the reduced ind-schemes (GrG,XI)red(\mathrm{Gr}_{G, X^I})^{\mathrm{red}} for finite sets II. This implies that every map from an affine kk-scheme to GrG,Ran(X)\mathrm{Gr}_{G, \mathrm{Ran}(X)} factors through a reduced quasi-projective kk-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.

Keywords

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

R2 v1 2026-06-23T19:52:43.350Z