1: \begin{abstract}

2:   Around twenty years ago Ghys conjectured that finite subgroups of

3:   the diffeomorphism group of a

4:   compact smooth manifold $M$ have an abelian normal subgroup of index at

5:   most $a(M)$, where $a(M)$ depends only on $M$. First we construct a family of counterexamples to

6:   this conjecture including, for example, the product space $T^2 \times S^2$.

7:  

8:   Following the first appearance of our counterexample on the arXiv 

9:   Ghys put forward a revised conjecture, which predicts only the existence of a nilpotent normal subgroup of index at

10:   most $n(M)$.  Our main result is the proof of the revised Ghys

11:   conjecture. More generally, we show that the same result

12:   holds for homeomorphism groups of not necessarily compact topological manifolds with finitely generated homology groups.  

13: 

14:   Our proofs are based on finite group theoretic results which provide a general strategy for proving similar Jordan-type theorems.

15: \end{abstract}

16: