Related papers: On Soergel bimodules

We attempt to give a gentle (though ahistorical) introduction to Koszul duality phenomena for the Hecke category, focusing on the form of this duality studied in joint work of Achar, Riche, Williamson, and the author. We illustrate some key…

Let R be the polynomial ring in n variables, acted on by the symmetric group S_n. Soergel constructed a full monoidal subcategory of R-bimodules which categorifies the Hecke algebra, whose objects are now known as Soergel bimodules. Soergel…

We establish a theory of singular Soergel bimodules which is a generalization of (a part of) Williamson's theory. We use a formulation of Soergel bimodules developed by the author.

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…

We define and study categories of singular Soergel bimodules, which are certain natural generalisations of Soergel bimodules. Indecomposable singular Soergel bimodules are classified, and we conclude that the split Grothendieck group of the…

In this article, we develop a generalization of finitary birepresentation theory applicable to Soergel bimodules for infinite Coxeter groups. We establish a reduction process for the classification of simple birepresentations of almost…

In this note, we compute the split Grothendieck ring of a generalized category of Soergel bimodules of type $A_2$, where we take one generator for each reflection. We give a presentation by generators and relations of it and a…

We produce an explicit recursive formula which computes the idempotent projecting to any indecomposable Soergel bimodule for a universal Coxeter system. This gives the exact set of primes for which the positive characteristic analogue of…

We determine for which Coxeter types the associated small quotient of the $2$-category of Soergel bimodules is finitary and, for such a small quotient, classify the simple transitive $2$-representations (sometimes under the additional…

We reduce some key calculations of compositions of morphisms between Soergel bimodules ("Soergel calculus") to calculations in the nil Hecke ring ("Schubert calculus"). This formula has several applications in modular representation theory.

We show that certain category of bimodules over a finite dimensional quiver algebra known as type B zigzag algebra is a quotient category of the category of type B Soergel bimodules. This leads to an alternate proof of Rouquier's conjecture…

We give a gentle introduction to the concept of folding. That is, we provide an elementary discussion of equivariant categories, their weighted Grothendieck groups, and the technical aspects of computing with them. We then perform the…

Let $V$ be a simple vertex operator algebra containing a rank $n$ Heisenberg vertex algebra $H$ and let $C=\text{Com}\left( {H}, {V}\right)$ be the coset of ${H}$ in ${V}$. Assuming that the representation categories of interest are vertex…

We describe a collection of graded rings which surject onto Webster rings for sl(2) and which should be related to certain categories of singular Soergel bimodules. In the first non-trivial case, we construct a categorical braid group…

In this paper we construct an abelian category of "mixed perverse sheaves" attached to any realization of a Coxeter group, in terms of the associated Elias-Williamson diagrammatic category. This construction extends previous work of the…

Algebra objects in $\infty$-categories of spans admit a description in terms of $2$-Segal objects. We introduce a notion of span between $2$-Segal objects and extend this correspondence to an equivalence of $\infty$-categories.…

The word `double' was used by Ehresmann to mean `an object X in the category of all X'. Double categories, double groupoids and double vector bundles are instances, but the notion of Lie algebroid cannot readily be doubled in the Ehresmann…

Given a vector space with an action of a semi-simple Lie algebra, we can try to "categorify" this representation, which means finding a category where the generators of the Lie algebra act by functors. Such categorical representations arise…

We construct a functor from the Hecke category to a groupoid built from the underlying Coxeter group. This fixes a gap in an earlier work of the authors. This functor provides an abstract realization of the localization of the Hecke…

We construct a categorification of the braid groups associated with Coxeter groups inside the homotopy category of Soergel's bimodules. Classical actions of braid groups on triangulated categories should come from an action of this monoidal…