5
$\begingroup$

A follow-up question to Alternating subgroups of $\mathrm{SU}_n $.

$\DeclareMathOperator\PSU{PSU}\DeclareMathOperator\PSL{PSL}$Let $ \PSU_m $ be the projective unitary group, a compact simple adjoint Lie group corresponding to the root system $ A_{m-1} $.

Let $ \PSL_n(q) $ be the finite simple group of Lie type $ A_{n-1}(q) $ given by taking the special linear group with entries from the field with $ q $ elements and modding out by the center.

Let $ \PSU_n(q^2) $ be the finite simple group of Lie type $ ^2 A_{n-1}(q^2) $ given by taking the special unitary group with entries from the field with $ q^2 $ elements and modding out by the center.

$ \PSU_2 $ contains a $ 60 $ element subgroup isomorphic to $ \PSL_2(4) \cong \PSL_2(5) $. It is the largest of the primitive finite subgroups of $ \PSU_2 $ and it is maximal (the only closed subgroup containing it is the whole group).

The references in The finite subgroups of SU(n) show that $ \PSU_3 $ contains a subgroup of order $ 360 $ isomorphic to $ \PSL_2(9) $ and that again this subgroup is the largest of the primitive finite subgroups. Again it is maximal. Also $ \PSU_3 $ contains a group of order $ 168 $ isomorphic to $ \PSL_2(7)\cong \PSL_3(2) $ which seems like it should be maximal. There is also a 60 element $ \PSL_2(4) \cong \PSL_2(5) $ subgroup of $ \PSU_3 $ but that is already in $ \PSU_2 $ so it's probably not maximal.

The reference Hanany and He - A Monograph on the Classification of the Discrete Subgroups of SU(4) from the same MO question shows that $ \PSU_4 $ contains a subgroup of order $ 25{,}920 $ isomorphic to $ \PSU_4(4) $ and that again this subgroup is the largest of the primitive finite subgroups. Again it is maximal. Also $ \PSU_4 $ contains a group of order $ 360 $ isomorphic to $ \PSL_2(9) $, and a group of order $ 168 $ isomorphic to $ \PSL_2(7)\cong \PSL_3(2) $, but both of these are already in $ \PSU_3 $ so probably not maximal. Finally it contains a group of order 60 isomorphic to $ \PSL_2(4) \cong \PSL_2(5) $ but that is already in $ \PSU_2 $ so almost certainly not maximal.

That leads me to ask: Does $ \PSU_m $ always have a maximal $ \PSL_n(q) $ or $ \PSU_n(q^2) $?

$\endgroup$
2
  • 2
    $\begingroup$ Not an answer, but I suspect there are too many small values of $m$ for this to be true. In particular the smallest non-trivial representation of $PSL_n(q)$ grows like $q^n$. So varying $n$ and $q$ it's roughly like counting all numbers vs counting prime powers. $\endgroup$
    – Nate
    Jan 20 at 20:13
  • 1
    $\begingroup$ $\DeclareMathOperator\PSL{PSL}\DeclareMathOperator\SL{SL}\DeclareMathOperator\Z{Z}$I'm not sure if it's reasonable to call $\PSL_n(q)$ "of Lie type $A_{n - 1}(q)$". I'm not up on the definitions, but I'd expect this to refer only to $\mathbb F_q$-rational points of reductive groups over $\mathbb F_q$, whereas your $\PSL_n(q)$ is not of that type. (If you take not $\SL_n(q)/\Z(\SL_n(q))$ but $(\SL_n/\Z(\SL_n))(q)$, then you get $\operatorname{PGL}_n(q)$.) Similarly for $\operatorname{PSU}$. Also, TeX: $25,920$ needs curly brackets: $25{,}920$ 25{,}920. I edited accordingly. $\endgroup$
    – LSpice
    Jan 31 at 17:14

1 Answer 1

7
$\begingroup$

