Showing 1–50 of 79 results for author: Bezrukavnikov, R

Modular reduction of complex representations of finite reductive groups

Authors: Roman Bezrukavnikov, Michael Finkelberg, David Kazhdan, Calder Morton-Ferguson

Abstract: Given a complex representation of a finite group, Brauer and Nesbitt defined in 1941 its reduction mod p, obtaining a representation over the algebraic closure of $\mathbb{F}_p$. In 2021, Lusztig studied the characters obtained by reducing mod p an irreducible unipotent representation of a finite reductive group over $\mathbb{F}_p$. He gave a conjectural formula for this character as a linear comb… ▽ More Given a complex representation of a finite group, Brauer and Nesbitt defined in 1941 its reduction mod p, obtaining a representation over the algebraic closure of $\mathbb{F}_p$. In 2021, Lusztig studied the characters obtained by reducing mod p an irreducible unipotent representation of a finite reductive group over $\mathbb{F}_p$. He gave a conjectural formula for this character as a linear combination of terms which had no explicit definition and were only known in some small-rank examples. In this paper we provide an explicit formula for these terms and prove Lusztig's conjecture, giving a formula for the reduction mod p of any unipotent representation of $G(\mathbb{F}_q)$ for q a power of p. We also propose a conjecture linking this construction to the full exceptional collection in the derived category of coherent sheaves on a partial flag variety constructed recently by Samokhin and van der Kallen. △ Less

Submitted 13 February, 2025; originally announced February 2025.

Comments: 27 pages, 6 figures

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

Authors: Roman Bezrukavnikov, Calder Morton-Ferguson

Abstract: 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 re… ▽ More 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. △ Less

Submitted 24 September, 2024; originally announced September 2024.

Comments: 21 pages

Categorical Heisenberg action I: rational Cherednik algebras

Authors: Roman Bezrukavnikov, Ivan Losev

Abstract: 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 Vass… ▽ More 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. △ Less

Submitted 5 August, 2024; originally announced August 2024.

Comments: 52 pages

MSC Class: 16G99

On two modular geometric realizations of an affine Hecke algebra

Authors: Roman Bezrukavnikov, Simon Riche

Abstract: 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 o… ▽ More 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$. △ Less

Submitted 4 July, 2024; v1 submitted 13 February, 2024; originally announced February 2024.

Comments: v1: 107 pages; v2: 110 pages, minor revision

Generic character sheaves on parahoric subgroups

Authors: Roman Bezrukavnikov, Charlotte Chan

Abstract: We prove that on a "generic locus" of the equivariant derived category of constructible sheaves, positive-depth parabolic induction is a $t$-exact equivalence of categories. Iterating this with respect to sequences of generic data allows us to take as input an arbitrary character sheaf on a connected algebraic group and output a family of positive-depth character sheaves on parahoric group schemes… ▽ More We prove that on a "generic locus" of the equivariant derived category of constructible sheaves, positive-depth parabolic induction is a $t$-exact equivalence of categories. Iterating this with respect to sequences of generic data allows us to take as input an arbitrary character sheaf on a connected algebraic group and output a family of positive-depth character sheaves on parahoric group schemes. 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. We prove, under a mild condition on $q$, that this realizes the character of the representation arising from the associated parahoric Deligne--Lusztig induction. △ Less

Submitted 13 January, 2024; originally announced January 2024.

Comments: 46 pages

A geometric realization of the asymptotic affine Hecke algebra

Authors: Roman Bezrukavnikov, Ivan Karpov, Vasily Krylov

Abstract: 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 p… ▽ More 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. △ Less

Submitted 6 October, 2024; v1 submitted 16 December, 2023; originally announced December 2023.

Comments: 37 pages

Vanishing sheaves and the geometric Whittaker model

Authors: Roman Bezrukavnikov, Tanmay Deshpande

Abstract: 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 s… ▽ More 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)$. △ Less

Submitted 16 December, 2024; v1 submitted 23 October, 2023; originally announced October 2023.

Comments: 33 pages

Equivariant derived category of a reductive group as a categorical center

Authors: Roman Bezrukavnikov, Andrei Ionov, Kostiantyn Tolmachov, Yakov Varshavsky

Abstract: 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 sheave… ▽ More 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. △ Less

Submitted 12 June, 2024; v1 submitted 4 May, 2023; originally announced May 2023.

A fusion construction of local L-factors

Authors: Roman Bezrukavnikov, Alexander Braverman, Michael Finkelberg, David Kazhdan

Abstract: 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… ▽ More 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. △ Less

Submitted 19 May, 2024; v1 submitted 1 March, 2023; originally announced March 2023.

Comments: v2: references updated, section 4.2 added. v3: exposition improved, verification of compatibility with the classical construction of Godement-Jacquet added, 29p

Non-abelian Hodge moduli spaces and homogeneous affine Springer fibers

Authors: Roman Bezrukavnikov, Pablo Boixeda Alvarez, Michael McBreen, Zhiwei Yun

Abstract: Starting from a homogeneous affine Springer fiber $Fl_ψ$, we construct three moduli spaces that correspond to the Dolbeault, de Rham and Betti aspects of a hypothetical Simpson correspondence with wild ramifications. We show that $Fl_ψ$ is homeomorphic to the central Lagrangian fiber in the Dolbeault space, prove that the Dolbeaut and de Rham spaces both have the same cohomology as $Fl_ψ$, and con… ▽ More Starting from a homogeneous affine Springer fiber $Fl_ψ$, we construct three moduli spaces that correspond to the Dolbeault, de Rham and Betti aspects of a hypothetical Simpson correspondence with wild ramifications. We show that $Fl_ψ$ is homeomorphic to the central Lagrangian fiber in the Dolbeault space, prove that the Dolbeaut and de Rham spaces both have the same cohomology as $Fl_ψ$, and construct a map from the de Rham space to the Betti space which we conjecture to be an analytic isomorphism. △ Less

Submitted 29 September, 2022; originally announced September 2022.

MSC Class: Primary 14D20; Secondary 14M15; 14D24

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

Authors: Roman Bezrukavnikov, Victor Kac, Vasily Krylov

Abstract: 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 observatio… ▽ More 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. △ Less

Submitted 26 March, 2024; v1 submitted 19 September, 2022; originally announced September 2022.

Comments: 42 pages, v2: few typos corrected, v3: extended the proof of lemma 4.7

Journal ref: Pure and Applied Mathematics Quarterly Volume 20, No. 1 (2024) Pure and Applied Mathematics Quarterly, Volume 20, No. 1 (2024) (Special Issue dedicated to Corrado De Concini)

Exterior powers of a parabolic Springer sheaf on a Lie algebra

