Instanton Analogs of Matrix Coefficients

• Instanton analogs of matrix coefficients are geometric constructs that extend classical weight space analysis to the affine Kac–Moody setting using moduli of instantons on singular surfaces.
• They leverage intersection cohomology and the Brylinski–Kostant filtration to mirror graded weight spaces, thereby providing a conjectural extension of the geometric Satake correspondence.
• By modeling moduli spaces on Aₖ-type singularities, these analogs bridge gauge theory, quiver varieties, and SCFT physics, offering deep insights into representation theory.

Instanton analogs of matrix coefficients arise in the context of the hypothetical double affine Grassmannian (also referred to as the 2-affine Grassmannian or DAG). These objects are geometric structures aimed at providing a conjectural extension of the geometric Satake correspondence to affine Kac-Moody groups, thereby linking deep representation-theoretic data to intersection cohomology and moduli of instantons on singular surfaces. The instanton moduli spaces, specifically those on $A_k$-type surface singularities, serve as analogs to the classical matrix coefficients defined in the representation theory of finite or affine groups, encoding the structure of weight spaces with Brylinski–Kostant (BK) filtration and their graded multiplicities (0711.2083).

1. Classical Matrix Coefficients and Affine Grassmannians

The geometric Satake correspondence identifies intersection cohomology sheaves on Schubert varieties in the affine Grassmannian $\mathrm{Gr}_G = G(K)/G(O)$ (for $G$ a reductive group, $K=\mathbb{C}((s))$, $O=\mathbb{C}[[s]]$) with representations of the Langlands dual $G^\vee$. The G(O)-orbits (Schubert cells) $\mathrm{Gr}_G^\lambda$ are affine algebraic varieties indexed by dominant coweights; their closures support the intersection cohomology complexes $\mathrm{IC}_\lambda$.

Transversal slices $W_{\lambda\nu}$ are defined as intersections of Schubert varieties with opposite orbits, $$W_{\lambda\nu} = \overline{\mathrm{Gr}_G^\lambda} \cap (G[s^{-1}] \cdot s^\nu)$$, yielding conical affine spaces contracted to unique fixed points. The intersection cohomology of these slices, $\mathrm{IH}^*(W_{\lambda\nu})$, is isomorphic to the associated graded weight space $gr\,L(\lambda)_\nu$ for the BK filtration on the irreducible $G^\vee$-module of highest weight $\lambda$ (0711.2083).

2. Double Affine Grassmannian and the Need for Analogs

The double affine Grassmannian $\mathrm{Gr}_{G_\mathrm{aff}}$ for an affine Kac–Moody group $G_\mathrm{aff}$ is, so far, conjectural. It is expected to admit a stratification indexed by dominant affine weights, but the lack of an algebraic model for $G_\mathrm{aff}(O)$ precludes a direct construction. To circumvent this, moduli spaces arising from gauge-theoretic constructions—specifically, instanton moduli on singular algebraic surfaces—are used as surrogates for the sought-after Schubert slices (0711.2083). These spaces possess features analogous to matrix coefficients in their realization of graded weight spaces in integrable representations.

3. Instanton Moduli Spaces on Surface Quotients

Given $G$ simply-connected and semi-simple, and a cyclic group $\Gamma \cong \mu_{k+1}$ acting on $A^2 = \mathbb{C}^2$ via $zeta(x, y) = (\zeta x, \zeta^{-1} y)$ (an $A_k$-singularity), one considers framed $G$-bundles on $\mathbb{P}^2$ and their Uhlenbeck compactifications $U^n_G(A^2)$. The action of $\Gamma$ extends to these moduli, and the fixed-point loci decompose into components indexed by pairs of level-$k$ weights $(\nu, \lambda)$ for $G_\mathrm{aff}$. The closure $$U_{\nu, \lambda} = \overline{\mathrm{Bun}_{\nu, \lambda}(A^2/\Gamma)}$$ (for suitable $$a = k(\ell - m) + \frac{1}{2}[(\lambda, \lambda) - (\nu, \nu)]$$, with $\nu = (k, \mu, m)$, $\lambda = (k, \lambda, \ell)$) provides the analog to Schubert transversal slices (0711.2083).

4. Representation-Theoretic Structure: Intersection Cohomology and Matrix Coefficient Analogs

