arXiv++ Combinatorics

We provide an ${\rm Ext}$-quiver and relations presentation of the Khovanov arc algebras and prove a precise analogue of the Kleshchev--Martin conjecture in this setting.

We prove that the extended Khovanov arc algebras are isomorphic to the basic algebras of anti-spherical Hecke categories for maximal parabolics of symmetric groups. We present these algebras by quiver and relations and provide the full submodule lattices of Verma modules.

We define oriented Temperley--Lieb algebras for classical Hermitian symmetric spaces. This allows us to explain the existence of closed combinatorial formulae for the Kazhdan--Lusztig polynomials for these spaces.

We calculate the $p$-Kazhdan--Lusztig polynomials for Hermitian symmetric pairs and prove that the corresponding anti-spherical Hecke categories categories are standard Koszul. We prove that the combinatorial invariance conjecture can be lifted to the level of graded Morita equivalences between subquotients of these Hecke categories.

We construct an explicit isomorphism between (truncations of) quiver Hecke algebras and Elias-Williamson's diagrammatic endomorphism algebras of Bott-Samelson bimodules. As a corollary, we deduce that the decomposition numbers of these algebras (including as examples the symmetric groups and generalised blob algebras) are tautologically equal to the associated $p$-Kazhdan-Lusztig polynomials, provided that the characteristic is greater than the Coxeter number. We hence give an elementary and more explicit proof of the main theorem of Riche-Williamson's recent monograph and extend their categorical equivalence to cyclotomic Hecke algebras, thus solving Libedinsky-Plaza's categorical blob conjecture.

We classify and explicitly construct the irreducible graded representations of anti-spherical Hecke categories which are concentrated in one degree. Each of these homogeneous representations is one-dimensional and can be cohomologically constructed via a BGG resolution involving every (infinite dimensional) standard representation of the category. We hence determine the complete first row of the inverse parabolic $p$-Kazhdan--Lusztig matrix for an arbitrary Coxeter group and an arbitrary parabolic subgroup. This generalises the Weyl--Kac character formula to all Coxeter systems (and their parabolics) and proves that this generalised formula is rigid with respect to base change to an arbitrary field.