Authors: Roman Bezrukavnikov, Kostiantyn Tolmachov

Abstract: 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. 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. △ Less

Submitted 28 March, 2024; v1 submitted 4 September, 2022; originally announced September 2022.

Comments: Content reorganised. Proofs for the Lie algebra statement significantly simplified. Material related to the convolution on the group was moved to the preprint "Linear structure on a finite Hecke category in type A" by the second author

Modular affine Hecke category and regular centralizer

Authors: Roman Bezrukavnikov, Simon Riche

Abstract: 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 construc… ▽ More 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. △ Less

Submitted 4 July, 2024; v1 submitted 8 June, 2022; originally announced June 2022.

Comments: v1: 164 pages, this paper is a sequel to arXiv:2005.05583 (whose title will be updated); v2: 148 pages, minor revision, some changes of notation for consistency with later paper arXiv:2402.08281, removed Section 13 (which will be treated in a separate paper)

A geometric realization of the center of the small quantum group

Authors: Roman Bezrukavnikov, Pablo Boixeda Alvarez, Peng Shan, Eric Vasserot

Abstract: We propose a new geometric model for the center of the small quantum group using the cohomology of certain affine Springer fibers. More precisely, we establish an isomorphism between the equivariant cohomology of affine Spaltenstein fibers for a split element and the center of the deformed graded modules for the small quantum group. We also obtain an embedding from the invariant part of the nonequ… ▽ More We propose a new geometric model for the center of the small quantum group using the cohomology of certain affine Springer fibers. More precisely, we establish an isomorphism between the equivariant cohomology of affine Spaltenstein fibers for a split element and the center of the deformed graded modules for the small quantum group. We also obtain an embedding from the invariant part of the nonequivariant cohomology under the action of the extended affine Weyl group to the invariant part of the center of the small quantum group under Langlands dual group action, which we conjecture to be an isomorphism. Finally, we give a dimension formula for the invariants on the cohomology side, thus providing a lower bound for the dimension of the center. △ Less

Submitted 17 January, 2023; v1 submitted 12 May, 2022; originally announced May 2022.

Comments: 56 pages

On the structure of the affine asymptotic Hecke algebras

Authors: Roman Bezrukavnikov, Stefan Dawydiak, Galyna Dobrovolska

Abstract: According to a conjecture of Lusztig, the asymptotic affine Hecke algebra should admit a description in terms of the Grothedieck group of sheaves on the square of a finite set equivariant under the action of the centralizer of a nilpotent element in the reductive group. A weaker form of this statement, allowing for possible central extensions of stabilizers of that action, has been proved by the f… ▽ More According to a conjecture of Lusztig, the asymptotic affine Hecke algebra should admit a description in terms of the Grothedieck group of sheaves on the square of a finite set equivariant under the action of the centralizer of a nilpotent element in the reductive group. A weaker form of this statement, allowing for possible central extensions of stabilizers of that action, has been proved by the first named author with Ostrik. In the present paper we describe an example showing that nontrivial central extensions do arise, thus the above weaker statement is optimal. We also show that Lusztig's homomorphism from the affine Hecke algebra to the asymptotic affine Hecke algebra induces an isomorphism on cocenters and discuss the relation of the above central extensions to the structure of the cocenter. △ Less

Submitted 25 May, 2023; v1 submitted 29 October, 2021; originally announced October 2021.

Comments: 15 pages, 1 figure, 1 table. With an appendix by Roman Bezrukavnikov, Alexander Braverman, and David Kazhdan. To appear in Transform. Groups. In v6, added clarifying sentence to proof of Proposition 3, and added Remark 6. Results are unchanged

MSC Class: 20C08 (Primary)

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

Authors: Roman Bezrukavnikov, Yakov Varshavsky

Abstract: 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 pape… ▽ More 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. △ Less

Submitted 4 March, 2024; v1 submitted 27 April, 2021; originally announced April 2021.

Comments: 34 pages, revised version

Journal ref: Forum of Mathematics, Sigma 13 (2025) e43

Affine Springer fibers and depth zero L-packets

Authors: Roman Bezrukavnikov, Yakov Varshavsky

Abstract: 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 ge… ▽ More 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. As an 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. △ Less

Submitted 25 January, 2024; v1 submitted 27 April, 2021; originally announced April 2021.

Comments: v.2, 94 pages, seriously revised version: sign in the statement of a theorem of Yun is corrected, proof of endoscopic property of $κ$-linear combinations is included, treatment of generalized traces was made much more conceptual

Hecke action on the principal block

Authors: Roman Bezrukavnikov, Simon Riche

Abstract: In this paper we construct an action of the affine Hecke category (in its "Soergel bimodules" incarnation) on the principal block of representations of a simply-connected semisimple algebraic group over an algebraically closed field of characteristic bigger than the Coxeter number. This confirms a conjecture of G. Williamson and the second author, and provides a new proof of the tilting character… ▽ More In this paper we construct an action of the affine Hecke category (in its "Soergel bimodules" incarnation) on the principal block of representations of a simply-connected semisimple algebraic group over an algebraically closed field of characteristic bigger than the Coxeter number. This confirms a conjecture of G. Williamson and the second author, and provides a new proof of the tilting character formula in terms of antispherical $p$-Kazhdan-Lusztig polynomials. △ Less

Submitted 2 June, 2022; v1 submitted 22 September, 2020; originally announced September 2020.

Comments: v1: 57 pages; v2: definition of completed algebras (and categories of modules) corrected, and some minor technical assumptions removed, 57 pages; v3: revision after a referee report: various clarifications and addition of an index of notation, 68 pages; v4: correction of typos, final version to appear in Compositio Math, 68 pages

Monodromic model for Khovanov-Rozansky homology

Authors: Roman Bezrukavnikov, Kostiantyn Tolmachov

Abstract: We describe a new geometric model for the Hochschild cohomology of Soergel bimodules based on the monodromic Hecke category studied earlier by the first author and Yun. Moreover, we identify the objects representing individual Hochschild cohomology groups (for the zero and the top degree cohomology this reduces to an earlier result of Gorsky, Hogancamp, Mellit and Nakagane). These objects turn out… ▽ More We describe a new geometric model for the Hochschild cohomology of Soergel bimodules based on the monodromic Hecke category studied earlier by the first author and Yun. Moreover, we identify the objects representing individual Hochschild cohomology groups (for the zero and the top degree cohomology this reduces to an earlier result of Gorsky, Hogancamp, Mellit and Nakagane). These objects turn out to be closely related to explicit character sheaves corresponding to exterior powers of the reflection representation of the Weyl group. Applying the described functors to the images of braids in the Hecke category of type A we obtain a geometric description for Khovanov-Rozansky knot homology, essentially different from the one considered earlier by Webster and Williamson. △ Less

