Etingof - Introduction To Representation Theory
Etingof - Introduction To Representation Theory
Volume 59
Introduction to
Representation Theory
Pavel Etingof
Oleg Golberg
Sebastian Hensel
Tiankai Liu
Alex Schwendner
Dmitry Vaintrob
Elena Yudovina
AMS
American Mathematical Society
Providence, Rhode Island
Editorial Board
Gerald B. Folland Brad G. Osgood (Chair)
Robin Forman John Stillwell
2010 Mathematics Subject Classification. Primary 16Gxx, 2OGxx.
Chapter 1. Introduction
Chapter 2. Basic notions of representation theory
§2.1. What is representation theory?
§2.2. Algebras
§2.3. Representations CDOOCHCJ1
§2.4. Ideals 15
§2.5. Quotients 15
Ill
iv Contents
§2.16. Problems on Lie algebras 39
Chapter 3. General results of representation theory 41
§3.1. Subrepresentations in semisimple representations 41
§3.2. The density theorem 43
§3.4. Filtrations 45
§3.3. Representations of direct sums of matrix algebras 44
tables 74
§4.7. Orthogonality of matrix elements 70
§4.8. Character tables, examples 71
§4.9. Computing tensor product multiplicities using character
§4.12. Problems 81
poetry 86
§4.13. Historical interlude: William Rowan Hamilton’s
quaternion of geometry, algebra, metaphysics, and
Contents v
Chapter 5. Representations of finite groups: Further results 91
§5.1. Frobenius-Schur indicator 91
§5.2. Algebraic numbers and algebraic integers 93
§5.3. Frobenius divisibility 96
§5.4. Burnside’s theorem 98
§5.5. Historical interlude: William Burnside and intellectual
harmony in mathematics 100
§5.6. Representations of products 104
§5.7. Virtual representations 105
§5.8. Induced representations 105
representation 106
§5.9. The Frobenius formula for the character of an induced
Introduction
1
2 1 . Introduction
graduate students and should be accessible to students with a strong
background in linear algebra and a basic knowledge of abstract al
gebra. Theoretical material in this book is supplemented by many
problems and exercises which touch upon a lot of additional topics;
the more difficult exercises are provided with hints.
The book covers a number of standard topics in representation
theory of groups, associative algebras, Lie algebras, and quivers. For
a more detailed treatment of these topics, we refer the reader to the
textbooks [S], and [CR]. We mostly follow [FH], with the
exception of the sections discussing quivers, which follow [BGP], and
the sections on homological algebra and finite dimensional algebras,
for which we recommend and [CR], respectively.
The organization of the book is as follows.
Chapter 2 is devoted to the basics of representation theory. Here
we review the basics of abstract algebra (groups, rings, modules,
ideals, tensor products, symmetric and exterior powers, etc.), as well
as give the main definitions of representation theory and discuss the
objects whose representations we will study (associative algebras,
groups, quivers, and Lie algebras).
Chapter 3 introduces the main general results about representa
tions of associative algebras (the density theorem, the Jordan—H6lder
theorem, the Krull—Schmidt theorem, and the structure theorem for
finite dimensional algebras).
In Chapter 4 we discuss the basic results about representations of
finite groups. Here we prove Maschke’s theorem and the orthogonality
of characters and matrix elements and compute character tables and
tensor product multiplicities for the simplest finite groups. We also
discuss the Frobenius determinant, which was a starting point for
development of the representation theory of finite groups.
We continue to study representations of finite groups in Chapter
5, treating more advanced and special topics, such as the Frobenius—
Schur indicator, the Frobenius divisibility theorem, the Burnside the
orem, the Frobenius formula for the character of an induced repre
sentation, representations of the symmetric group and the general
1. Introduction 3
linear group over (C, representations of GL2(IFq), representations of
semidirect products, etc.
In Chapter 6, we give an introduction to the representation theory
of quivers (starting with the problem of the classification of configura
tions of n subspaces in a vector space) and present a proof of Gabriel’s
theorem, which classifies quivers of finite type.
In Chapter 7, We give an introduction to category theory, in par
ticular, abelian categories, and explain how such categories arise in
representation theory.
In Chapter 8, We give a brief introduction to homological algebra
and explain how it can be applied to categories of representations.
Finally, in Chapter 9 we give a short introduction to the repre
sentation theory of finite dimensional algebras.
Besides, the book contains six historical interludes Written by Dr.
Slava Gerovitch.1 These interludes, Written in an accessible and ab
sorbing style, tell about the life and mathematical work of some of
the mathematicians who played a major role in the development of
modern algebra and representation theory: F. G. Frobenius, S. Lie,
W. Burnside, W. R. Hamilton, H. Weyl, S. Mac Lane, and S. Eilen—
berg. For more on the history of representation theory, we recommend
that the reader consult the references to the historical interludes, in
particular the excellent book [Cu].
Acknowledgments. This book arose from the lecture notes of
a representation theory course given by the first author to the re
maining six authors in March 2004 within the framework of the Clay
Mathematics Institute Research Academy for high school students
and its extended version given by the first author to MIT undergrad
uate mathematics students in the fall of 2008.
The authors are grateful to the Clay Mathematics Institute for
hosting the first version of this course. The first author is very in
debted to Victor Ostrik for helping him prepare this course and thanks
11 wish to thank Prof. Pavel Etingof and his co—authors for adding technical notes
to my historical monograph. While they have made a commendable effort at a concise
exposition, their notes, unfortunately, have grown in size and in the end occupied
a better part of this volume. I hope the reader will forgive this preponderance of
technicalities in what, in essence, is a history book. — S. Gerovitch.
4 1. Introduction
Josh Nichols—Barrer and Thomas Lam for helping run the course in
2004 and for useful comments. He is also very grateful to Darij Grin
berg for his very careful reading of the text, for many useful comments
and corrections, and for suggesting Problems 2.11.6, 3.3.3, 3.8.3, 3.8.4,
4.52, 5.10.2 and Exercises 5.27.2, 5.27.3, 7.98. Finally, the authors
gratefully acknowledge the use of the Dynkin diagram pictures pre
pared by W. Casselman.
Chapter 2
Basic notions of
representation theory
5
6 2. Basic notions of representation theory
A nonzero representation V of A is said to be irreducible if its
only subrepresentations are 0 and V itself, and it is said to be inde
composable if it cannot be written as a direct sum of two nonzero
subrepresentations. Obviously, irreducible implies indecomposable,
but not vice versa.
Typical problems of representation theory are as follows:
(1) Classify irreducible representations of a given algebra A.
(2) Classify indecomposable representations of A.
(3) Do (1) and (2) restricting to finite dimensional representa
tions.
As mentioned above, the algebra A is often given to us by gener
ators and relations. For example, the universal enveloping algebra U
of the Lie algebra 5l(2) is generated by h, e, f with defining relations
(2.1.1) he—eh=2e, hf—fh=—2f, ef—fe=h.
This means that the problem of finding, say, N -dimensional represen
tations of A reduces to solving a bunch of nonlinear algebraic equa
tions with respect to a bunch of unknown N X N matrices, for example
system (2.1.1) with respect to unknown matrices h, e, f.
It is really striking that such, at first glance hopelessly compli
cated, systems of equations can in fact be solved completely by meth
ods of representation theory! For example, we will prove the following
theorem.
0 0 0 ('3
the space of homogeneous polynomials of two variables :13, y of degree
d — 1 and is defined by the formulas
0 E5
o——o—-o—-0:0
O
0 E7
O:-O:—O:"O:—OjO
O
0 E3
o—-o:o:o:o:o:o
8 2. Basic notions of representation theory
The graphs listed in the theorem are called (simply laced) Dyn
kin diagrams. These graphs arise in a multitude of classification
problems in mathematics, such as the classification of simple Lie al
gebras, singularities, platonic solids, reflection groups, etc. In fact, if
we needed to make contact with an alien civilization and show them
how sophisticated our civilization is, perhaps showing them Dynkin
diagrams would be the best choice!
As a final example consider the representation theory of finite
groups, which is one of the most fascinating chapters of represen
tation theory. In this theory, one considers representations of the
group algebra A = <C[G] of a finite group G — the algebra with basis
ag, g E G, and multiplication law agah = agh. We will show that any
finite dimensional representation of A is a direct sum of irreducible
representations, i.e., the notions of an irreducible and indecompos
able representation are the same for A (Maschke’s theorem). Another
striking result discussed below is the Frobenius divisibility theorem:
the dimension of any irreducible representation of A divides the or
der of G. Finally, we will show how to use the representation theory
of finite groups to prove Burnside’s theorem: any finite group of or
der paqb, where p, q are primes, is solvable. Note that this theorem
does not mention representations, which are used only in its proof; a
purely group-theoretical proof of this theorem (not using representa
tions) exists but is much more difficult!
2.2. Algebras
Let us now begin a systematic discussion of representation theory.
Let kt be a field. Unless stated otherwise, we will always assume
that kt is algebraically closed, i.e., any nonconstant polynomial with
coefficients in kt has a root in kt. The main example is the field of
complex numbers (C, but we will also consider fields of characteristic
p, such as the algebraic closure E, of the finite field IFP of p elements.
2.3. Representations
Definition 2.3.1. A representation of an algebra A (also called a
left A-module) is a vector space V together with a homomorphism
of algebras p : A —> EndV.
10 2. Basic notions of representation theory
Similarly, a right A-module is a space V equipped with an
antihomomorphism p : A —> EndV; i.e., p satisfies p(ab) = p(b)p(a)
and p(1) =2 1.
The usual abbreviated notation for p(a)?) is av for a left mod
ule and va for a right module. Then the property that p is an
(anti)homomorphism can be written as a kind of associativity law:
(ab)'v 2- a(bv) for left modules, and (va)b = 'v(ab) for right modules.
Remark 2.3.2. Let M be a left module over a commutative ring
A. Then one can regard M as a right A-module, with ma 2: am.
Similarly, any right A-module can be regarded as a left A-module. For
this reason, for commutative rings one does not distinguish between
left and right A-modules and just calls them A-modules.
I = V2. Cl
qb 75 0, this subrepresentation cannot be V1. So by irreducibility of V1
we have K = 0.
(ii) The image I of qb is a subrepresentation of V2. Since qb 75 0,
this subrepresentation cannot be 0.’ So by irreducibility of V2 We have
2.5. Quotients
Let A be an algebra and let I be a two-sided ideal in A. Then A/ I
is the set of (additive) cosets of I. Let 7r : A —> A/ I be the quotient
map. We can define multiplication in A/ I by 7r(a) - 7r(b) := 7r(ab).
This is well defined because if 7r(a) = 7r(a’), then
7r(a'b) = 7r(ab + (a' — a)b) = 7r(ab) + 7r((a' — a)b) = 7r(ab)
because (a’ — a)b E I b Q I = ker 7r, as I is a right ideal; similarly, if
7r(b) = 7r(b’), then
7r(ab') = 7r(ab + a(b' — b)) = 7r(ab) + 7r(a(b' — b)) = 7r(ab)
16 2. Basic notions of representation theory
because a(b’ — b) E aI Q I = ker 7r, as I is also a left ideal. Thus, A/I
is an algebra.
Similarly, if V is a representation of A and W C V is a subrep
resentation, then V/ W is also a representation. Indeed, let 7r : V —>
V/W be the quotient map, and set pv/W(a)7r(:z:) := 7r(pv(a):z:).
Above We noted that left ideals of A are subrepresentations of the
regular representation of A, and vice versa. Thus, if I is a left ideal
in A, then A/ I is a representation of A.
2.8. Quivers
Definition 2.8.1. A quiver Q is a directed graph, possibly with
self-loops and / or multiple edges between two vertices.
Example 2.8.2.
hA(t)=1+t+t2+---+t"+---=E.
Find the Hilbert series of the following graded algebras:
(a) A = k[:z:1, . . . ,:z:m] (where the grading is by degree of polyno
mials).
(b) A = k( 1:1, . . . ,:z:m) (the grading is by length of words).
(c) A is the exterior (= Grassmann) algebra /\k[:z:1, . . . ,:z:m] gen
erated over some field k by 51:1, . . .,:z:m with the defining relations
:13,-:13, + :13,-51:, = O and == 0 for all z',j (the grading is by degree).
(d) A is the path algebra PQ of a quiver Q (the grading is defined
by deg(p.-) = 0, deg(ah) = 1)
Hint: The closed answer is written in terms of the adjacency
matrix MQ of Q.
22 2. Basic notions of representation theory
2.9. Lie algebras
Let g be a vector space over a field k, and let [ , ] : g x g ——> g
be a skew-symmetric bilinear map. (That is, [a, a] = O, and hence
[a,b] = -[baa]-)
Definition 2.9.1. (g, [ , is a Lie algebra if [ , ] satisfies the Jacobi
identity
(2.9.1) [[a, b] ,c] + [[b, c] ,a] + [[c, a] ,b] = 0.
Example 2.9.2. Some examples of Lie algebras are:
(1) Any space g with [ , ] = O (abelian Lie algebra).
(2) Any associative algebra A with [a, b] = ab—ba , in particular,
the endomorphism algebra A = End(V), Where V is a vector
space. When such an A is regarded as a Lie algebra, it is
often denoted by g[(V) (general linear Lie algebra).
(3) Any subspace U of an associative algebra A such that [a, b] E
U for all a,b E U.
(4) The space Der(A) of derivations of an algebra A, i.e. linear
maps D : A —> A which satisfy the Leibniz rule:
D(ab) = D(a)b + aD(b).
(5) Any subspace a of a Lie algebra g which is closed under the
commutator map [ , ], i.e., such that [a, b] E a if a,b E a.
Such a subspace is called a Lie subalgebra of g.
Remark 2.9.3. Ado’s theorem says that any finite dimensional Lie
algebra is a Lie subalgebra of g[(V) for a suitable finite dimensional
vector space V.
Remark 2.9.4. Derivations are important because they are the “in
finitesimal version” of automorphisms (i.e., isomorphisms onto itself
For example, assume that g(t) is a differentiable family of automor
phisms of a finite dimensional algebra A over R or (C parametrized
by t E (—e,e) such that g(O) = Id. Then D 2: g’(0) : A —> A is a
derivation (check it!). Conversely, if D : A —> A is a derivation, then
e‘D is a 1-parameter family of automorphisms (give a proof !).
2.9. Lie algebras 23
This provides a motivation for the notion of a Lie algebra. Namely,
We see that Lie algebras arise as spaces of infinitesimal automorphisms
(= derivations) of associative algebras. In fact, they similarly arise as
spaces of derivations of any kind of linear algebraic structures, such
as Lie algebras, Hopf algebras, etc., and for this reason play a very
important role in algebra.
Here are a few more concrete examples of Lie algebras:
(1) R3 with [u, v] = u x v, the cross-product of u and v.
0 1 0 0 1 0
(2) 5[(n), the set of n x n matrices With trace 0.
For example, s[(2) has the basis
000000000
with relations [y,ac] =cand [y,c] = [ac,c] =0.
(4) The algebra aff(1) of matrices (5 5 .
Its basis consists ofX = ((1, 8) and Y = (8 (1,), With [X, Y] =
Y.
(5) 5o(n), the space of skew-symmetric n x n matrices, With
[a, b] = ab — ba.
Exercise 2.9.5. Show that example (1) is a special case of example
(5) (for n == 3).
Definition 2.9.6. Let g1,g2 be Lie algebras. A homomorphism
of Lie algebras go : g1 —> g2 is a linear map such that <,0([a, b]) =
[s0(a). s0(b)]
(1) V = O.
(2) Any vector space V with p = O (the trivial representation).
(3) The adjoint representation V = g with p(a)(b) := [a, b].
That this is a representation follows from equation (2.9.1).
Thus, the meaning of the Jacobi identity is that it is equiv
alent to the existence of the adjoint representation.
(v®3w)®Ca:»—>v®B(w®Ca:)
forallv€V,wEW,anda:EX.
(b) If A, B, C are three algebras and if V is an (A, B)-bimodule
and W an (A, C)-bimodule, then the vector space HomA (V, W) (the
space of all left A-linear homomorphisms from V to W) canonically
becomes a (B, C)-bimodule by setting (bf) (12) = f (vb) for all b E B,
f E HomA (V, W), and v E V and setting (fc) (v) = f(v)c for all
CE C, f E HomA(V,W) and ‘U E V.
2.12. The tensor algebra 35
Let A, B, C, D be four algebras. Let V be a (B, A)-bimodule,
W a (C, B)-bimodule, and X a (C, D)-bimodule. Prove that
HomB (V, Home (W,X)) E‘ Homc (W (83 V,X)
as (A, D)-bimodules. The isomorphism (from left to right) is given
by
f»—> (w®Bv»—> f(v)w)
for all '0 E V, w E W and f E HomB (V, Home (W,X)).
Exercise 2.11.7. Show that if M and N are modules over a commu
tative ring A, then M (8),; N has a natural structure of an A-module.
n20 n20
SV = Qgsnv, /\V = ®/\"V.
General results of
representation theory
Proof. Assume the contrary. Then the image of the map A —> nV
given by a —> (a'v1,...,a'vn) is a proper subrepresentation, so by
Proposition 3.1.4 it corresponds to an r X n matrix X, r < n. Thus,
taking a = 1, We see that there exist vectors u1, . . .,u,. E V such
that (u1,. . .,u,.)X = (121, . . . gun). Let (q1,...,qn) be a nonzero vec
tor such that X(q1, . . . ,qn)T = 0 (it exists because r < Then
Sq,-12,-= (u1,...,ur)X(q1,...,qn)T = O, i.e. Z:q,-12,-= O — a contra
diction to the linear independence of 12,-. D
Theorem 3.2.2 (The density theorem). Let V be an irreducible
finite dimensional representation of A. Then the map p : A —> EndV
is surjectiue.
Let V = V1 EB 69 V,., where V,- are irreducible pairwise
nonisomorphic finite dimensional representations of A. Then the map
@:=1 p,- : A —> EB:=1 End(V,-) is surjectiue.
mi
A E’ A°p and X * may be viewed as an n-dimensional representation
of A. Define
¢>:A€B---€BA——->X*
n copies
by
¢(a1a-‘-van) = all/1 +“’+anyn
Where is a basis of X *. The map (I) is clearly surjective, as
kt C A. Thus, the dual map ¢>* : X ——-> A"* is injective. But
A"* E A" as representations of A (check it!). Hence, Im ¢>* E’ X is a
subrepresentation of A". Next, Matd,(kt) = dz-V,-, so A = 69;, dz-V,-,
A" = EBA, nd,-V,-, as a representation of A. Hence by Proposition
3.1.4, X = €B:=1 m,-V,-, as desired. CI
3.4. Filtrations 45
Problem 3.3.3. The goal of this problem is to give an alternative
proof of Theorem 3.3.1, not using any of the previous results of Chap
ter 3.
Let A1, A2, ..., An be 71, algebras with units 11, 12, ..., 1,,,
respectively. Let A = A1 69 A269 - - - 69 An. Clearly, 1,1_,- = 6,-_,-1,-, and
theunit ofAis 1=11+12+---+1.1.
For every representation V of A, it is easy to see that 1,-V is a
representation of A,- for every 13 6 {1,2, . . . ,n}. Conversely, if V1,
V2, ..., V” are representations of A1, A2, ..., An, respectively, then
V1 GB V2 69 - - - 69 V” canonically becomes a representation of A (with
(a1,a2,...,an) E A acting on V1€BV2€B---€BVn as (v1,v2,...,vn) v—>
(a1v1,a2v2, . . .,anvn)).
(a) Show that a representation V of A is irreducible if and only
if 1,-V is an irreducible representation of A,- for exactly one 72 6
{1,2, . . . ,n}, While 1,-V = O for all the other 71. Thus, classify the
irreducible representations of A in terms of those of A1, A2, . . . , An.
(b) Let d E N. Show that the only irreducible representation of
Matd(k) is kd, and every finite dimensional representation of Matd(k)
is a direct sum of copies of kd.
Hint: For every ('i,j) E {1,2,...,d}2, let E,-_,- E Matd(k) be the
matrix with 1 in the with row of the jth column and 0’s everywhere
else. Let V be a finite dimensional representation of Matd(k). Show
that V = E11V G3 EQQV G9 ‘ ‘ ‘ G3 EddV, and that I E11V —) E11V,
v »—> E,-1v is an isomorphism for every 73 6 {1,2, . . .,d}. For every
11 E E11V, denote S'(v) = (E11v,E21v,...,Ed1v). Prove that S(v)
is a subrepresentation of V isomorphic to kd (as a representation of
Matd(k)), and that v E S(v). Conclude that V = S(v1) EB S(v2) EB
EB S'(vk), Where {v1,v2, . . . ,v;,} is a basis of E11V.
(c) Deduce Theorem 3.3.1.
3.4. Filtrations
Let A be an algebra. Let V be a representation of A.
Definition 3.4.1. A (finite) filtration of V is a sequence of subrep
resentations 0 = V0 C V1 C C Vn = V.
46 3. General results of representation theory
Lemma 3.4.2. Any finite dimensional representation V of an algebra
A admits a finite filtration O = V0 C V1 C C Vn = V such that the
successive quotients V1-/V1-_1 are irreducible.
Proof. Easy. Cl
Proposition 3.5.2. Rad(A) is a two—sided ideal.
Corollary 3.5.5. 21. (dim V,-)2 3 dim A, where the V, ’s are the irre
dvcible representations of A.
Proof. As dim End V,- = (dim V,-)2, Theorem 3.5.4 implies that dim A
as desired. [:1
distinct Also, again by Schur’s lemma, EndA = k. Thus,
EndA(A) 2 $1.Matn1.(k). But EndA(A) E A°p by Problem 2.3.17,
so A°p 2’ $1. Matn1.(k). Thus, A § Matn1.(k))°p = $1. Matn1.(k:),
xv(a) = TY|v(p(a))
pV1EB---EBpV1_ZA—)EIld V,
is surjective by the density theorem, so X1/1, . . . , XV, are linearly inde
pendent. (Indeed, ifz A,-XV,.(a) = O for all a E A, then 2 /\,-Tr(M,-) =
0 for all M, E EndkV,-. But each can range independently over
k, so it must be that A1 = = A7. = 0.)
(ii) First we prove that [Matd(k), Matd(k)] = 5Id(k:), the set of all
matrices with trace 0. It is clear that [Matd(k), Matd(k)] Q 5Id(k:). If
We denote by E,-j the matrix with 1 in the ith row of the jth column
and 0’s everywhere else, we have [Ez-J-,E3-m] = E,-m for i aé m and
]Ei,i+la Ei+1,i] = En — Ei+1,i+1- NOW U {Eu — Ei+1,i+1} f0I‘mS
a basis in 5Id(k), so indeed [Matd(k:), Matd(k)] = 5[d(k), as claimed.
By semisimplicity, We can write A = Matd, EB - - - EB Matd,_(k).
Then [A, A] = sldl - -EBsld,_(k:), and A/[A, A] E’ k’. By Theorem
3.3.1, there are exactly r irreducible representations of A (isomor
phic to k:d1,...,k:d", respectively) and therefore r linearly indepen
the characters form a basis. Cl
dent characters on the r-dimensional vector space A/[A, A]. Thus,
50 3. General results of representation theory
3.7. The Jordan-Holder theorem
We will now state and prove two important theorems about represen
tations of finite dimensional algebras — the Jordan-Holder theorem
and the Krull-Schmidt theorem.
2This proof does not work in characteristic p because it only implies that the
multiplicities of W, and W,-' are the same modulo p, which is not sufficient. In fact,
the character of the representation pV, where V is any representation, is zero.
3.8. The Krull-Schmidt theorem 51
By the induction assumption, this means that the collection of
irreducible representations with multiplicities W1, W1’, Z1, . . . , Zp co
Problem 3.8.3. The above proof of Lemma 3.8.2 uses the condition
that k is an algebraically closed field. Prove Lemma 3.8.2 (and hence
the Krull-Schmidt theorem) without this condition.
_2_
then Cl(V) is generated by :13, with defining relations
.’L‘i.’I7_7' + .’I3j.’I.‘»g — 2a,-J-, IL‘, — a,-,.
Representations of finite
groups: Basic results
IGI = Zdim<vt->2.
O-‘Ino
60 4. Representations of finite groups: Basic results
Proof. By Proposition 3.5.8, implies (ii), and to prove (i), it is
sufficient to show that if V is a finite dimensional representation of
G’ and W C V is any subrepresentation, then there exists a subrep
resentation W’ C V such that V = W EB W’ as representations.
Choose any complement W of W in V. (Thus V = W 69 W
as vector spaces, but not necessarily as representations.) Let P be
the projection along W onto W, i.e., the operator on V defined by
P|w = Id and PIW = 0. Let
—1
P == E Zg€G'p(9)Pp(9“’),
where p(g) is the action of g on V, and let
W’ = ker P.
Now Plw = Id and P(V) Q W, so P2 = P, and so P is a projection
along W’. Thus, V = W GB W’ as vector spaces.
Moreover, for any h E G’ and any y E W’,
Pp(h)y = Ilag€G'
Z p(9)Pp(9"h)y
= lg, ZKEG’
p<he>Pp<e-1>y = p<h>?y = o.
eoA(1) =.(Zg)
g€G' =g€G'
21 = .01.
This is a contradiction. CI
If |G| = 0, then A has no left inverse, as (as) oA(1) = 0 for any a E kt.
4.2. Characters
If V is a finite dimensional representation of a finite group G, then its
character XV : G —> kt is defined by the formula Xx/(g) = Tr|V(p(g)).
Obviously, Xx/(g) is simply the restriction of the character X‘/(a) of
V as a representation of the algebra A = kt[G] to the basis G C A, so
it carries exactly the same information. The character is a central
function, or class function: X‘/(g) depends only on the conjugacy
class of g; i.e., XV(hgh‘1) = X‘/(g).
Denote by F (G, kt) the space of kt-valued functions on G and by
Fc(G, kt) C F (G, kt) the subspace of class functions.
Theorem 4.2.1. If the characteristic of kt does not divide |G I, char
acters of irreducible representations of G form a basis in the space
Fc(G, k).
62 4. Representations of finite groups: Basic results
Proof. By the Maschke theorem, k[G] is semisimple, so by Theo
rem 3.6.2, the characters are linearly independent and are a basis of
(A/ [A, A])*, where A = kt[G]. It suffices to note that, as vector spaces
over kt,
(A/[A.A])* E’ {r E Hom;.(k[G]. k) I ah - hg 6 kerr V9.71 6 G}
3 {f E F(G.k) I f(9h) = f(h9) V9.11 6 G}.
which is precisely Fc(G, kt). Cl
Corollary 4.2.2. The number of isomorphism classes of irreducible
representations of G’ equals the number of conjugacy classes of G’
|G’| 79 O in kt).
Exercise 4.2.3. Show that if |G| = O in kt, then the number of iso
morphism classes of irreducible representations of G’ over kt is strictly
less than the number of conjugacy classes in G.
Hint: Let P = Zgeag E kt[G]. Then P2 = 0. So P has zero
trace in every finite dimensional representation of G over kt.
Corollary 4.2.4. Any representation of G is determined by its char
acter if kt has characteristic 0; namely, XV = XW implies V E’ W.
4.3. Examples
The following are examples of representations of finite groups over (C.
(1) Finite abelian groups G = Zn, x - - - x Znk. Let GV be the set
of irreducible representations of G. Every element of G forms a con
jugacy class, so |GV| —-— |G Recall that all irreducible representations
over (C (and algebraically closed fields in general) of commutative al
gebras and groups are 1-dimensional. Thus, GV is an abelian group:
if p1, pg : G ——> (C’‘ are irreducible representations, then so are the
representations p1(g)p2(g) and p1(g)‘1. The group GV is called the
dual group or character group of G.
For given n 2 1, define p : Zn —> (C’‘ by p(m) = e2’”"”/". Then
Z): = {pk : kt = 0,...,n— 1}, so Z): ‘é Zn. In general,
(G1 xG2 x xG,,)V =G\1’ xG§’ x x(}x,
so GV E’ G for any finite abelian group G. This isomorphism is,
however, noncanonical: the particular decomposition of G as
4.3. Examples 63
Zn, x - - - X Znk is not unique as far as which elements of G’ correspond
to Zn,, etc., is concerned. On the other hand, G’ E (GV)V is a canon
ical isomorphism, given by cp : G’ —> (GV)V, where cp(g)(X) = X(g).
(2) The symmetric group S3. In the symmetric group Sn, con
jugacy classes are determined by cycle decomposition sizes: two per
mutations are conjugate if and only if they have the same number
of cycles of each length. For S3, there are three conjugacy classes,
so there are three difierent irreducible representations over (C. If
their dimensions are d1,d2,d3, then df + dg + d3 = 6, so S3 must
have two 1-dimensional and one 2-dimensional representations. The
1-dimensional representations are the trivial representation (C+ given
by p(0) = 1 and the sign representation (C_ given by p(0) = (—1)‘’.
The 2-dimensional representation can be visualized as represent
ing the symmetries of the equilateral triangle with vertices 1, 2, 3 at
the points (cos 120°, sin 120°), (cos 240°, sin 240°), (1,0) of the coor
dinate plane, respectively. Thus, for example,
1 0 cos 120° — sin 120°
p((12)) Z (0 -1) ’ ’0((123)) : (sin120° cos 120° ) °
To show that this representation is irreducible, consider any subrep
resentation V. The space V must be the span of a subset of the
eigenvectors of p(( 12)), which are the nonzero multiples of (1,0) and
(0,1). Also, V must be the span of a subset of the eigenvectors of
p((123)), which are different vectors. Thus, V must be either (C2 or
0.
(3) The quaternion group Q3 = {:l:1, :l:z', :l:j, :l:k:}, with defining
relations
z'=jk=-kj, j=kz'=—z'k, k=z'j=—j2I, —1=z'2=j2-—-k2.
The five conjugacy classes are {1}, {-1}, {ii}, {:l:j}, {:l:k}, so there
are five difierent irreducible representations, the sum of the squares
of whose dimensions is 8, so their dimensions must be 1, 1, 1, 1, and
2.
The center Z(Q3) is {:l:1}, and Q3/Z(Q3) ’—‘_-’ Z2 x Z2. The four
1-dimensional irreducible representations of Z2 X Z2 can be “pulled
back” to Q3. That is, if q 2 Q3 —> Q3/Z(Q3) is the quotient map and
64 4. Representations of finite groups: Basic results
/3 is any representation of Q3 / Z (Q3), then poq gives a representation
Of Q3.
The 2-dimensional representation is V = (C2, given by p(—1) =
—Id and
p(i) = (_01 3) .
(4.31) p<j>=
O — -1
P0“) = (_\/fl 0
These are the Pauli matrices, which arise in quantum mechanics.
Exercise 4.3.1. Show that the 2-dimensional irreducible representa
tion of Q3 can be realized in the space of functions f : Q3 —> (C such
that f(gi) = \/ -1 f (g) (the action of G’ is by right multiplication,
9 0 f($) = f(rI:9))
(4) The symmetric group S4. The order of S4 is 24, and there are
five conjugacy classes: e, (12), (123), (1234), (12)(34). Thus the sum
of the squares of the dimensions of five irreducible representations
is 24. As with S3, there are two of dimension 1: the trivial and
sign representations, (C+ and (C_. The other three must then have
dimensions 2, 3, and 3. Because S3 ‘é S4 /Z2 X Z2, where Z2 x Z2
is {e,(12)(34),(13)(24),(14)(23)}, the 2-dimensional representation
of S3 can be pulled back to the 2-dimensional representation of S4,
which we will call (C2.
We can consider S4 as the group of rotations of a cube acting by
permuting the interior diagonals (or, equivalently, on a regular octahe
dron permuting pairs of opposite faces); this gives the 3-dimensional
representation (C1.
The last 3-dimensional representation is (Ci , the product of (C1
with the sign representation. (C1 and (C3 are difi'erent, for if g is
a transposition, detg|C§r = 1 while detg|Ca; = (—1)3 = -1. Note
that another realization of (CE is by action of S4 by symmetries (not
necessarily rotations) of the regular tetrahedron. Yet another real
ization of this representation is the space of functions on the set of
4.5. Orthogonality of characters 65
four elements (on which S4 acts by permutations) with zero sum of
values.
gEG g€G
(xv, xw) = fl Z Xv(9)Xw(9) = % Z xv(g)xw— (9)
1
=@ Zyea
Xv®w*(9) = TF|v®w*(P),
This product turns F (G, (C) into an associative algebra, with unit
56 (the characteristic function of the unit 6 E G’), and the space
of class functions FC(G',(C) is a commutative subalgebra. Then one
can define renormalized characters )2, E FC(G', (C) to be the primitive
idempotents in this algebra, i.e., solutions of the equation f * f = f
which cannot be decomposed into a sum of other nonzero solutions.
Then one can define the characters by the formula
X.-(9) = ‘/ )Z|%1|)>Z.-(9)
(check it!). This is, essentially, how Frobenius defined characters (see
[Cu], equation Note that Frobenius defined representations at
approximately the same time, but for some time it was not clear
that there is a simple relation between irreducible representations
and characters (namely, that irreducible characters are simply traces
of group elements in irreducible representations). Even today, many
group theorists sometimes talk of irreducible characters of a finite
group rather than irreducible representations.
Proof. As noted above, X‘/(h) = Xv: (h), so the left-hand side equals
(using Maschke’s theorem):
done. E]
If g and h are not conjugate, this trace is clearly zero, since the matrix
of the operator as »—> g:1:h‘1 in the basis of group elements has zero
diagonal entries. On the other hand, if g and h are in the same
conjugacy class, the trace is equal to the number of elements :1: such
that :1: -—= g:1:h‘1, i.e., the order of the centralizer Z9 of g. We are
B(v7w) : Z B(pV(g)v9pV(g)w)'
g€G
Then B is a positive definite Hermitian form on V, and pV(g) are
unitary operators. If V is an irreducible representation and B1, B2
are two positive definite Hermitian forms on V, then B1('u,w) =
B2(A'u,w) for some homomorphism A : V —> V (since any posi
tive definite Hermitian form is nondegenerate). By Schur’s lemma,
A = )\Id, and clearly A > 0. D
Theorem 4.6.2 implies that if V is a finite dimensional representa
tion of a finite group G, then the complex conjugate representa
tion V (i.e., the same space V with the same addition and the same
action of G, but complex conjugate action of scalars) is isomorphic to
the dual representation V*. Indeed, a homomorphism of representa
tions V —> V* is obviously the same thing as an invariant sesquilinear
form on V (i.e., a form additive on both arguments which is linear on
the first one and antilinear on the second one), and an isomorphism is
the same thing as a nondegenerate invariant sesquilinear form. So one
can use a unitary structure on V to define an isomorphism V —> V*.
Theorem 4.6.3. A finite dimensional unitary representation V of
any group G is completely reducible.
V as V* = (C as L,
and P projects to the first summand along the second one. The
projection of 21,- ® 21;“, to (C C (C 69 L is thus
5w ,..
dim V Z 7”‘ 8’ '”"°
This shows that
5..,5. .,
(p (7)
1. =3; . ='.‘, =.___'‘ 99
®vz)avJ®vy)
which finishes the proof of and (ii). The last statement follows
immediately from the sum of squares formula. C]
#132
S3 Id (12) (123)
<C+ 1 1 1
(C- 1 -1 1
(C2 2 0 -1
It is obtained by explicitly computing traces in the irreducible repre
sentations.
For another example consider A4, the group of even permutations
of four items. There are three 1-dimensional representations (as A4
has a normal subgroup Z2 69 Z2 and A4 / (Z2 69 Z2) = Z3). Since
there are four conjugacy classes in total, there is one more irreducible
representation of dimension 3. Finally, the character table is
#(C1141 41 31
A4 Id (123) (132) (12)(34)
(Ce 1 e 62 1
(C62
(C3 31 06206-1
1
where e = exp(2T"'-).
The last row can be computed using the orthogonality of rows.
Another way to compute the last row is to note that (C3 is the repre
sentation of A4 by rotations of the regular tetrahedron: in this case
(123), (132) are the rotations by 1200 and 2400 around a perpendicu
lar to a face of the tetrahedron, while (12)(34) is the rotation by 1800
around an axis perpendicular to two opposite edges.
Example 4.8.1. The following three character tables are of Q3, S4,
and A5, respectively:
Q3
# 1 11 -1
2 2] 2k
(C++ 1 1 1 1 1
<C+_ 1 1 1 -1 -1
(C_+ 1 1 -1 1 -1
C__ 1 1 -1 -1 1
(C2 2 -2 0 0
4.8. Character tables, examples 73
#16386
84 Id (12) (12)(34) (123) (1234)
<C+1 1-111111-1
1
C-
C2 2 0 2 -1 0
(C1 33-11 -1
<C3_ -1 00 -1
1
#<1:
1 20
1 15
1 112112
A5 Id (123) (12)(34) (12345) (13245)
1
(Ci 3 O _1 1+-25 1-25
C4
(C5 4 1 -1
5 -1 1 0-1
(C3_ 3 _1 1-2x/3 lizx/5-)
0
Indeed, the computation of the characters of the 1—dimensional
representations is straightforward.
The character of the 2-dimensional representation of Q8 is ob
tained from the explicit formula (4.3.1) for this representation, or by
using orthogonality.
For S4, the 2-dimensional irreducible representation is obtained
from the 2—dimensional irreducible representation of S3 via the surjec—
tive homomorphism S4 —> S3, which allows one to obtain its character
from the character table of S3.
The character of the 3—dimensional representation (C1 is com
puted from its geometric realization by rotations of the cube. Namely,
by rotating the cube, S4 permutes the main diagonals. Thus ( 12) is
the rotation by 1800 around an axis that is perpendicular to two op
posite edges, (12)(34) is the rotation by 1800 around an axis that
is perpendicular to two opposite faces, (123) is the rotation around
a main diagonal by 1200, and (1234) is the rotation by 900 around
an axis that is perpendicular to two opposite faces; this allows us
to compute the traces easily, using the fact that the trace of a rota
tion by the angle ¢ in R3 is 1 + 2cos ¢. Now the character of (C5: is
found by multiplying the character of (C1 by the character of the sign
representation.
74 4. Representations of finite groups: Basic results
Finally, we explain how to obtain the character table of A5 (even
permutations of five items). The group A5 is the group of rotations
of the regular icosahedron. Thus it has a 3-dimensional “rotation
representation” (C1, in which (12)(34) is the rotation by 1800 around
an axis perpendicular to two opposite edges, (123) is the rotation by
1200 around an axis perpendicular to two opposite faces, and (12345),
(13254) are the rotations by 720, respectively 1440, around axes going
through two opposite vertices. The character of this representation
is computed from this description in a straightforward way.
Another representation of A5, which is also 3-dimensional, is (Ci
twisted by the automorphism of A5 given by conjugation by (12) in
side S5. This representation is denoted by (C51. It has the same char
acter as (Ci, except that the conjugacy classes (12345) and (13245)
are interchanged.
There are two remaining irreducible representations, and by the
sum of squares formula their dimensions are 4 and 5. So we call them
(C4 and (C5.
The representation (C4 is realized on the space of functions on
the set {1, 2, 3,4, 5} with zero sum of values, where A5 acts by per
mutations (check that it is irreduciblel). The character of this repre
sentation is equal to the character of the 5—dimensional permutation
representation minus the character of the 1-dimensional trivial repre
sentation (constant functions). The former at an element g is equal
to the number of items among 1, 2, 3, 4, 5 which are fixed by g.
The representation (C5 is realized on the space of functions on
pairs of opposite vertices of the icosahedron which has zero sum of
values (check that it is irreducible!). The character of this repre
sentation is computed similarly to the character of (C4, or from the
orthogonality formula.
54 C+ C- (C2 C1 C9;
<C+ C+ C. C2 C1 (C3.
C- C+ C2 C3 C1
(C2 <C+EB<C_€B<C2 C1eBC‘1 CE’;eaC‘i
CE’; C+eaC2eBC1eBC‘i C_e3C2eC1eC3.
Ci C+eaC2eaCE*;eBC‘i
A5 C CE’; C9;
C C C5; Cl C4 (C5 C4 C5
CE’; Ce9C5eaCE’; C4eaC5 C‘ie3C4a9C5 C~1e9C‘ie3C4eBC5
C9; CeaC5saCE*, CE‘,e>C4e9C5 CE1e9C3_eaC4e9C5
C4 C£‘,e9C3_e9C CE’;eaC‘ie92C5e3C4
(C5 C ea C1 ea C3. EBC4 ea C5
ea2C4 ea 2C5
det XG = H P]-(x)degP3'
j=1
for some pairwise nonproportional irreducible polynomials Pj (x),
where r is the number of conjugacy classes of G.
L(x) = 2 9399(9):
g€G'
detVL(x) = H(detV,L(x))dimW,
¢=1
L(X)|v.- = Z 3/z'.jkEz'.jk»
Jkk
4.12. Problems
Problem 4.12.1. Let G be the group of symmetries of a regular
N -gon (it has 2N elements).
(a) Describe all irreducible complex representations of this group
(consider the cases of odd and even N
(b) Let V be the 2-dimensional complex representation of G ob
tained by complexification of the standard representation on the real
plane (the plane of the polygon). Find the decomposition of V <8) V
in a direct sum of irreducible representations.
Problem 4.12.2. Let p be a prime. Let G be the group of 3 x 3 matri
ces over IFP which are upper triangular and have 1’s on the diagonal,
under multiplication (its order is p3). It is called the Heisenberg
group. For any complex number z such that zp = 1, we define a
representation of G on the space V of complex functions on IFP by
1 10
(/9 01 0 f)(=v)=f(:r-1),
0 01
100
0 01 11f)(2=)=z"’f(:r)
(/9 (0
(note that 2"’ makes sense since zp = 1).
(a) Show that such a representation exists and is unique, and
compute p(g) for all g E G.
(b) Denote this representation by Rz. Show that Rz is irreducible
if and only if z aé 1.
82 4. Representations of finite groups: Basic results
(c) Classify all 1-dimensional representations of G. Show that R1
decomposes into a direct sum of 1-dimensional representations, where
each of them occurs exactly once.
(d) Use (a)——(c) and the “sum of squares” formula to classify all
irreducible representations of G.
Problem 4.12.3. Let V be a finite dimensional complex vector
space, and let GL(V) be the group of invertible linear transforma
tions of V. Then S'”V and AmV (m g dim(V)) are representations
of GL(V) in a natural way. Show that they are irreducible represen
tations.
Hint: Choose a basis {e,-} in V. Find a diagonal element H of
GL(V) such that p(H) has distinct eigenvalues (where p is one of the
above representations). This shows that if W is a subrepresentation,
then it is spanned by a subset S’ of a basis of eigenvectors of p(H
Use the invariance of W under the operators p(1 + E,-j) (where E,-j is
defined by E,-J-ck = 631.8,) for all 2' aé j to show that if the subset S’ is
nonempty, it is necessarily the entire basis.
Problem 4.12.4. Recall that the adjacency matrix of a graph I‘
(without multiple edges) is the matrix in which the ijth entry is 1 if
the vertices 2' and j are connected with an edge, and zero otherwise.
Let I‘ be a finite graph whose automorphism group is nonabelian.
Show that the adjacency matrix of I‘ must have repeated eigenvalues.
Problem 4.12.5. Let I be the set of vertices of a regular icosahedron
(|I| = 12). Let F (I) be the space of complex functions on I. Recall
that the group G = A5 of even permutations of five items acts on
the icosahedron, so we have a 12-dimensional representation of G on
F(I
(a) Decompose this representation in a direct sum of irreducible
representations (i.e., find the multiplicities of occurrence of all irre
ducible representations).
(b) Do the same for the representation of G on the space of func
tions on the set of faces and the set of edges of the icosahedron.
Problem 4.12.6. Let Fq be a finite field with q elements, and let G
be the group of nonconstant inhomogeneous linear transformations,
4.12. Problems 83
cc —> a:c+b, over Fq (i.e., a 6 IF; , b E Fq). Find all irreducible complex
representations of G, and compute their characters. Compute the
tensor products of irreducible representations.
Hint: Let V be the representation of G on the space of func
tions on Fq with sum of all values equal to zero. Show that V is an
irreducible representation of G.
Problem 4.12.7. Let G = S’ U (2) (the group of unitary 2 X 2 matrices
with determinant 1), and let V = (C2 be the standard 2-dimensional
representation of SU We regard V as a real representation, so it
is 4—din1ensional.
(a) Show that V is irreducible (as a real representation).
(b) Let H be the subspace of End1R(V) consisting of endomor
phisms of V as a real representation. Show that 11-11 is 4—dimensional
and closed under multiplication. Show that every nonzero element in
11-11 is invertible, i.e., 11-11 is an algebra with division.
(c) Find a basis 1, 2', j, k of H such that 1 is the unit and
z'2=j2=k2=—1,ij=—ji=k,jk=—kj=i, kz'=—z'k=j.
Thus we have that Q3 is a subgroup of the group 11-11)‘ of invertible
elements of 11-11 under multiplication.
The algebra 11-11 is called the quaternion algebra, and its el
ements are called quaternions. Quaternions were discovered by
W. R. Hamilton in 1843 (see Section 4.13).
(d) For q = a,+bz'+cj+dk, a,b,c,d E R, let (I: a.—bz'—cj—dk
and ||q||2 = qr} = a2 + b2 + c2 + dz. Show that E = cjgcjl and
||q1q2|| = ||€11|| ° ||€12||
(e) Let G be the group of quaternions of norm 1. Show that
this group is isomorphic to SU (Thus geometrically S’ U (2) is the
3-dimensional sphere.)
(f) Consider the action of G on the space V C 11-11 spanned by 2', j, k,
by cc —> q:cq"1, q E G, :3 E V. Since this action preserves the norm
on V, we have a homomorphism h : S'U(2) —> S'O(3), where S'O(3)
is the group of rotations of the 3-dimensional Euclidean space. Show
that this homomorphism is surjective and that its kernel is {1, -1}.
84 4. Representations of finite groups: Basic results
Problem 4.12.8. It is known that the classification of finite sub
groups of 50(3) is as follows:
1) the cyclic group Z/'n,Z, n 2 1, generated by a rotation by 27r/n
around an axis;
2) the dihedral group D,, of order 277,, n 2 2 (the group of rota
tional symmetries in 3—space of a plane containing a regular 'n,-gon2;
3) the group of rotations of a regular tetrahedron (A4);
4) the group of rotations of a cube or regular octahedron (S4);
5) the group of rotations of a regular dodecahedron or icosahedron
(A5)
(a) Derive this classification.
Hint: Let G be a finite subgroup of 50(3). Consider the action
of G on the unit sphere. A point of the sphere preserved by some
nontrivial element of G is called a pole. Show that every nontriv
ial element of G fixes a unique pair of opposite poles and that the
subgroup of G fixing a particular pole P is cyclic, of some order m
(called the order of P). Thus the orbit of P has n / m elements, where
n = |G Now let P1, . . . , Pk be a collection of poles representing all
1 1
the orbits of G on the set of poles (one representative per orbit), and
let ml, . . . , mk be their orders. By counting nontrivial elements of G,
showthat
21—— = 1——.
( .> :( m.)
Then find all possible mi and n that can satisfy this equation and
classify the corresponding groups.
(b) Using this classification, classify finite subgroups of SU (2)
(use the homomorphism S'U(2) —> S'O(3)).
Problem 4.12.9. Find the characters and tensor products of irre
ducible complex representations of the Heisenberg group from Prob
lem 4.12.2.
Representations of finite
groups: Further results
91
92 5. Representations of finite groups: Further results
real scalar, respectively). Define the operator j : V —> V such that
B(u, w) = (u,jw). Show that j is complex antilinear (ji = —ij), and
3'2 = /\ - Id, where /\ is a real number, positive in the real case and
negative in the quaternionic case (if B is renormalized, j multiplies by
a nonzero complex number 2 and j2 by 22, as j is antilinear). Thus
j can be normalized so that j2 = 1 in the real case and j2 = -1 in
the quaternionic case. Deduce the claim from this.
(b) Show that V is of real type if and only if V is the complexi
fication of a representation VR over the field of real numbers.
Example 5.1.3. For Z/nZ all irreducible representations are of com
plex type except the trivial one and, if n is even, the “sign” representa
tion, m -—> (—1)"‘, which are of real type. For S3 all three irreducible
representations (C+, (C_, (C2 are of real type. For S4 there are five ir
reducible representations (C+, ((3., (C2, (C1, (C5: , which are all of real
type. Similarly, all five irreducible representations of A5 — (C, (C1,
(C3; , (C4, (C5 — are of real type. As for Q3, its 1-dimensional represen
tations are of real type, and the 2-dimensional one is of quaternionic
type.
Definition 5.1.4. The Frobenius-Schur indicator FS(V) of an
irreducible representation V is 0 if it is of complex type, 1 if it is of
real type, and -1 if it is of quaternionic type.
1 if V is of real type,
= -1 if V is of quaternionic type,
0 if V is of complex type.
Finally, the number of involutions in G equals
g€ G realZ V
|—g|Zv:dimVXV(Zg2)= quat.ZVdimV.
dimV—
[3
0 O O 0 —an
1 0 0 0 —an_1
0 1 0 0 —-an_2
0 0 0 1 —a1
Since 2 is a root of the characteristic polynomial of this matrix, it is
an eigenvalue of this matrix. C]
The set of algebraic numbers is denoted by Q, and the set of
algebraic integers is denoted by A.
Proposition 5.2.4. A is a ring.
@ is a field. Namely, it is an algebraic closure of the field of
rational numbers.
Proof. It suffices to prove this for two summands. If 0:, are eigenval
ues of rational matrices A, of smallest size (i.e., their characteristic
96 5. Representations of finite groups: Further results
polynomials are the minimal polynomials of a,-), then 0:1 + 0:2 is an
so we are done. El
eigenvalue of A := A1 <8) Id +Id ®A2. Therefore, so is any algebraic
conjugate to a1 +a2. But all eigenvalues of A are of the form a'1+a§,
Problem 5.2.7. (a) Show that for any finite group G there exists a
finite Galois extension K C (C of Q such that any finite dimensional
complex representation of G has a basis in which the matrices of the
group elements have entries in K.
Hint: Consider the representations of G over the field Q of alge
braic numbers.
(b) Show that if V is an irreducible complex representation of a
finite group G of dimension > 1, then there exists g E G such that
Xv(9) = 0
Hint: Assume the contrary. Use orthonormality of characters to
show that the arithmetic mean of the numbers |XV(g)|2 for g ;£ 1 is
< 1. Deduce that their product fl satisfies O < 3 < 1. Show that all
conjugates of 3 satisfy the same inequalities (consider the Galois con
jugates of the representation V, i.e., representations obtained from V
by the action of the Galois group of K over Q on the matrices of group
elements in the basis from part (a)). Then derive a contradiction.
dim V divides |G
5.3. Frobenius divisibility 97
Proof. Let C1, C2, . . . , C” be the conjugacy classes of G’. Let go, be
representatives of C,-. Set
C2’
M = Xv(9c.-)#
Proposition 5.3.2. The numbers A, are algebraic integers for all 2'.
A = 121122. E]
polynomial equation with integer coefficients). On the other hand,
taking the trace of P in V, we get |C|XV(g) = /\dim V, g E C, so
dim V
Now, consider
2 )\z'XV(9C¢)'
This is an algebraic integer, since:
(i) A, are algebraic integers by Proposition 5.3.2,
(ii) X1/(gci) is a sum of roots of unity (it is the sum of eigenvalues
of the matrix of p(gC,), and since glgl = e in G, the eigenvalues of
p(gC1.) are roots of unity), and
(iii) A is a ring (Proposition 5.2.4).
On the other hand, from the definition of A,-,
Z:)\iXV(gCi) = Z: lCilXV(gCi)XV(gCi).
dim V
Ci 2'
dimV dimV °
Z XV(9)XV(9) = lGl(XVaXV)
gEG
—G
Since V is an irreducible representation, (X1/,XV) = 1, so
98 5. Representations of finite groups: Further results
d,',%',, e Z. III
Since dJi%LV E Q and E01. /\,-X1/(gci) E A, by Proposition 5.2.5,
T +bXV(9)
‘1lC|XV(9)
- _E(51‘l‘°°°"l"5n)
: Xv(9) 1
a = 2:1-1)dim(V)Xv(9)
VED
is an algebraic integer.
100 5. Representations of finite groups: Further results
Now, by (5.4.1), we have
VED VEN
0 = X<c(9) + Z dim VXv(9) + Z dim VX1/(9)
contradiction. E]
we see that there has to be more than one conjugacy class consist
ing just of one element. So G has a nontrivial center, which gives a
dim(1nd,‘;‘,V) = dim V
Problem 5.8.4. Check that if K C H C G are groups and if V is a
representation of K, then Indfi Indfi V is isomorphic to Indfi V.
Exercise 5.8.5. Let K C G be finite groups, and let X : K —> (C*
be a homomorphism. Let (CX be the corresponding 1-dimensional
representation of K. Let
6x = If; 2gEK
x(9)‘19 E <C[K]
be the idempotent corresponding to X. Show that the G-representa
tion Ind,§(CX is naturally isomorphic to (C[G]eX (with G acting by left
multiplication).
aA-:1-P5"\_|Zgv
9€P,\
1
5). 3= m 2QEQA
(—1)ggv
where (—-1)9 denotes the sign of the permutation g. Set c) = a )b).
Since P) H Q) = {1}, this element is nonzero.
The irreducible representations of Sn are described by the follow
ing theorem.
Theorem 5.12.2. The subspace V) := C[Sn]c) of C[Sn] is an ir
reducible representation of Sn under left multiplication. Every irre
ducible representation of Sn is isomorphic to V) for a unique A.
statement. D
Proof. Lemma 5.13.1 implies that oi is proportional to c,\. Also, it
is easy to see that the trace of c,\ in the regular representation is n!
(as the coefficient of the identity element in c,\ is 1). This implies the
XU,\(Ci) =|Zg|
|Ci 0 PAI
H3‘ )‘.7'!
H S,-m x (Z/mz)*'m,
m
so
IZQI : Hmimim!a
m
and we get
Hm mimim!
XU,\(Ci) = ’i 0 PAI
Now, since P,\ = .S,\.,
J .7 we have
A-!
1‘ 3'21 o
|Ci Fl PA] : Z 11 Hm>1 ,n;~jm,,.jm,a
ll(x§”+-~~+w';’v‘>im
mzl
(71,-m is the number of times we take D
5.15. The Frobenius character formula
Let A(:::) = ]—[19<jSN(a:,;—a:j). Let p = (N—1,N—2,...,0) 6 (IN.
The following theorem, due to Frobenius, gives a character formula
for the Specht modules V,\.
116 5. Representations of finite groups: Further results
Theorem 5.15.1. Let N 2 p. Then X1/,(C’i) is the coeflicient of
a:’\+P := 1—[a:;‘j+N_‘7 in the polynomial
A(:::) H H,,,(a;)im.
mzl
Remark 5.15.2. Here is an equivalent formulation of Theorem 5.15.1:
xv, (Ci) is the coefficient of 33* in the (Laurent) polynomial
i<j
H( Hmzl
Hm<w>e~
Proof. For brevity denote xv, by X)‘. Let us denote the class func
tion defined in the theorem by 0;. We claim that this function has
the property 6; = ZHZA L,,,\x,,, where L,” are integers and L,\,\ = 1.
Indeed, from Theorem 5.14.3 we have
0)‘ : E (—1)0XU>~+p—U(p)’
UESN
| I Hm mzmiml
v
m j,k
S(w, 2/) = 1—Iexp(Zw§-”y;’;”/m)
Z 2 1N .
Now setting 21,- = 1/33, in the lemma, we get
Corollary 5.15.4 (Cauchy identity).
monomial..1
Corollary 5.15.4 easily implies that the coefficient of a:’\+'°y’\+'° is
1. Indeed, if 0 yé 1 is a permutation in SN, the coefficient of this
in T is
1_[j(1‘$jya(j))
obviously zero. Cl
Remark 5.15.5. For partitions A and ,u of n, let us say that A j ,u
or ,u : A if ,u — A is a sum of Vectors of the form 42,- — e_,-, 2' < j (called
positive roots). This is a partial order, and ,u 1- A implies ,u 2 A. It
follows from Theorem 5.15.1 and its proof that
XA = Z I?,.,\xu,.,
u>_'«\
118 5. Representations of finite groups: Further results
where ,\,,) is the matrix inverse to the matrix of Kostka numbers
(K ,\,,). This implies that the Kostka numbers KM vanish unless
,u : A.
5. 16. Problems
In the following problems, we do not make a distinction between
Young diagrams and partitions.
Problem 5.16.1. For a Young diagram ,u, let A(u) be the set of
Young diagrams obtained by adding a square to ,u, and let R(/1) be
the set of Young diagrams obtained by removing a square from ,u.
(3.) Show that Res§:_1V,, = e9,\€R(,,, V,\.
z1!...zN!SESN J,
= —2fidet(l_,-(l_,-
1-1;; .2
—1)...(z_,,- — N+z+1)).
Using column reduction and the Vandermonde determinant formula,
we see from this expression that
n!
(5.17.1) dim V,\ = det(z_;j"—*')=l "f!_'
. H (1,--1,,-)
Hj la"! H3 -7 1gz'<jgN
(where N 2 p).
In this formula, there are many cancellations. After making some
of these cancellations, we obtain the hook length formula. Namely,
for a square (z', j) in a Young diagram A (z', j 2 1,2’ g )\_,-), define the
hook of (z',j) to be the set of all squares (z",j’) in A with 2" Z 2', j’ = j
or 2" = 2', j’ 2 j. Let h(z',j) be the length of the hook of z',j, i.e., the
number of squares in it.
,d1mn!
Theorem 5.17.1 (The hook length formula). One has
V,\ —
ll! = k.
Proof. The formula follows from formula (5.17.1). Namely, note that
S,\(1,z,z2,...,zN'1) =H
1gz'<jgN rt _ Z 3
Z/\,-—i _ z,\,--3‘
Therefore,
X — X '—'
S,\(1,...,1)= H ' 9+,’ '.
1gi<jgN 7 ‘'2
Proof. The first identity is obtained from the definition using the
one by setting 2 = 1. D
Vandermonde determinant. The second identity follows from the first
H T1‘(gm)’7'1 = H Hm(x)i"‘.
For example, V®" and hence all L ,\ are algebraic. Also define
L,\_.,._1~ := L,\ (8 (/\NV*)®"‘ (this definition makes sense by Propo
sition 5.22.2). This is also an algebraic representation. Thus we
have attached a unique irreducible algebraic representation L,\ of
GL(V) = GLN to any sequence ()\1,...,)\N) of integers (not nec
essarily positive) such that A1 2 2 AN. This sequence is called
the highest weight of L ,\.
Theorem 5.23.2. Every finite dimensional algebraic representa
tion of GL(V) is completely reducible, and decomposes into summands
of the form L ,\ (which are pairwise nonisomorphic).
(The Peter- Weyl theorem for GL(V)) Let R be the alge
bra of polynomial functions on GL(V). Then as a representation
of GL(V) >< GL(V) (with action (p(g,h)qb)(z) = qb(g"1xh), g,h,x E
GL(V), (15 E R), R decomposes as
R = {B L: <29 L/\a
A
5.24. Problems
Problem 5.24.1. (a) Show that the Sn-representation
V): 2:‘ (C[S'n]b,\a,\
is isomorphic to V,\.
132 5. Representations of finite groups: Further results
Hint: Define Sn-homomorphisms f : V,\ —> V( and g : V( —> V,\
by the formulas f = .’E0.,\ and g(y) = yb,\, and show that they are
inverse to each other up to a nonzero scalar.
(b) Let (:5 : (C[S'n] —> (C[S'n] be the automorphism sending s to
(—1)3s for any permutation 3. Show that ab maps any representation
V of Sn to V (X) (C_. Show also that q5((C[S'n]a) = (C[S'n]q5(a), for
a E (C[S'n]. Use (a) to deduce that V,\ (X) (C- = V,\-, where X“ is the
conjugate partition to A, obtained by reflecting the Young diagram
of A.
q2 + q (elements
Hyperbolic that commute with %(q — 1)(q — 2)
:30,y#w
this one are of the (x,y 76 0 and
(Dy) form (33), t,u 75 zyéy)
0)
Elliptic (§i?),z e
%q(q—1) (matri
lFq, y E IF;‘, 8 E q2 — q (the reason ces with y and
lFq\lF3 (characteris- will be described —y are conju
tic polynomial over below)
gate)
lFq is irreducible)
Let us explain the structure of the conjugacy class of elliptic
matrices in more detail. These are the matrices whose character
istic polynomial is irreducible over lFq and which therefore don’t have
eigenvalues in lFq. Let A be such a matrix, and consider a quadratic
extension of lFq, namely, lFq(\/E), where 8 6 IR, \ F3. Over this field,
A will have eigenvalues
6! = 01 + \/E02
and
6 = a1 — \/Ea?)
with corresponding eigenvectors
12,11 (Av =av, Afi=a—v).
134 5. Representations of finite groups: Further results
Choose a basis
{cl = 12 +5, e2 = \/3(1) —
In this basis, the matrix A will have the form
a1 sag
(02 01 ) ’
justifying the description of representative elements of this conjugacy
class.
In the basis {vfl}, matrices that commute with A will have the
form
AO
0 X’
for all
AGE},
so the number of such matrices is q2 — 1.
(3. 1)
is the commutator of the matrices
=aB O O=1.
is the commutator of the matrices
A (0 1)» (1 o)
This completes the proof. Cl
Therefore,
G/[G, G] '5 IF; via g v—> det(g).
The 1-dimensional representations of G thus have the form
0(9) = 6 (det(9)),
where € is a homomorphism
§ : F; —> C)‘;
so there are q — 1 such representations, denoted (C5.
Lam=U={Q DL
and
B/[B, B] 2 F; x F;
(the isomorphism maps an element of B to its two diagonal entries).
Let
A : B -—> C)‘
be a homomorphism defined by
,\ (3 = )\1(a))\2(c)
136 5. Representations of finite groups: Further results
for some pair of homomorphisms A1, A2 : 117;‘ —> C’‘. Define
V)(1,)(2 = Indg<C;1,
where (C )1 is the 1-dimensional representation of B in which B acts
by A. We have
I0 I
dim(V;11,;12)= 1,71 = q+ 1.
Theorem 5.25.2. (1) A1 75 A2 ¢ VX1112 is irreducible.
(2) A1 = A2 = p ¢ VX1112 = (C11 EB W11, where W11 is a q
dimensional irreducible representation of G.
Trv;.1.x1(9) =aEG,
131
1_
(3) W11 E’ W1, if and only ifp = 1/; VX1112 E VX3113 if and only if
{A1, A2} = {,\’1, A11} (in the second case, ,\1 75 ,\1, X1 75 ,\i1 ).
2 M090 1)
aga‘1 EB
If
_ :3 0
g—0m3
the expression on the right evaluates to
IGI
)\(9)E,—1 = )\1(5F))\2(-'5) (<1 + 1)
If
_ :3 1
gi0$7
the expression evaluates to
Z:—:z>=0,
26F?
because the sum of all roots of unity of a given order m > 1 is zero,
the last term becomes
A
y :r y :2 y :r
X(:r ey)=l/(:2 5y)+I/(:2 ey)q.
5.25. Representations of GL2(lFq) 139
The last assertion holds because if we regard the matrix as an element
of IFq2, conjugation is an automorphism of IB‘q2 over lFq, but the only
nontrivial automorphism of ]Fq2 over lFq is the qth power map.
We thus have
Ind? (Cue: E‘ Ind? (CV
because they have the same character. Therefore, for 1/‘? 75 1/ we get
%q(q — 1) representations.
Next, we look at the tensor product
W1 ® Va,1,
x (3 = a<a:> + a<y>.
Thus the “virtual representation”
W1 <29 Va,1 — Va,1 —1nd§ <c,,,
X C; 0) = (q - 1)a(Ir),
IL‘
X (3 = -a(rr),
3/ 3 3/ 3 3/ 3
X(:r ey)=_l/(:2 5y)_Vq(:r 5y).
In all that follows, we will have V‘? 7é V.
The following two lemmas will establish that the inner product
of this character with itself is equal to 1 and that its value at 1 is
140 5. Representations of finite groups: Further results
positive. As we know from Lemma 5.7.2, these two properties imply
that it is the character of an irreducible representation of G.
Lemma 5.25.3. Let X be the character of the virtual representation
defined above. Then
Wm§=1
and
x(1) > 0.
Proof.
X0)=dq+D-%m+D-qw-1%=¢-1>0
We now compute the inner product (X, X). Since a is a root of unity,
this will be equal to
1
W-1Pdq+D Kq—D-@—1V-L+@-llllf-4)
2-1 . .
+ ‘“"" ’ ~ 2 Mo + uq<<>><u<<> + u«<<>>].
C elliptic
Because 1/ is also a root of unity, the last term of the expression
evaluates to
Z <2 + uq-1<<> + ul-4(4)).
C elliptic
Let’s evaluate the last summand.
Since F‘; is cyclic and V‘? 75 V,
Z vq"1<<> = Z v1‘q<<> =0.
CelP‘:2 (e1I«‘:2
Therefore,
C2 (vi-1<<>
elliptic CEF:
+u1-4(0) = — Z <uq—1<<> +u1-q<<>> = —2<q— 1)
O O 0
formula. C]
U,O U,O
2 dim I/(30, = Z |O|2(dim U)2 =
Quiver representations
6. 1. Problems
Problem 6.1.1. Field embeddings. Recall that k(y1, . . . , ym) de
notes the field of rational functions of y1,. . . ,ym over a field k. Let
f : k[:c1, . . . ,:cn] —> k(y1, . . . ,ym) be an injective k—algebra homomor
phism. Show that m 2 n. (Look at the growth of dimensions of the
spaces WN of polynomials of degree N in 33,- and their images under
f as N -+ oo.) Deduce that iff : k(:c1,...,:cn) -—> k(3/1,...,ym) is a
k—linear field embedding, then m 2 n.
145
146 6. Quiver representations
Problem 6.1.3. Dynkin diagrams. Let I‘ be a graph, i.e., a finite
set of points (vertices) connected with a certain number of edges (we
allow multiple edges). We assume that I‘ is connected (any vertex can
be connected to any other by a path of edges) and has no self—loops
(edges from a vertex to itself Suppose the vertices of I‘ are labeled
by integers 1,. ..,N. Then one can assign to I‘ an N X N matrix
Rp = (r,-j), where r,-,- is the number of edges connecting vertices 2' and
j. This matrix is obviously symmetric and is called the adjacency
matrix. Define the matrix Ar = 2I — Rp, where I is the identity
matrix.
Definition 6.1.4. I‘ is said to be a Dynkin diagram if the quadratic
form on RN with matrix AF is positive definite.
0 E5
O——O:O:OiO
O
6.1. Problems 147
0 E7
o-—o:o:o:o:o
O
0 E8
OjOjOjOjOjOjO
O
1111 1
12321 2
O
1 2f 3O4V3 92 51 3
°1 5 3 3 E '6 Z 3
(f) Deduce from (a)—(e) the classification theorem for Dynkin
diagrams.
(g) A (simply laced) affine Dynkin diagram is a connected
graph without self-loops such that the quadratic form defined by AF
is positive semidefinite. Classify affine Dynkin diagrams. (Show that
they are exactly the forbidden diagrams from (c)——(e).)
A0N0
To decompose this representation, we first let V’ be a complement to
the kernel of A in V and let W’ be a complement to the image of A
in W. Then we can decompose the representation as follows:
A
V W 2o—>o
o——>o kerAQ300/—>o
V ImA 0 W’.
{B o—>o
The first summand is a multiple of the object 1 {>0 , the second
a multiple of 1 —>1 , and the third of 0 —>1 . We see that the
quiver A2 has three indecomposable representations, namely
1:>0 1—>1, and 0—>1.
7
>0 Or 0}.
possible orientations:
V W>0Y.
0 >0
0 0
As in Example 6.2.3 we first split away
ker A >0
0 >0 0 0.
This object is a multiple of 1 —>0 —>O . Next, let Y’ be a com
0 0
plement of ImB in Y. Then we can also split away
0 0 Y’
0 >0 >0
VWY
oC————A:->0 ——L>>o .
X A(X)
0 A >0 0 X’ W’
B >0 EB OQ———>o Y
——L>>o.
VWY A B
oC:’i———>o B 0
B
in W. This yields the decomposition
V A(V) X 0 W’ X’
= O "“’ >0 "" >0 G3 0 0 ————>>O .
V W< BY
0( A >0 30 .
By identifying V and Y as subspaces of W, this leads to the problem of
classifying pairs of subspaces of a given space W up to isomorphism
(the pair of subspaces problem). To do so, we first choose a
V Y
complement W’ of V H Y in W and set V’ = W’ D V, Y’ = W’ H Y.
Then we can decompose the representation as follows:
0C >0 < 30
= 0C >0 < 30 0 e ~ VnY
<——— X .
V’ W’ Y’ Vr°wY Vr°wY
The second summand is a multiple of the object 1 A>1<i 1 . We
go on decomposing the first summand. Again, to simplify notation,
we let
V=V’, W=W’, Y=Y’.
We can now assume that V 0 Y = 0. Next, let W’ be a complement
of V EB Y in W. Then we get
V
0C W Y
;0< 30
=V VEBY Y 0{BW’
0Cj———>0<e30 0
0 «AL
The second of these summands is a multiple of the indecomposable
object 0 2>1<: 0 . The first summand can be further decom
0C 70
posed as follows:
V V?) 7/ Y
VV00YY
= 0 0<j—0 {B 0:——>0<—-at-:0,
These summands are multiples of
12>1<Z0, 0j>1<—1
154 6. Quiver representations
So — as in the other orientation — we get six indecomposable repre
sentations of A3:
1—>0<—0, 0—>0<—1, 1;>1<L1,
0—>1<—0, 1—>1<:0, 0—>1<Z1.
6.3. Indecomposable representations of the
quiver D4
As the last — slightly more complicated — example we consider the
quiver D4.
Example 6.3.1 (D4). We restrict ourselves to the orientation
O?%OéjO_
1
V2
The first thing we can do is — as usual — split away the kernels of the
maps A1, A2, A3. More precisely, we split away the representations
O 0>O<
0 O,
kerA1 I 0
00
O >O< O, 0
O
0
0
6.3. Indecomposable representations of the quiver D4 155
O> jg 0 0.
O ker A3
OO——>OO
0 0 0,
0 >o<
1T0
00 0 >o< 0,
0
0
0
0
1
0 o o_
0 >o<
0T1 0
0
So we get to a situation where all of the maps A1, A2, A3 are injective:
As in Example 6.2.4, we can then identify the spaces V1, V2, V3 with
subspaces -of V. So we get to the triple of subspaces problem of
classifying triples of subspaces of a given space V.
156 6. Quiver representations
The next step is to split away a multiple of
V A
on on
oo——-—>o+—:
V1 + V2 + V3 = V.
0 0
setting V,-’ = V’ (WV,-, i = 1, 2, 3, we can decompose this representation
into
V1’ V3’
oC————> 0 «:30 Y YO ,
0>0<
V; Y
1 ea ]2
The last summand is a multiple of the indecomposable representation
+—t HO
~A
HO—————>O+—t
V=V1+V2-i-V3, V1flV2flV3=0.
oC————>‘o/<—:3o
V1 L V3
V2
V1, V3 Y 0 o 0 I
OC———>‘: «:30 0 ~ > Y < 0 .
V; Y
The second summand is a multiple of the indecomposable object
A 0
r—t O
FNJ
F-*O——->Or—*
A O V A
r—t r—t O0 HO
and
OO——-->Or—t +aO——-—>O+—t
to reach a situation where the spaces V1, V2, V3 do not intersect pair
wise:
oC—————>’o/<——3o
V1 L V3
V1’
V2
0
2 T 69 Y V3
IQ 0I
V’ of V1’ in V which contains V2 GBV3. This gives us the decomposition
0 V2
The first of these summands is a multiple of
C> &
4 O.
X
1 0
0>000 0O
©O——-->Ol—*
T2 and
r—t
O
1 $0--—>Or—*
V2
V2 =(CAe1G9(CAe2G9---G9(CAen,
V3=C(€1+A€1)G9C(€2+A€2)G9---G9(C(en+A6n).
O0
So we can think of V3 as the graph of an isomorphism A : V1 —-> V2.
From this we obtain the decomposition
oC————> ‘Q/«:30 oC——>(Cg +40 .
V1 L V3 é C(1,
j=1 0) L C(1, 1)
O > O2 < O ,
1I1 O
1
6.4. Roots
From now on, let I‘ be a fixed graph of type An, Dn, E5, E7, E3. We
denote the adjacency matrix of P by Rp.
Definition 6.4.1 (Cartan matrix). We define the Cartan matrix
of I‘ as
Ar = 2 Id —Rp.
On the lattice Z" (or the space R") we then define an inner
product
B(rv. y) = IvTAry
corresponding to the graph I‘.
Lemma 6.4.2. (1) B is positive definite.
(2) B(:1:,:1:) takes only even values for :3 E Z".
i ’i<j
which is even. El
=2 E £lI§+2- E 0.,'j£lI,'£lI_7',
Remark 6.4.4. There can be only finitely many roots, since all of
them have to lie in some ball.
6.4. Roots 161
Definition 6.4.5. We call vectors of the form
ith
simple roots.
The 0:; naturally form a basis of the lattice Z".
Lemma 6.4.6. Let a be a root, a = ELI k,-a,-. Then either k,- 2 0
for all 2' or k,- 3 0 for all 2'.
i .7
Proof. Assume the contrary, i.e., k,- > 0, kj < 0. Without loss of
generality, we can also assume that ks = 0 for all s between 2' and 3'.
0000000,
We can identify the indices 2', j with vertices of the graph I‘:
6Z -1
Next, let 6 be the edge connecting 2' with the next vertex towards j
and let 2" be the vertex on the other end of e. We then let P1, P2 be
the graphs obtained from I‘ by removing 5. Since I‘ is supposed to
be a Dynkin diagram — and therefore has no cycles or loops — both
P1 and P2 will be connected graphs which are not connected to each
other:
F1
F2
22 20 22
B(a.a) = B(B + 7.3 + 7) = B(B.fi) +2 B(B.7) +B(7.7) 2 4.
Remark 6.4.8. Lemma 6.4.6 states that every root is either positive
or negative.
Example 6.4.9. (1) Let I‘ be of the type AN_1. Then the lattice
L = ZN"1 can be realized as a subgroup of the lattice ZN by letting
L Q ZN be the subgroup of all vectors (331, . . . ,:1:N) such that
The vectors
C21 = (1,-1,0,...,0),
a2=(0,1,—1,0,...,0),
(G.
2’a_)
J __ 0,
—1, z',j are adjacent,
otherwise.
This means that vectors of the form
(0,...,0,1,0,...,0,—1,0,...,0)=CIi+C)!¢+1+-°-+O!j_1
6.5. Gabriel’s theorem 163
and
l
Definition 6.6.2. Let Q be any quiver and let i E Q be a sink
(respectively, a source). Then we let be the quiver obtained from
Q by reversing all arrows pointing into (respectively, pointing out of)
i.
Again, all maps stay the same except those now pointing into i; these
are replaced by the compositions of the inclusions Vk —>
i'—+jG)
is surjective.
(2) Let i E Q be a source. Then either dimV,- = 1, diml/3 = O
for j aé i or
10 : V. —> {B V,
’i—-) j
is injective.
V = 0 T 0 ea V’. C
0
166 6. Quiver representations
Since V is indecomposable, one of these summands has to be zero. If
the first summand is zero, then cp has to be surjective. If the second
summand is zero, then the first one has to be of the desired form,
because else we could write it as a direct sum of several objects of the
type
O0 G0
O0—>0+—t
s0=Q}V,-—>V'.
But
Im2,b=K
and therefore
Proof. We prove the proposition for F1-+V; the case Fz.'V follows
similarly. By Proposition 6.6.5 it follows that either
so = EB V: n V2‘
j—>i'
is indecomposable. Cl F.+
2
V
Proof. We only prove the first statement; the second one follows
similarly. Let 2 E Q be a sink and let
90:563.‘/3-—>l/2
Therefore we get
d (VW) = ap
for some p.
d (Vm) = . . . sn_1snd(V).
By Lemma 6.7.2 this cannot continue indefinitely, since d (Vm) may
not have any negative entries. Let i be the smallest number such that
V“) is not surjective at the appropriate vertex. By Proposition 6.6.7
it is indecomposable. So, by Proposition 6.6.5, we get
Fn‘Fn‘_1...F,:F,;*...F,;*_1F,j“V’(°) == V'<°>
{Fn‘Fn‘_1...Fk‘F,;*...F,;*_1F,;*V(°) W“) ==V,V’.
B
These two corollaries show that there are only finitely many inde
composable representations (since there are only finitely many roots)
and that the dimension vector of each of them is a positive root. The
last statement of Gabriel’s theorem follows from
Corollary 6.8.4. For every positive root a, there is an indecompos
able representation V with
d(V) = a.
Proof. Consider the sequence
sna, sn_1sna, . . ..
Consider the first element of this sequence which is a negative root
(this has to happen by Lemma 6.7.2) and look at one step before that,
calling this element B. So B is a positive root and s,-B is a negative
root for some i. But since the s,- only change one coordinate, we get
3 = 02'
and
(sq . ..sn_1sn)a = a,-.
6.9. Problems 173
We let (C0) be the representation having dimension vector a,-. Then
we define
V = Fn—Fn__1...Fq—<C(,-).
This is an indecomposable representation and
d(V) = a.
D
6.9. Problems
Problem 6.9.1. Let Qn be the cyclic quiver of length n, i.e., n
vertices connected by n oriented edges forming a cycle. Obviously,
the classification of indecomposable representations of Q1 is given by
the Jordan normal form theorem. Obtain a similar classification of
indecomposable representations of Q2. In other words, classify pairs
of linear operators A : V ——> W and B : W ——> V up to isomorphism.
Namely:
(a) Consider the following pairs (for n 2 1):
(1) En)‘: V = W = C", A is the Jordan block of size n with
eigenvalue x\, B = 1 (x\ E (C).
(2) Enm: is obtained from En,0 by exchanging V with W and A
with B.
(3) Hn: V = C" with basis 12,-, W = (C""1 with basis 11)., Avi =
112., Bw,- = vz-+1 for 2' < n, and Ann = O.
174 6. Quiver representations
(4) K n is obtained from H” by exchanging V with W and A with
B.
Show that these are indecomposable and pairwise nonisomorphic.
(b) Show that if E is a representation of Q2 such that AB is not
nilpotent, then E = E’ 69 E”, where E” = En)‘ for some /\ 75 0.
(c) Consider the case when AB is nilpotent, and consider the
operator X on V 69 W given by X(v,w) = (Bw,Av). Show that X
is nilpotent and admits a basis consisting of chains (i.e., sequences
11,, Xu, X2u, . . .X“1'u, where Xlu = O) which are compatible with the
direct sum decomposition (i.e., for every chain 21, E V or u E
Deduce that (1)—(4) are the only indecomposable representations of
Q2.
(d) (Harder!) Generalize this classification to the Kronecker quiver,
which has two vertices 1 and 2 and two edges both going from 1 to 2.
(e) (Still harder!) Can you generalize this classification to Qn,
n > 2 with any orientation? (Easier version: consider only the cyclic
orientation).
Introduction to
categories
177
178 7. Introduction to categories
(ii) For every objects X,Y E Ob(C), the class Homc(X, Y) =
Hom(X, Y) of morphisms (or arrows) from X, Y (for f E Hom(X, Y ,
one may write f : X —> Y).
(iii) For any objects X, Y, Z 6 Ob(C), a composition map
Hom(Y, Z) X Hom(X, Y) —> Hom(X, Z), (f, g) »—> fog.
This data is required to satisfy the following axioms:
1. The composition is associative, i.e., (f o g) o h. = f o (g o h).
2. For each X E Ob(C), there is a morphism 1X 6 Hom(X,X),
called the unit morphism, such that 1X 0 f = f and g o 1X = g for
any f, g for which compositions make sense.
7 .2. Functors
We would like to define arrows between categories. Such arrows are
called functors.
0—>C0—>C1—>---——>Cn—>0.
0—>X—>Xe9Y—>Y—>0
0—>Z—>Z—>Z/2Z—>0
Homological algebra
201
202 8. Homological algebra
HomA (A, N) = N), so the statement follows, since if the direct sum
of two complexes is exact, then each of them is exact. To prove that
(iv) implies (i), let K be the kernel of the map Oz, and apply the exact
functor HomA (P, ?) to the exact sequence
0—>K—>M—>N—>0.
Cl
Proof. The proof of the implications “(i) implies (ii)” and “(iii) im
plies (i)” is similar to the proof of Theorem 8.1.1. Let us prove that
(ii) implies (iii). Let
0 —> N —> M —> K —> 0
Ext1(M, N1) —> Ext1(M, N2) —> Ext1(M, N3) —> Ext2(M, N1) —> ...
and
—> Tor2(M, N3) —> Tor1(M,N1) —> Tor1(M,N2) —> Tor1(M, N3)
—)M®AN1—>M®AN2—)M®AN3—)0.
This shows that, as we mentioned above, the Tor and Ext groups
“quantify” the extent to which the functors M 8) A and HomA (M, ?)
are not exact.
Hint: Use Problem 7.8.5.
(iv) Show that Torfl (M, N) can be computed by taking a projec
tive resolution of N, tensoring it with M, and computing cohomology.
206 8. Homological algebra
Hint: Show first that Tor;4(M, N) can be computed by tensoring
two projective resolutions, for M and for N, and computing cohomol
ogy.
(v) Let 0 —> M1 —> M2 —> M3 —> 0 be a short exact sequence
of left A-modules. Let P} and P,3 be projective resolutions of M1
and M3. Construct a projective resolution of M2 with terms P,-2 :=
P,-1 EDP,-3 (use Exercise 8.1.4). Use it to show that for any left A-module
N there are long exact sequences
0 —> HomA(M3,N) —> HomA(M2,N) —> HomA(M1,N) —>
Ext1(M3, N) —> Ext1(M2, N) —> Ext1(M1, N) —> Ext2(M3, N) —> ...
and
--- —> Tor2(M3,N) —> Tor1(M1, N) —> Tor1(M2,N) —> Tor1(M3, N)
—>M1®AN—>M2®AN—>M3®AN—>0.
Problem 8.2.7. Let A = Z and let ,N be finitely generated
abelian groups. Compute Tor,-(M, N), Ext’(M, N) (Hint: Reduce to
the case of cyclic groups using the classification theorem for finite
abelian groups.)
(ii) Do the same for A = k[:n] and M, N being any finitely gener
ated A-modules.
Problem 8.2.8. Show that if A1, A2 are algebras over a field k and
M2-, N2 are left A2--modules, then
Tor;41®A2(M1 ® M2, N1 ® N2) =
In a similar Way one can define Tor and Ext groups in any abelian
category which has enough pro jectives; i.e., any object is a quotient
of a projective object (this condition insures that every object has a
projective resolution).
8.2. Tor and Ext functors 207
Exercise 8.2.9. Show that the category of finite abelian groups or
finite dimensional k[:n]-modules does not contain nonzero projective
objects (so it does not have enough pro jectives).
(ii) Let A be a finitely generated commutative ring. Show that
the category of finitely generated A-modules has enough projectives.
Problem 8.2.10. Let V be a finite dimensional vector space over
a field k. Let Ci = SV 8) /\"V. We can view Ci as the space of
polynomial functions on V* with values in /\"V. Define the differential
di : Ci —> Ci_1 by the formula
: "uf(u)> U’ E V*>
Where Lu : /\"V —> /\"‘1V is the contraction defined by the formula
Structure of finite
dimensional algebras
209
210 9. Structure of finite dimensional algebras
is equivalent to saying that ece = O and (1 —— e)c(1 —— e) = 0, so
c = ec(1—e)+(1——e)ce = [e, [e, Hence e’ = (1+[c, e])e(1+[c, e])“1.
Now, in the general case, we prove by induction in k that there
exists a lift ek of eg to A/ I k+1, and it is unique up to conjugation
by an element of 1 + I k (this is sufficient as I is nilpotent). Assume
it is true for k = m — 1, and let us prove it for k = m. So we have
an idempotent em_1 E A/Im, and we have to lift it to A/Im+1. But
(I"‘)2 = O in A/I"‘+1, so we are done. [3
Definition 9.1.2. A complete system of orthogonal idempo
tents in a unital algebra B is a collection of elements e1, . . . , en E B
such that e,ej = 5,]-e, and 22:1 e, = 1.
Corollary 9.1.3. Let em, . . . , 60m be a complete system of orthogonal
61). D
idempotents in A/I. Then there exists a complete system of orthog
onal idempotents e1, . . . , em (e,ej = 5,]-e,, Ze, = 1) in A which lifts
601, . . .,60m.
=
9.2. Pro jective covers
Obviously, every finitely generated projective module over a finite
dimensional algebra A is a direct sum of indecomposable projective
modules, so to understand finitely generated projective modules over
A, it suffices to classify indecomposable projective modules.
Let A be a finite dimensional algebra with simple modules
M1, . . . , Mn.
Theorem 9.2.1. For each i = 1,. ..,n there exists a unique in
decomposable finitely generated projective module P, such that
Problem 9.4.2. Show. that pd(M) 3 d if and only if for any left
A-module N, one has Ext’(M, N) = O for i > d.
Hint: To prove the “if” part, use induction in d and the long
exact sequence of Ext groups in Problem 8.2.6(v).
(ii) Let 0 ——> M ——> P ——> N ——> 0 be a nonsplit short exact
sequence, and assume that P is projective. Show that pd(N) =
pd(M) + 1.
(iii) Show that if pd(M) = d > O and P. is any projective res
olution of M, then the kernel Kd of the map Pd_1 ——> Pd_2 in this
resolution is projective (where we agree that P_1 = M Thus, by
replacing Pd with Kd and all terms to the left of Pd by zero, we get
a projective resolution of M of length d. Deduce that if A and M
are finite dimensional, then there is a finite resolution P. of M with
finite dimensional P,-.
9.5. Blocks 213
Definition 9.4.3. One says that a ring A has left (respectively, right)
homological dimension 3 d if every left (respectively, right) A
module M has projective dimension 3 d. The homological dimension
of A is exactly d if it is 3 d but not 3 d — 1. If such a d does not
exist, one says that A has infinite homological dimension.
217
218 References for historical interludes
223
Index
225
226 Index
Two-sided ideal, 15
Unit, 9
Unit morphism, 178
Unitary representation of a group,
69
Universal enveloping algebra of a
Lie algebra, 24, 35
Virtual representation, 105
Weyl algebra, 17
Weyl group, 163
Young diagram, 110
Young projector, 111
Young tableau, 110
Zariski dense subset, 145
Titles in This Series
59 Pavel Etingof, Oleg Golberg, Sebastian Hensel, Tiankai Liu, Alex
Schwendner, Dmitry Vaintrob, and Elena Yudovina, with
historical interludes by Slava Gerovitch, Introduction to
representation theory, 2011
58 Alvaro Lozano-Robledo, Elliptic curves, modular forms, and their
L-functions, 2011
57 Charles M. Grinstead, William P. Peterson, and J. Laurie Snell,
Probability Tales, 2011
56 Julia Garibaldi, Alex Iosevich, and Steven Senger, The Erd6s
distance problem, 2011
55 Gregory F. Lawler, Random walk and the heat equation, 2010
54 Alex Kasman, Glimpses of soliton theory: The algebra and geometry of
nonlinear PDES, 2010
53 J ii"1' Matousek, Thirty-three miniatures: Mathematical and algorithmic
applications of linear algebra, 2010
52 Yakov Pesin and Vaughn Climenhaga, Lectures on fractal geometry
and dynamical systems, 2009
51 Richard S. Palais and Robert A. Palais, Differential equations,
mechanics, and computation, 2009
50 Mike Mesterton-Gibbons, A primer on the calculus of variations and
optimal control theory, 2009
49 Francis Bonahon, Low-dimensional geometry: From euclidean surfaces
to hyperbolic knots, 2009
48 John Franks, A (terse) introduction to Lebesgue integration, 2009
47 L. D. Faddeev and O. A. Yakubovskii’, Lectures on quantum
mechanics for mathematics students, 2009
46 Anatole Katok and Vaughn Climenhaga, Lectures on surfaces:
(Almost) everything you wanted to know about them, 2008
45 Harold M. Edwards, Higher arithmetic: An algorithmic introduction to
number theory, 2008
44 Yitzhak Katznelson and Yonatan R. Katznelson, A (terse)
introduction to linear algebra, 2008
43 Ilka Agricola and Thomas Friedrich, Elementary geometry, 2008
42 C. E. Silva, Invitation to ergodic theory, 2007
41 Gary L. Mullen and Carl Mummert, Finite fields and applications,
2007
40 Deguang Han, Keri Kornelson, David Larson, and Eric Weber,
Frames for undergraduates, 2007
39 Alex Iosevich, A view from the top: Analysis, combinatorics and number
theory, 2007
38 B. Fristedt, N. Jain, and N. Krylov, Filtering and prediction: A
primer, 2007
TITLES IN THIS SERIES