Characteristic polynomials and some combinatorics for finite Coxeter groups

Let \alpha_1,\ldots,\alpha_r be an ISS of G. By Theorem Tsig, V_{\alpha}\mathcal{C}_1=V_{\alpha}\mathcal{C}_2 for any signature \alpha. Therefore

Since the ISM is invertible, we have \mathcal{C}_1=\mathcal{C}_2, i.e. \chi_{\rho_1}(C_i)=\chi_{\rho_2}(C_i) for each i\in[r]. Thus \chi_{\rho_1}(g)=\chi_{\rho_2}(g) for each g\in G.

Since |f^{-1}(w_1w_2)| is equal to the number of all the methods for selecting |w_1| positions from |w_1w_2| different positions. we have |f^{-1}(w_1w_2)|=|w_1w_2|!/(|w_1|!|w_2|!).

Let C_{i,1},\ldots,C_{i,r_i} be all conjugacy classes of G_i for i=1,2. Suppose \alpha_1,\ldots,\alpha_{r_1} is an ISS of G_1; \beta_1,\ldots,\beta_{r_2} is an ISS of G_2. Let \alpha_i||\beta_j denote the signature spliced by \alpha_i and \beta_j, for example, (1,2)||(3,4)\coloneqq(1,2,3,4). Consider signature sequence

We will prove that it is an ISS of G. For each \alpha_i and \beta_j, we have

where f is as defined in Lemma countlm. Let V_{\alpha_i}=(x_{i,1},\ldots,x_{i,r_1}) and V_{\beta_j}=(y_{j,1},\ldots,y_{j,r_2}). For each conjugacy class C_{1,k}\times C_{2,l}, it follows that

Arrange all the conjugacy classes in G as

Then we have

Let M_{i,j}\coloneqq(|\alpha_i|+|\beta_j|)!/(|\alpha_i|!|\beta_j|!), we have

Then

Hence sequence (Proof) is an ISS of G.

If the corresponding ISMs of \alpha_1,\ldots,\alpha_{r_1} and \beta_1,\ldots,\beta_{r_2} are both lower triangular matrices, then the corresponding ISM of (Proof) is also a lower triangular matrix by equation (Proof).

Let

By (a), (b) and (c), we have |A|=n. Let A=\{\alpha_{p_1},\ldots,\alpha_{p_n}\} where p_1<\cdots<p_n. For each r\in[n], let \gamma(\alpha_{p_r})\setminus\bigcup_{i=1}^{p_r-1}\gamma(\alpha_i)=\{q_r\}, we have a_{p_r,q_r}\neq 0 and a_{p_i,q_r}=0 for each i< r. Thus, by permuting the columns of the matrix (a_{p_i,j})_{i,j\in[n]} according to q_1,\ldots, q_n, we obtain an invertible lower triangular matrix (a_{p_i,q_j})_{i,j\in[n]}. Therefore, for the sequence \alpha_{p_1},\ldots,\alpha_{p_n}, properties (1) and (2) hold.

We define a partial order on \mathbb{N}^2. Let \alpha,\beta\in \mathbb{N}^2, \alpha=(a_1,a_2), \beta=(b_1,b_2). Let \alpha\leq\beta if (|\alpha|,a_1,a_2)\leq_{\rm lex}(|\beta|,b_1,b_2) where \leq_{\rm lex} is the lexicographic order on \mathbb{N}^3. It can be seen that \leq is a total order. Let C_1,\ldots,C_r be all conjugacy classes of W. For each i\in[r], take a word w_i\in \phi^{-1}(C_i), let \alpha_i={\rm sig}(w_i), let H=\{w_1,\ldots,w_r\}. Let

