Derived Satake Category

• Derived Satake Category is a monoidal triangulated structure built from equivariant derived sheaves on the affine Grassmannian, capturing rich geometric and representation-theoretic extensions.
• The derived equivalence with modules over Sym(g^vee) recasts classical representation rings as tensor products corresponding to convolution, linking to the Langlands dual group.
• Applications span categorified representation theory, Coulomb branch constructions, and enhanced frameworks in quantum, twisted, and K-theoretic settings.

A derived Satake category is a monoidal triangulated (resp. dg or stable ∞-) category constructed from the equivariant derived category of sheaves (often perverse or constructible) on the affine Grassmannian of a reductive group $G$, generalizing the geometric Satake correspondence to the derived, $\ell$-adic, mixed, quantum, twisted, or K-theoretic settings. These categories provide a categorification of the representation ring of the Langlands dual group and are central to modern approaches to the geometric Langlands program, categorified representation theory, and the structure of Coulomb branches of 3d $\mathcal{N}=4$ gauge theories.

1. Construction via Equivariant Derived Categories and Convolution

Let $G$ be a split connected reductive group over $\mathbb{C}$ or over a finite field, and $\mathrm{Gr}_G=G(\mathbb{K})/G(\mathbb{O})$ its affine Grassmannian. The starting point is the $G(\mathbb{O})$-equivariant constructible derived category $D_{G(\mathbb{O})}(\mathrm{Gr}_G)$, ind-completed when necessary. This category is equipped with a symmetric monoidal (convolution) structure: $$* : D_{G(\mathbb{O})}(\mathrm{Gr}_G)\times D_{G(\mathbb{O})}(\mathrm{Gr}_G) \to D_{G(\mathbb{O})}(\mathrm{Gr}_G)$$ defined via the standard convolution diagram involving twisted products and the fusion map (Ginzburg, 21 Aug 2025, Braverman et al., 2017).

The heart of the perverse $t$-structure, $\ell$0, contains the spherical Hecke category, but the derived Satake category incorporates all extensions and higher cohomological information, thus encoding richer representation-theoretic and geometric data.

2. Derived Satake Equivalence: Statement and Variants

Bezrukavnikov–Finkelberg and others have established a derived Satake equivalence as a monoidal triangulated (or dg) equivalence

$\ell$1

where $\ell$2 is the Lie algebra of the Langlands dual group and $\ell$3 acts via the adjoint representation. The convolution on the sheaf side corresponds to the tensor product (over $\ell$4) on the module side (Ginzburg, 21 Aug 2025, Riche, 2014).

This formalism allows a variety of enhancements and specializations:

• Mixed modular version ($\ell$5-adic coefficients, positive characteristic) (Riche, 2014)
• Real, quaternionic, Lorentzian, octonionic, and symmetric space analogs (Chen et al., 2024, Chen et al., 2022)
• Twisted derived Satake category, incorporating monodromy via nontrivial $\ell$6-actions (Singh, 2012)
• Derived Satake in mixed and equal characteristic, including via universal local acyclicity (ULA) sheaves (Bando, 2023, Bando, 13 Mar 2026)

The formality of the convolution algebra (i.e., that its dg algebra structure is quasi-isomorphic to its cohomology ring, with zero differential) follows from purity and parity vanishing arguments in the geometric context (Ginzburg, 21 Aug 2025).

3. Structure, Functoriality, and Factorization

The derived Satake category enjoys rich internal and external structures:

• The abelian heart is Tannakian, corresponding to finite-dimensional representations of $\ell$7 (Ginzburg, 21 Aug 2025).
• The global sections functor and fiber functors correspond to geometric and representation-theoretic fiber functors respectively (Lysenko, 2024).
• Generators are provided by the regular perverse sheaf and its shifted versions, and all simples are obtained via convolution with fundamental coweight objects (Ginzburg, 21 Aug 2025).
• Factorization structures endow the derived Satake category with compatibility across configuration spaces (Ran space vs. colored divisors). The global sections of the factorization category recover the classical derived Satake as a factorizable monoidal category (Lysenko, 2024).

