---
title: Bezrukavnikov Equivalence Overview
url: https://www.emergentmind.com/topics/bezrukavnikov-equivalence
type: topic
---

# Bezrukavnikov Equivalence Overview

The Bezrukavnikov Equivalence encompasses a collection of deep and influential theorems in geometric representation theory, centered on categorical and monoidal equivalences between coherent sheaves—often on derived or equivariant moduli spaces such as cotangent bundles or Springer/Grothendieck resolutions—and constructible or (ind-)coherent sheaf categories on affine flag varieties, affine Grassmannians, or related loop spaces for the Langlands dual group. These equivalences, formulated and established in a series of works by Bezrukavnikov and collaborators, have become foundational in the categorification of the Geometric Satake and Geometric Langlands programs, as well as the study of modular and mixed characteristic phenomena.

## 1. Foundational Statements and Context

The prototypical Bezrukavnikov equivalence identifies the bounded derived category of $G$-equivariant coherent sheaves on the cotangent bundle $T^*(G/B)$ (or its variants) with the derived category of perverse, parity, or constructible sheaves on the affine Grassmannian or affine flag variety for the Langlands dual group $G^\vee$. For example, in [2601.18022], the classical case for a reductive group $G$ and its Langlands dual $G^\vee$ is stated as
$$
D^b_{G^\vee(O)}\bigl(\mathrm{Gr}_{G^\vee}\bigr) \;\xrightarrow{\simeq}\; D^b\Coh^G\bigl(T^*(G/B)\bigr),
$$
where the convolution monoidal structure on the sheaf side corresponds to the derived tensor structure on the coherent side. This paradigm extends to various forms, including Iwahori–Whittaker versions, parabolic variants, loop symmetric spaces (to handle quasi-split symmetric spaces), and to settings in mixed or positive characteristic [2310.10539, 1411.3112, 2310.16244, 2311.04043].

Central to the equivalence is the interplay between the geometric representation theory of $G$ and $G^\vee$, manifest through derived and DG-category enhancements, monoidal functors, and compatibility with Hecke algebra actions or Wakimoto/convolution sheaves.

## 2. Structural Features and Technical Formulations

The Bezrukavnikov equivalence is formulated at the level of triangulated, DG, or even $\infty$-categories, and is inherently monoidal. The primary ingredients are:

- **Spectral side**: categories such as $D^b\Coh^{G\times\mathbb G_m}(T^*(G/B))$, $D^b\Coh^{G^\vee\times\mathbb G_m}(\widetilde\mathcal N\times_\mathcal N\widetilde\mathcal N)$, or their universal centralizer variants. These are equipped with derived tensor product or convolution.
- **Automorphic side**: categories such as $D^b_{I}(Fl)$ (Iwahori-equivariant perverse sheaves on affine flags), $Shv_{nilp}(I\backslash LG/I)$ (constructible sheaves with nilpotent singular support on the affine Hecke stack), or Whittaker-monodromic categories.
- **Monoidal Equivalence**: a symmetric or strong monoidal functor,
  $$
  \Phi : \text{Spectral category} \xrightarrow{\simeq} \text{Automorphic category}
  $$
  intertwining the relevant structures, e.g. tensor product with convolution, actions of affine Weyl groups, and standard/costandard/twisting objects [2501.14157, 2310.10539, 2310.16244].
- **Standard, costandard, and tilting objects**: Explicit matching of these under the equivalence, e.g. perverse sheaf analogues of the exotic sheaves, Wakimoto sheaves corresponding to line bundles, extensions of Gaitsgory's central functors, and explicit formulas for images of simple generators.

A representative summary table (from [2310.10539] and [2501.14157]):

| Side           | Category                                          | Monoidal Structure    |
| -------------- |--------------------------------------------------|----------------------|
| Spectral       | $D^b\Coh^{G^\vee\times\mathbb G_m}(\text{St})$    | Derived tensor        |
| Automorphic    | $D^b_I(Fl)$                                      | Sheaf convolution     |
| Universal      | $Shv_{nilp}(I\backslash LG/I)$ (Betti)           | Convolution ($*$)     |

These functors are characterized by their effect on generators (central sheaves, Wakimoto sheaves/line bundles), and through monadic and Morita-theoretic arguments, their monoidal structures [2310.10539, 2501.14156].

## 3. Characteristic and Mixed Characteristic Extensions

Bezrukavnikov equivalences are robust under variations in base field and characteristic. In mixed characteristic, Bando [2310.16244] extends the equivalence to Witt-vector affine flag varieties and Steinberg dg-schemes for the dual group, constructing new affine Grassmannians interpolating between equal and mixed characteristics. The main result is the monoidal equivalence:
$$
D^b_{\mathcal I}(F_G^W, \mathbb Q_\ell) \;\simeq\; D^b\Coh^{\widehat G\times\mathbb G_m}(\text{St}),
$$
where $F_G^W$ is the mixed-characteristic affine flag variety, and $\text{St}$ is the Steinberg variety for the dual group $\widehat G$. The proof uses universal local acyclicity and a global interpolation family over $\mathbb A^2\setminus\{0\}$, reducing to the equal characteristic case.

