Coxeter groups and the proper joint spectrums of their faithful representations
Shoumin Liu, Zhaohuan Peng, Xumin Wang
TL;DR
The paper tackles the problem of determining a Coxeter group with finite bonds from the proper joint spectrum of a faithful representation. It develops a purely algebraic framework, starting with the dihedral case $W(\mathrm I_2(n))$ to compute irreducible spectra via determinants $\det(-I+x_1\rho(s_1)+x_2\rho(s_2))$, and then derives a faithful-representation criterion in terms of kernel intersections of irreducible constituents. The main result shows that, for any Coxeter group with finite bonds, the proper joint spectrum $U$ of a faithful representation uniquely determines the orders $m_{ij}=\mathrm{ord}(s_i s_j)$, by analyzing the restricted spectra on generator pairs and their irreducible components. This establishes a close link between generating relations, representation theory, and geometric spectra, and motivates further exploration of connections to Hecke algebras and Kazhdan-Lusztig polynomials.
Abstract
In this paper, we analyze the faithful representations of the dihedral groups, and prove that the Coxeter groups can be determined by the proper joint spectrum of their faithful representations.
