MA 3416: Group representations Selected answers/solutions to the assignment due March 4, 2015 1. Clearly, triv ⊗ W ' W for all W. Also, sgn ⊗ sgn ' triv, sgn ⊗ U ' U, sgn ⊗ V ' V 0 , sgn ⊗ V 0 ' V, as it is obvious from examining characters of these. It remains to compute U ⊗ U, U ⊗ V, V ⊗ V, and V ⊗ V 0 . Note that U ⊗ V 0 ' U ⊗ sgn ⊗ V ' U ⊗ V, and V 0 ⊗V 0 ' V ⊗sgn⊗V ⊗sgn ' V ⊗V because of the product formulas for the sign representation above. Computing the scalar products of characters, we find U ⊗ U ' U ⊕ triv ⊕ sgn, U ⊗ V ' V ⊕ V 0 , V ⊗ V ' V ⊕ V 0 ⊕ triv ⊕ U, V ⊗ V 0 ' V ⊗ V ⊗ sgn ' V ⊕ V 0 ⊕ sgn ⊕ U. 2. (a) The character is computed by direct inspection: we must figure out, for each type of rotation, how many vertices that rotation keeps intact. The result is written below under the character table of S4 . triv sign V V0 U vertices e 1 1 3 3 2 8 (ij) 1 -1 1 -1 0 0 (ijk) 1 1 0 0 -1 2 (ijkl) 1 -1 -1 1 0 0 (ij)(kl) 1 1 -1 -1 2 0 Computing the scalar products with irreducible characters, we see that this representation is isomorphic to triv ⊕ sign ⊕ V ⊕ V 0 . Finally, note that the set of all vertices of the cube is the union of the sets of vertices of two regular tetrahedra, each formed by four vertices of the cube that have no edges of the cube between them. The invariant subspaces are: constant functions, functions which assume the same value on one of the tetrahedra and the same opposite value on the other, even functions which add up to zero on each of the tetrahedra, odd functions that add up to zero on each of the tetrahedra. (b) Since T is an intertwining operator, and since all irreducible constituents of our representation are different, T acts by a scalar on each irreducible constituent, and we should just compute each of these scalars to examine the dynamics of T . Clearly, on the constant functions T acts as multiplication by 1, on functions that assume the same value on one of the tetrahedra and the same opposite value on the other T acts as multiplication by −1 (each a gets replaced by (−a − a − a)/3 = −a, on even functions that add up to zero on each of the tetrahedra T acts as multiplication by −1/3 (each a gets replaced by (b + c + d)/3 = (−a)/3), and on odd functions that add up to zero on each of the tetrahedra T acts as multiplication by 1/3 (each a gets replaced by (b + c + d)/3 = (−(−a))/3). Therefore, the limiting behaviour of T applied to a certain vector is determined by the projections of that vector on the trivial representation and the sign representation. Note that for the configuration in question the sums of values on both tetrahedra are the same: 1 + 3 + 6 + 8 = 18 = 2 + 4 + 5 + 7. Therefore, the projection on the sign representation, where the opposite values are proportional to the difference of values on the two tetrahedra, is equal to zero, and the projection on the trivial representation, the space of constant functions, is the function whose value on each vertex is equal to 4.5. That projection is the limit lim T n (w). n→∞ 3. Note that if e1 , . . . , en is a basis of V, then the wedge products ei1 ∧ · · · ∧ eik with i1 < · · · < ik form a basis of Λk (V). Assume that A can be diagonalised, and that f1 , . . . , fn is a basis of V consisting of eigenvectors of A with eigenvalues λ1 , . . . , λn . Then the wedge products fi1 ∧ · · · ∧ fik with i1 < · · · < ik are eigenvectors of Λk (A) with the respective eigenvalues being λi1 λi2 · · · λik , and the trace of Λk (A) is equal to the sum ofQall of these. Note that the characteristic polynomial of A, that is det(A − tI), is equal to ni=1 (λi − t). Therefore, the trace of Λk (A) is equal, up to a sign (−1)n−k , to the coefficient of tn−k in that polynomial. 4. Note that for a finite group G, the transformation ρ(g) can be diagonalised. Assume that it has eigenvalues λ1 , . . . , λn . Then ρ(g2 ) = ρ(g)2 has eigenvalues λ21 , . . . , λ2n . Therefore, X 1 1 (χV (g)2 − χV (g2 )) = ((λ1 + · · · + λn )2 − (λ21 + · · · + λ2n )) = λi λj , 2 2 i<j which is precisely χΛ2 (V) (g), as we know from the previous question. 5. The characters of the corresponding representations are written below the character table of S4 . Note that U is two-dimensional, so Λ2 (U) is one-dimensional, and the corresponding character is given by the determinant of the corresponding matrices acting on U, and Λ3 (U) = 0. Similarly, V and V 0 are three-dimensional, so the exterior square Λ2 (V) can be handled by the previous question, the exterior square Λ2 (V 0 ) is isomorphic to the exterior square Λ2 (V), because we multiply by the sign twice, the action on the exterior cube Λ3 (V) is given by the determinant, and the action on the exterior cube Λ3 (V 0 ) is given by the determinant multiplied by the sign. triv sign V V0 U 2 Λ (V) Λ2 (V 0 ) Λ2 (U) Λ3 (V) Λ3 (V 0 ) Λ3 (U) e 1 1 3 3 2 3 3 1 1 1 0 (ij) 1 -1 1 -1 0 -1 -1 -1 -1 1 0 (ijk) 1 1 0 0 -1 0 0 1 1 1 0 (ijkl) 1 -1 -1 1 0 1 1 -1 -1 1 0 (ij)(kl) 1 1 -1 -1 2 -1 -1 1 1 1 0 Thus, Λ2 (V) ' Λ2 (V 0 ) ' V 0 , Λ2 (U) ' Λ3 (V) ' sign, and Λ3 (V 0 ) ' triv.