We prove a conjecture of Rouquier relating the decomposition numbers in
category 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
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 KZ-functor from the Cherednik category
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 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.Comment: 64 pages; numerous TikZ figures, PDF is preferable to DVI. v4:
Revision in response to referee's report. Several proofs rewritten, examples
and pictures adde