Let $\textbf {G}$ be a simply connected semisimple algebraic group over a field of characteristic greater than the Coxeter number. We construct a monoidal action of the diagrammatic Hecke category on the principal block $\operatorname {Rep}_0(\textbf {G})$ of $\operatorname {Rep}(\textbf {G})$ by wall-crossing functors. This action was conjectured to exist by Riche and Williamson. Our method uses constructible sheaves and relies on Smith–Treumann theory.

For a Whitney stratification S of a space X (or, more generally, a topological stratification in the sense of Goresky and MacPherson) we introduce the notion of an S-constructible stack of categories on X. The motivating example is the stack of S-constructible perverse sheaves. We introduce a 2-category EP≤2(X,S), called the exit-path 2-category, which is a natural stratified version of the fundamental 2-groupoid. Our main result is that the 2-category of S-constructible stacks on X is equivalent to the 2-category of 2-functors 2Funct(EP≤2(X,S),Cat) from the exit-path 2-category to the 2-category of small categories.

A new family of sheaves has been recently studied by M. Kashiwara and P. Schapira generalizing to constructible sheaves the notion of moderate and formal cohomology. We prove comparison theorems when we regard these sheaves as solutions of a $\cal D$-module. These results are natural generalizations of those of Y. Laurent and the author.