Functoriality under group homomorphisms $\ell$8 is realized both on the sheaf side (as restriction and pullback) and on the module side (as quantum Hamiltonian reduction), with natural diagrams commuting under the equivalence (Ginzburg, 21 Aug 2025).

4. Quantum, K-theoretic, and Twisted Derived Satake

Enrichments via quantum groups and $\ell$9-theory provide further categorifications:

• The quantum $\mathcal{N}=4$0-theoretic geometric Satake construction replaces sheaf-theoretic convolution by $\mathcal{N}=4$1-equivariant $\mathcal{N}=4$2-theory, with the algebraic side given by modules over braided quantum function algebras $\mathcal{N}=4$3 (Cautis et al., 2015). A combinatorial spider category realizing this equivalence is proven in type $\mathcal{N}=4$4.
• The twisted derived Satake category incorporates nontrivial $\mathcal{N}=4$5-monodromy, leading to equivalence with categories of coherent sheaves or Harish-Chandra bimodules on twisted dual groups (Singh, 2012).
• In the mixed characteristic and Fargues–Fontaine settings, the equivalence involves ULA sheaves on local Hecke stacks and modules over the symmetric algebra of the shifted and Tate-twisted dual Lie algebra, with explicit descriptions of the monoidal structures (Bando, 2023, Bando, 13 Mar 2026).

5. Applications: IC Stalks, Coulomb Branches, Modular Theory

The derived Satake category serves as a universal domain for ring objects, convolution algebras, and representation-theoretic invariants:

• Stalks and costalks of intersection cohomology (IC) sheaves in the derived Satake category are computed via Kostka–Foulkes polynomials and their $\mathcal{N}=4$6-analogues, establishing new gradings in the real, quaternionic, Lorentzian, and symmetric settings (Chen et al., 2024, Chen et al., 2022).
• Commutative ring objects in the category correspond to generalized Coulomb branches, Hamiltonian reductions, and TQFT invariants for 3d gauge theories, with gluing constructions yielding star-shaped quiver branches and other moduli (Braverman et al., 2017).
• The category provides the spectral and categorical side of the geometric Langlands correspondence, real and relative duality theories, and connections to the moduli of local systems and affine Hecke categories (Chen et al., 2022, Bando, 2023).
• The modular derived Satake endows parity complexes with a categorical description in characteristic $\mathcal{N}=4$7, leading to advances in parity vanishing and modular representation theory (Riche, 2014).

6. Tabulated Variants of Derived Satake Category

Context	Sheaf-Theoretic Side	Algebraic/Module Side
Classical complex	$\mathcal{N}=4$8	$\mathcal{N}=4$9
Mixed modular	$G$0	$G$1
Quantum K-theoretic	$G$2	$G$3-mod ($G$4-equivariance)
Twisted	$G$5	$G$6
Mixed characteristic (ULA)	$G$7	$G$8

These correspondences reflect variations in coefficients, group forms, or sheaf theories, but all realize a form of Tannakian, monoidal, and spectral duality.

7. Outlook and Connections

Derived Satake categories unify themes across geometric representation theory:

• They serve both as a categorification of classical representation rings (geometric Satake) and as a universal home for Hamiltonian and Coulomb branch constructions (Braverman et al., 2017).
• Their functorial and factorization properties provide coherence needed for the Langlands program, exciting new examples in mixed and real settings, and compatibility with topological field theory structures (Chen et al., 2022, Lysenko, 2024).
• Recent developments extend the paradigm to the Fargues–Fontaine curve, symmetric varieties, and quantum group settings, showing ongoing advances and broad applicability (Bando, 13 Mar 2026, Cautis et al., 2015, Eberhardt et al., 24 Nov 2025).

Bibliographic anchors for primary results include (Ginzburg, 21 Aug 2025, Riche, 2014, Braverman et al., 2017, Bando, 2023, Chen et al., 2022, Chen et al., 2024, Cautis et al., 2015, Lysenko, 2024, Bando, 13 Mar 2026), and (Singh, 2012).