---
title: Ran Grassmannian and Factorization Geometry
url: https://www.emergentmind.com/topics/ran-grassmannian
type: topic
---

# Ran Grassmannian and Factorization Geometry

The **Ran Grassmannian** is the Ran-space version of the affine Grassmannian, usually denoted \(\mathrm{Gr}_{G,\mathrm{Ran}(X)}\) or \(Gr_{G,Ran}\), for a smooth algebraic curve \(X\) and a reductive group \(G\). It is a moduli object that parametrizes \(G\)-bundles on \(X\) together with trivializations away from a finite nonempty subset of points of the curve, and it is constructed by assembling the Beilinson–Drinfeld Grassmannians over all finite configurations of points. In geometric representation theory it functions as a basic factorization space, a receptacle for semi-infinite and Hecke-theoretic categories, and a bridge between local and global constructions in the geometric Langlands program [1708.07205], [2012.08504], [2011.01553], [2509.06222].

## 1. Definition and moduli interpretation

Let \(X\) be a connected smooth complex algebraic curve. The **Ran space** \(Ran(X)\) is the prestack encoding finite nonempty subsets of \(X\); concretely,
\[
Ran(X)(R)=\left\{S\subset X(R)\ \text{finite, nonempty}\right\},
\]
and equivalently
\[
Ran(X)\simeq \underset{I\in Fin^{op}}{\operatorname{colim}}\,X^I
\]
with transition maps given by diagonals [2012.08504], [2509.06222].

For a finite set \(I\), the Beilinson–Drinfeld Grassmannian \(Gr_{G,X^I}\) parametrizes triples
\[
(x_I,\mathcal E,\alpha),
\]
where \(x_I\in X^I(R)\), \(\mathcal E\in Bun_G(X_R)\), and \(\alpha\) is a trivialization of \(\mathcal E\) away from the union of the graphs \(\Gamma_{x_I}\) [2012.08504], [2509.06222]. Passing from ordered tuples to unordered finite subsets gives the Ran Grassmannian:
\[
Gr_{G,Ran(X)}:=\underset{I\in Fin^{op}}{\operatorname{colim}}\,Gr_{G,X^I}.
\]
Its \(R\)-points may be described as pairs consisting of a finite nonempty subset \(S\subset X(R)\) and a \(G\)-bundle on \(X_R\) trivialized away from \(\Gamma_S\) [2012.08504], [2509.06222].

A basic compatibility statement is that pulling back \(Gr_{Ran}\to Ran(X)\) along a singleton \(\{x_0\}\to Ran(X)\) recovers the usual affine Grassmannian \(Gr_G\) [2012.08504]. Thus the Ran Grassmannian is not a different local object but a globalized multi-point version of the affine Grassmannian.

## 2. Colimit, factorization, and unital structure

The Ran Grassmannian is defined as a presheaf colimit, but its structure is richer than a mere union over finite sets. For a surjection \(\phi:I\to J\), the Beilinson–Drinfeld Grassmannians satisfy a factorization isomorphism on the incidence locus \(X^\phi\):
\[
Gr_{G,I}\times_{X^I}X^\phi \simeq \prod_{j\in J}Gr_{G,X}\times_{X^I}X^\phi.
\]
This expresses the principle that modifications at disjoint points factor into independent pieces [2012.08504].

In the formulation of Dhillon and Lysenko, \(Gr_{G,\Ran}\) carries both a **factorization structure** and a **unital structure** coming from the action of the semigroup \((\Ran\times\Ran)^{\subset}\) [2508.01527]. The factorization structure encodes the behavior under disjoint union of point configurations, while unitality governs invariance under adding extra Ran-points without changing the underlying \(G\)-bundle. These two structures are essential in the construction of well-behaved factorization, perverse, and Hecke-theoretic sheaf categories [2508.01527].

Using Beauville–Laszlo, the fiber of \(Gr_{G,\Ran}\) over a finite family of points can be interpreted in terms of \(G\)-torsors on the formal neighborhood of the corresponding divisor, trivialized away from the support [2508.01527]. This is one of the standard geometric mechanisms by which local loop-group data and global curve-theoretic data are identified.

## 3. Stratifications, arc-group actions, and semi-infinite categories

The Ran Grassmannian is naturally stratified. On \(Gr_G\) one has the Schubert stratification indexed by dominant coweights, and on \(X^I\) one has the incidence stratification recording collisions among points. These combine to give a stratification on \(Gr_{G,X^I}\), and hence a colimit stratification on \(Gr_{G,Ran(X)}\) [2509.06222].

