Mathematics – Representation Theory
Scientific paper
2004-11-07
Mathematics
Representation Theory
13 pages, plain.tex
Scientific paper
Let $\Gamma$ be a finite subgroup of SU(2) and let $\widetilde {\Gamma} = \{\gamma_i\mid i\in J\}$ be the unitary dual of $\Gamma$. The unitary dual of SU(2) may be written $\{\pi_n\mid n\in \Bbb Z_+\}$ where $dim \pi_n = n+1$. For $n\in \Bbb Z_+$ and $j\in J$ let $m_{n,j}$ be the multiplicity of $\gamma_j$ in $\pi_n|\Gamma$. Then we collect this branching data in the formal power series, $m(t)_j = \sum_{n=0}^{\infty}m_{n,j} t^n$. One shows that there exists a polynomial $z(t)_j$ and known positive integers $a,b$ (independent of $j$) such that $m(t)_j = {z(t)_j \over (1-t^a)(1-t^b)}$. The problem is the determination of the polynomial $z(t)_j$. If $o\in J$ is such that $\gamma_o$ is the trivial representation, then it is classical that $z(t)_o = 1 +t^h$ for a known integer $h$. The problem reduces to case where $\gamma_j$ is nontrivial. The McKay correspondence associates to $\Gamma$ a complex simple Lie algebra $\g$ of type A-D-E. We explicitly determine $z(t)_j$ for $j\in J-\{o\}$ using the orbits of a Coxeter element on the set of roots of $\frak{g}$. Mysteriously the polynomial $z(t)_j$ has arisen in a completely different context in some papers of Lusztig. Also Rossmann has recently shown that the polynomial $z(t)_j$ yields the character of $\gamma_j$.
No associations
LandOfFree
The Coxeter element and the branching law for the finite subgroups of SU(2) does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with The Coxeter element and the branching law for the finite subgroups of SU(2), we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and The Coxeter element and the branching law for the finite subgroups of SU(2) will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-25262