15.11.2014 Views

Lecture notes for Introduction to Representation Theory

Lecture notes for Introduction to Representation Theory

Lecture notes for Introduction to Representation Theory

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

Problem 2.24. Let A be an algebra, and V a representation of A. Let δ : A ⊃ EndV . A <strong>for</strong>mal<br />

de<strong>for</strong>mation of V is a <strong>for</strong>mal series<br />

δ˜ = δ 0 + tδ 1 + ... + t n δ n + ...,<br />

where δ i : A ⊃ End(V ) are linear maps, δ 0 = δ, and δ˜(ab) = δ˜(a)˜δ(b).<br />

If b(t) = 1 + b 1 t + b 2 t 2 + ..., where b i End(V ), and δ ˜ is a <strong>for</strong>mal de<strong>for</strong>mation of δ, then b˜<br />

is also a de<strong>for</strong>mation of δ, which is said <strong>to</strong> be isomorphic <strong>to</strong> δ˜.<br />

(a) Show that if Ext 1 (V, V ) = 0, then any de<strong>for</strong>mation of δ is trivial, i.e., isomorphic <strong>to</strong> δ.<br />

(b) Is the converse <strong>to</strong> (a) true? (consider the algebra of dual numbers A = k[x]/x 2 ).<br />

Problem 2.25. The Clif<strong>for</strong>d algebra. Let V be a finite dimensional complex vec<strong>to</strong>r space<br />

equipped with a symmetric bilinear <strong>for</strong>m (, ). The Clif<strong>for</strong>d algebra Cl(V ) is the quotient of the<br />

tensor algebra T V by the ideal generated by the elements v v − (v, v)1, v V . More explicitly, if<br />

x i , 1 ∗ i ∗ N is a basis of V and (x i , x j ) = a ij then Cl(V ) is generated by x i with defining relations<br />

Thus, if (, ) = 0, Cl(V ) = √V .<br />

2<br />

x i x j + x j x i = 2a ij , x i = a ii .<br />

(i) Show that if (, ) is nondegenerate then Cl(V ) is semisimple, and has one irreducible representation<br />

of dimension 2 n if dim V = 2n (so in this case Cl(V ) is a matrix algebra), and two such<br />

representations if dim(V ) = 2n + 1 (i.e., in this case Cl(V ) is a direct sum of two matrix algebras).<br />

Hint. In the even case, pick a basis a 1 , ..., a n , b 1 , ..., b n of V in which (a i , a j ) = (b i , b j ) = 0,<br />

(a i , b j ) = ζ ij /2, and construct a representation of Cl(V ) on S := √(a 1 , ..., a n ) in which b i acts as<br />

“differentiation” with respect <strong>to</strong> a i . Show that S is irreducible. In the odd case the situation is<br />

similar, except there should be an additional basis vec<strong>to</strong>r c such that (c, a i ) = (c, b i ) = 0, (c, c) =<br />

1, and the action of c on S may be defined either by (−1) degree or by (−1) degree+1 , giving two<br />

representations S + , S − (why are they non-isomorphic?). Show that there is no other irreducible<br />

representations by finding a spanning set of Cl(V ) with 2 dim V elements.<br />

(ii) Show that Cl(V ) is semisimple if and only if (, ) is nondegenerate. If (, ) is degenerate, what<br />

is Cl(V )/Rad(Cl(V ))?<br />

δb −1<br />

2.10 <strong>Representation</strong>s of tensor products<br />

Let A, B be algebras. Then A B is also an algebra, with multiplication (a 1 b 1 )(a 2 b 2 ) =<br />

a 1 a 2 b 1 b 2 .<br />

Exercise. Show that Mat m (k) Mat n (k) = ∪ Mat mn (k).<br />

The following theorem describes irreducible finite dimensional representations of AB in terms<br />

of irreducible finite dimensional representations of A and those of B.<br />

Theorem 2.26. (i) Let V be an irreducible finite dimensional representation of A and W an<br />

irreducible finite dimensional representation of B. Then V W is an irreducible representation of<br />

A B.<br />

(ii) Any irreducible finite dimensional representation M of A B has the <strong>for</strong>m (i) <strong>for</strong> unique<br />

V and W .<br />

Remark 2.27. Part (ii) of the theorem typically fails <strong>for</strong> infinite dimensional representations;<br />

e.g. it fails when A is the Weyl algebra in characteristic zero. Part (i) also may fail. E.g. let<br />

A = B = V = W = C(x). Then (i) fails, as A B is not a field.<br />

31

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!