PyCox: computing with (finite) Coxeter groups and Iwahori-Hecke algebras.

DOI10.1112/S1461157012001064MaRDI QIDQ5169637zbMATH OpenFDO

Authors Meinolf Geck

Publication date 11 July 2014

Published in LMS Journal of Computation and Mathematics (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1201.5566

zbMATH Keywords

algorithmscomputer algebra packagesfinite Coxeter groupsHecke algebrasKazhdan-Lusztig cellsKazhdan-Lusztig polynomials

Mathematics Subject Classification ID

Hecke algebras and their representations (20C08) Reflection and Coxeter groups (group-theoretic aspects) (20F55) Symbolic computation and algebraic computation (68W30)

Abstract: We introduce the computer algebra package {sf PyCox}, written entirely in the {sf Python} language. It implements a set of algorithms - in a spirit similar to the older {sf CHEVIE} system - for working with Coxeter groups and Hecke algebras. This includes a new variation of the traditional algorithm for computing Kazhdan--Lusztig cells and $W$-graphs, which works efficiently for all finite groups of rank $leq8$ (except $E_8$). We also discuss the computation of Lusztig's leading coefficients of character values and distinguished involutions (which works for $E_8$ as well). Our experiments suggest a re-definition of Lusztig's "special" representations which, conjecturally, should also apply to the unequal parameter case.

Recommendations

• On the computation of Kazhdan-Lusztig polynomials and representations of Hecke algebras
• The development version of the \texttt{CHEVIE} package of \texttt{GAP3}.
• scientific article; zbMATH DE number 1516227
• Some applications of CHEVIE to the theory of algebraic groups.
• On the Kazhdan-Lusztig cells in type E₈.

Cites work

• An inversion formula for induced Kazhdan-Lusztig polynomials and duality of W-graphs.
• Cells in affine Weyl groups. II
• Characters of Reductive Groups over a Finite Field. (AM-107)
• CHEVIE -- A system for computing and processing generic character tables
• Computational construction of irreducible \(W\)-graphs for types \(E_6\) and \(E_7\).
• Computing Kazhdan-Lusztig cells for unequal parameters.
• Hecke Algebras with Unequal Parameters
• scientific article; zbMATH DE number 4073290 (Why is no real title available?)
• scientific article; zbMATH DE number 1460693 (Why is no real title available?)
• scientific article; zbMATH DE number 1516227 (Why is no real title available?)
• Inducing \(W\)-graphs.
• Inducing \(W\)-graphs. II.
• Involutions in Weyl groups
• Leading coefficients and cellular bases of Hecke algebras
• Left cells in the weyl group of type₇
• ON THE INDUCTION OF KAZHDAN–LUSZTIG CELLS
• Positivity results for the Hecke algebras of noncrystallographic finite Coxeter groups.
• Relative Kazhdan–Lusztig cells
• Representations of Coxeter groups and Hecke algebras
• Representations of Hecke algebras at roots of unity.
• The left cells of the Coxeter group of type \(H_ 4\)

Cited in

(15)

• On the complexity of multiplication in the Iwahori-Hecke algebra of the symmetric group
• Multiplicity-free primitive ideals associated with rigid nilpotent orbits
• Vogan classes in type \(B_n\)
• Odd length in Weyl groups
• The development version of the \texttt{CHEVIE} package of \texttt{GAP3}.
• \(W\)-graphs for Hecke algebras with unequal parameters.
• The low-dimensional homology of finite-rank Coxeter groups
• Conjugacy classes of involutions and Kazhdan-Lusztig cells.
• Finding characters satisfying a maximal condition for their unipotent support.
• Computing individual Kazhdan-Lusztig basis elements.
• ON CANONICAL BASES AND INDUCTION OF -GRAPHS
• On the Kazhdan-Lusztig cells in type E₈.
• W-graph ideals and duality
• Dual quasi-permutation modules and quasi-parabolic Kazhdan-Lusztig bases
• On the cells and associated varieties of highest weight Harish-Chandra modules

Describes a project that uses

Uses Software

• GAP
• PyCox
• CHEVIE

This page was built for publication: \(\mathsf{PyCox}\): computing with (finite) Coxeter groups and Iwahori-Hecke algebras.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5169637)