One can consult the tables of Bray-Holt-Roney Dougal to work out the subgroups of $\mathrm{PSU}_m$.

  1. For $m=5$, we have copies of $PSL_2(11)$ and $PSU_4(4)$.
  2. For $m=6$ we have $PSL_2(11)$, $PSL_3(4)$ and $PSU_4(9)$.
  3. For $m=7$ we have $PSU_3(9)$.
  4. For $m=8$ we have $PSL_3(4)$.
  5. For $m=9$ we have $PSL_2(19)$.
  6. For $m=10$ we have $PSL_2(19)$ and $PSL_3(4)$.
  7. For $m=11$ we have $PSL_2(23)$ and $PSU_5(4)$.
  8. For $m=12$ we have $PSL_2(23)$ and $PSL_2(9)$.

So far, so good. Bray-Holt-Roney Dougal stops at dimension 12. For dimensions 13 to 15 one consults tables in Anna Schroeder's PhD thesis (St Andrews, 2015) and there are examples in those dimensions. For dimensions 16 and 17 one consults the thesis of Daniel Rogers (Warwick, 2017). For 16 there is an example, but there are no interesting subgroups (i.e., finite subgroups not contained in a closed positive-dimensional subgroup) of $\mathrm{PSU}_{17}$ at all, never mind linear or unitary ones.

So it seems $m=17$ is the first case where things go wrong.

$\endgroup$
9
  • $\begingroup$ I looked at the references and they seem to all be about maximal subgroups of other finite groups? (maybe I'm missing something?) How did you extract information about maximal subgroups of the compact real Lie group $ PSU_m $ based on these sources? Something about the fact that every complex rep of a finite group is unitary? By $ PSU_5 $ you mean the 24 real dimensional compact Lie group of $ 5 \times 5 $ unitary matrices with complex entries mod its center, right? $\endgroup$ Feb 1 at 13:50
  • 1
    $\begingroup$ Yes, there were a few details hidden under the carpet here. Irreducible representations in characteristic 0 are the same as irreducible representations in characteristic $p$ for any $p$ not dividing the order of the group. So from these tables you can deduce what happens in char 0. I only used them as they are a handy reference. One can also use the tables in Hiss--Malle, which go up to dimension 250, to find degrees where there are no irreducible representations of linear/unitary groups of a given dimension either. Their tables explicitly list char 0. $\endgroup$ Feb 1 at 14:00
  • $\begingroup$ Ok so an irrep in char $ p $ with $ p $ not dividing order of the group is same as char $ 0 $. And a rep of a simple group always has trivial kernel so it is an embedding. And again simple means the embedded subgroup is disjoint from the center of $ U_m $ so also embeds in $ PSU_m $. But a maximal closed subgroup is always image of an irrep so if you can find a dimension $ m$ such that no $ PSL_n(q) $ or $ PSU_n(q^2) $ has a (non modular) irrep of dimension $ m $ then it must be that $ PSU_m $ contains no $ PSL_n(q) $ or $ PSU_n(q^2) $subgroups. same for any simple $\endgroup$ Feb 1 at 14:22
  • 1
    $\begingroup$ Yes. You always have to look at central extensions. They give the centre in the tables. If the centre of the quasisimple group is not the centre of $SU$ then it is contained in the centralizer of a semisimple element and this is ignored. So these quasisimple groups are always simple mod $Z(SU)$, and are all such quasisimple groups. $\endgroup$ Feb 1 at 20:57
  • 1
    $\begingroup$ Hiss--Malle exclude $PSL_2(q)$ in their tables as there are too many of them. Their degrees are given elsewhere in the paper: $(q\pm1)/2$, $q$, $q\pm 1$ for $q$ odd, (with the obvious excluded two for $q$ even). For all finite subgroups you have to be a bit more careful, as there can be normalizers of $r$-subgroups that are not contained in the normalizer of a torus. You can already see this in dimension 3: $3^{1+2}:Q_8$ appears in Bray et al, in Table 8.5, in class $C_6$. These should be the only possible exceptions. (These are called extraspecial-type subgroups.) $\endgroup$ Feb 2 at 19:58

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

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