Isolability Structures in Grassmannians

• Isolability structure is a framework that organizes moduli spaces via finite cographs, ensuring separated configuration and compatibility across geometric settings.
• It underpins the Beilinson–Drinfeld Grassmannian by encoding factorization properties through distinct external and internal monoidal operations.
• The structure advances the study of chiral and factorization algebras, impacting geometric representation theory and the construction of moduli for G-bundles.

The Beilinson–Drinfeld Grassmannian is a fundamental algebro-geometric object that unifies and generalizes the affine Grassmannian and configuration spaces, providing the essential geometric infrastructure for factorization structures in the theory of chiral and factorization algebras, especially in the study of moduli and local geometric Langlands. Its construction and properties are best understood within the general formalism of “isolability structures,” as developed in Barwick’s axiomatization of factorization algebras and stacks across a vast range of geometric settings (Barwick, 1 Feb 2026).

1. Conceptual Motivation and General Framework

The classical affine Grassmannian $\mathrm{Gr}_G$ associated to a reductive group $G$ over a field plays a central role in geometric representation theory as the moduli of $G$-bundles on the formal disc with a trivialization away from a point. The Beilinson–Drinfeld Grassmannian, denoted $\mathrm{Gr}_{G,X^{\bullet}}$ for a curve $X$, globalizes this construction: it parametrizes $G$-bundles on $X$ together with a trivialization away from a finite subset of $X$ varying in families. This object is fundamental for encoding simultaneous modifications at independent points and for encoding factorization (or “locality”) phenomena, crucial to the machinery of chiral, vertex, and factorization algebras.

In Barwick's general theory, these moduli spaces are instances of factorization stacks arising from an “isolability structure”—a functorially organized family of configuration spaces or moduli parameterizing several "distant" or "separated" points, generalized via cographs.

2. The Isolability Structure: Indexing by Cographs

Key to the Beilinson–Drinfeld Grassmannian’s definition in full generality is the formalism of “isolability structures” as described in [(Barwick, 1 Feb 2026), §2]. The organizing category is that of finite cographs, with objects given by finite sets $V$ and symmetric irreflexive relations $E$ specifying which pairs are to be “separated.” For each such cograph $\lambda=(V,E)$, one defines $X^\lambda$ to be the open locus in $X^V$ where the points indexed by connected vertices are distinct.

The isolability structure is thus a functor

$$X^{\bullet} : \mathrm{Cographs}^{\mathrm{op}} \to \mathsf{Spaces}$$

assigning to every cograph the corresponding configuration space (or, in a modular setting, a moduli stack). The structure maps encode how merging, splitting, or forgetting points corresponds to maps between the various configuration spaces, and the functor satisfies additivity, regularity, and 2-skeletality axioms ensuring functorial compatibility with open/closed immersions and products.

3. Definition of the Beilinson–Drinfeld Grassmannian

For a smooth curve $X$ and reductive group $G$ over a base scheme, the Beilinson–Drinfeld Grassmannian $\mathrm{Gr}_{G,X^\lambda}$ associated to a configuration specified by $\lambda$ is the (ind-)stack over $X^\lambda$ parametrizing tuples $(x_i)_{i\in V}\in X^\lambda(S)$ together with a $G$-bundle $\mathcal{E}$ on $X\times S$, and a trivialization of $\mathcal{E}$ away from the union of the graphs of the points $x_i$,

$$\mathcal{E}|_{X\times S\setminus \bigcup_i \Gamma_{x_i}} \simeq \mathcal{E}_0|_{X\times S\setminus \bigcup_i \Gamma_{x_i}}.$$

This assignment is functorial in $\lambda$, forming a factorization stack over the corresponding configuration space $X^\lambda$.

The crucial property is that, when points are distant (i.e., none coincide), the fiber product $\mathrm{Gr}_{G,X^{\lambda}}$ is isomorphic to the product of the usual affine Grassmannians at each point, reflecting factorization properties: $$\mathrm{Gr}_{G,X^{\lambda}} \cong \prod_{i\in V} \mathrm{Gr}_{G,x_i} \quad\text{over}\quad X^\lambda$$ whenever all $x_i$ are mutually distinct.

4. Factorization Structure and Twofold Monoidality

The main structural feature of the Beilinson–Drinfeld Grassmannian is its inductive system over the poset of cographs, organized via the isolability structure. As per [(Barwick, 1 Feb 2026), §5–6], this admits a canonical twofold symmetric monoidal structure: a product “along components” (external tensor or “disjoint union” $\sqcup$ of cographs) and an internal “fusion” product (along connected sum $\vee$). The latter encodes how configurations behave when points are forced together.

This formalism is essential to capturing the factorization property: functors defined on the system $\lambda \mapsto \mathrm{Gr}_{G,X^\lambda}$ (e.g., categories of sheaves, $D$-modules, or $\ell$-adic complexes) inherit two symmetric monoidal products and the coherence data necessary for defining factorization algebras/stacks and the descent formalism.

5. Applications: Geometric Representation Theory and Factorization Algebras

The Beilinson–Drinfeld Grassmannian is central to the modern theory of sheaf-theoretic representation theory, the geometric Satake equivalence, and the construction of local and global moduli for chiral and factorization algebras. It is the source of commutativity constraints and fusion product structures, enables the definition of geometric Hecke correspondences and eigen-sheaves, and lays the groundwork for the geometric theory of local-to-global principles.

The general axioms for isolability structures in (Barwick, 1 Feb 2026) accommodate not just the algebro-geometric Beilinson–Drinfeld Grassmannian but also its topological, analytic, and arithmetic analogues—e.g., Ran spaces, Hilbert schemes, and stacks of divisors—enabling unified treatments of factorization phenomena across contexts.

6. Extensions, Generalizations, and Unification

Barwick’s formalism demonstrates that the Beilinson–Drinfeld Grassmannian is not an isolated construction, but rather a particular instance of a highly general “factorization stack” built from any isolability structure over a base object $X$ in a sufficiently nice (e.g., $\infty$-topos) category of spaces. This includes:

• The construction for arbitrary curves, higher-dimensional varieties, or stacks.
• Arithmetic and p-adic generalizations (e.g., on the Fargues–Fontaine curve).
• Infinite-dimensional settings (e.g., mapping stacks).
• Relations to the configuration spaces and parabolic structures in topology and manifold theory.
• The spectrum of locally constant and constructible factorization algebras, via the off-diagonal and diagonal monoidal structures.

This unifies perspectives from topological field theories (Costello–Gwilliam), geometric representation theory (Beilinson–Drinfeld, Lurie, Gaitsgory), and arithmetic geometry.

7. Bibliographic References and Further Reading

• C. Barwick, “Factorization algebras in quite a lot of generality” (Barwick, 1 Feb 2026)
• A. Beilinson, V. Drinfeld, “Quantization of Hitchin’s Integrable System and Hecke Eigensheaves” (preprint)
• P. Gaitsgory, D. Nadler, The “Ran space” and factorization (various sources)
• K. Costello, O. Gwilliam, “Factorization algebras in quantum field theory”

For further technical detail and contemporary generalization, see [(Barwick, 1 Feb 2026), §1–6], which systematically develops the necessary combinatorics, functorial structures, and the interpretation of the Beilinson–Drinfeld Grassmannian within the isolability/factorization framework.