Skip to main content Accessibility help
×
Home

ROUQUIER’S CONJECTURE AND DIAGRAMMATIC ALGEBRA

  • BEN WEBSTER (a1)

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.

    • Send article to Kindle

      To send this article to your Kindle, first ensure no-reply@cambridge.org is added to your Approved Personal Document E-mail List under your Personal Document Settings on the Manage Your Content and Devices page of your Amazon account. Then enter the ‘name’ part of your Kindle email address below. Find out more about sending to your Kindle. Find out more about sending to your Kindle.

      Note you can select to send to either the @free.kindle.com or @kindle.com variations. ‘@free.kindle.com’ emails are free but can only be sent to your device when it is connected to wi-fi. ‘@kindle.com’ emails can be delivered even when you are not connected to wi-fi, but note that service fees apply.

      Find out more about the Kindle Personal Document Service.

      ROUQUIER’S CONJECTURE AND DIAGRAMMATIC ALGEBRA
      Available formats
      ×

      Send article to Dropbox

      To send this article to your Dropbox account, please select one or more formats and confirm that you agree to abide by our usage policies. If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your <service> account. Find out more about sending content to Dropbox.

      ROUQUIER’S CONJECTURE AND DIAGRAMMATIC ALGEBRA
      Available formats
      ×

      Send article to Google Drive

      To send this article to your Google Drive account, please select one or more formats and confirm that you agree to abide by our usage policies. If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your <service> account. Find out more about sending content to Google Drive.

      ROUQUIER’S CONJECTURE AND DIAGRAMMATIC ALGEBRA
      Available formats
      ×

Copyright

