How does one go about finding real/complex irreducible and faithful representations of PSL(2,7)? - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-21T23:55:53Z http://mathoverflow.net/feeds/question/110790 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/110790/how-does-one-go-about-finding-real-complex-irreducible-and-faithful-representatio How does one go about finding real/complex irreducible and faithful representations of PSL(2,7)? Idan Goldenberg 2012-10-26T22:11:30Z 2012-10-27T14:44:05Z <p>It is well known that PSL(2,7) contains 168 elements. I'm looking for a method of obtaining irreducible representations (the matrices, not just the character table) which as implied by the title are: 1) over the real or complex fields 2) faithful, i.e. isomorphic to PSL(2,7)</p> <p>I'd prefer an analytic expression for such matrices if this is possible.</p> <p>Can the question be answered for the more general case of PSL(2,p), p prime, or even the more ambitious PSL(n,p)?</p> <p>Thanks!</p> http://mathoverflow.net/questions/110790/how-does-one-go-about-finding-real-complex-irreducible-and-faithful-representatio/110791#110791 Answer by Jim Humphreys for How does one go about finding real/complex irreducible and faithful representations of PSL(2,7)? Jim Humphreys 2012-10-26T22:56:23Z 2012-10-27T14:27:35Z <p>For a single group of relatively small order, computer methods are available, as pointed out by John Wiltshire-Gordon. For a general theoretical approach, there is much less to go on in terms of methods. But in my old expository article in <em>Amer. Math. Monthly</em> 82 (1975), I did reference the work done (before the Deligne-Lusztig era) on representations of finite special linear groups over finite fields. Besides the character theory worked out by Frobenius (and the American H. Jordan independently), there are only a couple of serious attempts to describe the actual representations. The two references I could find are:</p> <p>S. Tanaka, Construction and classification of irreducible representations of the special linear group of the second order over a finite field, Osaka J. Math., 4 (1967) 65-84</p> <p>S. I. Gel'fand, Representations of the full linear group over a finite field, Math. USSR-Sb., 12 (1970) 13-39</p> <p>Neither of these seems to have given much insight into more complicated finite groups of Lie type, but taken on their own they are worth looking at. I'm not sure what is currently available online, but the second article appears in a fairly standard translation journal. Beyond the simple groups of rank 1, it seems quite challenging to say anything concrete about the matrix description of arbitrary irreducible representations. Though there is the underlying Harish-Chandra philosophy for Lie groups which certainly replicates here at least in the Deligne-Lusztig character theory. </p> <p>Some added comments:</p> <p>1) The paper by Tanaka is freely available through the Euclid Project <a href="http://projecteuclid.org/DPubS?service=UI&amp;version=1.0&amp;verb=Display&amp;handle=euclid.ojm/1200691815" rel="nofollow">here</a>. This is closest to the question asked about <code>$\mathrm{SL}_2(\mathbb{F}_p)$</code>, but like Gelfand's work is fairly uniform over any finite field. To pass to the projective group is usually straightforward, by taking into account which representations are trivial at the central element <code>$-I$</code>. </p> <p>2) At the 1971 Budapest summer school, Sergei Gelfand gave an exposition (in English) of his work, published in the proceedings some years later: Representations of the general linear group over a finite field. <em>Lie groups and their representations</em> (Proc. Summer School on Group Representations of the Bolyai Janos Math. Soc., Budapest, 1971), pp. 119–132. Halsted, New York, 1975.</p> <p>3) While it's easy to pass from a special linear group to its simple quotient, it's much trickier to pass from a general linear to a special linear subgroup (even on the level of characters), so Gelfand's approach may not be so directly useful here. The concrete work in rank 1 also seems to be of little help in higher ranks but has been exploited in work on representations over local fields.</p> <p>4) In the rank 1 case, roughly half of the irreducible representations (or characters) are easy to construct using induction from a Borel subgroup; even for finite groups, a functional description of induction is traditional here. But the big problem is to pin down the cuspidal or discrete series representations (called "analytic" by Gelfand). Both Tanaka and Gelfand use essentially analytic approaches to the problem, via notions such as "Bessel function" over a finite field. </p> <p>5) To get real representations, other people have suggested approaches. The well-known character table provides some guidance here.</p> http://mathoverflow.net/questions/110790/how-does-one-go-about-finding-real-complex-irreducible-and-faithful-representatio/110827#110827 Answer by François Brunault for How does one go about finding real/complex irreducible and faithful representations of PSL(2,7)? François Brunault 2012-10-27T12:50:43Z 2012-10-27T12:50:43Z <p>There is much interesting information in the following article :</p> <p>Noam D. Elkies, <em>The Klein Quartic in Number Theory</em>, <a href="http://library.msri.org/books/Book35/contents.html" rel="nofollow">The eightfold way</a>, 51–101, Math. Sci. Res. Inst. Publ., 35, Cambridge Univ. Press, Cambridge, 1999.</p> <p>See in particular Section 1.3 for questions about the fields of definition of the representations.</p> http://mathoverflow.net/questions/110790/how-does-one-go-about-finding-real-complex-irreducible-and-faithful-representatio/110828#110828 Answer by Alexander Chervov for How does one go about finding real/complex irreducible and faithful representations of PSL(2,7)? Alexander Chervov 2012-10-27T13:13:24Z 2012-10-27T14:01:47Z <p>Incidentally I was interested in this question a couple of months ago, may be these remarks will be useful. </p> <p><strong>1)</strong> PSL(2,7) remarkably isomorphic <a href="http://mathoverflow.net/questions/37525/what-is-your-favorite-isomorphism/37542#37542" rel="nofollow">(MO 37525)</a> to GL(3,2). (See also <a href="http://en.wikipedia.org/wiki/PSL%282,7%29" rel="nofollow">Wikipedia page</a> and <a href="http://groupprops.subwiki.org/wiki/Projective_special_linear_group%3APSL%283,2%29" rel="nofollow">Vipul Naik's site</a>).</p> <p><strong>2)</strong> It is simple group so all irreps are faithful.</p> <p><strong>3)</strong> There are several on-line expositions around irreps of GL(2,F_q), SL(2,F_q). Not sure PSL(2,F_q) is there, but nevertheless might be useful to give these links:</p> <p>Paul Garrett: <a href="http://www.math.umn.edu/~garrett/m/v/toy_GL2.pdf" rel="nofollow">http://www.math.umn.edu/~garrett/m/v/toy_GL2.pdf</a></p> <p>Etingof&amp;Students: <a href="http://arxiv.org/abs/0901.0827" rel="nofollow">http://arxiv.org/abs/0901.0827</a></p> <p>Amritanshu Prasad <a href="http://www.imsc.res.in/~amri/html_notes/notes.html#notesch2.html" rel="nofollow">http://www.imsc.res.in/~amri/html_notes/notes.html#notesch2.html</a></p> <p>(This also discusses GL(n,F_q) partly).</p> <p>Also the <a href="http://www.amazon.com/Representation-Theory-Graduate-Mathematics-Readings/dp/0387974954" rel="nofollow">book</a> by Fulton Harris discusses the GL(2,F_q) irreps.</p> <p><strong>4)</strong> The group PSL(2,F_q) has irrep of dimension "q" which actually can realized over reals (actually rationals). It can be seen like this: PSL(2,F_q) acts on the projective line P^1(q). This is a set of q+1 points. So we have a q+1 representation realized in functions on this set - as any permutation representation it contains the constants as 1d sub-irrep. The complement to constants will give you q dim. irrep.</p> <p><strong>6)</strong> For the particular case of PSL(2,7) we may try to construct irreps inducing from the Sylow's cyclic subgroups of orders 7 and 3. You might enjoy M.Isaacs <a href="http://mathoverflow.net/questions/104939/induction-from-cyclic-sylow-subgroup-are-there-any-nice-properties/104952#104952" rel="nofollow">MO answer</a> on my question about decomposition of these irreps.</p> <p><strong>7)</strong> These were over mainly about complex numbers irreps. I cannot say much about irreps over reals, but here are some remarks. There are 6 irreps over complex numbers (I have inserted character table to Wikipedia page) dimensions 1, 3,3, 6,7,8. Actually 1,6,7,8 can be realized over reals. About 7 - see discussion above, 1d - is trivial about 6,8 - let me refer to <a href="http://math.berkeley.edu/~dpenneys/math252/cueto_16_8.pdf" rel="nofollow">this page</a> which calculates Frobenius-Schur indicators and shows that they are equal to 1 (hence irreps realized over reals) for 1,6,7,8. </p> <p>Now there are two 3d irreps (cuspidal irreps) they are complex conjugate to each other, so their direct sum can be realized over reals.</p> http://mathoverflow.net/questions/110790/how-does-one-go-about-finding-real-complex-irreducible-and-faithful-representatio/110832#110832 Answer by Geoff Robinson for How does one go about finding real/complex irreducible and faithful representations of PSL(2,7)? Geoff Robinson 2012-10-27T13:57:09Z 2012-10-27T14:44:05Z <p>The irreducible character degrees for this group have degree 1,3,3,6,7,8. To get the irreducible degree $7$-representation, induce a non trivial linear character of either of the maximal parabolics isomorphic to $S_4$. To get the degree $8$ irreducible, induce a non-trivial linear character of the Sylow $7$-normalizer ( a Frobenius group of order $21$). To get the degree $6$ irreducible, induce the trivial character of the Sylow $7$-normalizer, obtaining an orthogonal representation. Then take the orthogonal complement of the $1$-dimensional fixed-point space. To get one of the two $3$-dimensional representations, induce a non-trivial linear character of the Sylow $7$-subgroup. The already constructed (unitary) $8$-dimensional represntation shows up, as does the $6$-dimensional (unitary) repesentation and the $7$-dimensional unitary irreducible representation. Take the orthogonal complement of the sum of these. This gives a $3$-dimensional unitary representation. Take the dual of that as well, and you have all (non-trivial) representations, up to equivalence.</p> <p>Later edit: Note that for the irreducible characters of degree $6,7$ and $8$ the representations above are explicitly given as real representations. The two $3$-dimensional representations do not have real characters. To obtain a real representation of their sum, do the last procedure instead with a real irreducible two dimensional orthogonal representation of the Sylow $7$-subgroup (which is just as group of real rotations): two copies of each of the $6,7$ and $8$ degree real orthogonal representations show up, so take the orthogonal complement of their sum, obtaining an orthogonal representation of degree $6$ which is irreducible as a real representation, but not a complex representation. </p>