Clearly |A|<\infty, so let A=\{\beta_1,\ldots, \beta_N\}, where \beta_1<\cdots<\beta_N. Then we consider \{V_{\beta_1},\ldots,V_{\beta_N}\} where V_{\beta_i} defined in Definition evdef. Let \gamma be as defined in Lemma csslm. Since \beta_1=(0,0), we have |\gamma(V_{\beta_1})|=1. For each conjugacy class C_h, note that w_h\in \phi^{-1}(C_h) and \alpha_h={\rm sig}(w_h)\in A, so h\in\gamma(V_{\alpha_h})\in \bigcup_{i=1}^N\gamma(V_{\beta_i}). For the arbitrariness of h, we have |\bigcup_{i=1}^N\gamma(V_{\beta_i})|=r. For each k\in \{2,\ldots,N\}, let \beta_k=(b_1,b_2). If |b_1-b_2|\geq 2, then for each h\in\gamma(V_{\beta_k}), there exists a w=t_1\cdots t_{|\beta_k|}\in \phi^{-1}(C_h), t_i\in\{g_1,g_2\} such that {\rm sig}(w)=\beta_k and t_j=t_{j+1} for some j. Thus there is a w'=t_1\cdots t_{j-1}t_{j+2}\cdots t_{|\beta_k|} such that \phi(w')=\phi(w) and {\rm sig}(w')<{\rm sig}(w)=\beta_k. So {\rm sig}(w')\in A and h\in\gamma(V_{{\rm sig}(w')})\subseteq\bigcup_{i=1}^{k-1}\gamma(V_{\beta_i}). For the arbitrariness of h, we have |\gamma(V_{\beta_k})\setminus\bigcup_{i=1}^{k-1}\gamma(V_{\beta_i})|=0. If |b_1-b_2|=1, suppose b_2=b_1+1. If b_1=0, then |\gamma(V_{\beta_k})|=1 and |\gamma(V_{\beta_k})\setminus\bigcup_{i=1}^{k-1}\gamma(V_{\beta_i})|=0\ {\rm or}\ 1. If b_1>0, then g_2g_1\cdots g_2g_1g_2\in E_{\beta_k} and is conjugate to g_1 or g_2. For each w=t_1\cdots t_{|\beta_k|}\in E_{\beta_k}\setminus\{g_2g_1\cdots g_2g_1g_2\} where t_i\in\{g_1,g_2\}, there is a t_j=t_{j+1} for some j. Thus for each h\in\gamma(V_{\beta_k}), there are w,w'\in M(S) such that {\rm sig}(w')<{\rm sig}(w)=\beta_k and \phi(w') is conjugate to \phi(w). Hence h\in\gamma(V_{{\rm sig}(w')})\subseteq\bigcup_{i=1}^{k-1}\gamma(V_{\beta_i}). For the arbitrariness of h, we have |\gamma(V_{\beta_k})\setminus\bigcup_{i=1}^{k-1}\gamma(V_{\beta_i})|=0. If b_1=b_2, then g_1g_2\cdots g_1g_2,g_2g_1\cdots g_2g_1\in E_{\beta_k}. Let

For each w=t_1t_2\cdots t_{|\beta_k|} \in \tilde{E}_{\beta_k}, there is a t_j=t_{j+1} for some j. Let

By the same argument in the previous cases, we have |\gamma(V')\setminus\bigcup_{i=1}^{k-1}\gamma(V_{\beta_i})|=0. Since g_1g_2\cdots g_1g_2 and g_2g_1 \cdots g_2g_1 are in the same conjugacy class, the number of conjugacy classes in E_{\beta_k} is at most one more than the number of conjugacy classes in \tilde{E}_{\beta_k}, so |\gamma(V_{\beta_k})\setminus\gamma(V')|=0\ {\rm or}\ 1. Thus |\gamma(V_{\beta_k})\setminus\bigcup_{i=1}^{k-1}\gamma(V_{\beta_i})|=0\ {\rm or}\ 1. Consequently, by using Lemma csslm, there is a linearly independent subsequence V_{\beta_{p_1}},\ldots,V_{\beta_{p_r}} of V_{\beta_1},\ldots,V_{\beta_N}, hence \beta_{p_1},\ldots,\beta_{p_r} is an ISS of W. Besides, with proper reordering of the conjugacy classes C_1,\ldots,C_r, the ISM of \beta_{p_1},\ldots,\beta_{p_r} can become a lower triangular matrix.

Let C_1,\ldots,C_r be all conjugacy classes of W. Take a word v_i\in \phi^{-1}(C_i) for each i\in[r], let H=\{v_1,\ldots,v_r\} and J=\{w:\exists v_i\in H\ s.t.\ w\leq v_i\}. Clearly we have |J|<\infty, so (J,\leq) can extend to a totally ordered set (J,\widetilde{\leq}) (i.e. w_i\leq w_j implies w_i\widetilde{\leq}w_j). So let J=\{w_1,\ldots,w_N\}, where w_1\widetilde{<}\cdots\widetilde{<}w_N. Let \alpha_i={\rm sig}(w_i) for each i\in[r]. Since w_1=\varepsilon, it follows that |\gamma(V_{\alpha_1})|=1. For each h\in[r], we have v_h\in \phi^{-1}(C_h) and v_h\in J. Let \alpha_k={\rm sig}(v_h), then h\in\gamma(V_{\alpha_k})\subseteq\bigcup_{i=1}^N\gamma(V_{\alpha_i}). For the arbitrariness of h, we have |\bigcup_{i=1}^N\gamma(V_{\alpha_i})|=r. For each k\in\{2,\ldots,N\}, by Proposition ABDprop part (a), we divide E_{\alpha_k} into two parts:

and

Let

For each h\in\gamma(V'), there exists u_0\in \hat{E}_{\alpha_k} and u_0\in \phi^{-1}(C_h). Since {\rm ct}(\tilde{u}_0)<_{\rm lex}{\rm ct}(u_0)={\rm ct}(w_k), we have \tilde{u}_0<w_k and thus \tilde{u}_0\in J. Let \tilde{u}_0=w_l, {\rm sig}(\tilde{u}_0)=\alpha_l, then w_l\widetilde{<}w_k and then l<k. Since \phi(\tilde{u}_0) and \phi(u_0) are in the same conjugacy class, h\in \gamma(V_{\alpha_l})\subseteq\bigcup_{i=1}^{k-1}\gamma(V_{\alpha_i}). For the arbitrariness of h, we have \gamma(V')\subseteq\bigcup_{i=1}^{k-1}\gamma(V_{\alpha_i}). Now consider words in \bar{E}_{\alpha_k}. Let u_1,u_2\in \bar{E}_{\alpha_k}, we have {\rm sig}(u_1)={\rm sig}(u_2) and {\rm ct}(u_1)={\rm ct}(\tilde{u}_1)={\rm ct}(\tilde{u}_2)={\rm ct}(u_2), so \phi(u_1) and \phi(u_2) are in the same conjugacy class by Proposition ABDprop part (b). Thus the number of conjugacy classes in E_{\alpha_k} is at most one more number than the number of conjugacy classes in \hat{E}_{\alpha_k}. So we have |\gamma(V_{\alpha_k})\setminus\gamma(V')|=0\ {\rm or}\ 1, and |\gamma(V_{\alpha_k})\setminus\bigcup_{i=1}^{k-1}\gamma(V_{\alpha_i})|=0\ {\rm or}\ 1 since \gamma(V')\subseteq\bigcup_{i=1}^{k-1}\gamma(V_{\alpha_i}). Therefore, by using Lemma csslm, there is a linearly independent subsequence V_{\alpha_{p_1}},\ldots,V_{\alpha_{p_r}} of V_{\alpha_1},\ldots,V_{\alpha_N}, hence \alpha_{p_1},\ldots,\alpha_{p_r} is an ISS of W. Besides, with proper reordering of the conjugacy classes C_1,\ldots,C_r, the ISM of \alpha_{p_1},\ldots,\alpha_{p_r} can become a lower triangular matrix.

Suppose \alpha_1,\ldots, \alpha_p is an NSS of W and \beta_1,\ldots, \beta_q is a CSS of W. Arrange all the conjugacy classes as

It follows that

It can be verified that V_{\alpha_1},\ldots,V_{\alpha_p},V_{\beta_1},\ldots,V_{\beta_q} is linearly independent and then \alpha_1,\ldots,\alpha_p,\beta_1,\ldots,\beta_q is an ISS of W. Furthermore, if NSM and CSM in equation (Proof) are both lower triangular, then ISM of \alpha_1,\ldots,\alpha_p,\beta_1,\ldots,\beta_q is also lower triangular.

Let U denote the set of all non-cuspidal classes of W. Let W_{J_1},\ldots,W_{J_m} be all proper parabolic subgroups of W. For each proper parabolic subgroups W_{J_k}, by assumption, there is an order of all conjugacy classes of W_{J_k}: C_1^{J_k},\ldots,C_{r_k}^{J_k} and a sequence \alpha_{k,1},\ldots,\alpha_{k,r_k} \\ \in\mathbb{N}^{r_k} such that

Let

\psi(C_i^{J_k}) is the conjugacy class of W that contains C_i^{J_k}. It is easy to see that each \psi(C_i^{J_k}) is an non-cuspidal class of W. Furthermore, since each non-cuspidal class of W contains at least one word that belongs to some proper parabolic subgroup, we have

Suppose J_k=\{s_{k_1},\ldots,s_{k_d}\} where k_1<\cdots<k_d. Given \alpha_{k,i}=(a_1,\ldots,a_d), define \alpha'_{k,i}=(a'_1,\ldots,a'_n) where

for each x\in[n]. In another word, \alpha'_{k,i} is the signature on W induced by \alpha_{k,i}. Let {\it U}=\{{\it Ncus}_1,{\it Ncus}_2,\ldots,{\it Ncus}_p\} where

Let

The below shows that \beta_1,\ldots,\beta_p is an NSS with a lower triangular NSM of W. For any given \beta_j, let \beta_j=\alpha'_{k,i}. First, since \phi(E_{\beta_j})\subset W_{J_k} and W_{J_k}\cap{\it Cus}_l=\varnothing for each l\in[q], we have E_{\beta_j}\cap\phi^{-1}({\it Cus}_l)=\varnothing for each l\in[q]. Next, by (?) we have E_{\beta_j}\cap \phi^{-1}(C_i^{J_k})\neq\varnothing, by (?) we have \psi(C_i^{J_k})={\it Ncus}_j, thus E_{\beta_j}\cap\phi^{-1}({\it Ncus}_j)\neq\varnothing. Suppose E_{\beta_j}\cap\phi^{-1}({\it Ncus}_h)\neq\varnothing. By (?), we obtain {\it Ncus}_h=\psi(C_{i'}^{J_k}) for some i'\leq i. Let \beta_h=\alpha'_{\tilde{k},\tilde{i}}, then (\tilde{k},\tilde{i})\leq_{\rm lex}(k,i')\leq_{\rm lex}(k,i) by (?), and then h\leq j by (?). Thus, for each h>j, E_{\beta_j}\cap\phi^{-1}({\it Ncus}_h)=\varnothing. Therefore \beta_1,\ldots,\beta_p is an NSS with a lower triangular NSM of W.

By Proposition cssp and Theorem cmp, it is sufficient to show that each Coxeter group W(M) of exceptional types has an NSS with a lower triangular NSM. Furthermore, by Theorem ucsp, it is sufficient to show that each proper parabolic subgroup of W(M) has an ISS with a lower triangular ISM. Consider all Coxeter groups of exceptional types as the order {\rm H_3},{\rm H_4},{\rm F_4},\\{\rm E_6},{\rm E_7},{\rm E_8}. By observing Table table1 and Table table2, given an exceptional type M,
there are only three possible cases for the proper parabolic subgroups of W(M):

1. a) classical types,

2. b) exceptional types which are before it,

3. c) direct products of some types in the first two cases.

By Theorem clsp1, clsp2 and Corollary dpc, for each exceptional type M, all that is needed is to show that every previous exceptional types have an ISS with a lower triangular ISM. Hence {\rm H_3} is proven firstly, and then {\rm H_4,F_4,E_6,E_7} and {\rm E_8} are proven in turn, so the theorem holds.

1. (a) For each i\in[q], take a word w_i\in \phi^{-1}({\it Cus}_i) such that |w_i|=l({\it Cus}_i). Then |E_{{\rm sig}(w_i)}\cap \phi^{-1}({\it Cus}_j)|=0 for all j>i since |w_i|=l({\it Cus}_i)<l({\it Cus}_j). Also, clearly we have |E_{{\rm sig}(w_i)}\cap \phi^{-1}({\it Cus}_i)|\neq0. Hence {\rm sig}(w_1),\ldots,{\rm sig}(w_q) is a CSS with a lower triangular CSM.

2. (b) For each i\in[q], if i=k_j for some j\in[h], take w_i such that |w_i|=l({\it Cus}_{i}) and |E_{{\rm sig}(w_i)}\cap \phi^{-1}({\it Cus}_{i+1})|=0 by assumption; or else, take w_i\in \phi^{-1}({\it Cus}_i) such that |w_i|=l({\it Cus}_i). Since |E_{{\rm sig}(w_i)}\cap \phi^{-1}({\it Cus}_i)|\neq0 and |E_{{\rm sig}(w_i)}\cap \phi^{-1}({\it Cus}_j)|=0 for all j>i, it follows that {\rm sig}(w_1),\ldots,{\rm sig}(w_q) is a CSS with a lower triangular CSM.

If g\in C_0, then p_g(\lambda)=p_{C_0}(\lambda). Conversely, if p_g(\lambda)=p_{C_0}(\lambda), it follows that p_g(1)\neq 0 so the conjugacy class of g in W is a cuspidal class by Lemma cuspolylemma. It is known that the characteristic polynomials of any two different cuspidal classes in W are different by [GP, Appendix B]. Hence g is in C_0.

Let {\rm sig}(w)=(a_1,a_2,a_3,a_4). It follows that a_1\leq a_2 and a_4\leq a_3, since |w|=l({\it Cus}_i^M). It is obvious that I_4^{\alpha}I_1^{\alpha}(E_{{\alpha}_{23}}^{\rm cyc})\subseteq E_{\alpha}, hence E_{\alpha}\cap\phi^{-1}({\it Cus}_j^M)=\varnothing implies I_4^{\alpha}I_1^{\alpha}(E_{{\alpha}_{23}}^{\rm cyc})\cap\phi^{-1}({\it Cus}_j^M)=\varnothing.

Conversely, suppose I_4^{\alpha}I_1^{\alpha}(E_{{\alpha}_{23}}^{\rm cyc})\cap\phi^{-1}({\it Cus}_j^M)=\varnothing. Since each element in I_4^{\alpha}I_1^{\alpha}(E_{{\alpha}_{23}}) is conjugate to an element in I_4^{\alpha}I_1^{\alpha}(E_{{\alpha}_{23}}^{\rm cyc}), we have I_4^{\alpha}I_1^{\alpha}(E_{{\alpha}_{23}})\cap\phi^{-1}({\it Cus}_j^M)=\varnothing. Let u\in E_{\alpha} and C_0 is the conjugacy class of \phi(u). If |u|>l(C_0), then u\notin\phi^{-1}({\it Cus}_j^M) since |u|=l({\it Cus}_j^M). If |u|=l(C_0), we perform the following operations on u. First, for each letter s_1 in u, swap it with letters to its right until a letter non-commuting with s_1 is encountered. If this s_1 reaches the rightmost position, then move it to the leftmost position and repeat the above step. Since |u|=l(C_0), no s_1 will encounter another s_1. Thus every s_1 will eventually encounter an s_2 to its right through this procedure. Next, perform a similar procedure for each s_4 in the newly obtained word, then every s_4 will eventually encounter an s_3 to its right. Therefore, we finally obtain a new word u'\in I_4^{\alpha}I_1^{\alpha}(E_{{\alpha}_{23}}) and \phi(u') is conjugate to \phi(u). Since I_4^{\alpha}I_1^{\alpha}(E_{{\alpha}_{23}})\cap\phi^{-1}({\it Cus}_j^M)=\varnothing, we have u'\notin\phi^{-1}({\it Cus}_j^M) and then u\notin\phi^{-1}({\it Cus}_j^M). Hence E_{\alpha}\cap\phi^{-1}({\it Cus}_j^M)=\varnothing.

Let w=1213213234 which is a representative of {\it Cus}_5^{\rm F_4} listed in [GP, Appendix B]. Let \alpha={\rm sig}(w), then \alpha=(3,3,3,1) and {\alpha}_{23}=(0,3,3,0). Select an arbitrary element from each cyclic class in E_{{\alpha}_{23}} and obtain

and then

Note that \phi(1212)=\phi(21) and the last three words in (Proof) are all in \phi^{-1}({\it Cus}_5^{\rm F_4}), so I_4^{\alpha}I_1^{\alpha}(E_{{\alpha}_{23}}^{\rm cyc})\cap\phi^{-1}({\it Cus}_4^{\rm F_4})=\varnothing. By Proposition algprop, we have E_{\alpha}\cap\phi^{-1}({\it Cus}_4^{\rm F_4})=\varnothing.