Related papers: PyCox: Computing with (finite) Coxeter groups and …
The Kazhdan-Lusztig polynomials for finite Weyl groups arise in the geometry of Schubert varieties and representation theory. It was proved very soon after their introduction that they have nonnegative integer coefficients, but no…
A Hecke endomorphism algebra is a natural generalisation of the $q$-Schur algebra associated with the symmetric group to a Coxeter group. For Weyl groups, B. Parshall, L. Scott and the first author \cite{DPS,DPS4} investigated the…
We develop and study a Lefschetz theory in a combinatorial category associated to a root system and derive an upper bound on the exceptional characteristics for Lusztig's formula for the simple rational characters of a reductive algebraic…
The Python package ComCH is a lightweight specialized computer algebra system that provides models for well known objects, the surjection and Barratt-Eccles operads, parameterizing the product structure of algebras that are commutative in a…
Two programs, feyngen and feyncop, were developed. feyngen is designed to generate high loop order Feynman graphs for Yang-Mills, QED and $\phi^k$ theories. feyncop can compute the coproduct of these graphs on the underlying Hopf algebra of…
Lie-theoretic structures of type $E_8$ (e.g., Lie groups and algebras, Hecke algebras and Kazhdan-Lusztig cells, ...) are considered to serve as a `gold standard' when it comes to judging the effectiveness of a general algorithm for solving…
It is well-known that affine Hecke algebras are very useful to describe the smooth representations of any connected reductive p-adic group G, in terms of the supercuspidal representations of its Levi subgroups. The goal of this paper is to…
Let $\cH$ be the one-parameter Hecke algebra associated to a finite Weyl group $W$, defined over a ground ring in which ``bad'' primes for $W$ are invertible. Using deep properties of the Kazhdan--Lusztig basis of $\cH$ and Lusztig's…
The Iwahori-Hecke algebra $\mathcal{H}$ of a Coxeter system $(W,S)$ has a "standard basis" indexed by the elements of $W$ and a "bar involution" given by a certain antilinear map. Together, these form an example of what Webster calls a…
We prove Lusztig's conjectures P1-P15 for Coxeter groups with complete graph, using deceasing induction on $ \mathbf{a} $-values and a kind of decomposition formula of Kazhdan-Lusztig basis elements. As a byproduct, we give a description of…
Associated to every complex reflection group, we construct a lattice of quotients of its braid monoid-algebra, which we term nil-Hecke algebras, and which are obtained by killing all braid words that are "sufficiently long", as well as some…
We present algorithms to compute generalized root systems of Nichols algebras of diagonal type and of contragredient Lie superalgebras. As a consequence, we obtain an algorithm to compute the Lyndon words in the Kharchenko PBW basis…
We refine the infinitesimal Hecke algebra associated to a 2-reflection group into a $\Z/2\Z$-graded Lie algebra, as a first step towards a global understanding of a natural $\mathbbm{N}$-graded object. We provide an interpretation of this…
In recent papers we have refined a conjecture of Lehrer and Solomon expressing the characters of a finite Coxeter group $W$ afforded by the homogeneous components of its Orlik-Solomon algebra as sums of characters induced from linear…
Kazhdan and Lusztig define, for an arbitrary Coxeter system $(W,S)$, a family of polynomials indexed by pairs of elements of $W$. Despite their relevance and elementary definition, the explicit computation of these polynomials is still one…
We investigate the compatibility of the set of fully commutative elements of a Coxeter group with the various types of Kazhdan-Lusztig cells using a canonical basis for a generalized version of the Temperley-Lieb algebra.
Let $(W,S)$ be a finite Coxeter group. Kazhdan and Lusztig introduced the concept of $W$-graphs and Gyoja proved that every irreducible representation of the Iwahori-Hecke algebra $H(W,S)$ can be realized as a $W$-graph. Gyoja defined an…
We present a fast version of the algorithm of Lascoux, Leclerc, and Thibon for the lower global crystal base for the Fock representation of quantum affine sl_n. We also show that the coefficients of the lower global crystal base coincide…
We classify a class of complex representations of an arbitrary Coxeter group via characters of the integral homology of certain graphs. Such representations can be viewed as a generalization of the geometric representation and correspond to…
In 1979, Kazhdan and Lusztig introduced the notion of "cells" (left, right and two-sided) for a Coxeter group $W$, a concept with numerous applications in Lie theory and around. Here, we address algorithmic aspects of this theory for finite…