arXiv Science⌕ Search

arXiv subjects

Roman Bezrukavnikov

Publications and source records attributed to Roman Bezrukavnikov.

At least 19 recordsLinked to original sources
arXiv2026

Equivariant Satake category and Kostant-Whittaker reduction

We explain (following V. Drinfeld) how the equivariant derived category of the affine Grassmannian can be described in terms of coherent sheaves on the Langlands dual Lie algebra equivariant with respect to the adjoint action, due to some old results of V. Ginzburg. The global cohomology functor corresponds under this identification to restricti on to the Kostant slice. We extend this description to loop rotation equivariant derived category, linking it to Harish-Chandra bimodules for the Langlands dual Lie algebra, so that the global cohomology functor corresponds to the quantum Kostant-Whittaker reduction of a Harish-Chandra bimodule. We derive a conjecture from math.AG/0306413 which identifies the loop-rotation equivariant homology of the affine Grassmannian with quantized completed Toda lattice.

math.RT↗
arXiv2026

Equivariant ($K$-)homology of affine Grassmannian and Toda lattice

For an almost simple complex algebraic group $G$ with affine Grassmannian $Gr_G= G(C((t)))/G(C[[t]])$ we consider the equivariant homology $H^{G(C[[t]])}(Gr_G)$, and $K$-theory $K^{G(C[[t]])}(Gr_G)$. They both have a commutative ring structure, with respect to convolution. We identify the spectrum of homology ring with the universal group-algebra centralizer of the Langlands dual group $\check G$, and we relate the spectrum of $K$-homology ring to the universal group-group centralizer of $G$ and of $\check G$. If we add the loop-rotation equivariance, we obtain a noncommutative deformation of the ($K$)-homology ring, and thus a Poisson structure on its spectrum. We identify this structure with the standard one on the universal centralizer. The commutative subring of $G(C[[t]])$-equivariant homology of the point gives rise to a polarization which is related to Kostant's Toda lattice integrable system. We also compute the equivariant $K$-ring of the affine Grassmannian Steinberg variety. The equivariant $K$-homology of $Gr_G$ is equipped with a canonical base formed by the classes of simple equivariant perverse coherent sheaves. Their convolution is again perverse and is related to the Feigin-Loktev fusion product of $G(C[[t]])$-modules.

math.AG↗
arXiv2026

Affine Springer fiber and the small quantum group

We find a new geometric incarnation for the principal block in the category of modules over a quantum group at a root of unity, realizing it as a full subcategory of microsheaves on a certain affine Springer fiber. We also prove a related geometric Langlands type equivalence with wild ramification, identifying the latter category with a category of coherent sheaves on the Springer resolution for the dual group. This can also be viewed as a version of homological mirror symmetry for the Springer resolution.

math.AG↗
arXiv2026

Perverse sheaves and t-structures on the thin and thick affine flag varieties

We study the categories $\mathrm{Perv}_{\mathrm{thin}}$ and $\mathrm{Perv}_{\mathrm{thick}}$ of Iwahori-equivariant perverse sheaves on the thin and thick affine flag varieties associated to a split reductive group $G$. An earlier work of the first author describes $\mathrm{Perv}_{\mathrm{thin}}$ in terms of bimodules over the so-called non-commutative Springer resolution. We partly extend this result to $\mathrm{Perv}_{\mathrm{thick}}$, providing a similar description for its anti-spherical quotient. The long intertwining functor realizes $\mathrm{Perv}_{\mathrm{thick}}$ as the Ringel dual of $\mathrm{Perv}_{\mathrm{thin}}$; we point out that it shares some exactness properties with the similar functor acting on perverse sheaves on the finite-dimensional flag variety. We use this result to resolve a conjecture of Arkhipov and the first author, proving that the image in the Iwahori-Whittaker category of any convolution-exact perverse sheaf on the affine flag variety is tilting.

math.RT↗
arXiv2026

Modular reduction of complex representations of finite reductive groups

