1: \begin{abstract}
2: We prove that the essential
3: second homology of finite quotients of symplectic groups
4: over a fixed Dedekind domain of arithmetic type are torsion groups
5: of uniformly bounded size. This is shown to be equivalent
6: to a result of Deligne proving that suitable central extensions of
7: higher rank Chevalley groups over Dedekind domains of arithmetic type are not
8: residually finite. Using this equivalence one shows that
9: Deligne's non-residual finiteness result is sharp by showing that
10: homomorphisms of the universal central extension of
11: $Sp(2g,\Z)$ to finite groups factor through some
12: nontrivial extension of $Sp(2g,\Z)$ by $\Z/2\Z$,
13: when $g\geq 3$. We provide several proofs of this statement, using
14: elementary calculations, K-theory arguments based on the
15: work of Barge and Lannes or Weil representations of symplectic groups
16: arising in abelian Chern-Simons theory.
17: Furthermore, one proves that, for every
18: prime $p\geq 5$, the mapping class group of genus
19: $g\geq 3$ has finite quotients
20: whose essential second homology has $p$-torsion.
21: This is a simple consequence of the existence of quantum
22: representations associated to $SU(2)$ topological quantum field theory
23: in dimension three.
24:
25:
26:
27: \vspace{0.1cm}
28:
29: \noindent 2000 MSC Classification: 57 M 50, 55 N 25, 19 C 09, 20 F 38.
30:
31:
32:
33: \noindent Keywords: Symplectic groups,
34: group homology, mapping class group, central extension,
35: quantum representation, residually finite.
36:
37:
38:
39: \end{abstract}
40: