HEXAGONbeta

Domino insertion and cells in type B

Primarily AI-generated textHuman understanding: no partsmath.RT — Representation Theorymath.CO — Combinatorics

Contributed by Qiyue Tang ↗

Version 1 / Nov 12, 2026 / CC BY 4.0

Abstract

We prove Conjectures A, A+^{+}, and B of Bonnafé, Geck, Iancu, and Lam on Kazhdan–Lusztig cells in type BB.

Author comments: I am posting this manuscript to share the mathematical results themselves. In doing so, I do not seek to assert ownership of the results or claim priority. I welcome anyone interested in checking the arguments or preparing a finished account, and I believe the eventual scholarly credit should go to those who undertake that work.

Provenance statement

GPT-6-Pro was used in two research sessions with a combined recorded elapsed time of approximately 1.07 hours (1 hour, 4 minutes, and 22 seconds). It was also used to review and polish the manuscript. A review by Rethlas-OSV will be added later.

References

  1. C. Bonnafé, Géométrie et représentations des groupes réductifs finis , synthèse des travaux de recherche pour l'habilitation à diriger des recherches, 2005. https://imag.umontpellier.fr/~bonnafe/Travaux/hdr.pdf.link
  2. C. Bonnafé, Two-sided cells in type BB (asymptotic case) , J. Algebra 304 (2006), 216--236. doi:10.1016/j.jalgebra.2006.05.035 (https://doi.org/10.1016/j.jalgebra.2006.05.035).DOI
  3. C. Bonnafé, Semicontinuity properties of Kazhdan--Lusztig cells , New Zealand J. Math. 39 (2009), 171--192; arXiv:0808.3522 (https://arxiv.org/abs/0808.3522).arXiv
  4. C. Bonnafé, On Kazhdan--Lusztig cells in type BB , J. Algebraic Combin. 31 (2010), 53--82. doi:10.1007/s10801-009-0183-2 (https://doi.org/10.1007/s10801-009-0183-2).DOI
  5. C. Bonnafé, Erratum to: On Kazhdan--Lusztig cells in type BB , J. Algebraic Combin. 35 (2012), 515--517. doi:10.1007/s10801-012-0351-7 (https://doi.org/10.1007/s10801-012-0351-7).DOI
  6. C. Bonnafé, M. Geck, L. Iancu, and T. Lam, On domino insertion and Kazhdan--Lusztig cells in type BnB_n , in Representation Theory of Algebraic Groups and Quantum Groups , Progress in Mathematics 284 , Birkhäuser, 2010, 33--54; arXiv:math/0609279v2 (https://arxiv.org/abs/math/0609279v2).arXiv
  7. C. Bonnafé and L. Iancu, Left cells in type BnB_n with unequal parameters , Represent. Theory 7 (2003), 587--609; arXiv:math/0302037 (https://arxiv.org/abs/math/0302037).arXiv
  8. D. Garfinkle, On the classification of primitive ideals for complex classical Lie algebras, I , Compositio Math. 75 (1990), 135--169.
  9. D. Garfinkle, On the classification of primitive ideals for complex classical Lie algebras, II , Compositio Math. 81 (1992), 307--336.
  10. D. Garfinkle, On the classification of primitive ideals for complex classical Lie algebras, III , Compositio Math. 88 (1993), 187--234.
Show all 28 referencesShow fewer references
  1. M. Geck, Computing Kazhdan--Lusztig cells for unequal parameters , J. Algebra 281 (2004), 342--365. doi:10.1016/j.jalgebra.2004.07.029 (https://doi.org/10.1016/j.jalgebra.2004.07.029).DOI
  2. M. Geck, Left cells and constructible representations , Represent. Theory 9 (2005), 385--416; arXiv:math/0404510 (https://arxiv.org/abs/math/0404510).arXiv
  3. M. Geck, Kazhdan--Lusztig cells and the Murphy basis , Proc. London Math. Soc. (3) 93 (2006), 635--665; arXiv:math/0504217 (https://arxiv.org/abs/math/0504217).arXiv
  4. M. Geck, Erratum to: Left cells and constructible representations , Represent. Theory 11 (2007), 172--173. doi:10.1090/S1088-4165-07-00321-4 (https://doi.org/10.1090/S1088-4165-07-00321-4).DOI
  5. M. Geck and L. Iancu, Ordering Lusztig's families in type BnB_n , J. Algebraic Combin. 38 (2013), 457--489. doi:10.1007/s10801-012-0411-z (https://doi.org/10.1007/s10801-012-0411-z).DOI
  6. J. Guilhot and N. Jacon, Ordering families using Lusztig's symbols in type BB: the integer case , J. Algebraic Combin. 41 (2015), 157--183. doi:10.1007/s10801-014-0531-8 (https://doi.org/10.1007/s10801-014-0531-8).DOI
  7. E. Howse, Vogan classes in type BnB_n , Algebraic Combin. 2 (2019), no. 6, 1033--1057. doi:10.5802/alco.74 (https://doi.org/10.5802/alco.74).DOI
  8. E. Howse and T. Pietraho, Kazhdan--Lusztig left cells in type BnB_n for intermediate parameters , 2019; arXiv:1902.09301 (https://arxiv.org/abs/1902.09301).arXiv
  9. L. Iancu, Kazhdan--Lusztig cells with unequal parameters , in Representations of Finite Groups , Oberwolfach Rep. 3 (2006), no. 2, 961--962. doi:10.4171/OWR/2006/15 (https://doi.org/10.4171/OWR/2006/15).DOI
  10. D. Kazhdan and G. Lusztig, Representations of Coxeter groups and Hecke algebras , Invent. Math. 53 (1979), 165--184. doi:10.1007/BF01390031 (https://doi.org/10.1007/BF01390031).DOI
  11. T. Lam, Growth diagrams, domino insertion and sign-imbalance , J. Combin. Theory Ser. A 107 (2004), 87--115.
  12. G. Lusztig, Left cells in Weyl groups , in Lie Group Representations, I , Lecture Notes in Mathematics 1024 , Springer, 1983, 99--111.
  13. G. Lusztig, Hecke Algebras with Unequal Parameters , CRM Monograph Series 18 , American Mathematical Society, Providence, RI, 2003.
  14. T. Pietraho, Equivalence classes in the Weyl groups of type BnB_n , J. Algebraic Combin. 27 (2008), 247--262; arXiv:math/0607231v2 (https://arxiv.org/abs/math/0607231v2). doi:10.1007/s10801-007-0085-0 (https://doi.org/10.1007/s10801-007-0085-0).arXivDOI
  15. T. Pietraho, Cells and constructible representations in type BB , New York J. Math. 14 (2008), 411--430. https://nyjm.albany.edu/j/2008/14-20.pdf.link
  16. T. Pietraho, Module structure of cells in unequal-parameter Hecke algebras , Nagoya Math. J. 198 (2010), 23--45. doi:10.1215/00277630-2009-006 (https://doi.org/10.1215/00277630-2009-006).DOI
  17. Q. Tang, Lusztig's conjectures for BnB_n, B~n\widetilde B_n, and C~n\widetilde C_n , Hexagon 2611.00205v2 (https://hexagonmath.org/pdf/2611.00205v2), 2026.link
  18. M. A. A. van Leeuwen, The Robinson--Schensted and Schützenberger algorithms, an elementary approach , Electron. J. Combin. 3 (1996), no. 2, Research Paper R15, 32 pp. doi:10.37236/1273 (https://doi.org/10.37236/1273).DOI

Version history

  1. v1 · 14 pagesSubmitted by Qiyue TangI am posting this manuscript to share the mathematical results themselves. In doing so, I do not seek to assert ownership of the results or claim priority. I welcome anyone interested in checking the arguments or preparing a finished account, and I believe the eventual scholarly credit should go to those who undertake that work.CurrentNov 12, 2026