Double Affine Grassmannian Slices

• Double affine Grassmannian slices are finite-dimensional transversal structures that generalize the classical affine Grassmannian associated with reductive groups.
• They are realized via moduli spaces of G-instantons on surface singularities and as Coulomb branches of 3d N=4 affine quiver gauge theories, linking geometry and representation theory.
• These slices encapsulate rich combinatorial and geometric data with practical implications for gauge theory, RG flow analysis, and the construction of Hecke operators.

The double affine Grassmannian and its slices form a conjectural algebro-geometric structure that generalizes the classical affine Grassmannian associated to a reductive group $G$, with far-reaching implications in representation theory, gauge theory, and the geometric formulation of RG flows in supersymmetric field theories. While the "double affine Grassmannian" itself resists direct construction due to infinite dimensionality, its finite-dimensional transversal slices are concretely realized by means of instanton moduli spaces on surface singularities and Coulomb branches of 3d $\mathcal{N}=4$ supersymmetric affine quiver gauge theories. These slices encapsulate deep combinatorial, geometric, and representation-theoretic data, linking the geometry of singularities, weight spaces of integrable modules, and the partial order structure of RG flows in physical theories.

1. Affine and Double Affine Grassmannians: Foundational Constructions

The ordinary affine Grassmannian for a complex reductive group $G$ is the ind-projective ind-scheme $$\mathrm{Gr}_G = G(\mathbb{C}((z))) / G(\mathbb{C}[[z]])$$ whose Schubert strata and transversal slices are labeled by dominant coweights $\lambda \in \Lambda^+$. Classical transversal slices arise as intersections of Schubert cells inside the Kashiwara flag-type ind-scheme $$\mathrm{GR}_G = G(\mathbb{C}((z^{-1}))) / G(\mathbb{C}[z])$$ and can be modeled by moduli data $(P, \sigma, \varphi)$ for $G$-bundles on $\mathbb{P}^1$ with prescribed behavior at points $0$ and $\mathcal{N}=4$0, carrying natural Poisson (and typically symplectic) structures, with dimensions given by $\mathcal{N}=4$1.

By contrast, the double affine Grassmannian is heuristically defined as $\mathcal{N}=4$2 for the untwisted affine Kac-Moody group $\mathcal{N}=4$3 associated to $\mathcal{N}=4$4. The object itself is too infinite to be constructed directly, so attention focuses on its finite-dimensional transversal slices $\mathcal{N}=4$5, labeled by affine coweight pairs $\mathcal{N}=4$6 in the affine lattice $\mathcal{N}=4$7. These slices are realized as Uhlenbeck partial compactifications of $\mathcal{N}=4$8-equivariant $\mathcal{N}=4$9-instantons on $G$0 for level $G$1, or equivalently as Coulomb branches of affine quiver gauge theories (Finkelberg, 2017, Fazzi et al., 2023, 0711.2083).

2. Transversal Slices: Moduli of Instantons and ADHM Data

The key realization of double affine Grassmannian slices is via moduli spaces of framed $G$2-bundles (or instantons) on quotient surfaces $G$3 for the cyclic group $G$4. These moduli, denoted $G$5, are stratified by monodromy data $G$6 and instanton number $G$7, and their closures $G$8 serve as the analogs of Schubert varieties.

For $G$9, $$\mathrm{Gr}_G = G(\mathbb{C}((z))) / G(\mathbb{C}[[z]])$$0-equivariant vector bundles correspond to Nakajima-type cyclic quiver varieties, with ADHM data $$\mathrm{Gr}_G = G(\mathbb{C}((z))) / G(\mathbb{C}[[z]])$$1 in graded vector spaces $$\mathrm{Gr}_G = G(\mathbb{C}((z))) / G(\mathbb{C}[[z]])$$2 subject to moment map and stability conditions. The geometric invariant theory quotient yields smooth quiver varieties $$\mathrm{Gr}_G = G(\mathbb{C}((z))) / G(\mathbb{C}[[z]])$$3, and the affine quotient $$\mathrm{Gr}_G = G(\mathbb{C}((z))) / G(\mathbb{C}[[z]])$$4 realizes the Uhlenbeck closure (0711.2083).