There is also a compatible action of the Beilinson–Drinfeld arc group. For finite \(I\), one has an action of \(L_{X^I}\) on \(Gr_{G,X^I}\), and these pass to an action of \(L_{Ran(X)}\) on \(Gr_{G,Ran(X)}\) [2509.06222]. This equivariance is structural rather than decorative: it is built into the sheaf-theoretic categories attached to the Ran Grassmannian.

Gaitsgory defines the **semi-infinite category**
\[
\mathrm{SI}_{\Ran}=\operatorname{Shv}(\mathrm{Gr}_{G,\Ran})^{\mathfrak L(N)_{\Ran}},
\]
where \(N\) is the unipotent radical of a fixed Borel \(B\subset G\), and \(\mathfrak L(N)_{\Ran}\) is the corresponding semi-infinite group ind-scheme over the Ran space [1708.07205]. The resulting geometry is stratified by locally closed substacks \(S^\Ran_\lambda\), indexed by negative coweights and described in terms of defect divisors on \(X\) [1708.07205].

The parabolic analogue replaces \(N\) by the parabolic datum \(H_{\Ran}=\mathfrak L^+(M)_{\Ran}\cdot \mathfrak L(U(P))_{\Ran}\), where \(P\subset G\) is parabolic, \(M\) is its Levi, and \(U(P)\) its unipotent radical. The corresponding category is
\[
\SI_{P,\Ran}:=\operatorname{Shv}(Gr_{G,\Ran})^{H_{\Ran}},
\]
and the closure of the basic orbit admits a stratification
\[
\bar S^0_{P,\Ran}=\bigsqcup_{\theta\in-\Lambda^{\mathrm{pos}}_{G,P}}S^\theta_{P,\Ran}.
\]
This furnishes the parabolic semi-infinite local models used in the global-local comparison theorems [2508.01527].

## 4. Semi-infinite IC sheaves and local–global comparison

A central sheaf-theoretic object on the Ran Grassmannian is the **semi-infinite intersection cohomology sheaf**. In the Ran setting it is defined as a genuine middle extension in the relevant \(t\)-structure:
\[
\mathrm{IC}^{\infty}_{\Ran}
=
\operatorname{im}\left((i^0)_!(\omega_{S^0_{\Ran}})\to (i^0)_*(\omega_{S^0_{\Ran}})\right),
\]
where \(S^0_{\Ran}\) is the basic stratum and \(\omega\) is the dualizing sheaf [1708.07205].

This object admits several explicit descriptions. One is a colimit presentation:
\[
\mathrm{IC}^{\infty}_{\Ran}
=
\operatorname{colim}_{\lambda\in\Lambda^+}
s_{\lambda,!}\star \mathrm{Sat}_{G,I}(V_\lambda)
[\langle\lambda,2\check\rho\rangle],
\]
which ties the object directly to geometric Satake and translation/convolution operations [1708.07205]. Its stalk and costalk behavior on strata are also computed explicitly:
\[
(i^{\lambda})^!(\mathrm{IC}^{\infty}_{\Ran})
\simeq
\mathrm{pr}^!_{\Ran}(\mathrm{Fact\,coalg}(U(\check{\mathfrak n}^-))_{X^\lambda})
[-\langle\lambda,2\check\rho\rangle],
\]
and
\[
(i^{\lambda})^*(\mathrm{IC}^{\infty}_{\Ran})
\simeq
\mathrm{pr}^!_{\Ran}(\mathrm{Fact\,alg}(\mathcal O(\check N)))_{X^\lambda}
[-\langle\lambda,2\check\rho\rangle].
\]
These formulas make the Langlands dual group visible in the local geometry of the Ran Grassmannian [1708.07205].

A decisive local–global statement identifies the Ran semi-infinite IC sheaf with a pullback of the IC sheaf on Drinfeld’s compactification:
\[
(T_{\Ran})^!(\mathrm{IC}_{\overline{\mathrm{Bun}_N}})[d]
\simeq
\mathrm{IC}^{\infty}_{\Ran},
\]
where \(d=\dim\overline{\mathrm{Bun}_N}\) [1708.07205]. This is one of the cleanest instances in which the Ran formalism converts local factorization data into a canonically global object.

