Related papers: The Hodge theory of Soergel bimodules

Soergel bimodules are certain bimodules over polynomial algebras, associated with Coxeter groups, and introduced by Soergel in the 1990's while studying the category O of complex semisimple Lie algebras. Even though their definition is…

This paper presents a brief exposition of Soergel bimodules with applications to some topics in Kazhdan-Lusztig theory. We ultimately exposit a few of Soergel's main results, which allowed him to give alternative proofs, using his theory,…

We explain a strategy for a proof of the positivity of all coefficients of Kazhdan-Lusztig-polynomials for arbitrary Coxeter groups by constructing spaces whose dimensions we conjecture to be these coefficients.

For arbitrary Coxeter systems, we prove that inverse Kazhdan-Lusztig polynomials satisfy a monotonicity property. This follows from the validity of Soergel's conjecture and the existence of injective morphisms between Rouquier complexes in…

We refine an idea of Deodhar, whose goal is a counting formula for Kazhdan-Lusztig polynomials. This is a consequence of a simple observation that one can use the solution of Soergel's conjecture to make ambiguities involved in defining…

For extra-large Coxeter systems (m(s,r)>3), we construct a natural and explicit set of Soergel bimodules D={D_w}_{w\in W} such that each D_w contains as a direct summand (or is equal to) the indecomposable Soergel bimodule B_w. When…

We prove the relative hard Lefschetz theorem for Soergel bimodules. It follows that the structure constants of the Kazhdan-Lusztig basis are unimodal. We explain why the relative hard Lefschetz theorem implies that the tensor category…

We prove the local hard Lefschetz theorem and local Hodge-Riemann bilinear relations for Soergel bimodules. Using results of Soergel and K\"ubel one may deduce an algebraic proof of the Jantzen conjectures. We observe that the Jantzen…

We present an alternative construction of Soergel's category of bimodules associated to a reflection faithful representation of a Coxeter system. We show that its objects can be viewed as sheaves on the associated moment graph. We introduce…

The graded cellularity of Libedinsky Double Leaves, which form a basis for the endomorphism ring of the Bott_Samelson_Soergel bimodules, allows us to view the Kazhdan_Lusztig polynomials as graded decomposition numbers. Using this point of…

We study Soergel modules for arbitrary Coxeter groups. For infinite Coxeter groups, we show that the homomorphisms between Soergel modules are in general more than those coming from morphisms of Soergel bimodules. This result provides a…

We introduce the intersection cohomology module of a matroid and prove that it satisfies Poincar\'e duality, the hard Lefschetz theorem, and the Hodge-Riemann relations. As applications, we obtain proofs of Dowling and Wilson's Top-Heavy…

Let $(W,S)$ be a Coxeter system and let $w \mapsto w^*$ be an involution of $W$ which preserves the set of simple generators $S$. Lusztig and Vogan have recently shown that the set of twisted involutions (i.e., elements $w \in W$ with…

We introduce the Double leaves basis, a combinatorial basis for the Hom spaces between two Bott-Samelson-Soergel bimodules. As an application we give a combinatorial algorithm to find, for any given Weyl or affine Weyl group, the set of…

We prove the multiplicity one case of Lusztig's conjecture on the irreducible characters of reductive algebraic groups for all fields with characteristic above the Coxeter number.

We establish a character formula for indecomposable tilting modules for connected reductive groups in characteristic p in terms of p-Kazhdan-Lusztig polynomials, for p>h the Coxeter number. Using results of Andersen, one may deduce a…

Let $(W,S)$ be any Coxeter system and let $w \mapsto w^*$ be an involution of $W$ which preserves the set of simple generators $S$. Lusztig and Vogan have shown that the corresponding set of twisted involutions (i.e., elements $w \in W$…

A basic question concerning indecomposable Soergel bimodules is to understand their endomorphism rings. In characteristic zero all degree-zero endomorphisms are isomorphisms (a fact proved by Elias and the second author) which implies the…

We associate to every matroid M a polynomial with integer coefficients, which we call the Kazhdan-Lusztig polynomial of M, in analogy with Kazhdan-Lusztig polynomials in representation theory. We conjecture that the coefficients are always…

We describe a positive characteristic analogue of the Kazhdan-Lusztig basis of the Hecke algebra of a crystallographic Coxeter system and investigate some of its properties. Using Soergel calculus we describe an algorithm to calculate this…