Having spent many hours looking through the Atlas of Finite Simple Groups while in Grad school, I recall being rather intrigued by the fact that among the sporadic groups, only one (McLaughlin as I recall, and only 2 out of its 24 irreps are quaternionic) has any irreps of quaternionic type. On the other hand, to my recollection several members of infinite families (such as those arising from the symplectic groups) as well as certain covers of the sporadics have quaternionic irreps. As I do not currently have access to the Atlas, I can't really list a bunch of examples, but if you have access to a copy you can go look them up.

Question: Is there a 'natural' reason that quaternionic representations and simple groups (in particular sporadics) like to avoid one another? Specifically, is there something intrinsic about preserving a symplectic form which implies that the corresponding automorphism group "should" have a normal subgroup (because of something trivial like symmetry considerations)?

  • 2
    $\begingroup$ My guess is something like "it's hard for large 2-groups to have symplectic representations, so any simple group with one must have low 2-rank." $\endgroup$ – Ben Webster Feb 8 '11 at 19:15
  • $\begingroup$ This may well be a hard question, but first I'd wonder whether your Atlas observations about groups of Lie type hold up more generally? The Atlas covers all sporadics but only a "few" of the others. (By the way, for quaternionic representations via Frobenius-Schur indicators, Serre's Springer text has a nice treatment in 13.2 even though those terms aren't easy to locate in the index.) $\endgroup$ – Jim Humphreys Feb 8 '11 at 19:36
  • 1
    $\begingroup$ It looks like a lot of unitary groups and a lot of twisted groups in general have quaternionic irreducible ordinary representations. It might not be rare, and doesn't seem like it requires low 2-rank. $\endgroup$ – Jack Schmidt Feb 9 '11 at 0:05
  • 7
    $\begingroup$ Srinivasan–Vinroot have a preprint showing unitary groups of even degree have a ton of quaternionic irreps, and gives a reason why. math.wm.edu/~vinroot/SemiSympChars-REV.pdf $\endgroup$ – Jack Schmidt Feb 9 '11 at 0:09
  • 3
    $\begingroup$ @Jack: From your comments and the sharp counts of quaternionic representations in the S-V paper, it seems plausible that if one starts with symplectic forms and tries to determine which finite simple groups can leave such forms invariant, one would eventually determine some families of representations of classical groups and two sporadic representations (of the McLaughlin Group). Thus it looks like my question would be equivalent to a classification problem and hence likely difficult. $\endgroup$ – ARupinski Feb 9 '11 at 7:42

Your Answer

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

Browse other questions tagged or ask your own question.