Searcharxiv⌕ Search

arXiv subjects

Simon Riche

Publications and source records attributed to Simon Riche.

At least 19 recordsLinked to original sources
arXiv2025

Equivariant Koszul Duality, Modular Category $\mathcal{O}$, and Periodic Kazhdan--Lusztig Polynomials

Let $G$ be a connected reductive algebraic group over an algebraically closed field of positive characteristic, $\mathfrak{g}$ be its Lie algebra, and $B$ be a Borel subgroup. We prove a formula for the dimensions of extension groups, in the principal block of the category of strongly $B$-equivariant $\mathfrak{g}$-modules (also called modular category $\mathcal{O}$), from a simple object to a costandard object, under the assumption that Lusztig's conjecture holds (which is known in large characteristic). The answer is given by a coefficient of a periodic Kazhdan--Lusztig polynomial associated with the corresponding affine Weyl group. Among other things, the proof uses a torus-equivariant version of the Koszul duality for $\mathfrak{g}$-modules constructed by the first author.

math.RT↗
arXiv2025

Tilting modules for reductive algebraic groups: characters and support varieties

These notes are our contribution to the Proceedings of the ICM 2026. We discuss some results we have obtained (in part jointly with coauthors) regarding the representation theory of reductive algebraic groups over algebraically closed fields of positive characteristic. These statements mainly concern tilting modules, in particular their characters and support varieties.

math.RT↗
arXiv2025

Modular intersection cohomology of Drinfeld's compactifications

We compute the dimension of the cohomology of stalks of intersection cohomology complexes on Zastava schemes and Drinfeld compactifications associated with a connected reductive algebraic group $G$, in case the characteristic of the coefficients field $\Bbbk$ is good for $G$. In particular, we show that these dimensions do not depend on the choice of $\Bbbk$.

math.RT↗
arXiv2025

Semiinfinite sheaves on affine flag varieties

We study a category of semiinfinite sheaves on the affine flag variety of a connected reductive algebraic group, with coefficients in a field (of arbitrary characteristic different from that of the base field), generalizing some results of Gaitsgory and showing that this category behaves like familiar categories of sheaves on flag varieties in many respects. Our interest is motivated by expected relations with representation theory of the Lie algebra of the Langlands dual reductive group.

math.RT↗
arXiv2024

Mixed modular perverse sheaves on affine flag varieties and Koszul duality

Under some technical assumptions, and building on joint work with Bezrukavnikov, we prove a multiplicity formula for indecomposable tilting perverse sheaves on affine flag varieties, with coefficients in a field of characteristic $p$, in terms of $p$-Kazhdan--Lusztig polynomials. Under the same assumptions, we also explain the construction of a "degrading functor" relating mixed modular perverse sheaves (as defined in joint work with Achar) on such varieties to ordinary perverse sheaves.

math.RT↗
arXiv2024

A modular ramified geometric Satake equivalence

We extend the ramified geometric Satake equivalence due to Zhu (for tamely ramified groups) and the third named author (in full generality) from rational coefficients to include modular and integral 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\'c 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\'c giving a geometric realization of the principal block of algebraic representations of $G$.

math.RT↗
arXiv2023

On multi-graded Proj schemes

We review the construction (due to Brenner--Schr\"oer) of the Proj scheme associated with a ring graded by a finitely generated abelian group. This construction generalizes the well-known Grothendieck Proj construction for $\mathbb{N}$-graded rings; we extend some classical results (in particular, regarding quasi-coherent sheaves on such schemes) from the $\mathbb{N}$-graded setting to this general setting, and prove new results that make sense only in the general setting of Brenner--Schr\"oer. Finally, we show that flag varieties of reductive groups, as well as some vector bundles over such varieties attached to representations of a Borel subgroup, can be naturally interpreted in this formalism.

math.AG↗
arXiv2023

Higher nearby cycles and central sheaves on affine flag varieties

In this paper we generalize and study a notion of (unipotent) nearby cycles over a higher dimensional base based on Be\u{i}linson's description of unipotent nearby cycles, following an idea of Gaitsgory. This generalization, in the setting of affine Grassmannians, is required in recent work of Bezrukavnikov-Braverman-Finkelberg-Kazhdan.

math.AG↗
arXiv2023

Koszul duality for Coxeter groups

We construct a "Koszul duality" equivalence relating the (diagrammatic) Hecke category attached to a Coxeter system and a given realization to the Hecke category attached to the same Coxeter system and the dual realization. This extends a construction of Beilinson-Ginzburg-Soergel and Bezrukavnikov-Yun in a geometric context, and of the first author with Achar, Makisumi and Williamson. As an application, we show that the combinatorics of the "tilting perverse sheaves" considered in arXiv:1802.07651 is encoded in the combinatorics of the canonical basis of the Hecke algebra of $(W,S)$ attached to the dual realization.

math.RT↗
arXiv2022

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↗
arXiv2022

A geometric model for blocks of Frobenius kernels

Building on a geometric counterpart of Steinberg's tensor product formula for simple representations of a connected reductive algebraic group $G$ over a field of positive characteristic, and following an idea of Arkhipov--Bezrukavnikov--Braverman--Gaitsgory--Mirkovi\'c, we define and initiate the study of some categories of perverse sheaves on the affine Grassmannian of the Langlands dual group to $G$ that should provide geometric models for blocks of representations of the Frobenius kernel $G_1$ of $G$. In particular, we show that these categories admit enough projective and injective objects, which are closely related to some tilting perverse sheaves, and that they are highest weight categories in an appropriate generalized sense.

math.RT↗
arXiv2021

A geometric Steinberg formula

We prove an isomorphism for simple perverse sheaves on the affine Grassmannian of a connected reductive algebraic group that is a geometric counterpart (in light of the Finkelberg-Mirkovi\'c conjecture) of the Steinberg tensor product formula for simple representations of reductive groups over fields of positive characteristic.

math.RT↗
arXiv2020

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↗
arXiv2020

Smith-Treumann theory and the linkage principle

We apply Treumann's "Smith theory for sheaves" in the context of the Iwahori--Whittaker model of the Satake category. We deduce two results in the representation theory of reductive algebraic groups over fields of positive characteristic: (a) a geometric proof of the linkage principle; (b) a character formula for tilting modules in terms of the $\ell$-canonical basis, valid in all blocks and in all characteristics.

math.RT↗