The main result describes the Brauer-Nesbitt reduction of unipotent representations of a finite group of Lie type, expressing it as an explicit linear combination of the restriction of Weyl modules from the algebraic group to the group of $\mathbb{F}_q$ points. This partly confirms Lusztig's conjecture (2021), which was the main source of motivation for this work. The explicit virtual representations of the algebraic group come from a certain endomorphism of the space ${\mathbb Z}[T]$ of regular functions on the torus which approximates pullback under Frobenius and is linear over the ring ${\mathbb Z}[T]^W$ of $W$-invariant functions. This endomorphism is constructed from a new basis for ${\mathbb Z}[T]$ over ${\mathbb Z}[T]^W$ which we call the Kazhdan-Lusztig-Steinberg basis. We compare this basis to the canonical basis appearing in the study of modular representations of the algebraic group and the related noncommutative Springer resolution. This leads to canonically defined objects in the derived category of $G$-modules representing the above virtual representations and to a geometric interpretation for the resulting lift of the principal series representation $\overline{\mathbb{F}_q} [G/P(\mathbb{F}_q)]$ to a virtual representation of the algebraic group, which comes from a decomposition of diagonal in the equivariant Grothendieck group of the partial flag variety.

math.RT↗
arXiv2025

Generic character sheaves on parahoric subgroups

We study parabolic induction producing $\ell$-adic sheaves on a parahoric subgroup scheme in the loop group of a reductive group. Under a genericity assumption on the input data, we prove that it produces conjugation equivariant perverse sheaves on the parahoric subgroup; this is upgraded to a $t$-exact equivalence of categories of $\ell$-adic sheaves. An iterative version of the construction produces such a perverse sheaf starting from a geometric analogue of the data considered by J.-K. Yu and J. Kim. We prove, under a mild condition on $q$, that generic parabolic induction from a parahoric torus realizes the character of the representation arising from the associated parahoric Deligne--Lusztig induction, which is known to parametrize the Fintzen--Kaletha--Spice twist of types. In the simplest interesting setting, our construction produces a simple perverse sheaf associated to a sufficiently nontrivial multiplicative local system on a torus, resolving a conjecture of Lusztig.

math.RT↗
arXiv2025

Affine Springer fibers and depth zero L-packets

Let $G$ be a connected reductive group over a field $F=\mathbb{F}_q((t))$ splitting over $\overline{\mathbb{F}}_q((t))$. Following [KV,DR], a tamely unramified Langlands parameter $λ:W_F\to{}^L G(\overline{\mathbb{Q}}_{\ell})$ in general position gives rise to a finite set $Π_λ$ of irreducible admissible representations of $G(F)$, called the $L$-packet. The main goal of this work is to provide a geometric description of characters $χ_π$ of $π\inΠ_λ$ and of their endoscopic linear combinations $χ_λ^κ$ in terms of homology of affine Springer fibers, thus establishing an analog of Lusztig conjectures in this case. Furthermore, each $χ_λ^κ$ can be described as the trace of Frobenius function of a conjugation equivariant perverse sheaf on the loop group by the sheaf-function correspondence. As another application, we prove that the sum $χ_λ^{st}:=\sum_{π\inΠ_λ}χ_π$ is stable and show that the $χ_λ^{st}$'s are compatible with inner twistings. More generally, we prove that each $χ_λ^κ$ is $\mathcal{E}_{λ,κ}$-stable.

math.RT↗
arXiv2024

Vanishing sheaves and the geometric Whittaker model

Let $G$ be a connected reductive algebraic group over an algebraically closed field $k$ of characteristic $p>0$ and let $\ell$ be a prime number different from $p$. Let $U\subset G$ be a maximal unipotent subgroup, and let $T$ be a maximal torus normalizing $U$ with normalizer $N=N_G(T)$. Let $W=N/T$ be the Weyl group of $G$. Let $\mathcal{L}$ be a non-degenerate $\ell$-adic multiplicative local system on $U$. In this paper we prove that the bi-Whittaker category, namely the triangulated monoidal category of $(U,\mathcal{L})$-bi-equivariant complexes on $G$, is monoidally equivalent to an explicit thick triangulated monoidal subcategory $\mathscr{D}^\circ_W(T)\subset \mathscr{D}_W(T)$ of ''$W$-equivariant central sheaves'' on the torus, answering a question raised by Drinfeld. In particular, the bi-Whittaker category has the structure of a symmetric monoidal category. We also study a certain thick triangulated monoidal subcategory $\mathscr{D}^\circ_G(G)\subset \mathscr{D}_G(G)$ of ''vanishing sheaves'' and prove that it is braided monoidally equivalent to an explicit thick triangulated monoidal subcategory $\mathscr{D}^\circ_N(T)\subset \mathscr{D}_N(T)$ of ''$N$-equivariant central sheaves'' on the torus. The above equivalence is given by an enhancement of the parabolic restriction functor restricted to the subcategory $\mathscr{D}^\circ_G(G)$.