Submitted 13 January, 2022; v1 submitted 26 August, 2020; originally announced August 2020.

Comments: 57 pages, major revision. One of the main results (now Theorem 5.6.1), previously proved for type A only, was generalized to arbitrary type. Results specific to type A reorganized to a new Section 6

Dimensions of modular irreducible representations of semisimple Lie algebras

Authors: Roman Bezrukavnikov, Ivan Losev

Abstract: In this paper we classify and give Kazhdan-Lusztig type character formulas for equivariantly irreducible representations of Lie algebras of reductive algebraic groups over a field of large positive characteristic. The equivariance is with respect to a group whose connected component is a torus. Character computation is done in two steps. First, we treat the case of distinguished $p$-characters: th… ▽ More In this paper we classify and give Kazhdan-Lusztig type character formulas for equivariantly irreducible representations of Lie algebras of reductive algebraic groups over a field of large positive characteristic. The equivariance is with respect to a group whose connected component is a torus. Character computation is done in two steps. First, we treat the case of distinguished $p$-characters: those that are not contained in a proper Levi. Here we essentially show that the category of equivariant modules we consider is a cell quotient of an affine parabolic category $\mathcal{O}$. For this, we prove an equivalence between two categorifications of a parabolically induced module over the affine Hecke algebra conjectured by the first named author. For the general nilpotent $p$-character, we get character formulas by explicitly computing the duality operator on a suitable equivariant K-group. △ Less

Submitted 15 November, 2020; v1 submitted 20 May, 2020; originally announced May 2020.

Comments: 61 pages; v2 64 pages: references added and exposition elaborated; v3 65 pages, accepted version

MSC Class: 17B20; 17B35; 17B50

Modular affine Hecke category and regular unipotent centralizer

Authors: R. Bezrukavnikov, S. Riche, L. Rider

Abstract: In this paper we provide, under some mild explicit assumptions, a geometric description of the category of representations of the centralizer of a regular unipotent element in a reductive algebraic group in terms of perverse sheaves on the Langlands dual affine flag variety. This equivalence is suggested and motivated by the "geometric Langlands" philosophy, and is used in later work to construct… ▽ More In this paper we provide, under some mild explicit assumptions, a geometric description of the category of representations of the centralizer of a regular unipotent element in a reductive algebraic group in terms of perverse sheaves on the Langlands dual affine flag variety. This equivalence is suggested and motivated by the "geometric Langlands" philosophy, and is used in later work to construct equivalences of categories relating various geometric incarnations of the affine Hecke algebra of the given reductive group. △ Less

Submitted 4 July, 2024; v1 submitted 12 May, 2020; originally announced May 2020.

Comments: v1: 52 pages; v2: 51 pages, minor change of title, corrections and changes in notation for consistency with later papers arXiv:2206.03738 and arxiv:2402.08281

0-cycles on Grassmannians as representations of projective groups

Authors: R. Bezrukavnikov, M. Rovinsky

Abstract: Let $F$ be an infinite division ring, $V$ be a left $F$-vector space, $r>0$ be an integer. We study the structure of the representation of the linear group $\mathrm{GL}_F(V)$ in the vector space of formal finite linear combinations of $r$-dimensional vector subspaces of $V$ with coefficients in a field $K$. This gives a series of natural examples of irreducible infinite-dimensional representations… ▽ More Let $F$ be an infinite division ring, $V$ be a left $F$-vector space, $r>0$ be an integer. We study the structure of the representation of the linear group $\mathrm{GL}_F(V)$ in the vector space of formal finite linear combinations of $r$-dimensional vector subspaces of $V$ with coefficients in a field $K$. This gives a series of natural examples of irreducible infinite-dimensional representations of projective groups. These representations are non-smooth if $F$ is locally compact and non-discrete. △ Less

Submitted 12 September, 2019; v1 submitted 21 November, 2018; originally announced November 2018.

Comments: v2: the results are generalized to the case of Grassmannian of infinite-dimensional subspaces; v3: Assumptions on the coefficient field are removed

Journal ref: Arnold Math. J. 5 (2019), 373--385

On parabolic restriction of perverse sheaves

Authors: Roman Bezrukavnikov, Alexander Yom Din

Abstract: We prove exactness of parabolic restriction and induction functors for conjugation equivariant sheaves on a reductive group generalizing a well known result of Lusztig who established this property for character sheaves. We propose a conjectural (but known for character sheaves) t-exactness property of the Harish-Chandra transform and provide an evidence for that conjecture. We also present two ap… ▽ More We prove exactness of parabolic restriction and induction functors for conjugation equivariant sheaves on a reductive group generalizing a well known result of Lusztig who established this property for character sheaves. We propose a conjectural (but known for character sheaves) t-exactness property of the Harish-Chandra transform and provide an evidence for that conjecture. We also present two applications generalizing some results of Gabber and Loeser on perverse sheaves on an algebraic torus to an arbitrary reductive group. △ Less

Submitted 8 October, 2018; originally announced October 2018.

Comments: Comments are welcome

Localization properties of Chern insulators

Authors: Roman Bezrukavnikov, Anton Kapustin

Abstract: We study the localization properties of the equal-time electron Green's function in a Chern insulator in an arbitrary dimension and with an arbitrary number of bands. We prove that the Green's function cannot decay super-exponentially if the Hamiltonian is finite-range and the quantum Hall response is nonzero. For a general band Hamiltonian (possibly infinite-range), we prove that the Green's func… ▽ More We study the localization properties of the equal-time electron Green's function in a Chern insulator in an arbitrary dimension and with an arbitrary number of bands. We prove that the Green's function cannot decay super-exponentially if the Hamiltonian is finite-range and the quantum Hall response is nonzero. For a general band Hamiltonian (possibly infinite-range), we prove that the Green's function cannot be finite-range if the quantum Hall response is nonzero. The proofs use methods of algebraic geometry. △ Less

Submitted 17 October, 2018; v1 submitted 22 August, 2018; originally announced August 2018.

Comments: 8 pages. v2: acknowledgment added

A topological approach to Soergel theory

Authors: Roman Bezrukavnikov, Simon Riche