This is an Open Access article, distributed under the terms of the Creative Commons Attribution licence (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted re-use, distribution, and reproduction in any medium, provided the original work is properly cited.

Corresponding author

Current address: Department of Pure Mathematics, University of Waterloo & Perimeter Institute for Mathematical Physics, Waterloo, ON, Canada; email: ben.webster@uwaterloo.ca, bwebster@perimeterinstitute.ca

References

Hide All
[Ari02] Ariki, S., Representations of Quantum Algebras and Combinatorics of Young Tableaux, University Lecture Series, 26 (American Mathematical Society, Providence, RI, 2002), Translated from the 2000 Japanese edition and revised by the author.
[BGS96] Beilinson, A., Ginzburg, V. and Soergel, W., ‘Koszul duality patterns in representation theory’, J. Amer. Math. Soc. 9(2) (1996), 473527.
[Bez03] Bezrukavnikov, R., ‘Quasi-exceptional sets and equivariant coherent sheaves on the nilpotent cone’, Represent. Theory 7 (2003), 118, (electronic).
[BE09] Bezrukavnikov, R. and Etingof, P., ‘Parabolic induction and restriction functors for rational Cherednik algebras’, Selecta Math. (N.S.) 14(3–4) (2009), 397425.
[BLPW] Braden, T., Licata, A., Proudfoot, N. and Webster, B., ‘Quantizations of conical symplectic resolutions II: category 𝓞 and symplectic duality’, Astérisque 2016(384) (2016), 75179. with an appendix by I. Losev. MR 3594665.
[BK09] Brundan, J. and Kleshchev, A., ‘Blocks of cyclotomic Hecke algebras and Khovanov–Lauda algebras’, Invent. Math. 178 (2009), 451484.
[BLW] Brundan, J., Losev, I. and Webster, B., ‘Tensor Product Categorifications and the Super Kazhdan–Lusztig Conjecture’, Int. Math. Res. Not. IMRN 2017(20) (2017), 63296410. MR 3712200.
[CL12] Cautis, S. and Licata, A., ‘Heisenberg categorification and Hilbert schemes’, Duke Math. J. 161(13) (2012), 24692547.
[CM] Chuang, J. and Miyachi, H., Hidden Hecke algebras and Koszul duality, Preprint.
[CR08] Chuang, J. and Rouquier, R., ‘Derived equivalences for symmetric groups and sl2 -categorification’, Ann. of Math. (2) 167(1) (2008), 245298.
[DJM98] Dipper, R., James, G. and Mathas, A., ‘Cyclotomic q-Schur algebras’, Math. Z. 229(3) (1998), 385416.
[DM02] Dipper, R. and Mathas, A., ‘Morita equivalences of Ariki–Koike algebras’, Math. Z. 240(3) (2002), 579610.
[FS03] Frenkel, I. B. and Savage, A., ‘Bases of representations of type A affine Lie algebras via quiver varieties and statistical mechanics’, Int. Math. Res. Not. IMRN (28) (2003), 15211547.
[GGOR03] Ginzburg, V., Guay, N., Opdam, E. and Rouquier, R., ‘On the category 𝓞 for rational Cherednik algebras’, Invent. Math. 154(3) (2003), 617651.
[GL] Gordon, I. G. and Losev, I., ‘On category 𝓞 for cyclotomic rational Cherednik algebras’, J. Eur. Math. Soc. (JEMS) 16(5) (2014), 10171079.
[HM10] Hu, J. and Mathas, A., ‘Graded cellular bases for the cyclotomic Khovanov–Lauda–Rouquier algebras of type A ’, Adv. Math. 225(2) (2010), 598642.
[KL09] Khovanov, M. and Lauda, A. D., ‘A diagrammatic approach to categorification of quantum groups. I’, Represent. Theory 13 (2009), 309347.
[KX99] König, S. and Xi, C., ‘When is a cellular algebra quasi-hereditary?’, Math. Ann. 315(2) (1999), 281293.
[Los] Losev, I., ‘Towards multiplicities for cyclotomic rational Cherednik algebras’, Preprint, 2012, arXiv:1207.1299.
[Los13] Losev, I., ‘Highest weight sl2 -categorifications I: crystals’, Math. Z. 274(3–4) (2013), 12311247.
[Los16] Losev, I., ‘Proof of Varagnolo–Vasserot conjecture on cyclotomic categories 𝓞’, Selecta Math. (N.S.) 22(2) (2016), 631668.
[LW15] Losev, I. and Webster, B., ‘On uniqueness of tensor products of irreducible categorifications’, Selecta Math. (N.S.) 21(2) (2015), 345377.
[Mak14] Maksimau, R., ‘Quiver Schur algebras and Koszul duality’, J. Algebra 406 (2014), 91133.
[Rou] Rouquier, R., ‘2-Kac–Moody algebras’, Preprint, 2008, arXiv:0812.5023.
[Rou08] Rouquier, R., ‘ q-Schur algebras and complex reflection groups’, Mosc. Math. J. 8(1) (2008), 119158, 184.
[RSVV16] Rouquier, R., Shan, P., Varagnolo, M. and Vasserot, E., ‘Categorifications and cyclotomic rational double affine Hecke algebras’, Invent. Math. 204(3) (2016), 671786.
[RT10] Ram, A. and Tingley, P., ‘Universal Verma modules and the Misra–Miwa Fock space’, Int. J. Math. Math. Sci. (2010), Art. ID 326247, 19.
[Sha11] Shan, P., ‘Crystals of Fock spaces and cyclotomic rational double affine Hecke algebras’, Ann. Sci. Éc. Norm. Supér. (4) 44(1) (2011), 147182.
[Sha12] Shan, P., ‘Graded decomposition matrices of v-Schur algebras via Jantzen filtration’, Represent. Theory 16 (2012), 212269.
[SVV14] Shan, P., Varagnolo, M. and Vasserot, E., ‘Koszul duality of affine Kac–Moody algebras and cyclotomic rational double affine Hecke algebras’, Adv. Math. 262 (2014), 370435.
[Soe90] Soergel, W., ‘Kategorie 𝓞, perverse Garben und Moduln über den Koinvarianten zur Weylgruppe’, J. Amer. Math. Soc. 3(2) (1990), 421445.
[Soe92] Soergel, W., ‘The combinatorics of Harish–Chandra bimodules’, J. Reine Angew. Math. 429 (1992), 4974.
[SW] Stroppel, C. and Webster, B., ‘Quiver Schur algebras and $q$ -Fock space’, Preprint, 2011, arXiv:1110.1115.
[Tin08] Tingley, P., ‘Three combinatorial models for sl̂ n crystals, with applications to cylindric plane partitions’, Int. Math. Res. Not. IMRN (2) (2008), Art. ID rnm143, 40.
[Ugl00] Uglov, D., ‘Canonical bases of higher-level q-deformed Fock spaces and Kazhdan–Lusztig polynomials’, inPhysical Combinatorics (Kyoto, 1999), Progress in Mathematics, 191 (Birkhäuser, Boston, 2000), 249299.
[VV10] Varagnolo, M. and Vasserot, E., ‘Cyclotomic double affine Hecke algebras and affine parabolic category O’, Adv. Math. 225(3) (2010), 15231588.
[Webc] Webster, B., ‘Weighted Khovanov–Lauda–Rouquier algebras’, Preprint, 2012, arXiv:1209.2463.
[Weba] Webster, B., ‘Knot invariants and higher representation theory’, Mem. Amer. Math. Soc. 250(1191) (2017), 141.
[Webb] Webster, B., ‘On graded presentations of Hecke algebras and their generalizations’, Preprint, 2013, arXiv:1305.0599.
[Web17] Webster, B., ‘On generalized category 𝓞 for a quiver variety’, Math. Ann. 368(1) (2017), 483536.
MathJax
MathJax is a JavaScript display engine for mathematics. For more information see http://www.mathjax.org.

MSC classification

ROUQUIER’S CONJECTURE AND DIAGRAMMATIC ALGEBRA

  • BEN WEBSTER (a1)

Metrics

Full text views

Total number of HTML views: 0
Total number of PDF views: 0 *
Loading metrics...

Abstract views

Total abstract views: 0 *
Loading metrics...

* Views captured on Cambridge Core between <date>. This data will be updated every 24 hours.

Usage data cannot currently be displayed