2a63a187258ce67d.tex
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: