Given a finite simple group $G$, we can consider the [quasisimple](http://en.wikipedia.org/wiki/Quasisimple_group) extensions $\tilde G$ of $G$, that is to say central extensions which remain perfect. Some basic group cohomology (based on the standard trick of averaging a cocycle to try to make it into a coboundary) shows that up to isomorphism, there are only finitely many such quasisimple extensions, and they are all quotients of a maximal quasisimple extension, which is known as the universal cover of $G$, and is an extension of $G$ by a finite abelian group known as the [Schur multiplier](http://en.wikipedia.org/wiki/Schur_multiplier) $H^2(G,{\bf C}^\times)$ of $G$ (or maybe it would be slightly more accurate to say that it is the Pontryagian dual of the Schur multiplier, although up to isomorphism the two groups coincide).


On going through the [list of finite simple groups](http://en.wikipedia.org/wiki/List_of_finite_simple_groups) it is striking to me how small the Schur multipliers are for all of them; with the exception of the projective special linear groups $A\_{n-1}(q)=PSL\_n({\bf F}\_q)$ and the projective special unitary groups ${}^2 A\_{n-1}(q^2) = PSU\_n({\bf F}\_q)$, all other finite simple groups have Schur multiplier of order no larger than 12, and even the projective special linear and special unitary groups of rank $n-1$ do not have Schur multiplier of size larger than $n$ (other than a finite number of small exceptional cases, but even there the largest Schur multiplier size is 48). In particular, in all cases the Schur multiplier is much smaller than the order of the group itself (indeed it is always of order $O(\sqrt{\frac{\log|G|}{\log\log|G|}})$). For comparison, the standard proof of the finiteness of the Schur multiplier (based on showing that every $C^\times$-valued cocycle on $G$ is cohomologous to $|G|^{th}$ roots of unity) only gives the terrible upper bound of $|G|^{|G|}$ for the order of the multiplier.


In the case of finite simple groups of Lie type, one can think of the Schur multiplier as analogous to the notion of a fundamental group of a simple Lie group, which is similarly small (being the quotient of the weight lattice by the root lattice, it is no larger than $4$ in all cases except for the projective special linear group $PSL\_n$, where it is of order $n$ at most). But this doesn't explain why the Schur multipliers for the alternating and sporadic groups are also so small. Intuitively, this is asserting that it is very difficult to make a non-trivial central extension of a finite simple group. Is there any known explanation (either heuristic, rigorous, or semi-rigorous) that helps explain why Schur multipliers of finite simple groups are small? For instance, are there results limiting the size of various group cohomology objects that would support (or at least be very consistent with) the smallness of Schur multipliers?


Ideally I would like an explanation that does not presuppose the classification of finite simple groups.



Why are Schur multipliers of finite simple groups so small?
The Schur multiplier $H^2(G;{\mathbb C}^\times) \cong H^3(G;{\mathbb Z})$ of a finite group is a product of its $p$-primary parts


$$H^3(G;{\mathbb Z}) = \oplus\_{ p | |G|} H^3(G;{\mathbb Z}\_{(p)})$$


as is seen using the transfer. The $p$-primary part $H^3(G;{\mathbb Z}\_{(p)})$ depends only of the $p$-local structure in $G$ i.e., the Sylow $p$-subgroup $S$ and information about how the subgroups of $S$ become conjugate or "fused" in $G$. (This data is also called the $p$-fusion system of $G$.)


More precisely, the **Cartan-Eilenberg stable elements formula** says that 


$$H^3(G;{\mathbb Z}\_{(p)}) = \{ x \in H^3(S;{\mathbb Z}\_{(p)})^{N\_G(S)/C\_G(S)} |res^S\_V(x) \in H^3(V;{\mathbb Z}\_{(p)})^{N\_G(V)/C\_G(V)}, V < S\}$$


One in fact only needs to check restriction to certain V above. E.g., if S is abelian the formula can be simplified to $H^3(G;{\mathbb Z}\_{(p)}) = H^3(S;{\mathbb Z}\_{(p)})^{N\_G(S)/C\_G(S)}$ by an old theorem of Swan. (The superscript means taking invariants.) See e.g. section 10 of my paper linked [HERE](http://www.math.ku.dk/~jg/papers/limsub.pdf) for some references.


Note that the fact that one only need primes p where G has non-cyclic Sylow $p$-subgroup follows from this formula, since $H^3(C\_n;{\mathbb Z}\_{(p)}) = 0$.


However, as Geoff Robinson remarks, the group $H^3(S;{\mathbb Z}\_{(p)})$ can itself get fairly large as the $p$-rank of $S$ grows. However, $p$-fusion tends to save the day. The heuristics is:


*Simple groups have, by virtue of simplicity, complicated $p$-fusion, which by the above formula tends to make $H^3(G;{\mathbb Z}\_{(p)})$ small.*


i.e., it becomes harder and harder to become invariant (or "stable") in the stable elements formula the more $p$-fusion there is. E.g., consider $M\_{22} < M\_{23}$ of index 23: $M\_{22}$ has Schur multiplier of order 12 (one of the large ones!). However, the additional 2- and 3-fusion in $M\_{23}$ makes its Schur multiplier trivial. Likewise $A\_6$ has Schur multiplier of order 6, as Geoff alluded to, but the extra 3-fusion in $S\_6$ cuts it down to order 2.


OK, as Geoff and others remarked, it is probably going to be hard to get sharp estimates without the classification of finite simple groups. But $p$-fusion may give an idea why its not so crazy to expect that they are "fairly small" compared to what one would expect from just looking at $|G|$...


