All Questions
19 questions
5
votes
1
answer
345
views
Are parabolic Kazhdan-Lusztig polynomials truncations of the usual Kazhdan-Lusztig polynomials?
Let $(W,S)$ be the affine Weyl group associated to a simple root system.
For $x,y \in W$ we have the usual Kazhdan--Lustig polynomials $h_{y,x} \in \mathbb{Z}[v]$ in Soergel's normalisation, and if ...
- 10.5k
15
votes
1
answer
1k
views
Is this a typo in Macdonald's paper "The Poincaré Series of a Coxeter Group"?
I have a question about the proof of lemma 2.14 in Macdonald's paper The Poincaré Series of a Coxeter Group [1], where he used induction on $l(w)$ to prove that if $|E|=|R(w)|$, then $E=R(w)$. The ...
- 565
1
vote
1
answer
114
views
Combinatorics behind certain induction of characters of the Coxeter group of type $B_n$
Let $W_n$ be a Coxeter group of type $B_n$ with $n\geq 1$. Concretely, it is generated by a set of simple reflexions $S = \{s_1,\ldots ,s_n\}$ which satisfy the relations $s_i^2 = 1, s_is_j=s_js_i$ as ...
- 769
0
votes
0
answers
87
views
Reference request: Weyl group action on the power set of positive roots
There is a symmetric group action on the power set of positive roots in type A. The action is defined as follows.
Denote by $\alpha_1, \ldots, \alpha_n$ be the set of simple roots in a root system. In ...
- 6,201
10
votes
2
answers
598
views
Product of two reflections lying in a parabolic subgroup of a Coxeter group
Let $(W,S)$ be a Coxeter group, $I\subseteq S$ a subset of simple reflections, and $W_I \subseteq W$ the corresponding parabolic subgroup (we could also assume $|W_I|<\infty$, if needed).
Let also ...
- 165
8
votes
0
answers
292
views
Name for an involution associated to a Coxeter element
Let $(W,S)$ be a finite Coxeter system, and $c \in W$ a Coxeter element.
There is an involution $g\in W$ for which the involutive map $w \mapsto gw^{-1}g$ fixes $c$. Is there a standard name for this ...
- 24.2k
3
votes
0
answers
103
views
Kazhdan-Lusztig polynomials and the defect of a Bruhat interval
Let $(W,S)$ be a Coxeter system with length function $\ell$ and $T=\bigcup_{w\in W}wSw^{-1}$.
Set
$N(u,v):=\{t\in T: u< tu \le v\}$,
$\overline{\ell}(u,v):=|N(u,v)|$,
$\ell(u,v):=\ell(v)-\...
- 1,875
8
votes
1
answer
203
views
Reference request: Coxeter length and irreducible characters
Let $S_n$ be the symmetric group on $\{1,2,\ldots, n\}$ and $\ell$ the Coxeter length on $S_n$. There is a well-known formula to compute this length, namely for a $\pi \in S_n$ we have
$$\ell(\pi) = |\...
- 809
4
votes
1
answer
241
views
Number of pairs of permutation in $S_n$ whose $\mu$-coefficient (of their Kazhdan Lusztig polynomial) is non-zero
I am interested in how many pairs of permutations $(u,w)$ in $S_n$, such that the $\mu$-coefficient of its Kazhdan-Lusztig polynomial $P_{u,w}(q)$ is non-zero? where $\mu_{u,w}=[q^{\frac{l(w)-l(u)-1}{...
12
votes
2
answers
587
views
Bounding weight multiplicities by number of certain Coxeter elements
This question concerns lower bounds of certain weight multiplicities in finite dimensional representations of algebraic groups (or Lie groups, Lie algebras).
Let's say $G$ is a simple algebraic group ...
- 313
103
votes
3
answers
6k
views
Why do combinatorial abstractions of geometric objects behave so well?
This question is inspired by a talk of June Huh from the recent "Current Developments in Mathematics" conference.
Here are two examples of the kind of combinatorial abstractions of geometric ...
- 24.2k
1
vote
0
answers
32
views
Cellular basis of $KW(B_2)$
Take $K$ a field. Let $W(B_2)$ be the coxeter group of type $B_2$ with a set $\{s_0,s_1\}$ of generators. Then $W(B_2)=\{1, s_0,s_1,s_0s_1,s_1s_0,s_0s_1s_0, s_1s_0s_1,s_1s_0s_1s_0\}$. I know that the ...
- 331
14
votes
4
answers
1k
views
actions of the hyperoctahedral group
I am looking for actions (i.e., permutation representations) of the hyperoctahedral group $H_n$ (also known as the group of signed permutations) studied in the literature, i.e., homomorphisms from $...
- 5,822
10
votes
4
answers
939
views
Is there a non-explicit characterization of the Specht modules?
It is a basic fact about the symmetric group $S_n$ that its irreducible representations are indexed by partitions of $n$.
My question is, can the association between partitions and irreps be ...
- 258
3
votes
2
answers
707
views
Fundamental invariants for root subsystems
Let $\Phi$ be an irreducible root system of rank $\ell$. The fundamental invariants of $\Phi$ is a set of $\ell$ integers $d_1, \cdots, d_\ell$ canonically attached to $\Phi$.
Now suppose $\Psi$ is ...
- 2,751
11
votes
3
answers
2k
views
Is there a list of Kazhdan-lusztig polynomials?
When studying the combinatorics and representation of Coxeter groups, I often find it irksome to compute KL- and R- polynomials from scratch on Maple or Sage. The time it consumes to generate a ...
- 499
41
votes
2
answers
2k
views
Implications of non-negativity of coefficients of arbitrary Kazhdan-Lusztig polynomials?
In their seminal 1979 paper Representations of Coxeter groups and Hecke algebras (Invent. Math. 53, doi:10.1007/BF01390031),
Kazhdan and Lusztig studied an arbitrary Coxeter group $(W,S)$ and the ...
- 52.9k
2
votes
2
answers
533
views
elements in the weyl group
Let W be the Weyl a group of a semisimple simply connected group over C.
Let I={1,...,r} the set of simple roots.
For $w\in W$, I denote by supp(w) the subset of I corresponding to the simple ...
- 3,472
4
votes
1
answer
433
views
Spectrum of adjacency matrix of simple Lie algebra.
Let $\mathfrak{g}$ be a finite dimensional, simple, complex Lie algebra. Define the Coxeter adjacency matrix to be the matrix $A=2I-C$ where $C$ is the Cartan matrix of $\mathfrak{g}$. Let $...