math.RT↗
arXiv2024

A geometric realization of the asymptotic affine Hecke algebra

A key tool for the study of an affine Hecke algebra $\mathcal{H}$ is provided by Springer theory of the Langlands dual group via the realization of $\mathcal{H}$ as equivariant $K$-theory of the Steinberg variety. We prove a similar geometric description for Lusztig's asymptotic affine Hecke algebra $J$ identifying it with the sum of equivariant $K$-groups of the squares of ${\mathbb C}^*$-fixed points in the Springer fibers, as conjectured by Qiu and Xi (the same result was also obtained by Oron Popp using different methods). As an application, we give a new geometric proof of Lusztig's parametrization of irreducible representations of $J$. We also reprove Braverman-Kazhdan's spectral description of $J$. As another application, we prove a description of the cocenters of $\mathcal{H}$ and $J$ conjectured by the first author with Braverman, Kazhdan and Varshavsky. The proof is based on a new algebraic description of $J$, which may be of independent interest.

math.RT↗
arXiv2024

Categorical Heisenberg action I: rational Cherednik algebras

In this paper we introduce and study a categorical action of the positive part of the Heisenberg Lie algebra on categories of modules over rational Cherednik algebras associated to symmetric groups. We show that the generating functor for this action is exact. We then produce a categorical Heisenberg action on the categories $\mathcal{O}$ and show it is the same as one constructed by Shan and Vasserot. Finally, we reduce modulo a large prime $p$. We show that the functors constituting the action of the positive half of the Heisenberg algebra send simple objects to semisimple ones, and we describe these semisimple objects.

math.RT↗
arXiv2024

Modular affine Hecke category and regular centralizer

In this paper we provide a "combinatorial" description of the category of tilting perverse sheaves on the affine flag variety of a reductive algebraic group, and its free-monodromic variant, with coefficients in a field of positive characteristic. This provides a replacement for the familiar "Soergel theory" for characteristic-0 coefficients, and the second step in our project towards the construction of an equivalence of categories relating the two natural geometric realizations of the associated affine Hecke algebra in the case of positive-characteristic coefficients.

math.RT↗
arXiv2024

On two modular geometric realizations of an affine Hecke algebra

In this paper we construct equivalences of monoidal categories relating three geometric or representation-theoretic categorical incarnations of the affine Hecke algebra of a connected reductive algebraic group $G$ over a field of positive characteristic: a category of Harish-Chandra bimodules for the Lie algebra of $G$; the derived category of equivariant coherent sheaves on (a completed version of) the Steinberg variety of the Frobenius twist $G^{(1)}$ of $G$; a derived category of constructible sheaves on the affine flag variety of reductive group which is Langlands dual to $G^{(1)}$. These constructions build on the localization theory developed by the first author with Mirković and Rumynin and previous work of ours (partly joint with L. Rider), and provide an analogue for positive-characteristic coefficients of a construction of the first author. As an application, we prove a conjecture by Finkelberg-Mirković giving a geometric realization of the principal block of algebraic representations of $G$.

math.RT↗
arXiv2024

Equivariant derived category of a reductive group as a categorical center

We prove that the adjoint equivariant derived category of a reductive group $G$ is equivalent to the appropriately defined monoidal center of the torus-equivariant version of the Hecke category. We use this to give new proofs, independent of sheaf-theoretic set up, of the fact that the Drinfeld center of the abelian Hecke category is equivalent to the abelian category of unipotent character sheaves; and of a characterization of strongly-central sheaves on the torus.

math.RT↗
arXiv2024

