English

Finite quotients of symplectic groups vs mapping class groups

Geometric Topology 2023-04-21 v2 K-Theory and Homology

Abstract

We give alternative computations of the Schur multiplier of Sp(2g,Z/DZ)Sp(2g,\mathbb Z/D\mathbb Z), when DD is divisible by 4 and g4g\geq 4: a first one using KK-theory arguments based on the work of Barge and Lannes and a second 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)~\widetilde{Sp(2g,\mathbb Z)}. We prove then that the image of the second homology into 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 pp, finite quotients of the mapping class group of genus g3g\geq 3 whose second homology image has pp-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 A2A_2 for trivial modules, contrary to symplectic groups. Eventually we compute the module of coinvariants H2(sp2g(2))Sp(2g,Z/2kZ)=Z/2ZH_2(\mathfrak{sp}_{2g}(2))_{Sp(2g,\mathbb Z/2^k\mathbb Z)}=\mathbb Z/2\mathbb Z.

Keywords

Cite

@article{arxiv.2004.04129,
  title  = {Finite quotients of symplectic groups vs mapping class groups},
  author = {Louis Funar and Wolfgang Pitsch},
  journal= {arXiv preprint arXiv:2004.04129},
  year   = {2023}
}

Comments

revised version, 44p. arXiv admin note: substantial text overlap with arXiv:1103.1855

R2 v1 2026-06-23T14:44:34.799Z