Abstract:In this paper we define and study a generalization of the Belinson-Drinfeld Grassmannian to the case where the curve is replaced by a smooth projective surface $X$, and the trivialization data are given on loci suitably associated to a nonlinear flag of closed subschemes. In order to do this, we first establish some general formal gluing results for moduli of almost perfect complexes, perfect complexes and torsors. We then construct a simplicial object $Fl_X$ of flags of closed subschemes of a smooth projective surface $X$, naturally associated to the operation of taking union of flags. We prove that this simplicial object has the 2-Segal property. For an affine complex algebraic group $G$, we finally define a derived, flag analog $Gr_X$ of the Beilinson-Drinfeld Grassmannian of $G$-bundles on the surface $X$, and show that most of the properties of the Beilinson-Drinfeld Grassmannian for curves can be extended to our flag generalization. In particular, we prove a factorization formula, the existence of a canonical flat connection, and define a chiral product on suitable sheaves on $Fl_X$ and on $Gr_X$. We also sketch the construction of actions of flags analogs of the loop group and of the positive loop group on $Gr_X$. To fixed ``large'' flags on $X$, we associate ``exotic'' derived structures on the classical stack of $G$-bundles on $X$. Analogs of the flag Grassmannian for other Perf-local stacks (replacing the stack of $G$-bundles) are briefly considered, and flag factorization is proved for them, too.

Semi-infinite flags and Zastava spaces

Tilting sheaves for real groups and Koszul duality

Frobenius splitting of Schubert varieties of semi-infinite flag manifolds

Moduli spaces of sheaves via affine Grassmannians

Restricted shtukas and $Ψ$-factorizable sheaves

Hyperquot schemes on curves: virtual class and motivic invariants

Quotients of unstable subvarieties and moduli spaces of sheaves of fixed Harder-Narasimhan type

Moduli spaces of semiorthogonal decompositions in families

Drinfeld-Gaitsgory-Vinberg interpolation Grassmannian and geometric Satake equivalence (with appendix by Dennis Gaitsgory)

Relative étale slices and cohomology of moduli spaces

Integral equivariant cohomology of affine Grassmannians

Commutative avatars of representations of semisimple Lie groups

A flag version of Beilinson-Drinfeld Grassmannian for surfaces

Generalized juggling patterns, quiver Grassmannians and affine flag varieties

The cohomology of real Grassmannians via Schubert stratifications

From Subfactors to Categories and Topology II. The quantum double of tensor categories and subfactors

C*-Algebraic Factorization Homology and Realization of Cyclic Representations

Unramified affine Springer fibers and isospectral Hilbert schemes

Quasi-coherent torsion sheaves, the semiderived category, and the semitensor product: Semi-infinite algebraic geometry of quasi-coherent sheaves on ind-schemes

Moduli Spaces of Hyperplanar Admissible Flags in Projective Space

G-invariant Hilbert schemes on Abelian surfaces and enumerative geometry of the orbifold Kummer surface