Abstract: We develop a "Soergel theory" for Bruhat-constructible perverse sheaves on the flag variety $G/B$ of a complex reductive group $G$, with coefficients in an arbitrary field $\Bbbk$. Namely, we describe the endomorphisms of the projective cover of the skyscraper sheaf in terms of a "multiplicative" coinvariant algebra, and then establish an equivalence of categories between projective (or tilting) o… ▽ More We develop a "Soergel theory" for Bruhat-constructible perverse sheaves on the flag variety $G/B$ of a complex reductive group $G$, with coefficients in an arbitrary field $\Bbbk$. Namely, we describe the endomorphisms of the projective cover of the skyscraper sheaf in terms of a "multiplicative" coinvariant algebra, and then establish an equivalence of categories between projective (or tilting) objects in this category and a certain category of "Soergel modules" over this algebra. We also obtain a description of the derived category of $T$-monodromic $\Bbbk$-sheaves on $G/U$ (where $U$, $T\subset B$ are the unipotent radical and the maximal torus), as a monoidal category, in terms of coherent sheaves on the formal neighborhood of the base point in $T^\vee_\Bbbk \times_{(T^\vee_\Bbbk)^W} T^\vee_\Bbbk$, where $T^\vee_\Bbbk$ is the $\Bbbk$-torus dual to $T$. △ Less

Submitted 18 February, 2020; v1 submitted 19 July, 2018; originally announced July 2018.

Comments: v2: minor corrections

An Iwahori-Whittaker model for the Satake category

Authors: Roman Bezrukavnikov, Dennis Gaitsgory, Ivan Mirković, Simon Riche, Laura Rider

Abstract: In this paper we prove, for G a connected reductive algebraic group satisfying a technical assumption, that the Satake category of G (with coefficients in a finite field, a finite extension of Q_l, or the ring of integers of such a field) can be described via Iwahori-Whittaker perverse sheaves on the affine Grassmannian. As an application, we confirm a conjecture of Juteau-Mautner-Williamson descr… ▽ More In this paper we prove, for G a connected reductive algebraic group satisfying a technical assumption, that the Satake category of G (with coefficients in a finite field, a finite extension of Q_l, or the ring of integers of such a field) can be described via Iwahori-Whittaker perverse sheaves on the affine Grassmannian. As an application, we confirm a conjecture of Juteau-Mautner-Williamson describing the tilting objects in the Satake category. △ Less

Submitted 17 December, 2019; v1 submitted 18 June, 2018; originally announced June 2018.

Comments: 25 pages - some references added

Journal ref: Journal de l'Ecole Polytechnique - Mathématiques 6 (2019), 707-735

Character values and Hochschild homology

Authors: Roman Bezrukavnikov, David Kazhdan

Abstract: We present a conjecture (and a proof for G=SL(2)) generalizing a result of J. Arthur which expresses a character value of a cuspidal representation of a $p$-adic group as a weighted orbital integral of its matrix coefficient. It also generalizes a conjecture by the second author proved by Schneider-Stuhler and (independently) the first author. The latter statement expresses an elliptic character v… ▽ More We present a conjecture (and a proof for G=SL(2)) generalizing a result of J. Arthur which expresses a character value of a cuspidal representation of a $p$-adic group as a weighted orbital integral of its matrix coefficient. It also generalizes a conjecture by the second author proved by Schneider-Stuhler and (independently) the first author. The latter statement expresses an elliptic character value as an orbital integral of a pseudo-matrix coefficient defined via the Chern character map taking value in zeroth Hochschild homology of the Hecke algebra. The present conjecture generalizes the construction of pseudo-matrix coefficient using compactly supported Hochschild homology, as well as a modification of the category of smooth representations, the so called compactified category of smooth $G$-modules. This newly defined "compactified pseudo-matrix coefficient" lies in a certain space on which the weighted orbital integral is a conjugation invariant linear functional, our conjecture states that evaluating a weighted orbital integral on the compactified pseudo-matrix coefficient one recovers the corresponding character value of the representation. We also discuss general properties of that space, building on works of Waldspurger and Beuzart-Plessis. △ Less

Submitted 10 October, 2018; v1 submitted 26 March, 2018; originally announced March 2018.

Comments: A funding acknowledgment is the only change from the previous version. 26pp

On dimension growth of modular irreducible representations of semisimple Lie algebras

Authors: Roman Bezrukavnikov, Ivan Losev

Abstract: In this paper we investigate the growth with respect to $p$ of dimensions of irreducible representations of a semisimple Lie algebra $\mathfrak{g}$ over $\overline{\mathbb{F}}_p$. More precisely, it is known that for $p\gg 0$, the irreducibles with a regular rational central character $λ$ and $p$-character $χ$ are indexed by a certain canonical basis in the $K_0$ of the Springer fiber of $χ$. This… ▽ More In this paper we investigate the growth with respect to $p$ of dimensions of irreducible representations of a semisimple Lie algebra $\mathfrak{g}$ over $\overline{\mathbb{F}}_p$. More precisely, it is known that for $p\gg 0$, the irreducibles with a regular rational central character $λ$ and $p$-character $χ$ are indexed by a certain canonical basis in the $K_0$ of the Springer fiber of $χ$. This basis is independent of $p$. For a basis element, the dimension of the corresponding module is a polynomial in $p$. We show that the canonical basis is compatible with the two-sided cell filtration for a parabolic subgroup in the affine Weyl group defined by $λ$. We also explain how to read the degree of the dimension polynomial from a filtration component of the basis element. We use these results to establish conjectures of the second author and Ostrik on a classification of the finite dimensional irreducible representations of W-algebras, as well as a strengthening of a result by the first author with Anno and Mirkovic on real variations of stabilities for the derived category of the Springer resolution. △ Less

Submitted 26 June, 2018; v1 submitted 4 August, 2017; originally announced August 2017.

Comments: 24 pages, v2 acknowledgements added; v3 references added

MSC Class: 17B20; 17B35; 17B50

Character bounds for finite groups of Lie type

Authors: Roman Bezrukavnikov, Martin W. Liebeck, Aner Shalev, Pham Huu Tiep

Abstract: We establish new bounds on character values and character ratios for finite groups $G$ of Lie type, which are considerably stronger than previously known bounds, and which are best possible in many cases. These bounds have the form $|χ(g)| \le χ(1)^{α_g}$, and give rise to a variety of applications, for example to covering numbers and mixing times of random walks on such groups. In particular we d… ▽ More We establish new bounds on character values and character ratios for finite groups $G$ of Lie type, which are considerably stronger than previously known bounds, and which are best possible in many cases. These bounds have the form $|χ(g)| \le χ(1)^{α_g}$, and give rise to a variety of applications, for example to covering numbers and mixing times of random walks on such groups. In particular we deduce that, if $G$ is a classical group in dimension $n$, then, under some conditions on $G$ and $g \in G$, the mixing time of the random walk on $G$ with the conjugacy class of $g$ as a generating set is (up to a small multiplicative constant) $n/s$, where $s$ is the support of $g$. △ Less

