2
$\begingroup$

all. I am reading a paper and I could not understand the dimension of the vector space $Hom_{\Gamma}(\rho_i\otimes \rho, \rho_j)$. The paper is http://pages.uoregon.edu/njp/Lusztig92.pdf, section 1.1, page 113. Here $\rho$ is a 2-dimensional C-vector space. $\Gamma$ is a finite subgroup of the special linear group $SL(\rho)$. Then $\rho$ is a $\Gamma$-module. Let $I$ be the set of isomorphism classes of simple $\Gamma$-modules. For each $i\in I$, $\rho_i$ is a simple $\Gamma$-module in class $i$. It is said that $dim Hom_{\Gamma}(\rho_i\otimes \rho, \rho_j)$ is 0, 1, or 2. I don't know why. Could you explain this? Thank you very much.

I have another question about this paper. On page 114, equation (c), it is said that (M, M')=|\Gamma|^{-1}\sum_{\gamma\in \Gamma}tr(\gamma, M)tr(\gamma^{-1}, M')(2-tr(\gamma, \rho)). Here (M, M') is defined on page 113, section 1.2. (M, M')=(M\otimes C^2: M')-(M\otimes \rho: M'), (M, M')=dim Hom_{\Gamma}(M, M'). Why the equation (c) is true? What does $tr(\gamma, \rho)$ mean? We could define trace of a linear map of a matrix. But here $(\gamma, \rho)$ is not a matrix or a map. Thank you very much.

2 Answers 2

2

This follows from the lemmas proven in this blog post about the McKay correspondence (see the paragraph under the $\tilde{D}_n$ diagrams). The more general result is also true and also follows by the lemmas in the post: if $\rho$ is a faithful self-dual representation of a finite group $G$ and $\rho_i, \rho_j$ are irreducible, then $\dim \text{Hom}_G(\rho_i \otimes \rho, \rho_j) \le \dim \rho$.

Lemma 6 implies something stronger: the inequality is strict unless $G$ has at most two irreducible representations! Unfortunately I don't know a more direct proof. One is tempted to write down an argument using characters and the triangle inequality, but it doesn't seem to work and I don't know if it can be fixed.

  • 0
    @Jianrong: any $2$-dimensional representation with image in $\text{SL}$ is self-dual. This is because a $2 \times 2$ matrix of finite order and determinant $1$ must have eigenvalues $\lambda, \lambda^{-1}$ for some root of unity $\lambda$, hence has real trace. And since $\Gamma$ is supposed to be a subgroup, the representation is faithful by definition.2011-03-12
1

I don't think the first question is a general feature of groups, so it is probably something special about finite subgroups of SL(2,C). They are basically cyclic or dihedral, and so ρi and ρj have dimension at most 2, and the tensor product has dimension at most 4, so you immediately get Tij is at most 4, and I guess you just rule out having too many linear constituents (and the few exceptions).

Actually this is a general feature of finite groups and their irreducible representations. Suppose χ and θ are irreducible characters and ρ is a character with complex conjugate ρ′. Then [ χρ, θ ] = [ χ, ρθ ]. Whenever φ is a character, [ χ, φ ] ≤ φ(1)/χ(1), and equality holds iff φ = (φ(1)/χ(1))⋅χ. In our case we get [ χρ, θ ] ≤ χ(1)/θ(1) ⋅ ρ(1) but also [ χ, ρθ ] ≤ θ(1)/χ(1) ⋅ ρ′(1) = θ(1)/χ(1) ⋅ ρ(1). Since at most one of { θ(1)/χ(1), χ(1)/θ(1) } is bigger than 1, we get that [ χρ, θ ] ≤ ρ(1). In the paper, ρ(1) = 2. (This does not require faithful or self-dual characters.)

For your third question, I believe tr(g,V) means the trace of the group element g acting on the G-module V. Sometimes he uses M to mean the module and sometimes he uses ρ to mean the module.

  • 0
    @Jack: ah, that makes sense. Thanks!2011-03-17