We have decided to discontinue the publication of preprints on our preprint server end of 2024. The publication culture within mathematics has changed so much due to the rise of repositories such as ArXiV (www.arxiv.org) that we are encouraging all institute members to make their preprints available there. An institute's repository in its previous form is, therefore, unnecessary. The preprints published to date will remain available here, but we will not add any new preprints here.
MiS Preprint
80/2006
Notes on Coxeter Transformations and the McKay correspondence
Rafael Stekolshchik
Abstract
We consider the Coxeter transformation in the context of the McKay correspondence, representations of quivers, and Poincaré series.
We study in detail the Jordan forms of the Coxeter transformations and prove shearing formulas due to Subbotin and Sumin for the characteristic polynomials of the Coxeter transformations. Using shearing formulas we calculate characteristic polynomials of the Coxeter transformation for the diagrams $T_{2,3,r}, T_{3,3,r}, T_{2,4,r}$, prove J. S. Frame's formulas, and generalize R. Steinberg's theorem on the spectrum of the affine Coxeter transformation for the multiply-laced diagrams. This theorem is the key statement in R. Steinberg's proof of the McKay correspondence. For every extended Dynkin diagram, the spectrum of the Coxeter transformation is easily obtained from R. Steinberg's theorem.
In the study of representations $\pi_n$ of $SU(2)$, we extend B. Kostant's construction of a vector-valued generating function $P_G(t)$. B. Kostant's construction appears in the context of the McKay correspondence and gives a way to obtain multiplicities of indecomposable representations $\rho_i$ of the binary polyhedral group $G$ in the decomposition of $\pi_n|G$. In the case of multiply-laced graphs, instead of indecomposable representations $\rho_i$ we use restricted representations and induced representations of $G$ introduced by P. Slodowy. Using B. Kostant's construction we generalize to the case of multiply-laced graphs W. Ebeling's theorem which connects the Poincaré series $[P_G(t)]_0$ and the Coxeter transformations. According to W. Ebeling's theorem \begin{equation*} [P_G(t)]_0 = \frac{\mathcal{X}(t^2)}{\tilde{\mathcal{X}}(t^2)}, \end{equation*} where $\mathcal{X}$ is the characteristic polynomial of the Coxeter transformation and $\tilde{\mathcal{X}}$ is the characteristic polynomial of the corresponding affine Coxeter transformation.
Using the Jordan form of the Coxeter transformation we prove a criterion of V.~Dlab and C.~M.~Ringel of regularity of quiver representations, consider necessary and sufficient conditions of this criterion for extended Dynkin diagrams and for diagrams with indefinite Tits form.
We prove one more McKay's observation concerning the Kostant generating functions $[P_G(t)]_i$: \begin{equation*} (t+t^{-1})[P_G(t)]_i = \sum\limits_{i \leftarrow j}[P_G(t)]_j, \end{equation*} where $j$ runs over all vertices adjacent to $i$.
A connection between fixed and anti-fixed points of the powers of the Coxeter transformations and Chebyshev polynomials of the first and second kind is established.