A fusion construction of local L-factors

We propose a new conjectural way to calculate the local $L$-factor $L=L_χ(π,ρ,s)$ where $π$ is a representation of a $p$-adic group $G$, $ρ$ is an algebraic representation of the dual group $G^{\vee}$ and $χ$ is an algebraic character of $G$ satisfying a positivity condition. A method going back to Godement and Jacquet yields a description of $L$ using as an input a certain space ${\mathcal S}_ρ$ of functions on $G$ depending on $ρ$. A (partly conjectural) description of ${\mathcal S}_ρ$ involving trace of Frobenius functions associated to perverse sheaves on the loop space of a semigroup containing $G$ was developed %by Bouthier, Ngo and Sakellaridis, partly based on an earlier work of Braverman and Kazhdan. Here we propose a different, more general conjectural description of ${\mathcal S}_ρ$: it also refers to trace of Frobenius functions but instead of the loop space of a semi-group we work with the ramified global Grassmannian fibering over the configuration space of points on a global curve defined by Beilinson-Drinfeld and Gaitsgory (a relation between two approaches is discussed in the appendix). Our main result asserts validity of our conjectures where $π$ is generated by an Iwahori fixed vector: we show that in this case it is compatible with the standard formula for $L$ involving local Langlands correspondence which is known for such representations $π$. The proof is based on properties of the coherent realization of the affine Hecke category.

math.RT↗
arXiv2024

Exterior powers of a parabolic Springer sheaf on a Lie algebra

We compute the exterior powers, with respect to the additive convolution on the general linear Lie algebra, of a parabolic Springer sheaf corresponding to a maximal parabolic subgroup of type (1, n -- 1). They turn out to be isomorphic to the semisimple perverse sheaves attached by the Springer correspondence to the exterior powers of the permutation representation of the symmetric group.

math.RT↗
arXiv2024

Subregular nilpotent orbits and explicit character formulas for modules over affine Lie algebras

Let $\mathfrak{g}$ be a simple finite dimensional complex Lie algebra and let $\widehat{\mathfrak{g}}$ be the corresponding affine Lie algebra. Kac and Wakimoto observed that in some cases the coefficients in the character formula for a simple highest weight $\widehat{\mathfrak{g}}$-module are either bounded or are given by a linear function of the weight. We explain and generalize this observation using Kazhdan-Lusztig theory, by computing values at $q=1$ of certain (parabolic) affine inverse Kazhdan-Lusztig polynomials. In particular, we obtain explicit character formulas for some $\widehat{\mathfrak{g}}$-modules of negative integer level $k$ when $\mathfrak g$ is of type $D_n$, $E_6$, $E_7$, $E_8$ and $k \geqslant -2, -3, -4, -6$ respectively, as conjectured by Kac and Wakimoto. The calculation relies on the explicit description of the canonical basis in the cell quotient of the anti-spherical module over the affine Hecke algebra corresponding to the subregular cell. We also present an explicit description of the corresponding objects in the derived category of equivariant coherent sheaves on the Springer resolution, they correspond to irreducible objects in the heart of a certain $t$-structure related to the so called non-commutative Springer resolution.

math.RT↗
arXiv2024

Semi-infinite orbits in affine flag varieties and homology of affine Springer fibers

Let $G$ be a connected reductive group over an algebraically closed field $k$, and let $Fl$ be the affine flag variety of $G$. For every regular semisimple element $γ$ of $G(k((t)))$, the affine Springer fiber $Fl_γ$ can be presented as a union of closed subvarieties $Fl^{\leq w}_γ$, defined as the intersection of $Fl_γ$ with an affine Schubert variety $Fl^{\leq w}$. The main result of this paper asserts that if elements $w_1,\ldots,w_n$ are sufficiently regular, then the natural map $H_i(\bigcup_{j=1}^n Fl^{\leq w_j}_γ)\to H_i(Fl_γ)$ is injective for every $i\in{\mathbb Z}$. It plays an important role in our work [BV]. One can view this statement as providing a categorification of the notion of a weighted orbital integral. Along the way we also show that every affine Schubert variety can be written as an intersection of closures of semi-infinite orbits.

math.AG↗