Analogous equivalences hold in modular settings, with parity complexes and their mixed derived categories, incorporating the role of the Kostant section and universal centralizer to match monoidal structures [1411.3112].

## 4. Parabolic, Universal Monodromic, and Symmetric Space Generalizations

The framework admits wide generalization:

- **Parabolic analogues**: For partial flag varieties, Achar–Cooney–Riche develop a parabolic exotic t-structure and an Arkhipov–Bezrukavnikov–Ginzburg type equivalence between coherent categories on $T^*(G/P)$ and Whittaker mixed derived categories on the affine Grassmannian, compatible with translation and averaging functors [1805.05624].
- **Universal monodromic and bi-Whittaker variants**: The "universal monodromic" Arkhipov–Bezrukavnikov equivalence [2501.14156] identifies categories of equivariant quasicoherent sheaves on the Grothendieck alteration with universal monodromic Iwahori–Whittaker categories on enhanced affine flag varieties, incorporating monodromy parameters.
- **Quasi-split symmetric spaces**: The recent extension to relative contexts establishes equivalences between derived categories of $G$-equivariant coherent sheaves on $T^*(G/K)$ and constructible sheaves on loop symmetric spaces for the dual pair $(G^\vee, \theta^\vee)$ [2601.18022]. This generalizes the affine Grassmannian correspondence and introduces "twisted" settings involving symmetric space loop groups.

## 5. Applications in Geometric Representation Theory and Langlands Duality

Bezrukavnikov equivalence is a critical tool for:

- **Derived Satake and Geometric Langlands**: The functorial frameworks and categorical equivalences facilitate explicit realizations of the Geometric Langlands program in Betti, étale, $\ell$-adic, or mixed settings [2501.14157, 2311.04043, 2310.10539]. The spectral/automorphic symmetry becomes manifest via these equivalences, especially after imposing monodromy or support conditions.
- **Affine Hecke categories**: The equivalence identifies automorphic affine Hecke categories with spectral categories of coherent sheaves on Steinberg or Springer-type varieties, with immediate representation-theoretic consequences.
- **McKay correspondence, quantizations, and symplectic resolutions**: In positive characteristic, the Bezrukavnikov–Kaledin equivalence [2011.08259] uses canonical quantizations to induce derived McKay equivalences for symplectic resolutions, relating quantum and classical categories (Morita equivalence).
- **Exotic and singular t-structures**: Exotic t-structures—key in the study of tilting modules, Koszul duality, and singular blocks in modular representation theory—are interwoven with these categorifications [1805.05624].

## 6. Technical Tools, Proof Strategies, and Compatibility

The establishment and study of Bezrukavnikov equivalence employ:

- **Central functors and Wakimoto sheaves**: Gaitsgory's central sheaf constructions, Wakimoto filtrations, and their categorified avatars play a fundamental role. Fully faithfulness is often reduced to order-of-vanishing calculations or to arguments based on central support and microlocalization.
- **Monadic and Morita theory**: Equivalence of module categories is obtained via explicit construction of bimodules or splitting bundles, central extensions, and categorical endomorphism analysis (e.g., IndCoh endofunctor characterizations [2501.14157]).
- **Singular support and completion**: Carefully matching support conditions (nilpotent, singular, or formal completions) ensures that the equivalence interweaves the correct subcategories. In mixed and relative settings, specializations and interpolations are controlled by formal geometry arguments and purity/formality results [2310.10539, 2311.04043, 2310.16244].
- **t-structures and compatibility**: The equivalences often preserve or intertwine perverse, mixed, exotic, or adverse t-structures, crucial for highest-weight category theory and for Koszul duality [1805.05624].

## 7. Consequences, Broader Impact, and Open Directions

The Bezrukavnikov equivalence and its generalizations have become central to categorification in representation theory, with ramifications for the study of affine Hecke algebras, geometric Satake, character sheaves, and the local and global Geometric Langlands programs. They enable the translation between "spectral" and "automorphic" data at the categorical level, underpinning derived and dg-extensions of classical correspondences, and provide new tools for modular and arithmetic representation theory.

Recent developments include extensions to tame and wild ramification [2501.14157], conjectural generalizations to exceptional types and non-split groups [2311.04043, 2601.18022], and refinements of monoidal and filtered structures (e.g., mixed or Tate-graded enhancements). The framework motivates new approaches to problems in the geometric Langlands program and the structure of modular and mixed characteristic categories.

---

**Key References for Further Study:**  
- "A Langlands dual realization of coherent sheaves on the nilpotent cone" [2310.10539]  
- "Derived Satake category and Affine Hecke category in mixed characteristics" [2310.16244]  
- "The universal monodromic Arkhipov–Bezrukavnikov equivalence" [2501.14156]  
- "The parabolic exotic t-structure" [1805.05624]  
- "Tame local Betti geometric Langlands" [2501.14157]  
- "A relative Langlands dual realization of $T^*(G/K)$ and derived Satake" [2601.18022]  
- "Kostant section, universal centralizer, and a modular derived Satake equivalence" [1411.3112]  
- "On the Bezrukavnikov-Kaledin quantization of symplectic varieties in characteristic $p$" [2011.08259]

Source: https://www.emergentmind.com/topics/bezrukavnikov-equivalence