arXiv subjects

Roman Bezrukavnikov

Publications and source records attributed to Roman Bezrukavnikov.

At least 19 recordsLinked to original sources

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↗

arXiv2025

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↗

arXiv2024

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↗

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

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↗

arXiv2023

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↗

arXiv2023

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↗

arXiv2023

Quantization of Hitchin integrable system via positive characteristic

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.

math.RT↗

arXiv2023

A geometric realization of the center of the small quantum group

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.

math.RT↗

arXiv2022

Non-abelian Hodge moduli spaces and homogeneous affine Springer fibers

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.

math.AG↗

arXiv2022

Hecke action on the principal block

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.

math.RT↗

arXiv2022

Monodromic model for Khovanov-Rozansky homology

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.

math.RT↗