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.

The affine Grassmannian as a presheaf quotient

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

The real affine Grassmannian and quantum SL(2)

Stable envelopes for slices of the affine Grassmannian

Equivariant sheaves for classical groups acting on Grassmannians

A flag version of Beilinson-Drinfeld Grassmannian for surfaces

Unramified Grothendieck-Serre for isotropic groups

Affine Non-Reductive GIT and moduli of representations of quivers with multiplicities

Affine Grassmannians in A^1-algebraic topology

Generalized juggling patterns, quiver Grassmannians and affine flag varieties

Equivariant $K$-homology of affine Grassmannian and $K$-theoretic double $k$-Schur functions

A decomposition theorem for the affine Springer fibers

Integral equivariant cohomology of affine Grassmannians

From a local ring to its associated graded algebra

Moduli spaces of sheaves via affine Grassmannians

Loday-Quillen-Tsygan theorem on Quivers

Affine Grassmannians for G_2

Birational maps to Grassmannians, representations and poset polytopes

Clifford algebras, symmetric spaces and cohomology rings of Grassmannians

Quantum Affine Algebras and Grassmannians