5
$\begingroup$

Is there a review/exposition of the representation theory of $PSL_2(\mathbb{F}_q)$ ? Like an enumeration of its irreducible representations and their dimensions as a function of $q$?

$\endgroup$
1
  • 2
    $\begingroup$ It's complex character table is well known, I think it was known to Frobenius. $\endgroup$ Apr 18, 2015 at 22:32

3 Answers 3

6
$\begingroup$

Jeff Adams has comprehensive notes on his website: http://www.math.umd.edu/~jda/characters/characters.pdf

The irreducible characters of the groups SL(2), PGL(2), GL(2) and PSL(2) over finite fields are described.

The problem for PSL(2) was originally solved by Frobenius in his 1896 paper: Über Gruppencharaktere. It is the first article in Volume 3 of his collected works (Gesammelte Abhandunglen, Band III). On the last page of this article, I found the table:enter image description here

$\endgroup$
6
  • $\begingroup$ The comment on the last line of Frobenius's paper is nice: $\mathrm{PSL}(2, F_3)\cong A_4$ and $\mathrm{PSL}(2, F_5)\cong A_5$. $\endgroup$ Apr 19, 2015 at 10:09
  • $\begingroup$ Thanks for the help! On page 12 can you kindly explain how to read it that table? What is the "dimension", "size", "number", "number" ? Can you kindly clarify the notation? $\endgroup$
    – user6818
    Apr 19, 2015 at 21:50
  • $\begingroup$ The number of conjugacy classes depends on $q$, so you can't really list them all separately. Fortunately, it is possible to group the classes into types; all the classes of the same type have the same size. This is what "size" and "number" refer to for the classes - if number is n and size is s, then there are n classes of size s. For representations again a similar principle holds. Both classes and representations of a given type have parameters which appear in the character formulas. To get the hang of the notation used in the parameters, you have to read through the earlier sections. $\endgroup$ Apr 20, 2015 at 5:19
  • $\begingroup$ Thanks! Let me try to decipher this! BTW, what I am looking for is this : I am looking for a sequence of groups of increasing size such that they all have a representation in terms of permutation matrices and the dimension of the smallest non-trivial irreducible representation in these permutation representations is as large as possible. Any help? $\endgroup$
    – user6818
    Apr 20, 2015 at 15:31
  • $\begingroup$ In this case, the group $PSL(2, q)$ has order $q(q^2-1)/2$. A representation of dimension $q+1$ is an irreducible representation which occurs in a permutation representation (the representation induced from a trivial representation of the subgroup of upper triangular matrices). $\endgroup$ Apr 21, 2015 at 3:56
7
$\begingroup$

How about the MAA article of J. E. Humphreys?

$\endgroup$
3
  • $\begingroup$ Is it behind the pay wall? $\endgroup$
    – Fan Zheng
    Apr 18, 2015 at 23:12
  • 1
    $\begingroup$ @FanZheng I believe following the link would answer your question $\endgroup$
    – Yemon Choi
    Apr 18, 2015 at 23:32
  • 2
    $\begingroup$ Maybe the text before Humphrey's article is worth reading and pondering, isnt'it ? $\endgroup$
    – BS.
    Apr 18, 2015 at 23:51
7
$\begingroup$

Cedric Bonnafe wrote a book entitled "Representatons of $\text{SL}_2(\mathbb{F}_q)$" that has evertyhing you are looking for.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.