References & Citations
Mathematics > Representation Theory
Title: Rouquier's conjecture and diagrammatic algebra
(Submitted on 1 Jun 2013 (v1), last revised 20 Mar 2017 (this version, v4))
Abstract: We prove a conjecture of Rouquier relating the decomposition numbers in category $\mathcal{O}$ for a cyclotomic rational Cherednik algebra to Uglov's canonical basis of a higher level Fock space. Independent proofs of this conjecture have also recently been given by Rouquier, Shan, Varagnolo and Vasserot and by Losev, using different methods.
Our approach is to develop two diagrammatic models for this category $\mathcal{O}$; while inspired by geometry, these are purely diagrammatic algebras, which we believe are of some intrinsic interest. In particular, we can quite explicitly describe the representations of the Hecke algebra that are hit by projectives under the $\mathsf{KZ}$-functor from the Cherednik category $\mathcal{O}$ in this case, with an explicit basis.
This algebra has a number of beautiful structures including categorifications of many aspects of Fock space. It can be understood quite explicitly using a homogeneous cellular basis which generalizes such a basis given by Hu and Mathas for cyclotomic KLR algebras. Thus, we can transfer results proven in this diagrammatic formalism to category $\mathcal{O}$ for a cyclotomic rational Cherednik algebra, including the connection of decomposition numbers to canonical bases mentioned above, and an action of the affine braid group by derived equivalences between different blocks.
Submission history
From: Ben Webster [view email][v1] Sat, 1 Jun 2013 04:21:00 GMT (61kb)
[v2] Sun, 6 Oct 2013 01:53:13 GMT (66kb)
[v3] Thu, 18 Sep 2014 22:26:55 GMT (87kb,D)
[v4] Mon, 20 Mar 2017 17:52:19 GMT (99kb,D)
Link back to: arXiv, form interface, contact.