Slices $$\mathrm{Gr}_G = G(\mathbb{C}((z))) / G(\mathbb{C}[[z]])$$5 are constructed as intersections $$\mathrm{Gr}_G = G(\mathbb{C}((z))) / G(\mathbb{C}[[z]])$$6, inheriting contracting $$\mathrm{Gr}_G = G(\mathbb{C}((z))) / G(\mathbb{C}[[z]])$$7-actions and forming a Hasse diagram with embeddings corresponding to defect addition and partial order $$\mathrm{Gr}_G = G(\mathbb{C}((z))) / G(\mathbb{C}[[z]])$$8.

3. Coulomb Branch Realization and the BFN Construction

Transversal slices of the double affine Grassmannian are conjecturally isomorphic to Coulomb branches of 3d $$\mathrm{Gr}_G = G(\mathbb{C}((z))) / G(\mathbb{C}[[z]])$$9 affine quiver gauge theories. For any symmetric Kac-Moody graph $\lambda \in \Lambda^+$0 (with no loops), fix dimension vectors $\lambda \in \Lambda^+$1 and framing vectors $\lambda \in \Lambda^+$2 indexed by the quiver nodes $\lambda \in \Lambda^+$3, constructing the gauge group $\lambda \in \Lambda^+$4 and matter representation combining bifundamental hypermultiplets and framing multiplets.

The Coulomb branch algebra is defined by equivariant Borel-Moore homology,

$\lambda \in \Lambda^+$5

where $\lambda \in \Lambda^+$6 parameterizes $\lambda \in \Lambda^+$7 bundles with trivialization and sections of the associated bundle (the "raviolo"), and the Coulomb branch is

$\lambda \in \Lambda^+$8

Conjecturally, for each pair of affine coweights $\lambda \in \Lambda^+$9,

$$\mathrm{GR}_G = G(\mathbb{C}((z^{-1}))) / G(\mathbb{C}[z])$$0

intertwining the residual torus action and identifying hyperbolic stalks with weight spaces $$\mathrm{GR}_G = G(\mathbb{C}((z^{-1}))) / G(\mathbb{C}[z])$$1 of the dual affine Kac-Moody group $$\mathrm{GR}_G = G(\mathbb{C}((z^{-1}))) / G(\mathbb{C}[z])$$2.

The construction admits extensions: the Coulomb branch $$\mathrm{GR}_G = G(\mathbb{C}((z^{-1}))) / G(\mathbb{C}[z])$$3 for a general complex reductive group $$\mathrm{GR}_G = G(\mathbb{C}((z^{-1}))) / G(\mathbb{C}[z])$$4 and representation $$\mathrm{GR}_G = G(\mathbb{C}((z^{-1}))) / G(\mathbb{C}[z])$$5 is an irreducible normal affine variety of dimension $$\mathrm{GR}_G = G(\mathbb{C}((z^{-1}))) / G(\mathbb{C}[z])$$6, with a flat integrable system map to Cartan quotient $$\mathrm{GR}_G = G(\mathbb{C}((z^{-1}))) / G(\mathbb{C}[z])$$7, admitting partial flavor deformations and hyperkähler quotients. The coordinate ring of each slice is generated by monopole operators, graded by dominant cocharacters, with Hilbert series given by the monopole formula (Finkelberg, 2017).

4. Stratification, Partial Order, and Hasse Diagrams