There is a conjectural correspondence between the intersection cohomology of these slices and the filtered weight spaces of irreducible modules:

• The stalk $\mathrm{IC}(U_{\nu,\lambda})$ at the unique $\mathbb{C}^*$-fixed point is a graded vector space isomorphic to the associated graded BK-filtered weight space $gr^i L(\lambda)_\nu$ (0711.2083).
• The generating function of the graded dimensions of intersection cohomology matches that of the BK-graded multiplicities in $L(\lambda)_\nu$:

$$\sum_{i \geq 0} \dim \mathrm{IH}^{2i}(U_{\nu,\lambda}) q^i = \sum_{i \geq 0} \dim gr^i L(\lambda)_\nu q^i$$

• For $G = SL(N)$, $U_{\nu,\lambda}$ recovers Nakajima's quiver varieties of cyclic type $A_k$, whose intersection cohomology computes the graded multiplicities predicted by level-rank duality (0711.2083).

Thus, the instanton moduli spaces serve as analogs of matrix coefficient varieties for $G_\mathrm{aff}$, encode the structure of representation-theoretic weight spaces (filtered by principal nilpotents), and instrument the extension of classical Satake theory into the affine framework.

5. Examples and Physical Interpretations

Examples in low rank and quantum field theory demonstrate the universality of this construction:

• For $G = SL_2$ and $\lambda = m\omega, \nu = n\omega$, $U_{n\omega, m\omega}$ is an affine space of dimension $2(m-n)$, whose intersection cohomology matches the $sl_2^{\mathrm{aff}}$-weight space multiplicity structure, perfectly reproducing classical matrix coefficient phenomena (0711.2083).
• In type $E_8$, the DAG is stratified by dominant affine coweights, forming a Hasse diagram encoding minimal degenerations and their associated transverse slices. The Higgs branches of 6d $(1,0)$ SCFTs, namely A-type orbi-instanton theories, are identified with such slices, and RG flow hierarchies correspond to slice inclusions in the DAG. Along these flows, the anomaly $a$-theorem is established by tracking the associated partial order, demonstrating the physical as well as algebraic utility of these analogs (Fazzi et al., 2023).

6. Conjectures and Open Questions

Several foundational aspects remain conjectural:

• The geometric Satake correspondence for $G_\mathrm{aff}$ predicts a tensor equivalence between the category of representations of the Langlands-dual affine group and an appropriate perverse sheaf category on the hypothetical double affine Grassmannian, with instanton moduli spaces providing the crucial geometric input (0711.2083).
• A global construction of $\mathrm{Gr}_{G_\mathrm{aff}}$ as an ind-scheme with desired group and loop-rotation symmetries is not yet available; current results are restricted to the transverse slice level.
• Further developments, such as convolution products on derived categories, fusion structures, and extensions to twisted or non-simply-laced settings (involving more general surface singularities), are natural directions (0711.2083).
• Connections to 3d $\mathcal{N}=4$ Coulomb branches furnish a parallel approach, whereby slices are realized as Coulomb branches of quiver gauge theories, generalizing the construction for all symmetric Kac-Moody types (Finkelberg, 2017).

7. Summary Table: Instanton Analogs, Classical Matrix Coefficients, and Slices

Object	Classical (Finite/Affine)	Double Affine/Analog (Instanton)
Varieties/Spaces	Schubert slices $W_{\lambda\nu}$	$U_{\nu,\lambda}$ via instantons on $A^2/\Gamma$
Representation Theory	$L(\lambda)_\nu$ weight spaces	BK-filtered weight spaces of $G^\vee_\mathrm{aff}$
Intersection Cohomology	$\mathrm{IH}^*(W_{\lambda\nu})$	$$\mathrm{IH}^*(U_{\nu, \lambda}) \simeq gr^* L(\lambda)_\nu$$
Geometric Construction	Affine Grassmannian $\mathrm{Gr}_G$	Moduli of framed $G$-bundles, Uhlenbeck spaces

The identification of intersection cohomology of instanton moduli spaces as analogs of matrix coefficients for affine Kac–Moody groups underpins a geometric representation theory program and broadens connections to gauge theory, quiver varieties, and SCFT physics. The constructions are supported by rigorous results in particular cases and motivate far-reaching open questions in geometric representation theory (0711.2083, Fazzi et al., 2023, Finkelberg, 2017).