Submitted 12 July, 2017; originally announced July 2017.

Comments: 40 pages

MSC Class: 20C33; 20G05 (Primary) 20D06; 20P05 (Secondary)

Deligne-Lusztig duality and wonderful compactification

Authors: Joseph Bernstein, Roman Bezrukavnikov, David Kazhdan

Abstract: We use geometry of the wonderful compactification to obtain a new proof of the relation between Deligne-Lusztig (or Alvis-Curtis) duality for $p$-adic groups and the homological duality. This provides a new way to introduce an involution on the set of irreducible representations of the group which has been defined by A. Zelevinsky for $G=GL(n)$ by A.-M. Aubert in general (less direct geometric app… ▽ More We use geometry of the wonderful compactification to obtain a new proof of the relation between Deligne-Lusztig (or Alvis-Curtis) duality for $p$-adic groups and the homological duality. This provides a new way to introduce an involution on the set of irreducible representations of the group which has been defined by A. Zelevinsky for $G=GL(n)$ by A.-M. Aubert in general (less direct geometric approaches to this duality have been developed earlier by Schneider-Stuhler and by the second author). As a byproduct we obtain a description of the Serre functor for representations of a p-adic group. △ Less

Submitted 10 October, 2018; v1 submitted 25 January, 2017; originally announced January 2017.

Comments: 14pp. The only change from the previous version is a modified grant acknowledgment

Quantization of Hitchin integrable system via positive characteristic

Authors: Roman Bezrukavnikov, Roman Travkin, Tsao-Hsien Chen, Xinwen Zhu

Abstract: In a celebrated unpublished manuscript Beilinson and Drinfeld quantize the Hitchin integrable system by showing that the global sections of critically twisted differential operators on the moduli stack of G-bundles on an algebraic curve is identified with the ring of regular functions on the space of G-opers; they deduce existence of an automorphic D-module corresponding to a local system carrying… ▽ More In a celebrated unpublished manuscript Beilinson and Drinfeld quantize the Hitchin integrable system by showing that the global sections of critically twisted differential operators on the moduli stack of G-bundles on an algebraic curve is identified with the ring of regular functions on the space of G-opers; they deduce existence of an automorphic D-module corresponding to a local system carrying a structure of an oper. In this note we show for G=GL(n) that those results admit a short proof by reduction to positive characteristic, where they are deduced from generic Langlands duality established earlier by the first author and A. Braverman. The appendix contains a proof of some properties of the p-curvature map restricted to the space of opers. △ Less

Submitted 3 October, 2023; v1 submitted 3 March, 2016; originally announced March 2016.

Comments: paper by Roman Bezrukavnikov and Roman Travkin with an appendix by Roman Bezrukavnikov, Tsao-Hsien Chen and Xinwen Zhu. This version features a dedication to David Kazhdan, improved exposition at several places including the appendix

Bernstein components via Bernstein center

Authors: Alexander Braverman, David Kazhdan, Roman Bezrukavnikov

Abstract: Let G be a reductive p-adic group. Let $Φ$ be an invariant distribution on G lying in the Bernstein center Z(G). We prove that $Φ$ is supported on compact elements in G if and only if it defines a constant function on every component of the set Irr(G); in particular, we show that the space of all elements of Z(G) supported on compact elements is a subalgebra of Z(G). Our proof is a slight modiific… ▽ More Let G be a reductive p-adic group. Let $Φ$ be an invariant distribution on G lying in the Bernstein center Z(G). We prove that $Φ$ is supported on compact elements in G if and only if it defines a constant function on every component of the set Irr(G); in particular, we show that the space of all elements of Z(G) supported on compact elements is a subalgebra of Z(G). Our proof is a slight modiification of the arguments of J.F.Dat who proved our result in one direction. △ Less

Submitted 11 October, 2018; v1 submitted 29 December, 2015; originally announced December 2015.

Comments: Dedicated to J.Bernstein on the occasion of his 70th birthday

Koszul Duality for Quasi-split Real Groups

Authors: Roman Bezrukavnikov, Kari Vilonen

Abstract: We establish a categorical version of Vogan duality for quasi-split real groups. This proves a conjecture of Soergel in the quasi-split case. We establish a categorical version of Vogan duality for quasi-split real groups. This proves a conjecture of Soergel in the quasi-split case. △ Less

Submitted 5 May, 2021; v1 submitted 28 October, 2015; originally announced October 2015.

Comments: Minor improvements compared to the previous version, a lemma showing the main bijection is almost canonical added

Microlocal sheaves and quiver varieties

Authors: Roman Bezrukavnikov, Mikhail Kapranov

Abstract: We relate Nakajima Quiver Varieties (or, rather, their multiplicative version) with moduli spaces of perverse sheaves. More precisely, we consider a generalization of the concept of perverse sheaves: microlocal sheaves on a nodal curve X. They are defined as perverse sheaves on normalization of X with a Fourier transform condition near each node and form an abelian category M(X). One has a similar… ▽ More We relate Nakajima Quiver Varieties (or, rather, their multiplicative version) with moduli spaces of perverse sheaves. More precisely, we consider a generalization of the concept of perverse sheaves: microlocal sheaves on a nodal curve X. They are defined as perverse sheaves on normalization of X with a Fourier transform condition near each node and form an abelian category M(X). One has a similar triangulated category DM(X) of microlocal complexes. For a compact X we show that DM(X) is Calabi-Yau of dimension 2. In the case when all components of X are rational, M(X) is equivalent to the category of representations of the multiplicative pre-projective algebra associated to the intersection graph of X. Quiver varieties in the proper sense are obtained as moduli spaces of microlocal sheaves with a framing of vanishing cycles at singular points. The case when components of X have higher genus, leads to interesting generalizations of preprojective algebras and quiver varieties. We analyze them from the point of view of pseudo-Hamiltonian reduction and group-valued moment maps. △ Less

Submitted 29 June, 2015; v1 submitted 23 June, 2015; originally announced June 2015.

Comments: 49 pages

On the depth r Bernstein projector

Authors: Roman Bezrukavnikov, David Kazhdan, Yakov Varshavsky

Abstract: In this paper we prove an explicit formula for the Bernstein projector to representations of depth at most r. As a consequence, we show that the depth zero Bernstein projector is supported on topologically unipotent elements and it is equal to the restriction of the character of the Steinberg representation. As another application, we deduce that the depth r Bernstein projector is stable. Moreover… ▽ More In this paper we prove an explicit formula for the Bernstein projector to representations of depth at most r. As a consequence, we show that the depth zero Bernstein projector is supported on topologically unipotent elements and it is equal to the restriction of the character of the Steinberg representation. As another application, we deduce that the depth r Bernstein projector is stable. Moreover, for integral depths our proof is purely local. △ Less

Submitted 10 October, 2018; v1 submitted 6 April, 2015; originally announced April 2015.

Comments: 42 pages, a grant acknowledgement is changed

Journal ref: Selecta Math. (N.S.) 22 (2016), no. 4, 2271-2311

Etingof conjecture for quantized quiver varieties

Authors: Roman Bezrukavnikov, Ivan Losev

Abstract: We compute the number of finite dimensional irreducible modules for the algebras quantizing Nakajima quiver varieties. We get a lower bound for all quivers and vectors of framing and provide an exact count in the case when the quiver is of finite type or is of affine type and the framing is the coordinate vector at the extending vertex. The latter case precisely covers Etingof's conjecture on the… ▽ More We compute the number of finite dimensional irreducible modules for the algebras quantizing Nakajima quiver varieties. We get a lower bound for all quivers and vectors of framing and provide an exact count in the case when the quiver is of finite type or is of affine type and the framing is the coordinate vector at the extending vertex. The latter case precisely covers Etingof's conjecture on the number of finite dimensional irreducible representations for Symplectic reflection algebras associated to wreath-product groups. We use several different techniques, the two principal ones are categorical Kac-Moody actions and wall-crossing functors. We finish the paper outlining some future directions of research. △ Less

Submitted 15 November, 2020; v1 submitted 6 September, 2013; originally announced September 2013.

Comments: v4, 95 pages, major changes, accepted version

MSC Class: Primary 16G99; Secondary 16G20; 53D20; 53D55

A categorical approach to the stable center conjecture

Authors: Roman Bezrukavnikov, David Kazhdan, Yakov Varshavsky

Abstract: The stable center conjecture asserts that the space of stable distributions in the Bernstein center of a reductive p-adic is closed under convolution. It is closely related to the notion of an L-packet and endoscopy theory. We describe a categorical approach to the depth zero part of the conjecture. As an illustration of our method, we show that the Bernstein projector to the depth zero spectrum i… ▽ More The stable center conjecture asserts that the space of stable distributions in the Bernstein center of a reductive p-adic is closed under convolution. It is closely related to the notion of an L-packet and endoscopy theory. We describe a categorical approach to the depth zero part of the conjecture. As an illustration of our method, we show that the Bernstein projector to the depth zero spectrum is stable. △ Less

Submitted 10 October, 2018; v1 submitted 17 July, 2013; originally announced July 2013.

Comments: 74 pages, a grant acknowledgement is changed

Journal ref: Asterisque No. 369 (2015), 27-97

On two geometric realizations of an affine Hecke algebra

Authors: Roman Bezrukavnikov

Abstract: The article is a contribution to the local theory of geometric Langlands correspondence. The main result is a categorification of the isomorphism between the (extended) affine Hecke algebra, thought of as an algebra of Iwahori bi-invariant functions on a semi-simple group over a local non-Archimedian field, and Grothendieck group of equivariant coherent sheaves on Steinberg variety of the Langland… ▽ More The article is a contribution to the local theory of geometric Langlands correspondence. The main result is a categorification of the isomorphism between the (extended) affine Hecke algebra, thought of as an algebra of Iwahori bi-invariant functions on a semi-simple group over a local non-Archimedian field, and Grothendieck group of equivariant coherent sheaves on Steinberg variety of the Langlands dual group; this isomorphism due to Kazhdan--Lusztig and Ginzburg is a key step in the proof of tamely ramified local Langlands conjectures. The paper is a continuation of an earlier joint work with S. Arkhipov, it relies on technical material developed in a paper with Z. Yun. △ Less

Submitted 12 October, 2021; v1 submitted 3 September, 2012; originally announced September 2012.

Comments: This version contains some post-publication corrections. The statements (including their numbering) have not changed except for Theorem 54 where a vector bundle has been replaced by its dual

Journal ref: Publ. Publication IHES 123(1) (2016), 1-67

Wreath Macdonald polynomials and categorical McKay correspondence

Authors: Roman Bezrukavnikov, Michael Finkelberg

Abstract: Mark Haiman has reduced Macdonald positivity conjecture to a statement about geometry of the Hilbert scheme of points on the plane, and formulated a generalization of the conjectures where the symmetric group is replaced by the wreath product $S_n\ltimes (Z/r Z)^n$. He has proven the original conjecture by establishing the geometric statement about the Hilbert scheme, as a byproduct he obtained a… ▽ More Mark Haiman has reduced Macdonald positivity conjecture to a statement about geometry of the Hilbert scheme of points on the plane, and formulated a generalization of the conjectures where the symmetric group is replaced by the wreath product $S_n\ltimes (Z/r Z)^n$. He has proven the original conjecture by establishing the geometric statement about the Hilbert scheme, as a byproduct he obtained a derived equivalence between coherent sheaves on the Hilbert scheme and coherent sheaves on the orbifold quotient of ${\mathbb A}^{2n}$ by the symmetric group $S_n$. A short proof of a similar derived equivalence for any symplectic quotient singularity has been obtained by the first author and Kaledin via quantization in positive characteristic. In the present note we show the properties of the derived equivalence which imply the generalized Macdonald positivity for wreath products. △ Less

Submitted 15 December, 2014; v1 submitted 17 August, 2012; originally announced August 2012.

Comments: Appendix by Vadim Vologodsky. This is a slight modification (correction) of the version to appear in Cambridge Math Journal. The difference is in replacing $λ$ by $^t λ$ and such

Geometry of second adjointness for p-adic groups

Authors: Roman Bezrukavnikov, David Kazhdan

Abstract: We present a geometric proof of Bernstein's second adjointness for a reductive $p$-adic group. Our approach is based on geometry of the wonderful compactification and related varieties. Considering asymptotic behavior of a function on the group in a neighborhood of a boundary stratum of the compactification, we get a "co-specialization" map between spaces of functions on various varieties with… ▽ More We present a geometric proof of Bernstein's second adjointness for a reductive $p$-adic group. Our approach is based on geometry of the wonderful compactification and related varieties. Considering asymptotic behavior of a function on the group in a neighborhood of a boundary stratum of the compactification, we get a "co-specialization" map between spaces of functions on various varieties with $G\times G$ action. These maps can be viewed as maps of bimodules for the Hecke algebra, and the corresponding natural transformations of functors lead to the second adjointness. We also get a formula for the "co-specialization" map expressing it as a composition of the orishperic transform and inverse intertwining operator; a parallel result for $D$-modules was obtained in arXiv:0902.1493. As a byproduct we obtain a formula for the Plancherel functional restricted to a certain commutative subalgebra in the Hecke algebra, generalizing a result by Opdam. △ Less

Submitted 4 October, 2015; v1 submitted 29 December, 2011; originally announced December 2011.

Comments: 40 pages; minor, mostly typographical corrections; final version

Highest weight modules at the critical level and noncommutative Springer resolution

Authors: Roman Bezrukavnikov, Qian Lin

Abstract: In arXiv:1001.2562 a certain non-commutative algebra $A$ was defined starting from a semi-simple algebraic group, so that the derived category of $A$-modules is equivalent to the derived category of coherent sheaves on the Springer (or Grothendieck-Springer) resolution. Let $\hat{\g}$ be the affine Lie algebra corresponding to the Langlands dual Lie algebra. Using results of Frenkel and Gaitsgor… ▽ More In arXiv:1001.2562 a certain non-commutative algebra $A$ was defined starting from a semi-simple algebraic group, so that the derived category of $A$-modules is equivalent to the derived category of coherent sheaves on the Springer (or Grothendieck-Springer) resolution. Let $\hat{\g}$ be the affine Lie algebra corresponding to the Langlands dual Lie algebra. Using results of Frenkel and Gaitsgory arXiv:0712.0788 we show that the category of $\hat{\g}$ modules at the critical level which are Iwahori integrable and have a fixed central character, is equivalent to the category of modules over a quotient of $A$ by a central character. This implies that numerics of Iwahori integrable modules at the critical level is governed by the canonical basis in the $K$-group of a Springer fiber, which was conjecturally described by Lusztig and constructed in arXiv:1001.2562. △ Less

Submitted 29 December, 2011; v1 submitted 9 August, 2011; originally announced August 2011.

Comments: 13 pages, more typos corrected in this version

Stability conditions for Slodowy slices and real variations of stability

Authors: Rina Anno, Roman Bezrukavnikov, Ivan Mirkovic

Abstract: We provide examples of an explicit submanifold in Bridgeland stabilities space of a local Calabi-Yau, and propose a new variant of definition of stabilities on a triangulated category, which we call a "real variation of stability conditions". We discuss its relation to Bridgeland's definition; the main theorem provides an illustration of such a relation. We also state a conjecture by the second au… ▽ More We provide examples of an explicit submanifold in Bridgeland stabilities space of a local Calabi-Yau, and propose a new variant of definition of stabilities on a triangulated category, which we call a "real variation of stability conditions". We discuss its relation to Bridgeland's definition; the main theorem provides an illustration of such a relation. We also state a conjecture by the second author and Okounkov relating this structure to quantum cohomology of symplectic resolutions and establish its validity in some special cases. More precisely, let X be the standard resolution of a transversal slice to an adjoint nilpotent orbit of a simple Lie algebra over C. An action of the affine braid group on the derived category of coherent sheaves on X and a collection of t-structures on this category permuted by the action have been constructed in arXiv:1101.3702 and arXiv:1001.2562 respectively. In this note we show that the t-structures come from points in a certain connected submanifold in the space of Bridgeland stability conditions. The submanifold is a covering of a submanifold in the dual space to the Grothendieck group, and the affine braid group acts by deck transformations. In the special case when dim (X)=2 a similar (in fact, stronger) result was obtained in arXiv:math/0508257. △ Less

Submitted 18 December, 2014; v1 submitted 7 August, 2011; originally announced August 2011.

Comments: 16 pages. This version features an updated Introduction

Affine braid group actions on derived categories of Springer resolutions

Authors: Roman Bezrukavnikov, Simon Riche

Abstract: In this paper we construct and study an action of the affine braid group associated to a semi-simple algebraic group on derived categories of coherent sheaves on various varieties related to the Springer resolution of the nilpotent cone. In particular, we describe explicitly the action of the Artin braid group. This action is a "categorical version" of Kazhdan--Lusztig--Ginzburg's construction of… ▽ More In this paper we construct and study an action of the affine braid group associated to a semi-simple algebraic group on derived categories of coherent sheaves on various varieties related to the Springer resolution of the nilpotent cone. In particular, we describe explicitly the action of the Artin braid group. This action is a "categorical version" of Kazhdan--Lusztig--Ginzburg's construction of the affine Hecke algebra, and is used in particular by the first author and Ivan Mirkovic in the course of the proof of Lusztig's conjectures on equivariant K-theory of Springer fibers. △ Less

Submitted 14 May, 2011; v1 submitted 19 January, 2011; originally announced January 2011.

Comments: 68 pages; very minor modifications

On Koszul duality for Kac-Moody groups

Authors: Roman Bezrukavnikov, Zhiwei Yun

Abstract: For any Kac-Moody group $G$ with Borel $B$, we give a monoidal equivalence between the derived category of $B$-equivariant mixed complexes on the flag variety $G/B$ and (a certain completion of) the derived category of $B^\vee$-monodromic mixed complexes on the enhanced flag variety $G^\vee/U^\vee$, here $G^\vee$ is the Langlands dual of $G$. We also prove variants of this equivalence, one of whic… ▽ More For any Kac-Moody group $G$ with Borel $B$, we give a monoidal equivalence between the derived category of $B$-equivariant mixed complexes on the flag variety $G/B$ and (a certain completion of) the derived category of $B^\vee$-monodromic mixed complexes on the enhanced flag variety $G^\vee/U^\vee$, here $G^\vee$ is the Langlands dual of $G$. We also prove variants of this equivalence, one of which is the equivalence between the derived category of $U$-equivariant mixed complexes on the partial flag variety $G/P$ and certain "Whittaker model" category of mixed complexes on $G^\vee/B^\vee$. In all these equivalences, intersection cohomology sheaves correspond to (free-monodromic) tilting sheaves. Our results generalize the Koszul duality patterns for reductive groups in the work of Beilinson, Ginzburg and Soergel . △ Less

Submitted 22 July, 2014; v1 submitted 6 January, 2011; originally announced January 2011.

Comments: 92 pages; with appendices by Zhiwei Yun; final version

MSC Class: 20G44; 14M15; 14F05

Journal ref: Represent. Theory 17 (2013), 1-98

Representations of semisimple Lie algebras in prime characteristic and noncommutative Springer resolution

Authors: Roman Bezrukavnikov, Ivan Mirkovic, with an Appendix by Eric Sommers

Abstract: We prove most of Lusztig's conjectures from the paper "Bases in equivariant K-theory II", including the existence of a canonical basis in the Grothendieck group of a Springer fiber. The conjectures also predict that this basis controls numerics of representations of the Lie algebra of a semi-simple algebraic group over an algebraically closed field of positive characteristic. We check this for alm… ▽ More We prove most of Lusztig's conjectures from the paper "Bases in equivariant K-theory II", including the existence of a canonical basis in the Grothendieck group of a Springer fiber. The conjectures also predict that this basis controls numerics of representations of the Lie algebra of a semi-simple algebraic group over an algebraically closed field of positive characteristic. We check this for almost all characteristics. To this end we construct a non-commutative resolution of the nilpotent cone which is derived equivalent to the Springer resolution. On the one hand, this noncommutative resolution is shown to be compatible with the positive characteristic version of Beilinson-Bernstein localization equivalences. On the other hand, it is compatible with the t-structure arising from the equivalence of Arkhipov-Bezrukavnikov with the derived category of perverse sheaves on the affine flag variety of the Langlands dual group, which was inspired by local geometric Langlands duality. This allows one to apply Frobenius purity theorem to deduce the desired properties of the basis. We expect the noncommutative counterpart of the Springer resolution to be of independent interest from the perspectives of algebraic geometry and geometric Langlands duality. △ Less

Submitted 15 September, 2012; v1 submitted 14 January, 2010; originally announced January 2010.

Comments: minor, mostly cosmetic changes compared to the previous version, 94pp

Character D-modules via Drinfeld center of Harish-Chandra bimodules

Authors: Roman Bezrukavnikov, Michael Finkelberg, Victor Ostrik

Abstract: The category of character D-modules is realized as Drinfeld center of the abelian monoidal category of Harish-Chandra bimodules. Tensor product of Harish-Chandra bimodules is related to convolution of D-modules via the long intertwining functor (Radon transform) by a result of Beilinson and Ginzburg. Exactness property of the long intertwining functor on a cell subquotient of the Harish-Chandra bi… ▽ More The category of character D-modules is realized as Drinfeld center of the abelian monoidal category of Harish-Chandra bimodules. Tensor product of Harish-Chandra bimodules is related to convolution of D-modules via the long intertwining functor (Radon transform) by a result of Beilinson and Ginzburg. Exactness property of the long intertwining functor on a cell subquotient of the Harish-Chandra bimodules category shows that the truncated convolution category can be realized as a subquotient of the category of Harish-Chandra bimodules. Together with the description of the truncated convolution category arXiv:math/0605628v3 this allows us to derive classification of irreducible character sheaves over $\mathbb C$ obtained by Lusztig by a different method. We also give a simple description for the top cohomology of convolution of character sheaves over $\mathbb C$ in a given cell modulo smaller cells and relate the so-called Harish-Chandra functor to Verdier specialization in the De Concini-Procesi compactification. △ Less

Submitted 2 June, 2014; v1 submitted 9 February, 2009; originally announced February 2009.

Comments: 28 pages. This is a post-publication revision of the article. The statements (and their numbering) are identical to the published version but some proofs are corrected and/or clarified

Perverse coherent sheaves

Authors: Dmitry Arinkin, Roman Bezrukavnikov

Abstract: We describe an analogue of the notion of a perverse sheaf in the setting of the derived category of coherent sheaves on an algebraic stack. Under strong additional assumptions the construction of coherent "intersection cohomology" complexes works. This paper supersedes the preprint arXiv:math/0005152 by the second author. We describe an analogue of the notion of a perverse sheaf in the setting of the derived category of coherent sheaves on an algebraic stack. Under strong additional assumptions the construction of coherent "intersection cohomology" complexes works. This paper supersedes the preprint arXiv:math/0005152 by the second author. △ Less

Submitted 3 February, 2021; v1 submitted 2 February, 2009; originally announced February 2009.

Comments: This is a correction of the published version. The minus sign was missing in the homological shift at several places in Proposition 4.11 and its proof

Journal ref: Moscow Math J, vol. 10, no. 1 (2010), pp. 3--29

Parabolic induction and restriction functors for rational Cherednik algebras

Authors: Roman Bezrukavnikov, Pavel Etingof

Abstract: We introduce parabolic induction and restriction functors for rational Cherednik algebras, and study their basic properties. Then we discuss applications of these functors to representation theory of rational Cherednik algebras. In particular, we prove the Gordon-Stafford theorem about Morita equivalence of the rational Cherednik algebra for type A and its spherical subalgebra, without the assum… ▽ More We introduce parabolic induction and restriction functors for rational Cherednik algebras, and study their basic properties. Then we discuss applications of these functors to representation theory of rational Cherednik algebras. In particular, we prove the Gordon-Stafford theorem about Morita equivalence of the rational Cherednik algebra for type A and its spherical subalgebra, without the assumption that c is not a half-integer, which was required up to now. Also, we classify representations from category O over the rational Cherednik algebras of type A which do not contain an S_n-invariant vector, and confirm a conjecture of Okounkov and the first author on the number of such representations. In the second version we have added a result on the simplicity of the spherical Cherednik algebra of type A for -1<c<0, and a strengthened version of the main result of arXiv:math/0312474, as well as an appendix by the second author containing arXiv:0706.4308, on the reducibility of the polynomial representation of the trigonometric Cherednik algebra. △ Less

Submitted 28 October, 2009; v1 submitted 25 March, 2008; originally announced March 2008.

Comments: 28 pages, latex; two new sections and an appendix containing arXiv:0706.4308 are added; Conjecture 4.4 (which was false) is replaced by a counterexample

On semi-infinite cohomology of finite dimensional graded algebras

Authors: Roman Bezrukavnikov, Leonid Positselski

Abstract: We describe a general setting for the definition of semi-infinite cohomology of finite dimensional algebras, and provide its categorical interpretation. We apply this interpretation to compute semi-infinite cohomology of some modules over the small group at a root of unity, generalizing an earlier result of S. Arkhipov (conjectured by B. Feigin). We describe a general setting for the definition of semi-infinite cohomology of finite dimensional algebras, and provide its categorical interpretation. We apply this interpretation to compute semi-infinite cohomology of some modules over the small group at a root of unity, generalizing an earlier result of S. Arkhipov (conjectured by B. Feigin). △ Less

Submitted 21 March, 2008; originally announced March 2008.

Comments: 17 pages; this paper supersedes preprint arXiv:math/0005148 by the first author

Journal ref: Compositio Math. 146 (2010) 480-496

Equivariant Satake category and Kostant-Whittaker reduction

Authors: Roman Bezrukavnikov, Michael Finkelberg

Abstract: 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 descriptio… ▽ More 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. △ Less

Submitted 18 February, 2008; v1 submitted 25 July, 2007; originally announced July 2007.

Comments: 31 pages, to appear in Moscow Math J; some typos corrected