The slices are naturally stratified, indexed by affine coweight pairs $$\mathrm{GR}_G = G(\mathbb{C}((z^{-1}))) / G(\mathbb{C}[z])$$8, or physical data $$\mathrm{GR}_G = G(\mathbb{C}((z^{-1}))) / G(\mathbb{C}[z])$$9 labeling A-type orbi-instantons in 6d $(P, \sigma, \varphi)$0 SCFTs (e.g., $(P, \sigma, \varphi)$1 orbi-instantons). The partial order on coweight labels is determined by the combination $(P, \sigma, \varphi)$2 (with all $(P, \sigma, \varphi)$3). In the double affine case, the covering relations are classified by Roy’s theorem as either minimal pseudo-Levi steps ($(P, \sigma, \varphi)$4 on vanishing subdiagrams) or simple-coroot steps ($(P, \sigma, \varphi)$5 with adjacent nodes).

The resulting Hasse diagram encodes all allowed RG flows and degenerations. Minimal edges are labeled by singularity types: minimal ADE, $(P, \sigma, \varphi)$6, $(P, \sigma, \varphi)$7, or $(P, \sigma, \varphi)$8. For symmetric-product degenerations $(P, \sigma, \varphi)$9, slices are symmetric products $G$0, with further minimal slices stratified by partitions. By composition, one recovers the full inductive RG-flow network (Fazzi et al., 2023).

5. Geometric Properties: Dimensions, Singularities, and Intersection Cohomology

The geometric structure of slices $G$1 is tightly controlled by root-theoretic data:

• The half-complex dimension is $G$2 for Weyl vector $G$3.
• For minimal pseudo-Levi steps, $G$4 is isomorphic to the closure of the minimal nilpotent orbit, with Kleinian singularity of corresponding ADE type.
• For simple-coroot steps, $G$5.
• For symmetric-product degenerations, $G$6, further stratified.

Intersection cohomology stalks at contracting $G$7-fixed points recover $G$8-analogs of weight multiplicities in integrable modules of $G$9, with Poincaré polynomials matching Lusztig-Kostant/Affine combinatorics. For cyclic quiver varieties, Nakajima's formula computes the multiplicity in tensor powers of level-1 fundamentals, with level-rank duality ensuring agreement in ADE settings (0711.2083).

6. Explicit Examples and Computations

Several concrete cases illustrate the general theory:

• For $\mathbb{P}^1$0, $\mathbb{P}^1$1, the slice $\mathbb{P}^1$2 coincides with $\mathbb{P}^1$3.
• For $\mathbb{P}^1$4, $\mathbb{P}^1$5, the affine $\mathbb{P}^1$6 quiver and dimension vectors yield the Uhlenbeck space $\mathbb{P}^1$7, with $\mathbb{P}^1$8.
• For $\mathbb{P}^1$9, minimal slices with data $0$0 and $0$1, $0$2 yield the hypersurface singularity $0$3 (type $0$4).
• At level $0$5 in the $0$6 case, the dominant coweights and Hasse diagram encode the full RG-flow hierarchy via allowed degenerations and singularity types, with computer verification of a-central charge monotonicity (Fazzi et al., 2023).

In each case, cohomological degrees, fixed points, Hilbert series, and weight multiplicities concur with representation-theoretic expectations and combinatorial formulas.

7. Open Problems and Generalizations

The theory currently provides only the transversal slices and not a global ind-scheme model for the double affine Grassmannian itself. Open problems include:

• Algebraic construction of $0$7 carrying convolution products, fusion, and a monoidal category of perverse sheaves geometrizing $0$8.
• Convolution structures for slices, expected as analogues to classical convolution by merging instanton moduli.
• Extension to twisted or non-simply-laced Kac-Moody groups via alternative surface singularities.
• Global curve models and Hecke operators, connecting instanton moduli to $0$9-deformations and higher-dimensional field theories.
• Categorification, $\mathcal{N}=4$00-theoretic and elliptic refinements, with connections to double affine Hecke algebras and elliptic quantum groups.

The ultimate research goal is a double affine geometric Satake correspondence, identifying monoidal categories of sheaves on the conjectural double affine Grassmannian with representation categories of $\mathcal{N}=4$01. Current constructions via instantons and Coulomb branches establish the atomic building blocks and suggest an inductive geometric and representation-theoretic framework (0711.2083, Finkelberg, 2017, Fazzi et al., 2023).