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.

Because λ is also a root of unity, the last term of the expression evaluates <strong>to</strong><br />

<br />

(2 + λ q−1 (ψ) + λ 1−q (ψ)).<br />

Let’s evaluate the last summand.<br />

Since F × is cyclic and λ q = ⇒ λ,<br />

q 2<br />

λ elliptic<br />

<br />

λ q−1 (ψ) = λ 1−q (ψ) = 0.<br />

There<strong>for</strong>e,<br />

λF ×<br />

q 2 λF ×<br />

q 2<br />

<br />

(λ q−1 (ψ) + λ 1−q (ψ)) = − (λ q−1 (ψ) + λ 1−q (ψ)) = −2(q − 1) =<br />

λ elliptic λF ×<br />

q<br />

since F × is cyclic of order q − 1. There<strong>for</strong>e,<br />

q<br />

1 ⎩<br />

2 2<br />

ν, ν = (q − 1)<br />

2 (q −1) (q −1)<br />

2<br />

1+(q −1) 1 (q −1)+ q(q − 1) <br />

◦ · · · · ·(2(q<br />

−q)−2(q −1)) = 1.<br />

q(q + 1) 2<br />

as<br />

We have now shown that <strong>for</strong> any λ with λ q = ⇒ λ the representation Y ξ with the same character<br />

W 1 V ,1 − V ,1 − Ind G<br />

K C ξ<br />

exists and is irreducible. These characters are distinct <strong>for</strong> distinct pairs (ϕ, λ) (up <strong>to</strong> switch<br />

λ ⊃ λ q ), so there are q(q−1) such representations, each of dimension q − 1.<br />

2<br />

We have thus found q − 1 1-dimensional representations of G, q(q−1) 2<br />

principal series representations,<br />

and q(q−1) complementary series representations, <strong>for</strong> a <strong>to</strong>tal of q2<br />

2<br />

− 1 representations,<br />

i.e., the number of conjugacy classes in G. This implies that we have in fact found all irreducible<br />

representations of GL 2 (F q ).<br />

4.25 Artin’s theorem<br />

Theorem 4.73. Let X be a conjugation-invariant system of subgroups of a finite group G. Then<br />

two conditions are equivalent:<br />

(i) Any element of G belongs <strong>to</strong> a subgroup H X.<br />

(ii) The character of any irreducible representation of G belongs <strong>to</strong> the Q-span of characters of<br />

induced representations Ind G H V , where H X and V is an irreducible representation of H.<br />

Remark. Statement (ii) of Theorem 4.73 is equivalent <strong>to</strong> the same statement with Q-span<br />

replaced by C-span. Indeed, consider the matrix whose columns consist of the coefficients of the<br />

decomposition of Ind G H V (<strong>for</strong> various H, V ) with respect <strong>to</strong> the irreducible representations of G.<br />

Then both statements are equivalent <strong>to</strong> the condition that the rows of this matrix are linearly<br />

independent.<br />

75

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

Saved successfully!

Ooh no, something went wrong!