The parabolic variant has the same pattern. Dhillon and Lysenko define
\[
IC^{\frac{\infty}{2}}_{P,\Ran}
=
\operatorname{im}\left[
{}^0\big((v^0_{S,\Ran})_!\omega\big)\to
{}^0\big((v^0_{S,\Ran})_*\omega\big)
\right],
\]
prove a colimit description via Drinfeld–Plücker formalism, compute its \(*\)-restrictions to strata, and compare it canonically with the global intersection cohomology sheaf on the Drinfeld compactification of \(Bun_P\) [2508.01527]. The Ran Grassmannian thereby serves as the local factorization model for both the Borel and parabolic semi-infinite IC theories.

## 5. Topological and higher-algebraic structures

The Ran Grassmannian also has a substantial topological and operadic life. Mair proves that the Beilinson–Drinfeld Grassmannian over the Ran space can be used to upgrade the convolution product on \(G_{\mathcal O}\)-equivariant constructible sheaves on the affine Grassmannian to a left \(t\)-exact \(\mathbb E_3\)-monoidal structure in \(\infty\)-categories [2012.08504]. The geometric inputs are the Beilinson–Drinfeld Grassmannian, the topological Ran space, factorization, stratified homotopy theory, and the formalism of correspondences. The conclusion is expressed as the existence of
\[
(G;\mathcal C)^\otimes\in Alg_{\mathbb E_3}(\mathcal{Pr}_{\mathcal C}),
\]
whose underlying category is the constructible sheaf category on the affine Grassmannian [2012.08504].

A later topological refinement establishes isotopy invariance directly for the Ran Grassmannian. For open metric disks \(D'\subset D\subset \mathbb C\) and any finite set \(I\), the inclusion
\[
Gr_{G,{D'}^I}\hookrightarrow Gr_{G,D^I}
\]
is a stratified homotopy equivalence, and the homotopies can be chosen to be stratified isotopies [2509.06222]. The same holds at the Ran level:
\[
Gr_{G,Ran(D')}\hookrightarrow Gr_{G,Ran(D)}.
\]
Moreover, these equivalences are equivariant for the Beilinson–Drinfeld arc-group actions [2509.06222].

As a consequence, for any metric disk \(D\), the stratified topological space \(Gr_{G,Ran(D)}\) carries the structure of a non-unital \(\mathbb E_2\)-algebra in the localization \(Str[W^{-1}]\), canonically independent of the disk [2509.06222]. Together with the sheaf-theoretic \(\mathbb E_3\)-construction, this places the Ran Grassmannian at the intersection of factorization spaces, loop-group geometry, and higher monoidal structures.

## 6. Reducedness, scope, and common distinctions

In characteristic zero, Tao proves that the Ran Grassmannian is the presheaf colimit of the reduced ind-schemes \((Gr_{G,X^I})^{red}\):
\[
\operatorname{colim}_{I\in\mathbf{Fin}_*^{op}}
(Gr_{G,X^I})^{red}
\xrightarrow{\simeq}
Gr_{G,Ran(X)}.
\]
He also shows that every map from an affine \(k\)-scheme to \(Gr_{G,Ran(X)}\) factors through a reduced quasi-projective \(k\)-scheme [2011.01553]. The proof uses a generalized notion of reduction for presheaves together with colimit arguments over indexing categories satisfying the amalgamation property [2011.01553]. This result is foundational for sheaf-theoretic work on the Ran Grassmannian because it reduces many questions to reduced finite-type geometry.

Within geometric representation theory, the Ran Grassmannian is therefore best understood as a factorizable multi-point enhancement of the affine Grassmannian, rather than as an infinite-dimensional analogue in a purely formal sense. A plausible implication is that its enduring importance comes from the simultaneous presence of three compatible structures: moduli of bundle modifications, factorization over configurations of points, and sheaf categories with Hecke and semi-infinite symmetries.

It is also important to distinguish the Ran Grassmannian from several other objects that share the word “Grassmannian.” The finite-dimensional Grassmann manifold \(Gr(n,p)\) is the set of all \(p\)-dimensional linear subspaces of \(\mathbb R^n\) and is the standard object in Riemannian geometry and optimization [2011.13699]. The totally nonnegative Grassmannian \(\mathrm{Gr}_{\ge 0}(k,n)\), defined by nonnegative Plücker coordinates, belongs to total positivity and topological combinatorics [1707.02010]. By contrast, the Ran Grassmannian is a moduli prestack or ind-scheme over the Ran space of a curve, and its natural habitat is factorization geometry, affine Grassmannians, and the geometric Langlands program [1708.07205], [2012.08504], [2011.01553].

Source: https://www.emergentmind.com/topics/ran-grassmannian