We show that the Schur multiplier of Sp(2g,Z/DZ) is Z/2Z, when D is divisible by 4. We give several proofs of this statement, a first one using Deligne’s non-residual finiteness theorem and recent results of Putman, a second one using K-theory arguments based on the work of Barge and Lannes and a third one based on the Weil representations of symplectic groups arising in abelian Chern-Simons theory. We can also retrieve this way Deligne’s non-residual finiteness of the universal central extension ^ Sp(2g,Z) and a sharp result since ^ Sp(2g,Z) surjects on the non-trivial central extension of Sp(2g,Z/DZ) by Z/2Z, when g � 3. We prove then that the essential second homology of finite quotients of symplectic groups over a Dedekind domain of arithmetic type are torsion groups of uniformly bounded size. In contrast, quantum representations produce for every prime p, finite quotients of the mapping class group of genus g � 3 whose essential second homology has p-torsion. We further derive that all central extensions of the mapping class group are residually finite and deduce that mapping class groups have Serre’s property A2 for trivial modules, contrary to symplectic groups. Eventually we compute the module of coinvariants H2(sp2g(2))Sp(2g,Z/2kZ) = Z/2Z.
Read full abstract